com.uppaal.model.core2.lsc
Interface ViewWorkAround

public interface ViewWorkAround

Method Summary

void	addInstanceLine(int prechart, InstanceLine element)
Update	getAnchoredToConditionUpdate(Condition condition, InstanceLine element)
ArrayList<Condition>	getConditionsOf(Node node)
int	getInstanceLength(int y)
ArrayList<Point>	getMaxSimregions(ArrayList<Simregion> simregions)
Prechart	getPrechart()
int	getPrechartIndex()
Update	getUpdateOf(Node node)
void	populateCondition(AbstractTemplate t)
void	populateInstance(AbstractTemplate t)
void	populatePrechart(AbstractTemplate t)
void	removeInstanceLine(int prechart, InstanceLine element)
void	setAnchorToUpdate(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)

getConditionsOf

ArrayList<Condition> getConditionsOf(Node node)

getUpdateOf

Update getUpdateOf(Node node)

getAnchoredToConditionUpdate

Update getAnchoredToConditionUpdate(Condition condition,
                                    InstanceLine element)

setAnchorToUpdate

void setAnchorToUpdate(InstanceLine anchor,
                       Condition element)

getMaxSimregions

ArrayList<Point> getMaxSimregions(ArrayList<Simregion> simregions)