tip.types
Class Function

java.lang.Object
  extended by tip.types.Type
      extended by tip.types.Function

public class Function
extends Type


Constructor Summary
Function(LinkedList<Type> argTypes, Type returnType)
           
 
Method Summary
 Type[] getArgTypes()
           
 Type getReturnType()
           
 String toString()
           
 void unify(Type other)
          Unify this type and the given type
 
Methods inherited from class tip.types.Type
clearMarks, equiv, find, isRoot, renameRootVariables, union
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

Function

public Function(LinkedList<Type> argTypes,
                Type returnType)
Method Detail

getReturnType

public Type getReturnType()

getArgTypes

public Type[] getArgTypes()

unify

public void unify(Type other)
Description copied from class: Type
Unify this type and the given type

Specified by:
unify in class Type

toString

public String toString()
Overrides:
toString in class Object