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 Interface
javafe.ast.TypeDeclElem

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

Uses of TypeDeclElem in escjava
 

Methods in escjava that return TypeDeclElem
(package private)  TypeDeclElem RefinementSequence.cleancopy(TypeDeclElem tde)
           
 

Methods in escjava with parameters of type TypeDeclElem
(package private)  TypeDeclElem RefinementSequence.cleancopy(TypeDeclElem tde)
           
private  void Main.processTypeDeclElem(TypeDeclElem te, TypeSig sig, InitialState initState)
          Run stages 3+..6 as requested on a TypeDeclElem.
 void AnnotationHandler.handlePragmas(TypeDeclElem tde)
           
 void AnnotationHandler.process(TypeDeclElem tde)
           
 

Uses of TypeDeclElem in escjava.ast
 

Classes in escjava.ast that implement TypeDeclElem
 class DependsPragma
           
 class ExprDeclPragma
           
 class GhostDeclPragma
           
 class IdExprDeclPragma
           
 class ModelConstructorDeclPragma
           
 class ModelDeclPragma
           
 class ModelMethodDeclPragma
           
 class ModelTypePragma
           
 class NamedExprDeclPragma
           
 class StillDeferredDeclPragma
           
 

Uses of TypeDeclElem in escjava.parser
 

Methods in escjava.parser that return TypeDeclElem
protected  TypeDeclElem EscPragmaParser.parseTypeDeclElemIntoSeqTDE(Lex l, int keyword, Identifier containerId, boolean specOnly)
           
 

Uses of TypeDeclElem in escjava.tc
 

Methods in escjava.tc with parameters of type TypeDeclElem
protected  void PrepTypeDeclaration.visitTypeDeclElem(TypeDeclElem e, TypeSig currentSig, boolean abstractMethodsOK, boolean inFinalClass, boolean inInterface)
           
protected  void FlowInsensitiveChecks.checkTypeDeclElem(TypeDeclElem e)
           
 

Uses of TypeDeclElem in escjava.translate
 

Methods in escjava.translate with parameters of type TypeDeclElem
static boolean InlineConstructor.isConstructorInlinable(TypeDeclElem tde)
           
 

Uses of TypeDeclElem in javafe.ast
 

Classes in javafe.ast that implement TypeDeclElem
 class ClassDecl
           
 class ConstructorDecl
          Represents a ConstructorDeclaration.
 class FieldDecl
          Represents a field declaration.
 class InitBlock
          Represents an initializing block of code as a class member We include modifiers for later extensibility to JDK 1.1, where both static and dynamic initializer blocks are allowed.
 class InterfaceDecl
           
 class MethodDecl
           
 class RoutineDecl
          Represents both MethodDeclarations and ConstructorDeclarations.
 class TypeDecl
          Represents a TypeDeclaration.
 class TypeDeclElemPragma
           
 

Fields in javafe.ast declared as TypeDeclElem
private  TypeDeclElem[] TypeDeclElemVec.elements
          * Instance fields: * *
 

Methods in javafe.ast that return TypeDeclElem
 TypeDeclElem TypeDeclElemVec.elementAt(int index)
          * Other methods: * *
 TypeDeclElem[] TypeDeclElemVec.toArray()
           
 TypeDeclElem TypeDeclElemVec.pop()
           
 

Methods in javafe.ast with parameters of type TypeDeclElem
static TypeDeclElemVec TypeDeclElemVec.make(TypeDeclElem[] els)
           
 void TypeDeclElemVec.setElementAt(TypeDeclElem x, int index)
           
 boolean TypeDeclElemVec.contains(TypeDeclElem x)
           
 void TypeDeclElemVec.addElement(TypeDeclElem x)
           
 boolean TypeDeclElemVec.removeElement(TypeDeclElem x)
           
 void TypeDeclElemVec.insertElementAt(TypeDeclElem obj, int index)
           
 void StandardPrettyPrint.print(java.io.OutputStream o, int ind, TypeDeclElem d, Identifier classId, boolean showBody)
           
abstract  void PrettyPrint.print(java.io.OutputStream o, int ind, TypeDeclElem d, Identifier classId, boolean showBody)
          Print a member or static initializer of a type declaration.
 void DelegatingPrettyPrint.print(java.io.OutputStream o, int ind, TypeDeclElem d, Identifier classId, boolean showBody)
           
 

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

Uses of TypeDeclElem in javafe.parser
 

Methods in javafe.parser that return TypeDeclElem
(package private) abstract  TypeDeclElem ParseExpr.parseTypeDeclElemIntoSeqTDE(Lex l, int keyword, Identifier containerId, boolean specOnly)
          Parse an element of a type declaration into "seq".
protected  TypeDeclElem Parse.parseTypeDeclElemIntoSeqTDE(Lex l, int keyword, Identifier containerId, boolean specOnly)
          Parse a TypeDeclElem, which is either a field, method, or constructor declaration, a static block, or a TypeDecl [1.1].
 

Uses of TypeDeclElem in javafe.reader
 

Methods in javafe.reader with parameters of type TypeDeclElem
protected  void ASTClassFileParser.addNonSyntheticDecls(TypeDeclElemVec v, TypeDeclElem[] elems)
          Add only AST nodes that are not synthetic decls to v.
 

Uses of TypeDeclElem in javafe.tc
 

Methods in javafe.tc with parameters of type TypeDeclElem
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 FlowInsensitiveChecks.checkTypeDeclElem(TypeDeclElem e)
           
 


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