Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| ESC/Java2 © 2003,2004,2005 David Cok and Joseph Kiniry © 2005 UCD Dublin © 2003,2004 Radboud University Nijmegen © 1999,2000 Compaq Computer Corporation © 1997,1998,1999 Digital Equipment Corporation All Rights Reserved
PREV NEXT | FRAMES NO FRAMES

## Uses of Class
javafe.ast.Type

Packages that use Type
escjava |
escjava.ast |
escjava.backpred |
escjava.pa |
escjava.parser |
escjava.tc |
escjava.translate |
javafe.ast |
javafe.parser |
javafe.reader |
javafe.tc |

Uses of Type in escjava

Methods in escjava with parameters of type Type
`boolean` | `RefinementSequence.equalTypes(Type t, Type tt)`
`private boolean` | `AnnotationHandler.isInSignalsOnlyExpr(Type t, Expr e, boolean allowSuperTypes)`

Uses of Type in escjava.ast

Fields in escjava.ast declared as Type
`Type` | `TypeExpr.type`
`Type` | `SetCompExpr.type`
`Type` | `DerivedMethodDecl.returnType`

Methods in escjava.ast with parameters of type Type
`static TypeExpr` | `TypeExpr.make(int sloc, int eloc, Type type)`
`static SetCompExpr` | `SetCompExpr.make(Type type, FormalParaDecl fp, Expr expr)`
`void` | `EscPrettyPrint.print(java.io.OutputStream o, Type t)`

Uses of Type in escjava.backpred

Methods in escjava.backpred with parameters of type Type
`private void` | `FindContributors.addType(Type T)` Add the TypeSigs mentioned explicitly in a given Type to contributorTypes, maintaining all the closure properties.
`private static void` | `BackPred.genFinalInitInfo(VarInit initExpr, GenericVarDecl sDecl, Expr s, Expr x, Type type, int loc, java.io.PrintStream proverStream)`
`private static void` | `BackPred.saySubClass(Type x, Type y, java.io.PrintStream proverStream)` Record in the background predicate that x is a subclass of y.
`private static void` | `BackPred.saySubType(Type x, Type y, java.io.PrintStream proverStream)` Record in the background predicate that x is a subtype of y.
`private static void` | `BackPred.sayIsFinal(Type x, java.io.PrintStream proverStream)` Record in the background predicate that x is final.
`static java.lang.String` | `BackPred.simplifyTypeName(Type x)`
`protected static Expr` | `BackPred.eq(Expr e1, Expr e2, Type t)` Generate the appropriate GC equality e1 == e2 based on type t.

Uses of Type in escjava.pa

Methods in escjava.pa with parameters of type Type
`private void` | `PredicateAbstraction.guessPredicate(Expr e, Expr eOld, Type type, ExprVec predicates, int loc, Expr sca, ExprVec boundsSC)`

Uses of Type in escjava.parser

Methods in escjava.parser that return Type
`Type` | `EscPragmaParser.parseExsuresType(EscPragmaLex l)` Parse the type of the of an `exsures` or `signals` pragma parameter.
`Type` | `EscPragmaParser.parseExsuresPrimitiveTypeOrTypeName(EscPragmaLex l)` Parse the type associated with an `exsures` or `signals` pragma parameter.

Methods in escjava.parser with parameters of type Type
`static OldVarDecl` | `OldVarDecl.make(Identifier id, Type type, int locId, VarInit init, int locAssignOp)`
`private GCExpr` | `EscPragmaParser.parseQuantifierRemainder(Lex l, int tag, Type type, int loc)` Parse the balance (everything after the quantifier to the end of the current quantified scope) of a quantifier expression from `l`.
`boolean` | `EscPragmaParser.parseFieldDeclTail(Token dst, int loc, int locId, Type type, Identifier id, ModifierPragmaVec modifierPragmas)`
`boolean` | `EscPragmaParser.parseConstructorDeclTail(Token dst, int loc, Type type, int locType, ModifierPragmaVec modifierPragmas)`
`boolean` | `EscPragmaParser.parseMethodDeclTail(Token dst, int loc, Type type, int locType, Identifier id, int locId, ModifierPragmaVec modifierPragmas)`

