|
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.ast.ASTNode
javafe.ast.ModifierPragma
escjava.ast.ModifiesGroupPragma
Field Summary | |
int |
clauseLoc
|
CondExprModifierPragmaVec |
items
|
Expr |
precondition
|
int |
tag
|
Fields inherited from class javafe.ast.ModifierPragma |
redundant |
Fields inherited from class javafe.ast.ASTNode |
|
Constructor Summary | |
protected |
ModifiesGroupPragma()
Construct a raw ModifiesGroupPragma whose class invariant(s) have not yet been established. |
Method Summary | |
void |
accept(Visitor v)
Accept a visit from v . |
java.lang.Object |
accept(VisitorArgResult v,
java.lang.Object o)
|
void |
addElement(CondExprModifierPragma e)
|
ModifiesGroupPragma |
append(CondExprModifierPragmaVec ev)
|
ModifiesGroupPragma |
append(ModifiesGroupPragma m)
|
void |
check()
|
java.lang.Object |
childAt(int index)
Return the first-but-ith child of a node. |
int |
childCount()
Return the number of children a node has. |
int |
getStartLoc()
|
int |
getTag()
Return the tag of a node. |
static ModifiesGroupPragma |
make(int tag,
CondExprModifierPragmaVec items,
Expr precondition,
int clauseLoc)
|
static ModifiesGroupPragma |
make(int tag,
int loc)
|
java.lang.String |
toString()
Return a string representation of this .
|
Methods inherited from class javafe.ast.ModifierPragma |
isRedundant, originalTag, setOriginalTag, setRedundant |
Methods inherited from class javafe.ast.ASTNode |
clone, clone, getDecorations, getEndLoc, setDecorations |
Methods inherited from class java.lang.Object |
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
public int tag
public CondExprModifierPragmaVec items
public Expr precondition
public int clauseLoc
Constructor Detail |
protected ModifiesGroupPragma()
Method Detail |
public int getStartLoc()
getStartLoc
in class ASTNode
public static ModifiesGroupPragma make(int tag, int loc)
public void addElement(CondExprModifierPragma e)
public ModifiesGroupPragma append(ModifiesGroupPragma m)
public ModifiesGroupPragma append(CondExprModifierPragmaVec ev)
public final int childCount()
ASTNode
childCount
in class ASTNode
public final java.lang.Object childAt(int index)
ASTNode
childAt
in class ASTNode
public final java.lang.String toString()
ASTNode
this
.
Meant for debugging use only, not for presentation.
toString
in class ASTNode
public final int getTag()
ASTNode
getTag
in class ASTNode
public final void accept(Visitor v)
ASTNode
v
. This method simply
calls the method of v
corresponding to the
allocated type of this
, passing this
as the argument. See the design patterns book.
accept
in class ASTNode
public final java.lang.Object accept(VisitorArgResult v, java.lang.Object o)
accept
in class ASTNode
public void check()
check
in class ModifierPragma
public static ModifiesGroupPragma make(int tag, CondExprModifierPragmaVec items, Expr precondition, int clauseLoc)
|
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 |