Package com.uppaal.model.system
Class GanttChart
- java.lang.Object
-
- com.uppaal.model.system.GanttChart
-
- All Implemented Interfaces:
java.lang.Cloneable
public class GanttChart extends java.lang.Object implements java.lang.CloneableThe class Gantt chart
-
-
Constructor Summary
Constructors Constructor Description GanttChart()Constructor
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description voidaddRow(GanttRow row)Add a new row into the chartvoidclearChart()Clear the rows, but keep id-strings and empty lists for each rowjava.lang.Objectclone()GanttRowgetRow(int i)Get the rowLimitmaximalNonInfiniteEndTime()Get the maximum non infinite end timeintnoOfRows()Get the number of the rowsvoidprintGanttInfo()Printing the gantt chart informationvoidtruncate(int from)Remove everything from the input datavoidtruncate(java.math.BigDecimal t)Remove everything to the "right" of time t in chart
-
-
-
Method Detail
-
addRow
public void addRow(GanttRow row)
Add a new row into the chart- Parameters:
row- - The gantt chart row
-
noOfRows
public int noOfRows()
Get the number of the rows- Returns:
- rows number
-
getRow
public GanttRow getRow(int i)
Get the row- Parameters:
i- - The index- Returns:
- The gantt chart row
-
truncate
public void truncate(java.math.BigDecimal t)
Remove everything to the "right" of time t in chart- Parameters:
t- - The time value
-
truncate
public void truncate(int from)
Remove everything from the input data- Parameters:
from- - The from data
-
clearChart
public void clearChart()
Clear the rows, but keep id-strings and empty lists for each row
-
maximalNonInfiniteEndTime
public Limit maximalNonInfiniteEndTime()
Get the maximum non infinite end time- Returns:
- tmp - The maximum end time
-
printGanttInfo
public void printGanttInfo()
Printing the gantt chart information
-
clone
public java.lang.Object clone() throws java.lang.CloneNotSupportedException- Overrides:
clonein classjava.lang.Object- Throws:
java.lang.CloneNotSupportedException
-
-