Uses of Type in escjava.tc

Methods in escjava.tc with parameters of type Type
`static boolean` | `Types.isTypeType(Type t)`
`boolean` | `Types.isSameTypeInstance(Type t, Type tt)`
`boolean` | `Types.isCastableInstance(Type t, Type tt)`
`boolean` | `Types.isIntegralTypeInstance(Type t)`
`boolean` | `Types.isNumericTypeInstance(Type t)`
`boolean` | `Types.isFloatingPointTypeInstance(Type t)`
`protected boolean` | `Types.isWideningPrimitiveConvertableInstance(Type x, Type y)`
`protected boolean` | `FlowInsensitiveChecks.assignmentConvertable(Expr e, Type t)`

Uses of Type in escjava.translate

Methods in escjava.translate that return Type
`private static Type` | `InlineConstructor.copyType(Type t, RoutineDecl rd)`

Methods in escjava.translate with parameters of type Type
`static java.lang.String` | `UniqName.type(Type t)` Returns the unique-ification of the type `t`.
`private static Expr` | `Translate.addRelAsgCast(Expr rval, Type lType, Type rType)`
`static boolean` | `Translate.isFinal(Type t)`
`(package private) static VariableAccess` | `TrAnExpr.tempName(int loc, java.lang.String prefix, Type type)`
`static Expr` | `TrAnExpr.typeCorrectAs(GenericVarDecl vd, Type type)`
`static Expr` | `TrAnExpr.typeAndNonNullCorrectAs(GenericVarDecl vd, Type type, SimpleModifierPragma nonNullPragma, boolean forceNonNull, java.util.Hashtable sp)`
`static ExprVec` | `TrAnExpr.typeAndNonNullAllocCorrectAs(GenericVarDecl vd, Type type, SimpleModifierPragma nonNullPragma, boolean forceNonNull, java.util.Hashtable sp, boolean mentionAllocated)` Returns a vector of conjuncts.
`static TypeExpr` | `TrAnExpr.trType(Type type)`
`private static java.lang.String` | `Suggestion.typeName(Type type)`
`private static Type` | `InlineConstructor.copyType(Type t, RoutineDecl rd)`
`private static void` | `GetSpec.addFreeTypeCorrectAs(GenericVarDecl vd, Type type, ConditionVec cv)` Adds to `cv` a condition stating that `vd` has type `type`.
`static Expr` | `GC.zeroequiv(Type t)`
`static VariableAccess` | `GC.makeFormalPara(java.lang.String name, Type type, int locId)`
`static VariableAccess` | `GC.makeFormalPara(java.lang.String name, Type type)`
`static Expr` | `GC.typeExpr(Type t)`
`static Expr` | `GC.cast(Expr e, Type t)`

Uses of Type in javafe.ast

Subclasses of Type in javafe.ast
`class` | `ArrayType`
`class` | `ErrorType` Used to indicate the type of an illegal operation, so that error messages do not unnecessarily propagate; should only be used if the error has already been reported.
`class` | `PrimitiveType` Represents a PrimitiveType syntactic unit.
`class` | `TypeName`

Fields in javafe.ast declared as Type
`Type` | `TypeObjectDesignator.type`
`Type` | `ThisExpr.classPrefix`
`Type` | `SuperObjectDesignator.type`
`private Type[]` | `RoutineDecl.argtypes`
`Type` | `NewArrayExpr.type` The type of the elements being given zero-default values, or (if an array initializer is present), the type of the array initializer elements.
`Type` | `MethodDecl.returnType`
`Type` | `InstanceOfExpr.type`
`Type` | `GenericVarDecl.type`
`Type` | `ExprObjectDesignator.type`
`Type` | `ClassLiteral.type`
`Type` | `CastExpr.type`
`Type` | `ArrayType.elemType`

