ptolemy.domains.modal.kernel.test

Class DeadlockStates

java.lang.Object

ptolemy.domains.modal.kernel.test.DeadlockStates

public class DeadlockStates
extends java.lang.Object

Display the deadlock states. This class reads the MoML description of an interface automata, and writes the names of the deadlock states to stdout. The usage is:

 java ptolemy.domains.modal.kernel.test.DeadlockStates automaton.xml
 

Since:

Ptolemy II 8.0

Author:

Yuhong Xiong

Pt.AcceptedRating:

Red (reviewmoderator)

Pt.ProposedRating:

Red (yuhong)

Constructor Summary

Constructors

Constructor and Description
DeadlockStates(java.lang.String moml) Write the names of the deadlock states of the specified interface automaton to stdout.

Method Summary

Modifier and Type	Method and Description
static void	main(java.lang.String[] args) Pass the command line argument to the constructor.

Methods inherited from class java.lang.Object

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

Constructor Detail

DeadlockStates

public DeadlockStates(java.lang.String moml)
               throws java.lang.Exception

Write the names of the deadlock states of the specified interface automaton to stdout.

Parameters:

moml - The MoML file name for an InterfaceAutomaton.

Throws:

java.lang.Exception - If the MoML file is not valid or deadlock cannot be checked.

Method Detail

main

public static void main(java.lang.String[] args)

Pass the command line argument to the constructor. The command line argument the name of a MoML file for an InterfaceAutomaton.

Parameters:

args - The command line arguments.