Class Compose


  • public class Compose
    extends java.lang.Object
    Compute the composition of interface automata. This class reads the MoML description of a number of interface automata, computes their composition, then writes the MoML description of the composition to stdout. The usage is:
     java ptolemy.domains.modal.kernel.test.Compose automaton1.xml automaton2.xml ...
     
    Since:
    Ptolemy II 8.0
    Version:
    $Id$
    Author:
    Yuhong Xiong
    Pt.AcceptedRating:
    Red (reviewmoderator)
    Pt.ProposedRating:
    Red (yuhong)
    • Constructor Summary

      Constructors 
      Constructor Description
      Compose​(java.lang.String[] momls, boolean considerTransient)
      Compose the interface automata in the argument array and write the MoML description for the composition to stdout.
    • Method Summary

      All Methods Static Methods Concrete Methods 
      Modifier and Type Method Description
      static void main​(java.lang.String[] args)
      Pass the command line arguments to the constructor.
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • Compose

        public Compose​(java.lang.String[] momls,
                       boolean considerTransient)
                throws java.lang.Exception
        Compose the interface automata in the argument array and write the MoML description for the composition to stdout.
        Parameters:
        momls - An array of MoML file names for InterfaceAutomaton.
        considerTransient - True to indicate to treat transient state differently.
        Throws:
        java.lang.Exception - If the automata cannot be composed.
    • Method Detail

      • main

        public static void main​(java.lang.String[] args)
        Pass the command line arguments to the constructor. The command line argument is a list of MoML files for InterfaceAutomaton.
        Parameters:
        args - The command line arguments.