private void pushTrigger(State.TriggerType type, String parameter)
{
if (parameter == null)
{
throw new ArgumentNullException();
}
lock (queuedTriggerLock) queuedTrigger = new State.Trigger(type, parameter);
}
public State.Trigger PopTrigger(State.TriggerType type)
{
State.Trigger trigger = null;
lock (queuedTriggerLock)
{
if (queuedTrigger != null && queuedTrigger.Type == type)
{
trigger = queuedTrigger;
queuedTrigger = null;
}
}
return(trigger);
}
public bool AcceptsTrigger(State.TriggerType type)
{
return(currentState != null && currentState.AcceptsTrigger(type));
}
private void pushTrigger(State.TriggerType type)
{
lock (queuedTriggerLock) queuedTrigger = new State.Trigger(type);
}
public TriggerTransition(State target, State.TriggerType type) : base(target)
{
this.Type = type;
}
