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

Version:

$Id$

Author:

Yuhong Xiong

Pt.AcceptedRating:

Red (reviewmoderator)

Pt.ProposedRating:

Red (yuhong)

- Constructor Summary
  
  Constructors
  Constructor Description
  
  DeadlockStates(java.lang.String moml)
  Write the names of the deadlock states of the specified interface automaton 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 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.