Package com.uppaal.model.system

Class GanttRow

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

    • Field Summary

      Fields 
      Modifier and Type Field Description
      java.util.List<GanttBar> bars  
      java.lang.String label  

    • Constructor Summary

      Constructors 
      Constructor Description
      GanttRow()
      Constructor
      GanttRow​(java.lang.String l)
      Constructor

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void addBar​(GanttBar bar)
      Adds a new Gantt-bar to row
      void clearRow()
      Clear the gantt row
      java.lang.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​(java.math.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 Detail

      • bars

        public java.util.List<GanttBar> bars

      • label

        public java.lang.String label

    • Constructor Detail

      • GanttRow

        public GanttRow()
        Constructor

      • GanttRow

        public GanttRow​(java.lang.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​(java.math.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 java.lang.Object clone()
                       throws java.lang.CloneNotSupportedException
        Make a clone of the gantt row
        Overrides:
        clone in class java.lang.Object
        Returns:
        theClone - The clone of the gantt row
        Throws:
        java.lang.CloneNotSupportedException