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)
|