|
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 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 |
||||||||||
PREV NEXT | FRAMES NO FRAMES |