protected static SMCSharpGenerator InitWithBuilder(FSMRepresentationBuilder fsmbld)
{
var retval = new SMCSharpGenerator();
retval.FSMInit(fsmbld.StateMap, "fileName");
retval.Initialize();
return(retval);
}
private static SMCSharpGenerator MakeGeneratorWith(Builder.FSMRepresentationBuilder fsmbld)
{
var fsm = new SMCSharpGenerator();
fsm.FSMInit(fsmbld.StateMap, "fileName");
fsm.Initialize();
return(fsm);
}
public void Paramaters()
{
FSMGenerator fsm = new SMCSharpGenerator();
fsm.FSMInit(new MutableStateMap(), "TurnStyle");
fsm.Initialize();
Assert.AreEqual("TurnStyle", fsm.InputFileName);
Assert.AreEqual("TurnStyle", fsm.FilePrefix);
}
public void ConcreteStates()
{
FSMRepresentationBuilder fsmbld = InitBuilderState();
StateMap map = fsmbld.StateMap;
FSMGenerator fsm = new SMCSharpGenerator();
fsm.FSMInit(map, "TurnStyle");
fsm.Initialize();
Assert.AreEqual(2, fsm.ConcreteStates.Count());
}
