Uses of Class
tip.types.Type

Packages that use Type
tip.node Provides node classes for representing the TIP ASTs. 
tip.types Provides type classes for representing the TIP type system. 
 

Uses of Type in tip.node
 

Methods in tip.node that return Type
 Type TIdentifier.getType()
          Returns the type field of this TIdentifier node.
abstract  Type PExp.getType()
          Returns the type field of this PExp node.
 Type ITyped.getType()
          Returns the type field of this ITyped node.
 Type ITarget.getType()
          Returns the type field of this ITarget node.
 Type AVarExp.getType()
          Returns the type field of this AVarExp node.
 Type APointerExp.getType()
          Returns the type field of this APointerExp node.
 Type ANullExp.getType()
          Returns the type field of this ANullExp node.
 Type AMallocExp.getType()
          Returns the type field of this AMallocExp node.
 Type AIntConstExp.getType()
          Returns the type field of this AIntConstExp node.
 Type AInputExp.getType()
          Returns the type field of this AInputExp node.
 Type AFunctionPtrCallExp.getType()
          Returns the type field of this AFunctionPtrCallExp node.
 Type AFunctionCallExp.getType()
          Returns the type field of this AFunctionCallExp node.
 Type ADerefExp.getType()
          Returns the type field of this ADerefExp node.
 Type ABinopExp.getType()
          Returns the type field of this ABinopExp node.
 

Methods in tip.node with parameters of type Type
 void TIdentifier.setType(Type value)
          Sets the type field of this TIdentifier node.
abstract  void PExp.setType(Type value)
          Sets the type field of this PExp node.
 void ITyped.setType(Type value)
          Sets the type field of this ITyped node.
 void ITarget.setType(Type value)
          Sets the type field of this ITarget node.
 void AVarExp.setType(Type value)
          Sets the type field of this AVarExp node.
 void APointerExp.setType(Type value)
          Sets the type field of this APointerExp node.
 void ANullExp.setType(Type value)
          Sets the type field of this ANullExp node.
 void AMallocExp.setType(Type value)
          Sets the type field of this AMallocExp node.
 void AIntConstExp.setType(Type value)
          Sets the type field of this AIntConstExp node.
 void AInputExp.setType(Type value)
          Sets the type field of this AInputExp node.
 void AFunctionPtrCallExp.setType(Type value)
          Sets the type field of this AFunctionPtrCallExp node.
 void AFunctionCallExp.setType(Type value)
          Sets the type field of this AFunctionCallExp node.
 void ADerefExp.setType(Type value)
          Sets the type field of this ADerefExp node.
 void ABinopExp.setType(Type value)
          Sets the type field of this ABinopExp node.
 

Constructors in tip.node with parameters of type Type
ABinopExp(PExp _left_, PBinop _binop_, PExp _right_, Type _type_)
          Creates a new ABinopExp node with the given nodes as children.
ADerefExp(TStar _token_, PExp _exp_, Type _type_)
          Creates a new ADerefExp node with the given nodes as children.
AFunctionCallExp(TIdentifier _identifier_, List<? extends PExp> _args_, Type _type_)
          Creates a new AFunctionCallExp node with the given nodes as children.
AFunctionPtrCallExp(PExp _exp_, List<? extends PExp> _args_, Type _type_)
          Creates a new AFunctionPtrCallExp node with the given nodes as children.
AInputExp(Type _type_)
          Creates a new AInputExp node with the given nodes as children.
AIntConstExp(TIntegerConst _integer_const_, Integer _value_, Type _type_)
          Creates a new AIntConstExp node with the given nodes as children.
AIntConstExp(TIntegerConst _integer_const_, Type _type_)
          Creates a new AIntConstExp node with the given nodes as children.
AMallocExp(int _malloc_index_, Type _type_)
          Creates a new AMallocExp node with the given nodes as children.
AMallocExp(Type _type_)
          Creates a new AMallocExp node with the given nodes as children.
ANullExp(Type _type_)
          Creates a new ANullExp node with the given nodes as children.
APointerExp(TAnd _token_, TIdentifier _identifier_, Type _type_)
          Creates a new APointerExp node with the given nodes as children.
AVarExp(TIdentifier _identifier_, Type _type_)
          Creates a new AVarExp node with the given nodes as children.
TIdentifier(String text, Token token, PDecl _decl_, Type _type_)
          Creates a new TIdentifier token with the given nodes as children.
 

Uses of Type in tip.types
 

Subclasses of Type in tip.types
 class Function
           
 class Int
           
 class Pointer
           
 class Variable
           
 

Methods in tip.types that return Type
 Type Type.find()
          Returns the canonical element of the set that this element is in.
 Type[] Function.getArgTypes()
           
 Type Pointer.getRefType()
           
 Type Function.getReturnType()
           
 Type Type.union(Type other)
          Computes and returns the union of this set and the given set.
 

Methods in tip.types with parameters of type Type
 boolean Type.equiv(Type other)
          Returns true if this element is in the same equivalence class as 'other', false otherwise.
 void Variable.unify(Type other)
           
abstract  void Type.unify(Type type)
          Unify this type and the given type
 void Pointer.unify(Type other)
           
 void Int.unify(Type other)
           
 void Function.unify(Type other)
           
 Type Type.union(Type other)
          Computes and returns the union of this set and the given set.
 

Constructors in tip.types with parameters of type Type
Function(LinkedList<Type> argTypes, Type returnType)
           
Pointer(Type reftype)
           
 

Constructor parameters in tip.types with type arguments of type Type
Function(LinkedList<Type> argTypes, Type returnType)