de.uka.ilkd.key.java.statement

Class BranchStatement

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.BranchStatement

All Implemented Interfaces:

ModelElement, NonTerminalProgramElement, ProgramElement, SourceElement, Statement, SVSubstitute

Direct Known Subclasses:

If, Switch, Try

public abstract class BranchStatement
extends JavaStatement
implements NonTerminalProgramElement

Branch statement.

Author:

AL, AutoDoc

Constructor Summary

Constructors

Constructor and Description
BranchStatement()
BranchStatement(ExtList children) Constructor for the transformation of COMPOST ASTs to KeY.

Method Summary

Modifier and Type	Method and Description
abstract Branch	getBranchAt(int index)
abstract int	getBranchCount() Get the number of branches in this container.

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.NonTerminalProgramElement

getChildAt, getChildCount

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

Constructor Detail

BranchStatement

public BranchStatement()

BranchStatement

public BranchStatement(ExtList children)

Constructor for the transformation of COMPOST ASTs to KeY.

Parameters:

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

Method Detail

getBranchCount

public abstract int getBranchCount()

Get the number of branches in this container.

Returns:

the number of branches.

getBranchAt

public abstract Branch getBranchAt(int index)