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

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

Uses of TypeName in escjava.parser
 

Methods in escjava.parser that return TypeName
 TypeName EscPragmaParser.parseExsuresTypeName(EscPragmaLex l)
          Parse the type name used in an exsures or signals pragma.
 

Uses of TypeName in escjava.translate
 

Methods in escjava.translate that return TypeName
private static TypeName InlineConstructor.copyTypeName(TypeName tn, RoutineDecl rd)
           
 

Methods in escjava.translate with parameters of type TypeName
private static TypeName InlineConstructor.copyTypeName(TypeName tn, RoutineDecl rd)
           
 

Uses of TypeName in javafe.ast
 

Fields in javafe.ast declared as TypeName
private  TypeName[] TypeNameVec.elements
          * Instance fields: * *
 TypeName SingleTypeImportDecl.typeName
           
 TypeName NewInstanceExpr.type
           
 TypeName ClassDecl.superClass
           
 

Methods in javafe.ast that return TypeName
 TypeName TypeNameVec.elementAt(int index)
          * Other methods: * *
 TypeName[] TypeNameVec.toArray()
           
 TypeName TypeNameVec.pop()
           
static TypeName TypeName.make(Name name)
           
static TypeName TypeName.make(TypeModifierPragmaVec tmodifiers, Name name)
           
 

Methods in javafe.ast with parameters of type TypeName
 java.lang.Object VisitorArgResult.visitTypeName(TypeName x, java.lang.Object o)
           
 void Visitor.visitTypeName(TypeName x)
           
static TypeNameVec TypeNameVec.make(TypeName[] els)
           
 void TypeNameVec.setElementAt(TypeName x, int index)
           
 boolean TypeNameVec.contains(TypeName x)
           
 void TypeNameVec.addElement(TypeName x)
           
 boolean TypeNameVec.removeElement(TypeName x)
           
 void TypeNameVec.insertElementAt(TypeName obj, int index)
           
static SingleTypeImportDecl SingleTypeImportDecl.make(int loc, TypeName typeName)
           
static NewInstanceExpr NewInstanceExpr.make(Expr enclosingInstance, int locDot, TypeName type, ExprVec args, ClassDecl anonDecl, int loc, int locOpenParen)
           
 void DefaultVisitor.visitTypeName(TypeName x)
           
static ClassDecl ClassDecl.make(int modifiers, ModifierPragmaVec pmodifiers, Identifier id, TypeNameVec superInterfaces, TypeModifierPragmaVec tmodifiers, TypeDeclElemVec elems, int loc, int locId, int locOpenBrace, int locCloseBrace, TypeName superClass)
           
 

Constructors in javafe.ast with parameters of type TypeName
TypeNameVec(TypeName[] els)
          * Private constructors: * *
 

Uses of TypeName in javafe.parser
 

Methods in javafe.parser that return TypeName
 TypeName ParseType.parseTypeName(Lex l)
          Parse a TypeName.
 

Uses of TypeName in javafe.reader
 

Fields in javafe.reader declared as TypeName
private  TypeName ASTClassFileParser.super_class
          The type name of the superclass of the class being parsed.
private  TypeName[] ASTClassFileParser.interfaces
          The type names of the interfaces implemented by the class being parsed.
 

Methods in javafe.reader that return TypeName
(package private) static TypeName DescriptorParser.parseClass(java.lang.String s)
          Return a type name for a given class-file class-name string.
private  TypeName[] ASTClassFileParser.parseTypeNames(java.io.DataInputStream stream)
          Parse a sequence of type names from a given stream.
 

Uses of TypeName in javafe.tc
 

Methods in javafe.tc with parameters of type TypeName
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.
static void TypeSig.setSig(TypeName n, TypeSig sig)
           
 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.processTypeNameAnnotations(TypeName tn, TypeSig sig, Env env)
           
 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.
 


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