Package com.uppaal.model.system

Class GanttRow

  • All Implemented Interfaces:
    Cloneable
    public class GanttRow
extends Object
implements Cloneable
    The class of gantt row

    • Constructor Detail

      • GanttRow

        public GanttRow()
        Constructor

      • GanttRow

        public GanttRow​(String l)
        Constructor
        Parameters:
        l - - The label string

    • Method Detail

      • 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