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.tc.TypeSig

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.

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