MrsH_StateMachine_Test.java

package jetbrains.mps.samples.secretCompartmentLanguage.sandbox;

/*Generated by MPS */

import jetbrains.mps.samples.secretCompartmentLanguage.runtime.StateMachineTest;
import jetbrains.mps.samples.secretCompartmentLanguage.runtime.StateMachineFactory;
import junit.framework.Assert;

public class MrsH_StateMachine_Test extends StateMachineTest {
  public void test_A() throws Exception {
    StateMachineFactory stateMachineFactory = new MrsH_StateMachineFactory();
    init(stateMachineFactory);
    getController().handle("D1CL");
    getController().handle("D2OP");
    getController().handle("L1ON");
    Assert.assertEquals("panelUnlocked", getController().getCurrentState().getName());
  }
  public MrsH_StateMachine_Test() {
  }
}