Methods in javafe.ast that return Type
`Type` | `TypeObjectDesignator.type()`
`Type` | `SuperObjectDesignator.type()`
`Type[]` | `RoutineDecl.argTypes()`
`abstract Type` | `ObjectDesignator.type()`
`Type` | `ExprObjectDesignator.type()`

Methods in javafe.ast with parameters of type Type
`java.lang.Object` | `VisitorArgResult.visitType(Type x, java.lang.Object o)`
`void` | `Visitor.visitType(Type x)`
`static TypeObjectDesignator` | `TypeObjectDesignator.make(int locDot, Type type)`
`static ThisExpr` | `ThisExpr.make(Type classPrefix, int loc)`
`void` | `StandardPrettyPrint.print(java.io.OutputStream o, Type t)`
`abstract void` | `PrettyPrint.print(java.io.OutputStream o, Type t)`
`java.lang.String` | `PrettyPrint.toString(Type t)`
`static NewArrayExpr` | `NewArrayExpr.make(Type type, ExprVec dims, ArrayInit init, int loc, int[] locOpenBrackets)`
`static MethodDecl` | `MethodDecl.make(int modifiers, ModifierPragmaVec pmodifiers, TypeModifierPragmaVec tmodifiers, FormalParaDeclVec args, TypeNameVec raises, BlockStmt body, int locOpenBrace, int loc, int locId, int locThrowsKeyword, Identifier id, Type returnType, int locType)`
`static LocalVarDecl` | `LocalVarDecl.make(int modifiers, ModifierPragmaVec pmodifiers, Identifier id, Type type, int locId, VarInit init, int locAssignOp)`
`static InstanceOfExpr` | `InstanceOfExpr.make(Expr expr, Type type, int loc)`
`static FormalParaDecl` | `FormalParaDecl.make(int modifiers, ModifierPragmaVec pmodifiers, Identifier id, Type type, int locId)`
`static FieldDecl` | `FieldDecl.make(int modifiers, ModifierPragmaVec pmodifiers, Identifier id, Type type, int locId, VarInit init, int locAssignOp)`
`void` | `DelegatingPrettyPrint.print(java.io.OutputStream o, Type t)`
`void` | `DefaultVisitor.visitType(Type x)`
`static ClassLiteral` | `ClassLiteral.make(Type type, int locDot)`
`static CastExpr` | `CastExpr.make(Expr expr, Type type, int locOpenParen, int locCloseParen)`
`static ArrayType` | `ArrayType.make(Type elemType, int locOpenBracket)`
`static ArrayType` | `ArrayType.make(TypeModifierPragmaVec tmodifiers, Type elemType, int locOpenBracket)`

Uses of Type in javafe.parser

Methods in javafe.parser that return Type
`Type` | `ParseType.parseBracketPairs(Lex l, Type type)` Parse square bracket pairs.
`Type` | `ParseType.parsePrimitiveTypeOrTypeName(Lex l)` Parse a type, either a primitive type, a type name, but not an array type.
`Type` | `ParseType.parseType(Lex l)` Parse a `Type`, either a primitive type, a type name, or an array type.

Methods in javafe.parser with parameters of type Type
`Type` | `ParseType.parseBracketPairs(Lex l, Type type)` Parse square bracket pairs.
`private void` | `ParseStmt.addVarDeclStmts(Lex l, int modifiers, ModifierPragmaVec modifierPragmas, Type basetype)` Internal routine for parsing variable declarations after the leading type has been parsed.
`protected Expr` | `ParseExpr.parseClassLiteralSuffix(Lex l, Type t)` parses '. class', then produces a class literal expression using Type t.
`Expr` | `ParseExpr.parseNewExpressionTail(Lex l, Type type, int locNew)`

Uses of Type in javafe.reader

Fields in javafe.reader declared as Type
`private Type` | `MethodSignature.return_` The return type of this method signature.

