de.uka.ilkd.key.java.statement

Class TransactionStatement

java.lang.Object

de.uka.ilkd.key.java.JavaSourceElement

de.uka.ilkd.key.java.JavaProgramElement

de.uka.ilkd.key.java.JavaNonTerminalProgramElement

de.uka.ilkd.key.java.statement.JavaStatement

de.uka.ilkd.key.java.statement.TransactionStatement

All Implemented Interfaces:

ModelElement, NonTerminalProgramElement, ProgramElement, SourceElement, Statement, SVSubstitute

public class TransactionStatement
extends JavaStatement

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.String[]	names
private int	type

Constructor Summary

Constructors

Constructor and Description
TransactionStatement(int type)

Method Summary

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

Methods inherited from class de.uka.ilkd.key.java.JavaNonTerminalProgramElement

compatibleBlockSize, computeHashCode, getArrayPos, matchChildren

Methods inherited from class de.uka.ilkd.key.java.JavaProgramElement

getComments, hashCode, prettyPrintMain, reuseSignature

Methods inherited from class de.uka.ilkd.key.java.JavaSourceElement

getEndPosition, getFirstElement, getFirstElementIncludingBlocks, getLastElement, getParentClass, getPositionInfo, getRelativePosition, getStartPosition, setParentClass, toSource, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface de.uka.ilkd.key.java.ProgramElement

getComments

Methods inherited from interface de.uka.ilkd.key.java.SourceElement

getEndPosition, getFirstElement, getFirstElementIncludingBlocks, getLastElement, getPositionInfo, getRelativePosition, getStartPosition

Field Detail

names

public static final java.lang.String[] names

type

private int type

Constructor Detail

TransactionStatement

public TransactionStatement(int type)

Method Detail

visit

public void visit(Visitor v)

Description copied from interface: SourceElement

calls the corresponding method of a visitor in order to perform some action/transformation on this element

Parameters:

v - the Visitor

getChildAt

public ProgramElement getChildAt(int index)

Description copied from interface: NonTerminalProgramElement

Returns the child at the specified index in this node's "virtual" child array.

Parameters:

index - an index into this node's "virtual" child array

Returns:

the program element at the given position

getChildCount

public int getChildCount()

Description copied from interface: NonTerminalProgramElement

Returns the number of children of this node.

Returns:

an int giving the number of children of this node

prettyPrint

public void prettyPrint(PrettyPrinter p)
                 throws java.io.IOException

Description copied from class: JavaSourceElement

Pretty printing the source element.

Specified by:

prettyPrint in interface SourceElement

Overrides:

prettyPrint in class JavaProgramElement

Parameters:

p - a pretty printer.

Throws:

java.io.IOException - occasionally thrown.

getPrecedence

public int getPrecedence()

toString

public java.lang.String toString()

Description copied from class: JavaSourceElement

toString

Overrides:

toString in class JavaSourceElement

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class JavaNonTerminalProgramElement

match

public MatchConditions match(SourceData source,
                             MatchConditions conditions)

Description copied from interface: ProgramElement

matches the source "text" (@link SourceData#getSource()) against the pattern represented by this object. In case of a successful match the resulting MatchConditions with the found instantiations of the schemavariables. If the match failed, null is returned instead.

Specified by:

match in interface ProgramElement

Overrides:

match in class JavaNonTerminalProgramElement

Parameters:

source - the SourceData with the program element to match

conditions - the MatchConditions found up to this point

Returns:

the resulting match conditions or null if the match failed

equalsModRenaming

public boolean equalsModRenaming(SourceElement source,
                                 NameAbstractionTable nat)

Description copied from class: JavaNonTerminalProgramElement

commented in interface SourceElement. Overwrites the default method implementation in ProgramElement by descending down to the children.

Specified by:

equalsModRenaming in interface SourceElement

Overrides:

equalsModRenaming in class JavaNonTerminalProgramElement