|
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 TypeSig | |
escjava | |
escjava.backpred | |
escjava.gui | |
escjava.tc | |
escjava.translate | |
javafe | |
javafe.tc |
Uses of TypeSig in escjava |
Methods in escjava with parameters of type TypeSig | |
private void |
Main.processTypeDeclElem(TypeDeclElem te,
TypeSig sig,
InitialState initState)
Run stages 3+..6 as requested on a TypeDeclElem. |
private java.lang.String |
Main.processRoutineDecl(RoutineDecl r,
TypeSig sig,
InitialState initState)
Run stages 3+..6 as requested on a RoutineDeclElem; returns a short (~ 1 word) status message. |
Uses of TypeSig in escjava.backpred |
Fields in escjava.backpred declared as TypeSig | |
TypeSig |
FindContributors.originType
Our origin type; used to determine visibility and accessibility when needed. |
Methods in escjava.backpred with parameters of type TypeSig | |
(package private) void |
FindContributors.typecheck(TypeSig sig)
Make sure a given TypeSig has been type checked, type checking it if necessary. |
Constructors in escjava.backpred with parameters of type TypeSig | |
FindContributors(TypeSig T)
Generate the contributors for a given TypeSig. |
Uses of TypeSig in escjava.gui |
Fields in escjava.gui declared as TypeSig | |
TypeSig |
GUI.TDTreeValue.sig
|
Uses of TypeSig in escjava.tc |
Subclasses of TypeSig in escjava.tc | |
class |
TypeSig
|
Methods in escjava.tc that return TypeSig | |
protected TypeSig |
Types.makeTypeSigInstance(java.lang.String simpleName,
Env enclosingEnv,
TypeDecl decl)
|
protected TypeSig |
Types.makeTypeSigInstance(java.lang.String[] packageName,
java.lang.String simpleName,
TypeSig enclosingType,
TypeDecl decl,
CompilationUnit cu)
|
TypeSig |
PrepTypeDeclaration.getRootInterface()
|
TypeSig |
EnvForGhostLocals.getEnclosingClass()
Return the intermost class enclosing the code that is checked in this environment. |
TypeSig |
EnvForGhostLocals.getEnclosingInstance()
If there is an enclosing instance in scope, then return the (exact) type of the innermost such instance. |
TypeSig |
EnvForGhostLocals.lookupSimpleTypeName(TypeSig caller,
Identifier id,
int loc)
Attempt to lookup a simple TypeName in this environment to get the TypeSig it denotes. |
TypeSig |
EnvForGhostLocals.locateMethod(Identifier id)
Locate the lexically innermost method named id. |
Methods in escjava.tc with parameters of type TypeSig | |
FieldDecl |
TypeSig.lookupField(Identifier id,
TypeSig caller)
|
protected TypeSig |
Types.makeTypeSigInstance(java.lang.String[] packageName,
java.lang.String simpleName,
TypeSig enclosingType,
TypeDecl decl,
CompilationUnit cu)
|
boolean |
TypeCheck.canAccess(TypeSig from,
TypeSig target,
int modifiers,
ModifierPragmaVec pmodifiers)
Override TypeCheck.canAccess(javafe.tc.TypeSig, javafe.tc.TypeSig, int, javafe.ast.ModifierPragmaVec) to account for
spec_public . |
void |
PrepTypeDeclaration.prepStart(TypeSig sig,
TypeDecl decl)
|
void |
PrepTypeDeclaration.prepEnd(TypeSig sig,
TypeDecl decl)
|
protected void |
PrepTypeDeclaration.checkSuperInterfaces(TypeSig sig,
TypeNameVec superInterfaces)
|
protected void |
PrepTypeDeclaration.visitTypeDeclElem(TypeDeclElem e,
TypeSig currentSig,
boolean abstractMethodsOK,
boolean inFinalClass,
boolean inInterface)
|
void |
PrepTypeDeclaration.visitMethodDecl(MethodDecl x,
TypeSig currentSig,
boolean abstractMethodsOK,
boolean inFinalClass,
boolean inInterface)
|
protected void |
PrepTypeDeclaration.addInheritedMembers(TypeSig type,
TypeSig superType)
|
protected boolean |
PrepTypeDeclaration.superMemberAccessible(TypeSig type,
TypeSig superType,
int modifiers,
ModifierPragmaVec pmodifiers)
|
protected boolean |
PrepTypeDeclaration.declaresField(TypeSig sig,
Identifier id)
|
private boolean |
PrepTypeDeclaration.declaresField(TypeSig sig,
Identifier id,
int n)
|
protected EnvForTypeSig |
FlowInsensitiveChecks.makeEnvForTypeSig(TypeSig s,
boolean staticContext)
Override so that we use GhostEnv instead of EnvForTypeSig . |
void |
FlowInsensitiveChecks.checkTypeDeclaration(TypeSig s)
|
TypeSig |
EnvForGhostLocals.lookupSimpleTypeName(TypeSig caller,
Identifier id,
int loc)
Attempt to lookup a simple TypeName in this environment to get the TypeSig it denotes. |
Constructors in escjava.tc with parameters of type TypeSig | |
TypeSig(java.lang.String[] packageName,
java.lang.String simpleName,
TypeSig enclosingType,
TypeDecl decl,
CompilationUnit CU)
|
|
GhostEnv(Env parent,
TypeSig peer,
boolean staticContext)
|
Uses of TypeSig in escjava.translate |
Fields in escjava.translate declared as TypeSig | |
(package private) TypeSig |
ParamAndGlobalVarInfo.U
|
(package private) TypeSig |
InvariantInfo.U
|
Methods in escjava.translate with parameters of type TypeSig | |
static FieldDecl |
Inner.getEnclosingInstanceField(TypeSig T)
* Return the FieldDecl for a given non-top-level TypeSig's * enclosing instance field (this$0). |
private static boolean |
GetSpec.exprIsVisible(TypeSig originType,
Expr e)
|
Uses of TypeSig in javafe |
Methods in javafe that return TypeSig | |
TypeSig |
TestTool.getSuperClass(TypeDecl td)
Attempt to fetch the TypeSig for a given
TypeDecl . |
Uses of TypeSig in javafe.tc |
Fields in javafe.tc declared as TypeSig | |
private TypeSig[] |
TypeSigVec.elements
* Instance fields: * * |
TypeSig |
TypeSig.enclosingType
Our enclosing type or null iff we are a package-member type. |
private TypeSig |
TypeSig.superClass
|
private static TypeSig |
Types.s_javaLangObject
|
private static TypeSig |
Types.s_javaLangSystem
|
private static TypeSig |
Types.s_javaLangError
|
private static TypeSig |
Types.s_javaLangException
|
private static TypeSig |
Types.s_javaLangThrowable
|
private static TypeSig |
Types.s_javaLangString
|
private static TypeSig |
Types.s_javaLangRuntimeException
|
private static TypeSig |
Types.s_javaLangCloneable
|
private static TypeSig |
Types.s_javaLangClass
|
protected TypeSig |
PrepTypeDeclaration._rootCache
|
protected TypeSig |
FlowInsensitiveChecks.sig
|
protected TypeSig |
EnvForTypeSig.peer
The TypeSig providing new bindings |
Methods in javafe.tc that return TypeSig | |
TypeSig |
TypeSigVec.elementAt(int index)
* Other methods: * * |
TypeSig[] |
TypeSigVec.toArray()
|
TypeSig |
TypeSigVec.pop()
|
static TypeSig |
TypeSig.getSig(TypeDecl d)
The myTypeDecl field maps TypeSigs to TypeDecls. |
static TypeSig |
TypeSig.lookup(java.lang.String[] P,
java.lang.String T)
If a TypeSig representing the package-member type named P.T has been created, return it; otherwise, return null. |
(package private) static TypeSig |
TypeSig.get(java.lang.String[] P,
java.lang.String T)
If a TypeSig representing the package-member type named P.T has been created, return it; otherwise, create such a TypeSig then return it. |
TypeSig |
TypeSig.lookupType(TypeSig caller,
Identifier id,
int loc)
Do we have a type member named id (including inherited type members)? |
TypeSig |
TypeSig.lookupLocalType(TypeSig caller,
Identifier id)
Do we have a type member named id (*not* including inherited type members)? |
static TypeSig |
TypeSig.getRawSig(TypeName n)
Gets the TypeSig recorded by setSig , or null. |
static TypeSig |
TypeSig.getSig(TypeName n)
Gets the TypeSig recorded by setSig .
|
TypeSig |
TypeSig.superClass()
|
static TypeSig |
Types.makeTypeSig(java.lang.String simpleName,
Env enclosingEnv,
TypeDecl decl)
Factory method for TypeSig structures |
protected TypeSig |
Types.makeTypeSigInstance(java.lang.String simpleName,
Env enclosingEnv,
TypeDecl decl)
|
protected static TypeSig |
Types.makeTypeSig(java.lang.String[] packageName,
java.lang.String simpleName,
TypeSig enclosingType,
TypeDecl decl,
CompilationUnit CU)
Factory method for TypeSig structures |
protected TypeSig |
Types.makeTypeSigInstance(java.lang.String[] packageName,
java.lang.String simpleName,
TypeSig enclosingType,
TypeDecl decl,
CompilationUnit CU)
|
static TypeSig |
Types.getJavaLang(java.lang.String T)
Find the TypeSig for the required package-member type java.lang.T. |
static TypeSig |
Types.javaLangObject()
|
static TypeSig |
Types.javaLangSystem()
|
static TypeSig |
Types.javaLangError()
|
static TypeSig |
Types.javaLangException()
|
static TypeSig |
Types.javaLangThrowable()
|
static TypeSig |
Types.javaLangString()
|
static TypeSig |
Types.javaLangRuntimeException()
|
static TypeSig |
Types.javaLangCloneable()
|
static TypeSig |
Types.javaLangClass()
|
static TypeSig |
Types.toClassTypeSig(Type x)
Returns the TypeSig for a Type x, if x denotes a class type, otherwise returns null. |
TypeSig |
TypeCheck.getSig(TypeDecl d)
Retrieves the TypeSig associated with a particular
TypeDecl . |
TypeSig |
TypeCheck.getSig(TypeName n)
Retrieves the TypeSig associated with a particular
TypeName .
|
TypeSig |
TypeCheck.getRawSig(TypeName n)
|
static TypeSig |
SLResolution.handleSuperTypeName(TypeSig sig,
TypeName superName)
Handle a super type name. |
TypeSig |
PrepTypeDeclaration.getRootInterface()
This routine constructs and returns the interface that all interfaces are de-facto subinterfaces of. |
TypeSig |
PrepTypeDeclaration.processTypeNameAnnotations(TypeName tn,
TypeSig sig,
Env env)
|
static TypeSig |
OutsideEnv.lookup(java.lang.String[] P,
java.lang.String T)
Get the TypeSig for fully-qualified
package-member name P.T . |
static TypeSig |
OutsideEnv.lookupDeferred(java.lang.String[] P,
java.lang.String T)
Like lookup except that checking the existence of
the type is deferred until it's TypeDecl is touched
for the first time. |
TypeSig |
EnvForTypeSig.getEnclosingClass()
Return the intermost class enclosing the code that is checked in this environment. |
TypeSig |
EnvForTypeSig.getEnclosingInstance()
If there is an enclosing instance in scope, then return the (exact) type of the innermost such instance. |
TypeSig |
EnvForTypeSig.lookupSimpleTypeName(TypeSig caller,
Identifier id,
int loc)
Attempt to lookup a simple TypeName in this environment to get the TypeSig it denotes. |
TypeSig |
EnvForTypeSig.locateMethod(Identifier id)
Locate the lexically innermost method named id. |
TypeSig |
EnvForLocalType.getEnclosingClass()
Return the intermost class enclosing the code that is checked in this environment. |
TypeSig |
EnvForLocalType.getEnclosingInstance()
If there is an enclosing instance in scope, then return the (exact) type of the innermost such instance. |
TypeSig |
EnvForLocalType.lookupSimpleTypeName(TypeSig caller,
Identifier id,
int loc)
Attempt to lookup a simple TypeName in this environment to get the TypeSig it denotes. |
TypeSig |
EnvForLocalType.locateMethod(Identifier id)
Locate the lexically innermost method named id. |
TypeSig |
EnvForLocals.getEnclosingClass()
Return the intermost class enclosing the code that is checked in this environment. |
TypeSig |
EnvForLocals.getEnclosingInstance()
If there is an enclosing instance in scope, then return the (exact) type of the innermost such instance. |
TypeSig |
EnvForLocals.lookupSimpleTypeName(TypeSig caller,
Identifier id,
int loc)
Attempt to lookup a simple TypeName in this environment to get the TypeSig it denotes. |
TypeSig |
EnvForLocals.locateMethod(Identifier id)
Locate the lexically innermost method named id. |
TypeSig |
EnvForEnclosedScope.getEnclosingClass()
Return the intermost class enclosing the code that is checked in this environment. |
TypeSig |
EnvForEnclosedScope.getEnclosingInstance()
If there is an enclosing instance in scope, then return the (exact) type of the innermost such instance. |
TypeSig |
EnvForEnclosedScope.lookupSimpleTypeName(TypeSig caller,
Identifier id,
int loc)
Attempt to lookup a simple TypeName in this environment to get the TypeSig it denotes. |
TypeSig |
EnvForEnclosedScope.locateMethod(Identifier id)
Locate the lexically innermost method named id. |
TypeSig |
EnvForCU.getEnclosingClass()
Return the intermost class enclosing the code that is checked in this environment. |
TypeSig |
EnvForCU.getEnclosingInstance()
If there is an enclosing instance in scope, then return the (exact) type of the innermost such instance. |
TypeSig |
EnvForCU.lookupSimpleTypeName(TypeSig caller,
Identifier id,
int loc)
Attempt to lookup a simple TypeName in this environment to get the TypeSig it denotes. |
static TypeSig |
EnvForCU.lookupWithoutInheritence(TypeSig caller,
java.lang.String[] N,
java.lang.String I)
Attempt to lookup the type N.I without using inheritence in the outside environment. |
TypeSig |
EnvForCU.locateMethod(Identifier id)
Locate the lexically innermost method named id. |
abstract TypeSig |
Env.getEnclosingClass()
Return the intermost class enclosing the code that is checked in this environment. |
abstract TypeSig |
Env.getEnclosingInstance()
If there is an enclosing instance in scope, then return the (exact) type of the innermost such instance. |
abstract TypeSig |
Env.lookupSimpleTypeName(TypeSig caller,
Identifier id,
int loc)
Attempt to lookup a simple TypeName in this environment to get the TypeSig it denotes. |
abstract TypeSig |
Env.locateMethod(Identifier id)
Locate the lexically innermost method named id. |
TypeSig |
Env.findTypeNamePrefix(TypeSig caller,
Name n,
boolean ignoreFields)
Attempts to find the canonical prefix of a given name that denotes a TypeName in this environment. |
TypeSig |
Env.lookupTypeName(TypeSig caller,
Name n)
Attempt to lookup a TypeName using this environment. |
TypeSig |
Env.processTypeNameAnnotations(TypeName n,
TypeSig sig)
This processes the annotations on a type name |
TypeSig |
Env.resolveTypeName(TypeSig caller,
TypeName tn)
Attempt to resolve a TypeName using this environment. |
TypeSig |
Env.getInnermostInstance()
Returns the innermost current or enclosing instance, or null if none exists. |
static TypeSig |
Env.whereDeclared(GenericVarDecl decl)
What type is a GenericVarDecl declared in? |
Methods in javafe.tc with parameters of type TypeSig | |
static TypeSigVec |
TypeSigVec.make(TypeSig[] els)
|
void |
TypeSigVec.setElementAt(TypeSig x,
int index)
|
boolean |
TypeSigVec.contains(TypeSig x)
|
void |
TypeSigVec.addElement(TypeSig x)
|
boolean |
TypeSigVec.removeElement(TypeSig x)
|
void |
TypeSigVec.insertElementAt(TypeSig obj,
int index)
|
TypeSig |
TypeSig.lookupType(TypeSig caller,
Identifier id,
int loc)
Do we have a type member named id (including inherited type members)? |
TypeSig |
TypeSig.lookupLocalType(TypeSig caller,
Identifier id)
Do we have a type member named id (*not* including inherited type members)? |
ConstructorDecl |
TypeSig.lookupConstructor(Type[] args,
TypeSig caller)
TBW |
FieldDecl |
TypeSig.lookupField(Identifier id,
TypeSig caller)
TBW |
MethodDecl |
TypeSig.lookupMethod(Identifier id,
Type[] args,
TypeSig caller)
TBW |
static void |
TypeSig.setSig(TypeName n,
TypeSig sig)
|
boolean |
TypeSig.isSubtypeOf(TypeSig s2)
|
boolean |
TypeSig.inSamePackageAs(TypeSig s)
|
protected static TypeSig |
Types.makeTypeSig(java.lang.String[] packageName,
java.lang.String simpleName,
TypeSig enclosingType,
TypeDecl decl,
CompilationUnit CU)
Factory method for TypeSig structures |
protected TypeSig |
Types.makeTypeSigInstance(java.lang.String[] packageName,
java.lang.String simpleName,
TypeSig enclosingType,
TypeDecl decl,
CompilationUnit CU)
|
static boolean |
Types.isSubclassOf(Type x,
TypeSig y)
Returns true if and only if x is a subclass or
superinterface of y . |
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)
|
void |
TypeCheck.checkTypeSig(TypeSig s)
Moves s into the checked state. |
boolean |
TypeCheck.canAccess(TypeSig from,
TypeSig target,
int modifiers,
ModifierPragmaVec pmodifiers)
Can a member of type target with modifiers modifiers/pmodifiers be accessed by code located in from? |
static void |
SLResolution.transition(TypeSig sig)
Transition sig to the supertype-links-resolved
state. |
static TypeSig |
SLResolution.handleSuperTypeName(TypeSig sig,
TypeName superName)
Handle a super type name. |
void |
PrepTypeDeclaration.prepTypeSignature(TypeSig sig)
Does type name resolution and type checking at signature level of a type declaration, and infers the members of the declaration. |
protected void |
PrepTypeDeclaration.prepStart(TypeSig sig,
TypeDecl decl)
|
protected void |
PrepTypeDeclaration.prepDo(TypeSig sig,
TypeDecl decl)
|
protected void |
PrepTypeDeclaration.prepEnd(TypeSig sig,
TypeDecl decl)
|
protected void |
PrepTypeDeclaration.visitClassDecl(ClassDecl decl,
TypeSig currentSig)
Does signature-level checking and adds type members to fieldSeq and methodSeq. |
void |
PrepTypeDeclaration.checkTypeModifiers(TypeDecl decl,
TypeSig currentSig,
boolean isClass)
Check that the modifiers of a type are ok. |
protected void |
PrepTypeDeclaration.visitInterfaceDecl(InterfaceDecl decl,
TypeSig currentSig)
Does signature-level checking and adds type members to fieldSeq and methodSeq. |
protected void |
PrepTypeDeclaration.checkSuperInterfaces(TypeSig sig,
TypeNameVec superInterfaces)
Check superinterfaces and add their members to fieldSeq and methodSeq. |
protected void |
PrepTypeDeclaration.visitTypeDeclElem(TypeDeclElem e,
TypeSig currentSig,
boolean abstractMethodsOK,
boolean inFinalClass,
boolean inInterface)
Visit a TypeDeclElem, check it and add it to fieldSeq or methodSeq, if appropriate |
protected void |
PrepTypeDeclaration.visitFieldDecl(FieldDecl x,
TypeSig currentSig,
boolean abstractMethodsOK,
boolean inFinalClass,
boolean inInterface)
Visit a FieldDecl, check it and add it to fieldSeq. |
protected void |
PrepTypeDeclaration.visitMethodDecl(MethodDecl x,
TypeSig currentSig,
boolean abstractMethodsOK,
boolean inFinalClass,
boolean inInterface)
Visit a MethodDecl, check it and add it to methodSeq. |
protected void |
PrepTypeDeclaration.visitConstructorDecl(ConstructorDecl x,
TypeSig currentSig,
boolean abstractMethodsOK,
boolean inFinalClass,
boolean inInterface)
Visit ConstructorDecl, check it, and add it to constructorSeq. |
protected void |
PrepTypeDeclaration.addInheritedMembers(TypeSig type,
TypeSig superType)
Find all members of a supertype inherited by a type. |
protected boolean |
PrepTypeDeclaration.superMemberAccessible(TypeSig type,
TypeSig superType,
int modifiers,
ModifierPragmaVec pmodifiers)
Check if a member is accessible from a direct subclass. |
protected boolean |
PrepTypeDeclaration.declaresFieldJava(TypeSig sig,
Identifier id)
Check if a type declares a field. |
private MethodDecl |
PrepTypeDeclaration.declaresMethod(TypeSig sig,
Identifier id,
Type[] argTypes)
Check if a type declares a method. |
void |
PrepTypeDeclaration.checkSuperTypeAccessible(TypeSig currentSig,
TypeSig supertype,
int loc)
Check to make sure a supertype is accessible; reports an error to ErrorSet if not. |
TypeSig |
PrepTypeDeclaration.processTypeNameAnnotations(TypeName tn,
TypeSig sig,
Env env)
|
protected EnvForTypeSig |
PrepTypeDeclaration.getEnvForCurrentSig(TypeSig sig,
boolean isStatic)
|
(package private) static void |
OutsideEnv.load(TypeSig sig)
Attempt to load the TypeDecl of TypeSig sig. |
protected EnvForTypeSig |
FlowInsensitiveChecks.makeEnvForTypeSig(TypeSig s,
boolean staticContext)
Factory method so subclasses can override. |
void |
FlowInsensitiveChecks.checkTypeDeclaration(TypeSig s)
Moves s into implementation checked state. |
TypeSig |
EnvForTypeSig.lookupSimpleTypeName(TypeSig caller,
Identifier id,
int loc)
Attempt to lookup a simple TypeName in this environment to get the TypeSig it denotes. |
TypeSig |
EnvForLocalType.lookupSimpleTypeName(TypeSig caller,
Identifier id,
int loc)
Attempt to lookup a simple TypeName in this environment to get the TypeSig it denotes. |
TypeSig |
EnvForLocals.lookupSimpleTypeName(TypeSig caller,
Identifier id,
int loc)
Attempt to lookup a simple TypeName in this environment to get the TypeSig it denotes. |
TypeSig |
EnvForEnclosedScope.lookupSimpleTypeName(TypeSig caller,
Identifier id,
int loc)
Attempt to lookup a simple TypeName in this environment to get the TypeSig it denotes. |
TypeSig |
EnvForCU.lookupSimpleTypeName(TypeSig caller,
Identifier id,
int loc)
Attempt to lookup a simple TypeName in this environment to get the TypeSig it denotes. |
static TypeSig |
EnvForCU.lookupWithoutInheritence(TypeSig caller,
java.lang.String[] N,
java.lang.String I)
Attempt to lookup the type N.I without using inheritence in the outside environment. |
abstract TypeSig |
Env.lookupSimpleTypeName(TypeSig caller,
Identifier id,
int loc)
Attempt to lookup a simple TypeName in this environment to get the TypeSig it denotes. |
TypeSig |
Env.findTypeNamePrefix(TypeSig caller,
Name n,
boolean ignoreFields)
Attempts to find the canonical prefix of a given name that denotes a TypeName in this environment. |
TypeSig |
Env.lookupTypeName(TypeSig caller,
Name n)
Attempt to lookup a TypeName using this environment. |
TypeSig |
Env.processTypeNameAnnotations(TypeName n,
TypeSig sig)
This processes the annotations on a type name |
TypeSig |
Env.resolveTypeName(TypeSig caller,
TypeName tn)
Attempt to resolve a TypeName using this environment. |
void |
Env.resolveType(TypeSig caller,
Type t)
Attempt to resolve a Type using this environment. |
boolean |
Env.canAccessInstance(TypeSig C)
Are C's instance variables accessible? |
Expr |
Env.lookupEnclosingInstance(TypeSig T,
int loc)
Attempt to locate a current or enclosing instance that has type T. |
ThisExpr |
Env.getInferredThisExpr(TypeSig C,
int loc)
Return an inferred ThisExpr for "[C.]this", using location loc. |
ObjectDesignator |
Env.getObjectDesignator(TypeSig C,
int loc)
Return an inferred ObjectDesignator for use in a reference to a possibly-instance member of class C from here. |
static void |
CheckInvariants.checkTypeDeclOfSig(TypeSig sig)
|
static void |
CheckInvariants.checkStmt(TypeSig sig,
Stmt s)
|
static void |
CheckInvariants.checkExpr(TypeSig sig,
VarInit expr)
|
static void |
CheckInvariants.checkObjectDesignator(TypeSig sig,
ObjectDesignator od)
|
Constructors in javafe.tc with parameters of type TypeSig | |
TypeSigVec(TypeSig[] els)
* Private constructors: * * |
|
TypeSig(java.lang.String[] packageName,
java.lang.String simpleName,
TypeSig enclosingType,
TypeDecl decl,
CompilationUnit CU)
Create a TypeSig that represents a member type. |
|
EnvForTypeSig(Env parent,
TypeSig peer,
boolean staticContext)
Create an environment from an existing one by adding a new TypeSigs bindings. |
|
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 |