- code.addLine(DeclareDefine(SpecNaming.CString,
- SpecNaming.AppendStr(SpecNaming.InitalState), Quote("_"
- + SpecNaming.InitalState.toLowerCase())));
- code.addLine(DeclareDefine(SpecNaming.CString,
- SpecNaming.AppendStr(SpecNaming.CopyState), Quote("_"
- + SpecNaming.CopyState.toLowerCase())));
- code.addLine(DeclareDefine(SpecNaming.CString,
- SpecNaming.AppendStr(SpecNaming.FinalState), Quote("_"
- + SpecNaming.FinalState.toLowerCase())));
- code.addLine(DeclareDefine(SpecNaming.CString,
- SpecNaming.AppendStr(SpecNaming.PrintState), Quote("_"
- + SpecNaming.PrintState.toLowerCase())));
+ code.addLine(DeclareDefine(SpecNaming.CString, SpecNaming.AppendStr(SpecNaming.InitalState),
+ Quote("_" + SpecNaming.InitalState.toLowerCase())));
+ code.addLine(DeclareDefine(SpecNaming.CString, SpecNaming.AppendStr(SpecNaming.CopyState),
+ Quote("_" + SpecNaming.CopyState.toLowerCase())));
+ code.addLine(DeclareDefine(SpecNaming.CString, SpecNaming.AppendStr(SpecNaming.FinalState),
+ Quote("_" + SpecNaming.FinalState.toLowerCase())));
+ code.addLine(DeclareDefine(SpecNaming.CString, SpecNaming.AppendStr(SpecNaming.PrintState),
+ Quote("_" + SpecNaming.PrintState.toLowerCase())));