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.Name

Packages that use Name
escjava.reader   
escjava.translate   
javafe.ast   
javafe.parser   
javafe.reader   
javafe.tc   
 

Uses of Name in escjava.reader
 

Methods in escjava.reader with parameters of type Name
(package private)  CompilationUnit RefinementCachedReader.getCombinedBinaries(Name pkgName, java.lang.String[] pkg, java.util.ArrayList rs)
           
 

Uses of Name in escjava.translate
 

Methods in escjava.translate that return Name
private static Name InlineConstructor.copyName(Name n, RoutineDecl rd)
           
 

Methods in escjava.translate with parameters of type Name
private static Name InlineConstructor.copyName(Name n, RoutineDecl rd)
           
 

Uses of Name in javafe.ast
 

Subclasses of Name in javafe.ast
 class CompoundName
           
 class SimpleName
           
 

Fields in javafe.ast declared as Name
 Name TypeName.name
           
 Name OnDemandImportDecl.pkgName
           
 Name CompilationUnit.pkgName
           
 Name AmbiguousVariableAccess.name
           
 Name AmbiguousMethodInvocation.name
           
 

Methods in javafe.ast that return Name
 Name SimpleName.prefix(int len)
           
static Name Name.make(int[] locIds, int[] locDots, IdentifierVec ids)
          Make a Name with the given identifiers and locations.
static Name Name.make(java.lang.String N, int loc)
          Make a Name whose locations are all loc from a String.
abstract  Name Name.prefix(int len)
          Return a Name consisting of the first len identifiers of this.
 Name CompoundName.prefix(int len)
          Return a Name consisting of the first len identifiers of this.
 

Methods in javafe.ast with parameters of type Name
 java.lang.Object VisitorArgResult.visitName(Name x, java.lang.Object o)
           
 void Visitor.visitName(Name x)
           
static TypeName TypeName.make(Name name)
           
static TypeName TypeName.make(TypeModifierPragmaVec tmodifiers, Name name)
           
 void StandardPrettyPrint.print(java.io.OutputStream o, Name n)
           
abstract  void PrettyPrint.print(java.io.OutputStream o, Name n)
           
 java.lang.String PrettyPrint.toString(Name n)
           
static OnDemandImportDecl OnDemandImportDecl.make(int loc, Name pkgName)
           
 void DelegatingPrettyPrint.print(java.io.OutputStream o, Name n)
           
 void DefaultVisitor.visitName(Name x)
           
static CompilationUnit CompilationUnit.make(Name pkgName, LexicalPragmaVec lexicalPragmas, ImportDeclVec imports, TypeDeclVec elems, int loc, TypeDeclElemVec otherPragmas)
           
static AmbiguousVariableAccess AmbiguousVariableAccess.make(Name name)
           
static AmbiguousMethodInvocation AmbiguousMethodInvocation.make(Name name, TypeModifierPragmaVec tmodifiers, int locOpenParen, ExprVec args)
           
 

Uses of Name in javafe.parser
 

Methods in javafe.parser that return Name
 Name ParseType.parseName(Lex l)
          Parse a Name.
 Name ParseExpr.parseSuper(Lex l)
          Parse super.
 

Uses of Name in javafe.reader
 

Fields in javafe.reader declared as Name
 Name ASTClassFileParser.classPackage
          The package name of the class being parsed.
 

Methods in javafe.reader that return Name
private static Name ASTClassFileParser.getNameQualifier(Name name)
          Return the package qualifier of a given name.
 

Methods in javafe.reader with parameters of type Name
private static Name ASTClassFileParser.getNameQualifier(Name name)
          Return the package qualifier of a given name.
private static Identifier ASTClassFileParser.getNameTerminal(Name name)
          Return the terminal identifier of a given name.
 

Uses of Name in javafe.tc
 

Methods in javafe.tc with parameters of type Name
 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.
 Expr Env.disambiguateExprName(Name n)
          Attempt to disambiguate an Expr Name.
 java.lang.Object Env.disambiguateTypeOrFieldName(Name n)
           
 


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