de.uka.ilkd.key.java.statement

Class BranchImp

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

All Implemented Interfaces:

ModelElement, NonTerminalProgramElement, ProgramElement, SourceElement, Branch, StatementContainer, SVSubstitute

Direct Known Subclasses:

Case, Catch, Default, Else, Finally, Then

public abstract class BranchImp
extends JavaNonTerminalProgramElement
implements Branch

Branch.

Author:

AutoDoc

Constructor Summary

Constructors

Constructor and Description
BranchImp()
BranchImp(ExtList children) Constructor for the transformation of COMPOST ASTs to KeY.
BranchImp(ExtList children, 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.StatementContainer

getStatementAt, getStatementCount

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

BranchImp

public BranchImp(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

BranchImp

public BranchImp()

BranchImp

public BranchImp(ExtList children,
                 PositionInfo pos)