|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |