de.uka.ilkd.key.java.recoderext

Class TransactionStatement

java.lang.Object

recoder.java.JavaSourceElement

recoder.java.JavaProgramElement

recoder.java.JavaNonTerminalProgramElement

recoder.java.statement.JavaStatement

de.uka.ilkd.key.java.recoderext.TransactionStatement

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, NonTerminalProgramElement, ProgramElement, SourceElement, Statement, ModelElement

public class TransactionStatement
extends JavaStatement

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from interface recoder.java.ProgramElement

ProgramElement.TreeStructure

Nested classes/interfaces inherited from interface recoder.java.SourceElement

SourceElement.Position

Field Summary

Fields

Modifier and Type	Field and Description
static int	ABORT
static int	BEGIN
static int	COMMIT
static int	FINISH
private static long	serialVersionUID
private int	type

Fields inherited from class recoder.java.statement.JavaStatement

parent

Fields inherited from class recoder.java.JavaProgramElement

comments

Fields inherited from class recoder.java.JavaSourceElement

factory

Fields inherited from interface recoder.java.ProgramElement

STRUCTURAL_EQUALITY, STRUCTURAL_HASH_CODE

Constructor Summary

Constructors

Modifier	Constructor and Description
	TransactionStatement(int type)
protected	TransactionStatement(TransactionStatement proto)

Method Summary

Modifier and Type	Method and Description
void	accept(SourceVisitor sourceVisitor)
Statement	deepClone()
boolean	equals(java.lang.Object o)
ProgramElement	getChildAt(int index)
int	getChildCount()
int	getChildPositionCode(ProgramElement arg0)
int	getType()
int	hashCode()
boolean	replaceChild(ProgramElement arg0, ProgramElement arg1)
java.lang.String	toString()

Methods inherited from class recoder.java.statement.JavaStatement

getASTParent, getStatementContainer, setStatementContainer

Methods inherited from class recoder.java.JavaNonTerminalProgramElement

getIndexOfChild, getIndexOfChild, getRoleOfChild, makeAllParentRolesValid, makeParentRoleValid, validateAll

Methods inherited from class recoder.java.JavaProgramElement

getComments, setComments, validate

Methods inherited from class recoder.java.JavaSourceElement

getEndPosition, getFactory, getFirstElement, getLastElement, getRelativePosition, getStartPosition, setEndPosition, setRelativePosition, setStartPosition, toSource

Methods inherited from class java.lang.Object

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

Methods inherited from interface recoder.java.ProgramElement

getComments, setComments

Methods inherited from interface recoder.java.SourceElement

getEndPosition, getFactory, getFirstElement, getLastElement, getRelativePosition, getStartPosition, setEndPosition, setRelativePosition, setStartPosition, toSource

Methods inherited from interface recoder.ModelElement

validate

Field Detail

serialVersionUID

private static final long serialVersionUID

See Also:

Constant Field Values

BEGIN

public static final int BEGIN

See Also:

Constant Field Values

COMMIT

public static final int COMMIT

See Also:

Constant Field Values

FINISH

public static final int FINISH

See Also:

Constant Field Values

ABORT

public static final int ABORT

See Also:

Constant Field Values

type

private int type

Constructor Detail

TransactionStatement

public TransactionStatement(int type)

TransactionStatement

protected TransactionStatement(TransactionStatement proto)

Method Detail

getType

public int getType()

getChildAt

public ProgramElement getChildAt(int index)

deepClone

public Statement deepClone()

accept

public void accept(SourceVisitor sourceVisitor)

getChildCount

public int getChildCount()

getChildPositionCode

public int getChildPositionCode(ProgramElement arg0)

replaceChild

public boolean replaceChild(ProgramElement arg0,
                            ProgramElement arg1)

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object