Methods in javafe.reader that return Type
`(package private) Type` | `MethodSignature.parameterAt(int index)` Return a parameter type from this method signature.
`(package private) Type` | `MethodSignature.getReturn()` Return the return type of this method signature.
`(package private) static Type` | `DescriptorParser.parseField(java.lang.String s)` Return a type for a given class-file field descriptor string.
`private static Type` | `DescriptorParser.parseType(StringScanner scanner)` Parse a type from a given class-file field descriptor string.
`private static Type` | `DescriptorParser.parseReturn(StringScanner scanner)` Parse a type from a given class-file return descriptor string.

Methods in javafe.reader with parameters of type Type
`(package private) void` | `MethodSignature.appendParameter(Type parameterType)` Append a parameter type to this method signature.
`(package private) void` | `MethodSignature.setReturn(Type return_)` Change the return type of this method signature.

Uses of Type in javafe.tc

Subclasses of Type in javafe.tc
`class` | `TypeSig`

Fields in javafe.tc declared as Type
`static Type` | `Types.errorType` Used to indicate the type of an illegal operation, so that error messages do not unnecessarily propagate; should only be used if the error has already been reported.
`protected Type` | `FlowInsensitiveChecks.returnType`

Methods in javafe.tc that return Type
`static Type` | `Types.unaryPromote(Type t)`
`static Type` | `Types.binaryNumericPromotion(Type x, Type y)`
`static Type` | `Types.baseType(Type t)`
`static Type[]` | `Types.getFormalParaTypes(FormalParaDeclVec args)`
`Type` | `TypeCheck.getType(VarInit e)` Retrieves the `Type` of a `VarInit`.
`protected Type[]` | `FlowInsensitiveChecks.checkExprVec(Env env, ExprVec ev)`
`protected Type` | `FlowInsensitiveChecks.checkObjectDesignator(Env env, ObjectDesignator od)`
`private Type` | `FlowInsensitiveChecks.tryCondExprMatch(Expr leftExpr, Expr rightExpr)` Return the type of a E1 : L ?
`protected Type` | `FlowInsensitiveChecks.checkBinaryExpr(int op, Expr left, Expr right, int loc)`
`protected static Type` | `FlowInsensitiveChecks.getTypeOrNull(VarInit i)` Retrieves the `Type` of a `VarInit`.
`static Type` | `FlowInsensitiveChecks.getType(VarInit i)` Retrieves the `Type` of a `VarInit`.

