de.uka.ilkd.key.java.statement

Class LabelJumpStatement

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

de.uka.ilkd.key.java.statement.LabelJumpStatement

All Implemented Interfaces:

ModelElement, NamedModelElement, NamedProgramElement, NonTerminalProgramElement, ProgramElement, Reference, NameReference, SourceElement, Statement, SVSubstitute

Direct Known Subclasses:

Break, Continue

public abstract class LabelJumpStatement
extends JumpStatement
implements NameReference

Label jump statement.

Field Summary

Fields

Modifier and Type	Field and Description
protected Label	name Name.

Constructor Summary

Constructors

Constructor and Description
LabelJumpStatement() Label jump statement.
LabelJumpStatement(ExtList children) Constructor for the transformation of COMPOST ASTs to KeY.
LabelJumpStatement(Label label) Label jump statement.

Method Summary

Modifier and Type	Method and Description
ProgramElement	getChildAt(int index) Returns the child at the specified index in this node's "virtual" child array
int	getChildCount() Returns the number of children of this node.
Label	getLabel() Get Label.
java.lang.String	getName() Get name.
ProgramElementName	getProgramElementName() Get identifier.

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

Field Detail

name

protected final Label name

Name.

Constructor Detail

LabelJumpStatement

public LabelJumpStatement()

Label jump statement.

LabelJumpStatement

public LabelJumpStatement(Label label)

Label jump statement.

Parameters:

label - the Label of this jump statement

LabelJumpStatement

public LabelJumpStatement(ExtList children)

Constructor for the transformation of COMPOST ASTs to KeY.

Parameters:

children - the children of this AST element as KeY classes.

Method Detail

getName

public final java.lang.String getName()

Get name.

Specified by:

getName in interface NamedModelElement

Returns:

the string.

getLabel

public Label getLabel()

Get Label.

Returns:

the Label label

getProgramElementName

public ProgramElementName getProgramElementName()

Get identifier.

Specified by:

getProgramElementName in interface NamedProgramElement

Returns:

the identifier.

getChildCount

public int getChildCount()

Returns the number of children of this node.

Specified by:

getChildCount in interface NonTerminalProgramElement

Returns:

an int giving the number of children of this node

getChildAt

public ProgramElement getChildAt(int index)

Returns the child at the specified index in this node's "virtual" child array

Specified by:

getChildAt in interface NonTerminalProgramElement

Parameters:

index - an index into this node's "virtual" child array

Returns:

the program element at the given position

Throws:

java.lang.ArrayIndexOutOfBoundsException - if index is out of bounds