ptolemy.domains.modal.kernel.test

Class Compose

java.lang.Object

ptolemy.domains.modal.kernel.test.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

Author:

Yuhong Xiong

Pt.AcceptedRating:

Red (reviewmoderator)

Pt.ProposedRating:

Red (yuhong)

Constructor Summary

Constructors

Constructor and 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

Modifier and Type	Method and 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.