Methods in javafe.tc with parameters of type Type
`ConstructorDecl` | `TypeSig.lookupConstructor(Type[] args, TypeSig caller)` TBW
`MethodDecl` | `TypeSig.hasMethod(Identifier id, Type[] args)`
`MethodDecl` | `TypeSig.lookupMethod(Identifier id, Type[] args, TypeSig caller)` TBW
`static boolean` | `Types.isErrorType(Type t)` * Predicates on types: * *
`static boolean` | `Types.isReferenceType(Type t)`
`static boolean` | `Types.isReferenceOrNullType(Type t)`
`private static boolean` | `Types.isPrimitiveType(Type t, int tag)`
`static boolean` | `Types.isByteType(Type t)`
`static boolean` | `Types.isBooleanType(Type t)`
`static boolean` | `Types.isShortType(Type t)`
`static boolean` | `Types.isCharType(Type t)`
`static boolean` | `Types.isDoubleType(Type t)`
`static boolean` | `Types.isFloatType(Type t)`
`static boolean` | `Types.isIntType(Type t)`
`static boolean` | `Types.isLongType(Type t)`
`static boolean` | `Types.isVoidType(Type t)`
`static boolean` | `Types.isNumericType(Type t)`
`boolean` | `Types.isNumericTypeInstance(Type t)`
`static boolean` | `Types.isIntegralType(Type t)`
`boolean` | `Types.isIntegralTypeInstance(Type t)`
`static boolean` | `Types.isFloatingPointType(Type t)`
`boolean` | `Types.isFloatingPointTypeInstance(Type t)`
`static boolean` | `Types.isSameType(Type x, Type y)`
`protected boolean` | `Types.isSameTypeInstance(Type x, Type y)`
`static boolean` | `Types.isSubclassOf(Type x, TypeSig y)` Returns true if and only if `x` is a subclass or superinterface of `y`.
`static boolean` | `Types.isSubClassOrEq(Type x, Type y)` Returns true iff `x` is a superclass or superinterface of `y`, or if `x` is the same type as `y`.
`static boolean` | `Types.isCastable(Type s, Type t)` Checks if one Type is castable to another.
`protected boolean` | `Types.isCastableInstance(Type s, Type t)`
`static boolean` | `Types.isInvocationConvertable(Type x, Type y)`
`protected boolean` | `Types.isInvocationConvertableInstance(Type x, Type y)`
`protected static boolean` | `Types.isWideningPrimitiveConvertable(Type x, Type y)`
`protected boolean` | `Types.isWideningPrimitiveConvertableInstance(Type x, Type y)`
`protected static boolean` | `Types.isAnyPrimitiveConvertable(Type x, Type y)` Returns true iff the first argument is convertable to the second argument, either through a widening primitive conversion, a narrowing primitive conversion, or the identity conversion.
`protected static boolean` | `Types.isWideningReferenceConvertable(Type s, Type t)`
`protected boolean` | `Types.isWideningReferenceConvertableInstance(Type s, Type t)`
`static TypeSig` | `Types.toClassTypeSig(Type x)` Returns the TypeSig for a Type x, if x denotes a class type, otherwise returns null.
`static Type` | `Types.unaryPromote(Type t)`
`static Type` | `Types.binaryNumericPromotion(Type x, Type y)`
`static Type` | `Types.baseType(Type t)`
`static LiteralExpr` | `Types.zeroEquivalent(Type t)`
`(package private) static boolean` | `Types.isCheckedException(Type E)` Is an exception a checked one?
`static java.lang.String` | `Types.printName(Type t)` Returns the name of a `Type` as a `String`.
`protected java.lang.String` | `Types.printNameInstance(Type t)`
`static java.lang.String` | `Types.printName(Type[] ts)` Formats an array of `Type`s as a `String` containing a parenthesized list of user-readable names.
`static FieldDecl` | `Types.lookupField(Type t, Identifier id, TypeSig caller)`
`protected FieldDecl` | `Types.lookupFieldInstance(Type t, Identifier id, TypeSig caller)`
`static MethodDecl` | `Types.lookupMethod(Type t, Identifier id, Type[] args, TypeSig caller)`
`protected MethodDecl` | `Types.lookupMethodInstance(Type t, Identifier id, Type[] args, TypeSig caller)`
`private MethodDecl` | `PrepTypeDeclaration.declaresMethod(TypeSig sig, Identifier id, Type[] argTypes)` Check if a type declares a method.
`protected VarInit` | `FlowInsensitiveChecks.checkInit(Env env, VarInit x, Type expectedResult)`
`protected Expr` | `FlowInsensitiveChecks.checkExpr(Env env, Expr expr, Type t)`
`static VarInit` | `FlowInsensitiveChecks.setType(VarInit i, Type t)`
`(package private) static void` | `FlowInsensitiveChecks.checkType(Expr expr, Type t)`
`protected boolean` | `FlowInsensitiveChecks.assignmentConvertable(Expr e, Type t)` Checks if Exp e can be assigned to Type t.
`protected Env` | `FlowInsensitiveChecks.checkTypeModifiers(Env env, Type t)` This may be called more than once on a Type t.
`void` | `Env.resolveType(TypeSig caller, Type t)` Attempt to resolve a Type using this environment.
`static void` | `CheckInvariants.checkType(Type t, boolean resolved)`

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| ESC/Java2 © 2003,2004,2005 David Cok and Joseph Kiniry © 2005 UCD Dublin © 2003,2004 Radboud University Nijmegen © 1999,2000 Compaq Computer Corporation © 1997,1998,1999 Digital Equipment Corporation All Rights Reserved
PREV NEXT | FRAMES NO FRAMES

The ESC/Java2 Project Homepage