Class UppaalSystem


  • public class UppaalSystem
    extends AbstractSystem
    An UppaalSystem consists of: A number of indexed processes consisting of a name, a template, and a translation map. A number of indexed variable names. (AbstractSystem) A number of indexed clock names. (AbstractSystem) Etc...
    • Constructor Detail

      • UppaalSystem

        public UppaalSystem​(Document aDocument)
        Constructor
        Parameters:
        aDocument - - The document
    • Method Detail

      • findNode

        protected Node findNode​(String name)
        Finds a child node from the document root node.
        Parameters:
        name -
        Returns:
      • findTemplate

        protected Template findTemplate​(String name,
                                        boolean guarantee)
      • findLscTemplate

        protected LscTemplate findLscTemplate​(String name,
                                              boolean guarantee)
      • addProcess

        public void addProcess​(String processName,
                               String templateName,
                               Translator map)
        Description copied from class: AbstractSystem
        Add process data
        Specified by:
        addProcess in class AbstractSystem
        Parameters:
        processName - - The process name
        templateName - - The template name
        map - - The translator
      • addProcess

        public void addProcess​(String processName,
                               String templateName,
                               Translator parameterMap,
                               List<Integer> edgeMap)
        Added for concrete simulation - edge map as extra argument
        Parameters:
        processName - - The process name
        templateName - - The template name
        parameterMap - - The parameter map
        edgeMap - - the edge map
      • setLscProcess

        public void setLscProcess​(String processName,
                                  String templateName,
                                  Translator map)
        Set the lsc process
        Parameters:
        processName - - The process name
        templateName - - The template name
        map - - The translator
      • getProcess

        public Process getProcess​(int process)
        Get the process with the process index
        Parameters:
        process - - The process index
        Returns:
        the process object.
      • getEdge

        public SystemEdge getEdge​(int process,
                                  int edge)
        Get the edge with the process and edge index
        Parameters:
        process - - The process index
        edge - - The edge index
        Returns:
        The system edge
      • getLocation

        public SystemLocation getLocation​(int process,
                                          int loc)
        Get the location with the process and location index
        Parameters:
        process - - The process index
        loc - - The location index
        Returns:
        The system location
      • getNoOfProcesses

        public int getNoOfProcesses()
        Get the number of the processes of the uppaal system
        Returns:
        The number of the processes
      • getProcessIndex

        public int getProcessIndex​(String id)
        Get the process index using the process name
        Parameters:
        id - - The process name
        Returns:
        the process index.
      • createEdgeCon

        public SystemEdgeSelect createEdgeCon​(int process,
                                              int edge,
                                              List<Integer> values)
        Find the edge of the process and select the value
        Parameters:
        process - - The process has the edge
        edge - - Using the index to get the edge
        values - - The selected value list
        Returns:
        The selected system edge
      • setGanttChart

        public void setGanttChart​(GanttChart gc)
        Set the ganttchart
        Parameters:
        gc - - The new ganttchart
      • getGanttChart

        public GanttChart getGanttChart()
        Get ganttchart
        Returns:
        The ganttchart