Class GanttRow

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 Details

  • 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