public class ModalityPositionTable extends PositionTable
children, endPos, startPos
Constructor and Description |
---|
ModalityPositionTable(int rows) |
Modifier and Type | Method and Description |
---|---|
Range |
getFirstStatementRange() |
void |
setFirstStatementRange(Range r) |
firstStatementRangeForIndex, getChild, getSequentPIS, pathForIndex, rangeForIndex, rangeForPath, setEnd, setStart, setStart, toString
public void setFirstStatementRange(Range r)
public Range getFirstStatementRange()
getFirstStatementRange
in class PositionTable
ModalityPositionTable
.Copyright © 2003-2019 The KeY-Project.