blog
Class Function.Sig

java.lang.Object
  blog.Function.Sig

Enclosing class:

Function

public static class Function.Sig
extends java.lang.Object

Nested class representing a function signature, that is, a function name and a tuple of argument types.

Field Summary

Type[]	argTypes
java.lang.String	name

Constructor Summary

Function.Sig(java.lang.String name)
Creates a signature for a zero-ary function with the given name.

Function.Sig(java.lang.String name, java.util.List<Type> argTypeList)
Creates a signature for a function with the given name and argument types.

Function.Sig(java.lang.String name, Type... types)
Creates a signature for a function with the given name and argument types.

Method Summary

boolean	equals(java.lang.Object o)
Type[]	getArgTypes()
java.lang.String	getName()
int	hashCode()
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

name

public java.lang.String name

argTypes

public Type[] argTypes

Constructor Detail

Function.Sig

public Function.Sig(java.lang.String name)

Creates a signature for a zero-ary function with the given name.

Function.Sig

public Function.Sig(java.lang.String name,
                    Type... types)

Creates a signature for a function with the given name and argument types.

Function.Sig

public Function.Sig(java.lang.String name,
                    java.util.List<Type> argTypeList)

Creates a signature for a function with the given name and argument types.

Parameters:

argTypeList - a List of Type objects

Method Detail

getName

public java.lang.String getName()

getArgTypes

public Type[] getArgTypes()

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object