public override void AddInternalTransition(string theEvent, SyntaxLocation loc)
{
// An internal transition is simply a transition which stays inside
// its current state. We are modeling it here as a regular transition
// whose "theNextState" field is blank.
AddTransition(theEvent, "", loc);
}
public void Error(SyntaxLocation loc, string theString)
{
if (this.ErrorManager != null)
{
this.ErrorManager.Error(loc, theString);
}
}
public StateRep(string theName, SyntaxLocation loc)
{
this.name = theName;
this.syntaxLocation = loc;
this.builtEvents = new HashSet <string>();
this.entryActions = new List <string>();
this.exitActions = new List <string>();
}
public TransitionRep(string startState, string eventName, string endState, SyntaxLocation loc)
{
this.startingState = startState;
this.eventName = eventName;
this.endingState = endState;
this.syntaxLocation = loc;
this.actions = new List <string>();
}
public override void AddTransition(string theEvent, string theNextState, SyntaxLocation loc)
{
this.itsCurrentTransition = new TransitionRep(this.itsCurrentState, theEvent, theNextState, loc);
this.itsTransitions.Add(this.itsCurrentTransition);
}
public override void AddState(string theName, SyntaxLocation loc) => AddStateRep(new NormalStateRep(theName, loc));
public override void AddSubState(string theName, string theSuperState, SyntaxLocation loc) => AddStateRep(new SubStateRep(theName, theSuperState, loc));
public abstract void AddInternalTransition(string theEvent, SyntaxLocation loc);
public abstract void AddTransition(string theEvent, string theNextState, SyntaxLocation loc);
public abstract void AddState(string theName, SyntaxLocation loc);
public abstract void AddSubState(string theName, string theSuperState, SyntaxLocation loc);
public SubStateRep(string theName, string theSuper, SyntaxLocation loc)
: base(theName, loc)
{
this.SuperStateName = theSuper;
}
public void Error(SyntaxLocation loc, string s) => this.errors.Add(s);
public SuperStateRep(string theName, SyntaxLocation loc)
: base(theName, loc)
{
}
public NormalStateRep(string theName, SyntaxLocation loc)
: base(theName, loc)
{
}
