Class Project


  • public class Project
    extends java.lang.Object
    Compute the projection of an interface automaton to another one. This class reads the MoML description of two automata, computes the projection of the first one to the second, then writes the MoML description of the projection to stdout. The usage is:
     java ptolemy.domains.modal.kernel.test.Project first_automaton.xml second_automaton.xml
     
    Since:
    Ptolemy II 8.0
    Version:
    $Id$
    Author:
    Yuhong Xiong
    Pt.AcceptedRating:
    Red (reviewmoderator)
    Pt.ProposedRating:
    Red (yuhong)
    • Constructor Summary

      Constructors 
      Constructor Description
      Project​(java.lang.String firstMoML, java.lang.String secondMoML)
      Compute the projection of the first automaton to the second one and write the result 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

      • Project

        public Project​(java.lang.String firstMoML,
                       java.lang.String secondMoML)
                throws java.lang.Exception
        Compute the projection of the first automaton to the second one and write the result to stdout.
        Parameters:
        firstMoML - The MoML file name for the first interface automaton.
        secondMoML - The MoML file name for the second interface automaton.
        Throws:
        java.lang.Exception - If the specified automata cannot be constructed or are not consistent.
    • Method Detail

      • main

        public static void main​(java.lang.String[] args)
        Pass the command line arguments to the constructor. The command line arguments are two MoML files for interface automaton.
        Parameters:
        args - The command line arguments.