GanttChart (UPPAAL model library)

java.lang.Object

com.uppaal.model.system.GanttChart

All Implemented Interfaces:: Cloneable

public class GanttChart
extends Object
implements Cloneable

The class Gantt chart

Constructor Summary

Constructors

Constructor Description

GanttChart()
Constructor

Method Summary

Modifier and Type	Method	Description
`void`	`addRow(GanttRow row)`	Add a new row into the chart
`void`	`clearChart()`	Clear the rows, but keep id-strings and empty lists for each row
`Object`	`clone()`
`GanttRow`	`getRow(int i)`	Get the row
`Limit`	`maximalNonInfiniteEndTime()`	Get the maximum non infinite end time
`int`	`noOfRows()`	Get the number of the rows
`void`	`printGanttInfo()`	Printing the gantt chart information
`void`	`truncate(int from)`	Remove everything from the input data
`void`	`truncate(BigDecimal t)`	Remove everything to the "right" of time t in chart

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details
- GanttChart
  
  public GanttChart()
  
  Constructor
Method Details
- 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(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 Object clone() throws CloneNotSupportedException
  
  Overrides:
  
  clone in class Object
  
  Throws:
  
  CloneNotSupportedException