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

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


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

The ESC/Java2 Project Homepage