Class GanttChart

java.lang.Object
com.uppaal.model.system.GanttChart
All Implemented Interfaces:
Cloneable

public class GanttChart
extends Object
implements Cloneable
The class Gantt chart
  • Constructor Details

  • 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