de.uka.ilkd.key.logic

Interface ProgramPrefix

All Superinterfaces:

ModelElement, NonTerminalProgramElement, ProgramElement, SourceElement, SVSubstitute

All Known Implementing Classes:

ContextStatementBlock, LabeledStatement, LoopScopeBlock, MethodFrame, StatementBlock, SynchronizedBlock, Try

public interface ProgramPrefix
extends NonTerminalProgramElement

this interface is implemented by program elements that may be matched by the inactive program prefix

Method Summary

Modifier and Type	Method and Description
PosInProgram	getFirstActiveChildPos() returns the position of the first active child
MethodFrame	getInnerMostMethodFrame() returns the inner most MethodFrame
ProgramPrefix	getLastPrefixElement() return the last prefix element
ProgramPrefix	getNextPrefixElement() return the next prefix element if no next prefix element is available an IndexOutOfBoundsException is thrown
ImmutableArray<ProgramPrefix>	getPrefixElements() returns an array with all prefix elements starting at this element
int	getPrefixLength() returns the length of the prefix
boolean	hasNextPrefixElement() return true if there is a next prefix element

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

Method Detail

hasNextPrefixElement

boolean hasNextPrefixElement()

return true if there is a next prefix element

getNextPrefixElement

ProgramPrefix getNextPrefixElement()

return the next prefix element if no next prefix element is available an IndexOutOfBoundsException is thrown

getLastPrefixElement

ProgramPrefix getLastPrefixElement()

return the last prefix element

getPrefixElements

ImmutableArray<ProgramPrefix> getPrefixElements()

returns an array with all prefix elements starting at this element

getFirstActiveChildPos

PosInProgram getFirstActiveChildPos()

returns the position of the first active child

getPrefixLength

int getPrefixLength()

returns the length of the prefix

getInnerMostMethodFrame

MethodFrame getInnerMostMethodFrame()

returns the inner most MethodFrame