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);
}
