GanttRow (UPPAAL model library)

java.lang.Object

com.uppaal.model.system.GanttRow

All Implemented Interfaces:: Cloneable

public class GanttRow
extends Object
implements Cloneable

The class of gantt row

Field Summary

Fields

Modifier and Type Field Description

List<GanttBar> bars

String label
Constructor Summary

Constructors

Constructor Description

GanttRow()
Constructor

GanttRow(String l)
Constructor

Method Summary

Modifier and Type	Method	Description
`void`	`addBar(GanttBar bar)`	Adds a new Gantt-bar to row
`void`	`clearRow()`	Clear the gantt row
`Object`	`clone()`	Make a clone of the gantt row
`GanttBar`	`getFromNum(int i)`	Get the gantt bar with the index
`Limit`	`maximalNonInfiniteEndTime()`	Find the greatest not infinite end time in the row.
`int`	`noOfBars()`	Get the number of gantt bars
`void`	`printRowInfo()`	Print the row information
`void`	`truncate(BigDecimal t)`	Cut off contents to the "right" of time t in the entire row

Methods inherited from class java.lang.Object

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

Field Details
- bars
  
  public List<GanttBar> bars
- label
  
  public String label
Constructor Details
- GanttRow
  
  public GanttRow()
  
  Constructor
- GanttRow
  
  public GanttRow(String l)
  
  Constructor
  
  Parameters:
  
  l - - The label string
Method Details
- 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 class Object
  
  Returns:
  
  theClone - The clone of the gantt row
  
  Throws:
  
  CloneNotSupportedException