public virtual void Pass(Turnstile name) { throw new FSMError("Pass", name.GetCurrentState()); }
// default event functions public virtual void Coin(Turnstile name) { throw new FSMError("Coin", name.GetCurrentState()); }
public void InitialConditions() { Assert.IsTrue(turnstile.GetCurrentState() is Locked); }