public override void AddTransition(string theEvent, string theNextState, SyntaxLocation loc)
 {
     this.itsCurrentTransition = new TransitionRep(this.itsCurrentState, theEvent, theNextState, loc);
     this.itsTransitions.Add(this.itsCurrentTransition);
 }
 private void CallError(string errorStatement, TransitionRep transitionRep)
 {
     SetError();
     Error(transitionRep.SyntaxLocation, errorStatement);
 }