Uses of Class
edu.toronto.cs.tp.cvcl.Type

Packages that use Type
edu.toronto.cs.tp.cvcl   
edu.toronto.cs.yasm.abstractor   
edu.toronto.cs.yasm.pprogram   
 

Uses of Type in edu.toronto.cs.tp.cvcl
 

Methods in edu.toronto.cs.tp.cvcl that return Type
 Type ValidityChecker.arrayType(Type typeIndex, Type typeData)
           
 Type ValidityChecker.boolType()
           
 Type ValidityChecker.createType(java.lang.String typeName)
           
 Type ValidityChecker.createType(java.lang.String typeName, Type def)
           
 Type ValidityChecker.funType(Type typeDom, Type typeRan)
           
 Type CVectorType.get(int i)
           
 Type ValidityChecker.getBaseType(Expr e)
           
 Type ValidityChecker.getType(Expr e)
           
 Type ValidityChecker.importType(Type t)
           
 Type ValidityChecker.intType()
           
 Type ValidityChecker.lookupType(java.lang.String typeName)
           
 Type ValidityChecker.realType()
           
 Type ValidityChecker.recordType(java.lang.String field, Type type)
           
 Type ValidityChecker.recordType(java.lang.String field0, Type type0, java.lang.String field1, Type type1)
           
 Type ValidityChecker.recordType(java.lang.String field0, Type type0, java.lang.String field1, Type type1, java.lang.String field2, Type type2)
           
 Type ValidityChecker.recordType(SWIGTYPE_p_std__vectorTstd__string_t fields, CVectorType types)
           
 Type ValidityChecker.subrangeType(Expr l, Expr r)
           
 Type ValidityChecker.subtypeType(Expr pred)
           
 Type ValidityChecker.tupleType(CVectorType types)
           
 Type ValidityChecker.tupleType(Type type0, Type type1)
           
 Type ValidityChecker.tupleType(Type type0, Type type1, Type type2)
           
 

Methods in edu.toronto.cs.tp.cvcl with parameters of type Type
 void CVectorType.add(Type x)
           
 Type ValidityChecker.arrayType(Type typeIndex, Type typeData)
           
 Expr ValidityChecker.boundVarExpr(java.lang.String name, java.lang.String uid, Type type)
           
 Op ValidityChecker.createOp(java.lang.String name, Type type)
           
 Type ValidityChecker.createType(java.lang.String typeName, Type def)
           
 Type ValidityChecker.funType(Type typeDom, Type typeRan)
           
protected static long Type.getCPtr(Type obj)
           
 Type ValidityChecker.importType(Type t)
           
 Expr ValidityChecker.lookupVar(java.lang.String name, Type type)
           
 Type ValidityChecker.recordType(java.lang.String field, Type type)
           
 Type ValidityChecker.recordType(java.lang.String field0, Type type0, java.lang.String field1, Type type1)
           
 Type ValidityChecker.recordType(java.lang.String field0, Type type0, java.lang.String field1, Type type1, java.lang.String field2, Type type2)
           
 void CVectorType.set(int i, Type x)
           
 Type ValidityChecker.tupleType(Type type0, Type type1)
           
 Type ValidityChecker.tupleType(Type type0, Type type1, Type type2)
           
 Expr ValidityChecker.varExpr(java.lang.String name, Type type)
           
 

Uses of Type in edu.toronto.cs.yasm.abstractor
 

Methods in edu.toronto.cs.yasm.abstractor that return Type
 Type DeclsParser.declSpecifiers(antlr.collections.AST _t, ValidityChecker vc)
           
static Type DeclsParserUtil.parseBlockTypeSpecifiers(Block b, ValidityChecker vc)
           
static Type DeclsParserUtil.parseExprTypeSpecifiers(Expr e, ValidityChecker vc)
           
 Type DeclsParser.structSpecifier(antlr.collections.AST _t, ValidityChecker vc)
           
 Type DeclsParser.typeSpecifier(antlr.collections.AST _t, ValidityChecker vc)
           
 

Uses of Type in edu.toronto.cs.yasm.pprogram
 

Methods in edu.toronto.cs.yasm.pprogram that return Type
 Type PFunctionDef.getReturnType(ValidityChecker vc)