Package com.uppaal.model.core2.lsc
Interface ViewWorkAround
-
public interface ViewWorkAround
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description voidaddInstanceLine(int prechart, InstanceLine element)UpdategetAnchoredToConditionUpdate(Condition condition, InstanceLine element)java.util.ArrayList<Condition>getConditionsOf(Node node)intgetInstanceLength(int y)java.util.ArrayList<java.awt.Point>getMaxSimregions(java.util.ArrayList<Simregion> simregions)PrechartgetPrechart()intgetPrechartIndex()UpdategetUpdateOf(Node node)voidpopulateCondition(AbstractTemplate t)voidpopulateInstance(AbstractTemplate t)voidpopulatePrechart(AbstractTemplate t)voidremoveInstanceLine(int prechart, InstanceLine element)voidsetAnchorToUpdate(InstanceLine anchor, Condition element)
-
-
-
Method Detail
-
getInstanceLength
int getInstanceLength(int y)
-
populateInstance
void populateInstance(AbstractTemplate t)
-
populatePrechart
void populatePrechart(AbstractTemplate t)
-
populateCondition
void populateCondition(AbstractTemplate t)
-
getPrechartIndex
int getPrechartIndex()
-
getPrechart
Prechart getPrechart()
-
addInstanceLine
void addInstanceLine(int prechart, InstanceLine element)
-
removeInstanceLine
void removeInstanceLine(int prechart, InstanceLine element)
-
getAnchoredToConditionUpdate
Update getAnchoredToConditionUpdate(Condition condition, InstanceLine element)
-
setAnchorToUpdate
void setAnchorToUpdate(InstanceLine anchor, Condition element)
-
getMaxSimregions
java.util.ArrayList<java.awt.Point> getMaxSimregions(java.util.ArrayList<Simregion> simregions)
-
-