Package com.uppaal.model

Class AbstractSystem

  • Direct Known Subclasses:
    UppaalLscSystem, UppaalSystem
    public abstract class AbstractSystem
extends java.lang.Object
    The abstract system class

    • Field Summary

      Fields 
      Modifier and Type Field Description
      protected java.util.ArrayList<java.lang.String> clocks  
      protected Document document  
      protected java.util.ArrayList<java.lang.String> variables  

    • Method Summary

      All Methods Instance Methods Abstract Methods Concrete Methods 
      Modifier and Type Method Description
      abstract void addProcess​(java.lang.String processName, java.lang.String templateName, Translator map)
      Add process data
      java.lang.String getClockName​(int i)
      Get clock name
      java.util.ArrayList<java.lang.String> getClockNames()
      Get all clock name
      Document getDocument()
      Get the document
      int getNoOfClocks()
      Get the number of the clocks
      int getNoOfVariables()
      Get the number of the variables
      java.lang.String getVariableName​(int i)
      Get the variable name
      java.util.ArrayList<java.lang.String> getVariables()
      Get the global variables
      void setClocks​(java.util.ArrayList<java.lang.String> value)
      Set clocks
      void setVariables​(java.util.ArrayList<java.lang.String> value)
      Set the variables

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    • Field Detail

      • variables

        protected java.util.ArrayList<java.lang.String> variables

      • clocks

        protected java.util.ArrayList<java.lang.String> clocks

    • Constructor Detail

      • AbstractSystem

        public AbstractSystem()
        Constructor

      • AbstractSystem

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

    • Method Detail

      • addProcess

        public abstract void addProcess​(java.lang.String processName,
                                java.lang.String templateName,
                                Translator map)
        Add process data
        Parameters:
        processName - - The process name
        templateName - - The template name
        map - - The translator

      • setVariables

        public void setVariables​(java.util.ArrayList<java.lang.String> value)
        Set the variables
        Parameters:
        value - - The value list

      • setClocks

        public void setClocks​(java.util.ArrayList<java.lang.String> value)
        Set clocks
        Parameters:
        value - - The clock value list

      • getNoOfVariables

        public int getNoOfVariables()
        Get the number of the variables
        Returns:
        The size of the variable list

      • getVariableName

        public java.lang.String getVariableName​(int i)
        Get the variable name
        Parameters:
        i - - The variable index
        Returns:
        The variable name

      • getNoOfClocks

        public int getNoOfClocks()
        Get the number of the clocks
        Returns:
        The number of clocks

      • getClockName

        public java.lang.String getClockName​(int i)
        Get clock name
        Parameters:
        i - - The index
        Returns:
        The clock name

      • getClockNames

        public java.util.ArrayList<java.lang.String> getClockNames()
        Get all clock name
        Returns:
        The clock name list

      • getVariables

        public java.util.ArrayList<java.lang.String> getVariables()
        Get the global variables
        Returns:
        - The array list of the variable

      • getDocument

        public Document getDocument()
        Get the document
        Returns:
        The document