//
// responds to Other event
//
public override void Other(StripFSM name)
{
name.PutSlash();
name.PutChar();
// change the state
name.SetState(name.GetItsOutsideState());
// Exit functions for: startingSlash
name.StartingSlashOut();
// Entry functions for: outside
name.OutsideIn();
}
//
// responds to Other event
//
public override void Other(StripFSM name)
{
name.PutSlash();
name.PutChar();
// change the state
name.SetState(name.GetItsOutsideState());
// Exit functions for: startingSlash
name.StartingSlashOut();
// Entry functions for: outside
name.OutsideIn();
}