|
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 CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjavafe.tc.PrepTypeDeclaration
escjava.tc.PrepTypeDeclaration
Field Summary | |
protected StackVector |
jmlDupFieldsSeq
|
protected StackVector |
jmlFieldsSeq
|
protected StackVector |
jmlHiddenFieldsSeq
|
private int |
numJmlFields
|
private java.util.LinkedList |
numJmlList
|
Fields inherited from class javafe.tc.PrepTypeDeclaration |
_rootCache, constructorSeq, fieldSeq, hiddenfieldSeq, inst, methodSeq |
Constructor Summary | |
PrepTypeDeclaration()
|
Method Summary | |
protected void |
addInheritedMembers(TypeSig type,
TypeSig superType)
Find all members of a supertype inherited by a type. |
protected void |
checkSuperInterfaces(TypeSig sig,
TypeNameVec superInterfaces)
Check superinterfaces and add their members to fieldSeq and methodSeq. |
protected boolean |
declaresField(TypeSig sig,
Identifier id)
|
private boolean |
declaresField(TypeSig sig,
Identifier id,
int n)
|
TypeSig |
getRootInterface()
This routine constructs and returns the interface that all interfaces are de-facto subinterfaces of. |
void |
prepEnd(TypeSig sig,
TypeDecl decl)
|
void |
prepStart(TypeSig sig,
TypeDecl decl)
|
void |
print(java.lang.String s,
FieldDeclVec fdv)
|
protected void |
startSupers()
|
protected boolean |
superMemberAccessible(TypeSig type,
TypeSig superType,
int modifiers,
ModifierPragmaVec pmodifiers)
Check if a member is accessible from a direct subclass. |
void |
visitMethodDecl(MethodDecl x,
TypeSig currentSig,
boolean abstractMethodsOK,
boolean inFinalClass,
boolean inInterface)
Visit a MethodDecl, check it and add it to methodSeq. |
protected void |
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 |
Methods inherited from class javafe.tc.PrepTypeDeclaration |
checkModifiers, checkSuperTypeAccessible, checkTypeModifiers, declaresFieldJava, getEnvForCurrentSig, getOverrides, getOverrides, prepDo, prepTypeSignature, processTypeNameAnnotations, visitClassDecl, visitConstructorDecl, visitFieldDecl, visitInterfaceDecl |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
protected StackVector jmlFieldsSeq
protected StackVector jmlHiddenFieldsSeq
protected StackVector jmlDupFieldsSeq
private int numJmlFields
private java.util.LinkedList numJmlList
Constructor Detail |
public PrepTypeDeclaration()
Method Detail |
public void prepStart(TypeSig sig, TypeDecl decl)
prepStart
in class PrepTypeDeclaration
public void prepEnd(TypeSig sig, TypeDecl decl)
prepEnd
in class PrepTypeDeclaration
public void print(java.lang.String s, FieldDeclVec fdv)
protected void startSupers()
startSupers
in class PrepTypeDeclaration
protected void checkSuperInterfaces(TypeSig sig, TypeNameVec superInterfaces)
PrepTypeDeclaration
checkSuperInterfaces
in class PrepTypeDeclaration
protected void visitTypeDeclElem(TypeDeclElem e, TypeSig currentSig, boolean abstractMethodsOK, boolean inFinalClass, boolean inInterface)
PrepTypeDeclaration
visitTypeDeclElem
in class PrepTypeDeclaration
public void visitMethodDecl(MethodDecl x, TypeSig currentSig, boolean abstractMethodsOK, boolean inFinalClass, boolean inInterface)
PrepTypeDeclaration
visitMethodDecl
in class PrepTypeDeclaration
protected void addInheritedMembers(TypeSig type, TypeSig superType)
PrepTypeDeclaration
addInheritedMembers
in class PrepTypeDeclaration
protected boolean superMemberAccessible(TypeSig type, TypeSig superType, int modifiers, ModifierPragmaVec pmodifiers)
PrepTypeDeclaration
superMemberAccessible
in class PrepTypeDeclaration
protected boolean declaresField(TypeSig sig, Identifier id)
private boolean declaresField(TypeSig sig, Identifier id, int n)
public TypeSig getRootInterface()
PrepTypeDeclaration
This interface is not an actual Java interface, but rather a made up one. Its locations will be valid, but misleading.
The root interface is composed of all the public methods of java.lang.Object turned into abstract methods.
getRootInterface
in class PrepTypeDeclaration
|
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 CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |