Main

## Class TestCase

- java.lang.Object
- - Main.TestCase

-     public class TestCase
      extends java.lang.Object

- - ### Constructor Summary

    Constructors
    Constructor and Description
    `TestCase(java.lang.String command, Automaton result, java.lang.String error)`

  - ### Method Summary

    - ### Methods inherited from class java.lang.Object

      `equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait`

- - ### Constructor Detail

    - #### TestCase

          public TestCase(java.lang.String command,
                  Automaton result,
                  java.lang.String error)