de.uka.ilkd.key.java.statement

Interface Branch

All Superinterfaces:

ModelElement, NonTerminalProgramElement, ProgramElement, SourceElement, StatementContainer, SVSubstitute

All Known Subinterfaces:

ProgramConstruct

All Known Implementing Classes:

BranchImp, Case, Catch, Default, Else, Finally, ProgramSV, Then

public interface Branch
extends StatementContainer

Branch.

Author:

AutoDoc

Method Summary

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