de.uka.ilkd.key.java

Interface Label

All Superinterfaces:

ModelElement, ProgramElement, SourceElement, SVSubstitute, TerminalProgramElement

All Known Subinterfaces:

ProgramConstruct

All Known Implementing Classes:

ProgramElementName, ProgramSV, VariableNamer.IndProgramElementName, VariableNamer.PermIndProgramElementName, VariableNamer.TempIndProgramElementName

public interface Label
extends TerminalProgramElement

Method Summary

Modifier and Type	Method and Description
Comment[]	getComments() Get comments.
Position	getEndPosition() Returns the end position of the primary token of this element.
SourceElement	getFirstElement() Finds the source element that occurs first in the source.
SourceElement	getLastElement() Finds the source element that occurs last in the source.
Position	getRelativePosition() Returns the relative position (number of blank heading lines and columns) of the primary token of this element.
Position	getStartPosition() Returns the start position of the primary token of this element.
void	prettyPrint(PrettyPrinter w) Pretty print.
void	visit(Visitor v) calls the corresponding method of a visitor in order to perform some action/transformation on this element

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

match

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

equalsModRenaming, getFirstElementIncludingBlocks, getPositionInfo

Method Detail

getComments

Comment[] getComments()

Description copied from interface: ProgramElement

Get comments.

Specified by:

getComments in interface ProgramElement

Returns:

the comments.

getFirstElement

SourceElement getFirstElement()

Description copied from interface: SourceElement

Finds the source element that occurs first in the source.

Specified by:

getFirstElement in interface SourceElement

Returns:

the first source element in the syntactical representation of this element, may be equals to this element.

See Also:

SourceElement.getStartPosition()

getLastElement

SourceElement getLastElement()

Description copied from interface: SourceElement

Finds the source element that occurs last in the source.

Specified by:

getLastElement in interface SourceElement

Returns:

the last source element in the syntactical representation of this element, may be equals to this element.

See Also:

SourceElement.getEndPosition()

prettyPrint

void prettyPrint(PrettyPrinter w)
          throws java.io.IOException

Description copied from interface: SourceElement

Pretty print.

Specified by:

prettyPrint in interface SourceElement

Parameters:

w - a pretty printer.

Throws:

java.io.IOException - occasionally thrown.

visit

void visit(Visitor v)

Description copied from interface: SourceElement

calls the corresponding method of a visitor in order to perform some action/transformation on this element

Specified by:

visit in interface SourceElement

Parameters:

v - the Visitor

getStartPosition

Position getStartPosition()

Description copied from interface: SourceElement

Returns the start position of the primary token of this element. To get the start position of the syntactical first token, call the corresponding method of getFirstElement().

Specified by:

getStartPosition in interface SourceElement

Returns:

the start position of the primary token.

getEndPosition

Position getEndPosition()

Description copied from interface: SourceElement

Returns the end position of the primary token of this element. To get the end position of the syntactical first token, call the corresponding method of getLastElement().

Specified by:

getEndPosition in interface SourceElement

Returns:

the end position of the primary token.

getRelativePosition

Position getRelativePosition()

Description copied from interface: SourceElement

Returns the relative position (number of blank heading lines and columns) of the primary token of this element. To get the relative position of the syntactical first token, call the corresponding method of getFirstElement().

Specified by:

getRelativePosition in interface SourceElement

Returns:

the relative position of the primary token.