de.uka.ilkd.key.java.statement

Interface IForUpdates

All Superinterfaces:

ModelElement, ProgramElement, SourceElement, SVSubstitute, TerminalProgramElement

All Known Subinterfaces:

ProgramConstruct

All Known Implementing Classes:

ForUpdates, ProgramSV

public interface IForUpdates
extends TerminalProgramElement

Method Summary

Modifier and Type	Method and Description
Expression	getExpressionAt(int i)
ImmutableArray<Expression>	getUpdates()
int	size()

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

size

int size()

getExpressionAt

Expression getExpressionAt(int i)

getUpdates

ImmutableArray<Expression> getUpdates()