tip.types
Class Pointer

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

public class Pointer
extends Type


Constructor Summary
Pointer(Type reftype)
           
 
Method Summary
 Type getRefType()
           
 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

Pointer

public Pointer(Type reftype)
Method Detail

getRefType

public Type getRefType()

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