Package com.uppaal.model.system

Class UppaalSystem

java.lang.Object
com.uppaal.model.AbstractSystem
com.uppaal.model.system.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 Details

    • UppaalSystem

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

  • Method Details

    • 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

    • getProcesses

      public ArrayList<Process> getProcesses()

    • 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