de.uka.ilkd.key.java.statement

Class JavaStatement

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

All Implemented Interfaces:

ModelElement, NonTerminalProgramElement, ProgramElement, SourceElement, Statement, SVSubstitute

Direct Known Subclasses:

Assert, BranchStatement, JumpStatement, LabeledStatement, LoopScopeBlock, LoopStatement, MergePointStatement, MethodFrame, StatementBlock, SynchronizedBlock, TransactionStatement

public abstract class JavaStatement
extends JavaNonTerminalProgramElement
implements Statement

Default implementation for non-terminal Java statements.

Author:

AutoDoc

Constructor Summary

Constructors

Constructor and Description
JavaStatement() Java statement.
JavaStatement(ExtList children) Java statement.
JavaStatement(ExtList children, PositionInfo pos)
JavaStatement(PositionInfo pos)

Method Summary

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

compatibleBlockSize, computeHashCode, equals, equalsModRenaming, getArrayPos, match, matchChildren

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

getComments, hashCode, prettyPrint, prettyPrintMain, reuseSignature

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

getEndPosition, getFirstElement, getFirstElementIncludingBlocks, getLastElement, getParentClass, getPositionInfo, getRelativePosition, getStartPosition, setParentClass, toSource, toString, 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, match

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

equalsModRenaming, getEndPosition, getFirstElement, getFirstElementIncludingBlocks, getLastElement, getPositionInfo, getRelativePosition, getStartPosition, prettyPrint, visit

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

getChildAt, getChildCount

Constructor Detail

JavaStatement

public JavaStatement()

Java statement.

JavaStatement

public JavaStatement(ExtList children)

Java statement.

Parameters:

children - the children of this AST element as KeY classes. May contain: Comments

JavaStatement

public JavaStatement(ExtList children,
                     PositionInfo pos)

JavaStatement

public JavaStatement(PositionInfo pos)