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