public class TransactionStatement extends JavaStatement
Modifier and Type | Field and Description |
---|---|
static java.lang.String[] |
names |
private int |
type |
Constructor and Description |
---|
TransactionStatement(int type) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object o) |
boolean |
equalsModRenaming(SourceElement source,
NameAbstractionTable nat)
commented in interface SourceElement.
|
ProgramElement |
getChildAt(int index)
Returns the child at the specified index in this node's "virtual"
child array.
|
int |
getChildCount()
Returns the number of children of this node.
|
int |
getPrecedence() |
MatchConditions |
match(SourceData source,
MatchConditions conditions)
matches the source "text" (@link SourceData#getSource()) against the pattern represented
by this object.
|
void |
prettyPrint(PrettyPrinter p)
Pretty printing the source element.
|
java.lang.String |
toString()
toString
|
void |
visit(Visitor v)
calls the corresponding method of a visitor in order to
perform some action/transformation on this element
|
compatibleBlockSize, computeHashCode, getArrayPos, matchChildren
getComments, hashCode, prettyPrintMain, reuseSignature
getEndPosition, getFirstElement, getFirstElementIncludingBlocks, getLastElement, getParentClass, getPositionInfo, getRelativePosition, getStartPosition, setParentClass, toSource, toString
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
getComments
getEndPosition, getFirstElement, getFirstElementIncludingBlocks, getLastElement, getPositionInfo, getRelativePosition, getStartPosition
public void visit(Visitor v)
SourceElement
v
- the Visitorpublic ProgramElement getChildAt(int index)
NonTerminalProgramElement
index
- an index into this node's "virtual" child arraypublic int getChildCount()
NonTerminalProgramElement
public void prettyPrint(PrettyPrinter p) throws java.io.IOException
JavaSourceElement
prettyPrint
in interface SourceElement
prettyPrint
in class JavaProgramElement
p
- a pretty printer.java.io.IOException
- occasionally thrown.public int getPrecedence()
public java.lang.String toString()
JavaSourceElement
toString
in class JavaSourceElement
public boolean equals(java.lang.Object o)
equals
in class JavaNonTerminalProgramElement
public MatchConditions match(SourceData source, MatchConditions conditions)
ProgramElement
MatchConditions
with
the found instantiations of the schemavariables. If the match
failed, null is returned instead.match
in interface ProgramElement
match
in class JavaNonTerminalProgramElement
source
- the SourceData with the program element to matchconditions
- the MatchConditions found up to this pointpublic boolean equalsModRenaming(SourceElement source, NameAbstractionTable nat)
JavaNonTerminalProgramElement
equalsModRenaming
in interface SourceElement
equalsModRenaming
in class JavaNonTerminalProgramElement