|
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.Objectescjava.ast.DerivedMethodDecl
This class represents the intermediate method declaration/specification structure used in escjava.translate.GetSpec as described in section 7 of ESCJ 16.
Constructor Summary | |
DerivedMethodDecl(RoutineDecl rd)
|
Method Summary | |
void |
computeFreshUsage()
|
TypeDecl |
getContainingClass()
|
Identifier |
getId()
|
int |
getRoutineDeclEndLoc()
|
int |
getRoutineDeclStartLoc()
|
boolean |
isConstructor()
|
boolean |
isConstructorThatCallsSibling()
|
boolean |
isInstanceMethod()
|
boolean |
isStaticMethod()
|
boolean |
isSynchronized()
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
public RoutineDecl original
public FormalParaDeclVec args
public Type returnType
public TypeNameVec throwsSet
public boolean usesFresh
public ExprModifierPragmaVec requires
public ModifiesGroupPragmaVec modifies
public boolean modifiesEverything
public ExprModifierPragmaVec ensures
public VarExprModifierPragmaVec exsures
public SimpleModifierPragma nonnull
Constructor Detail |
public DerivedMethodDecl(RoutineDecl rd)
Method Detail |
public boolean isConstructor()
public boolean isConstructorThatCallsSibling()
public boolean isStaticMethod()
public boolean isInstanceMethod()
public boolean isSynchronized()
public Identifier getId()
public TypeDecl getContainingClass()
public int getRoutineDeclStartLoc()
public int getRoutineDeclEndLoc()
public void computeFreshUsage()
|
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 |