Package com.uppaal.model.system
Class GanttRow
- java.lang.Object
-
- com.uppaal.model.system.GanttRow
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
addBar(GanttBar bar)
Adds a new Gantt-bar to rowvoid
clearRow()
Clear the gantt rowObject
clone()
Make a clone of the gantt rowGanttBar
getFromNum(int i)
Get the gantt bar with the indexLimit
maximalNonInfiniteEndTime()
Find the greatest not infinite end time in the row.int
noOfBars()
Get the number of gantt barsvoid
printRowInfo()
Print the row informationvoid
truncate(BigDecimal t)
Cut off contents to the "right" of time t in the entire row
-
-
-
Constructor Detail
-
GanttRow
public GanttRow()
Constructor
-
GanttRow
public GanttRow(String l)
Constructor- Parameters:
l
- - The label string
-
-
Method Detail
-
clearRow
public void clearRow()
Clear the gantt row
-
addBar
public void addBar(GanttBar bar)
Adds a new Gantt-bar to row- Parameters:
bar
- - The gantt bar
-
noOfBars
public int noOfBars()
Get the number of gantt bars- Returns:
- The number of bars of the gantt row
-
getFromNum
public GanttBar getFromNum(int i)
Get the gantt bar with the index- Parameters:
i
- - The index- Returns:
- The bar if the gantt row
-
printRowInfo
public void printRowInfo()
Print the row information
-
truncate
public void truncate(BigDecimal t)
Cut off contents to the "right" of time t in the entire row- Parameters:
t
- - The time
-
maximalNonInfiniteEndTime
public Limit maximalNonInfiniteEndTime()
Find the greatest not infinite end time in the row.- Returns:
- tmp - The greatest end time
-
clone
public Object clone() throws CloneNotSupportedException
Make a clone of the gantt row- Overrides:
clone
in classObject
- Returns:
- theClone - The clone of the gantt row
- Throws:
CloneNotSupportedException
-
-