Class SymbolicTransition


  • public class SymbolicTransition
    extends AbstractTransition
    The class symbolic transition of the system
    • Constructor Detail

      • SymbolicTransition

        public SymbolicTransition​(SymbolicState source,
                                  SystemEdgeSelect[] edges,
                                  SymbolicState target)
        Constructor
        Parameters:
        source - - The source symbolic state
        edges - - The list of the selected edges
        target - - The target symbolic state
      • SymbolicTransition

        public SymbolicTransition​(SymbolicState source,
                                  SystemEdgeSelect[] edges,
                                  SymbolicState target,
                                  String edgeDescription)
        Constructor
        Parameters:
        source - - The source symbolic state
        edges - - The array of the selected edge
        target - - The target symbolic state
        edgeDescription - - The description of the edge
    • Method Detail

      • traceFormat

        public String traceFormat()
        Convert to visual format used in simulator.
        Returns:
        s - The string includes trace format
      • toServerFormat

        public String toServerFormat()
        Convert to format used to send to server. FIXME: selections values have to be appended (see edge.writeXTRFormat)
        Returns:
        buf - The string buffer includes the server format
      • toXTRFormat

        public String toXTRFormat()
        Convert to format used in XTR files. FIXME: selections values have to be appended (see edge.writeXTRFormat)
        Returns:
        sb - The xtr format string
      • writeXTRFormat

        public void writeXTRFormat​(Writer writer)
                            throws IOException
        Convert the selected edge of the system to format used in XTR files.
        Parameters:
        writer - - Writing to character streams
        Throws:
        IOException
      • getSource

        public SymbolicState getSource()
        Get the source of the symbolic state
        Returns:
        source - The source symbolic state
      • involvesProcess

        public boolean involvesProcess​(int process)
        Is the list of selected edges includes the input process?
        Parameters:
        process - - The input process
        Returns:
        True - The process index of the edge is equal the input process
      • getEdgeDescription

        public String getEdgeDescription()
        Get the description of the edge
        Returns:
        edgeDescription - The description of the edge