public static void RunWithCommandLineArguments(string[] args)
{
FSM2DotCmdLineParams cmd = new FSM2DotCmdLineParams();
try
{
if (!Parser.ParseArgumentsWithUsage(args, cmd))
{
return;
}
StreamReader fsm = new StreamReader(cmd.fsmFileName);
StringBuilder dot = FSM2Dot(cmd.fsmName, fsm.ReadToEnd());
fsm.Close();
if (cmd.dotFileName == null)
{
cmd.dotFileName = cmd.fsmFileName + ".dot";
}
StreamWriter dotStream = new StreamWriter(cmd.dotFileName);
dotStream.Write(dot.ToString());
dotStream.Close();
}
catch (Exception e)
{
Console.WriteLine("Invocation of 'FSM2Dot' failed: " + e.ToString());
}
}
public static void RunWithCommandLineArguments(string[] args)
{
FSM2DotCmdLineParams cmd = new FSM2DotCmdLineParams();
try
{
if (!Parser.ParseArgumentsWithUsage(args, cmd))
return;
StreamReader fsm = new StreamReader(cmd.fsmFileName);
StringBuilder dot = FSM2Dot(cmd.fsmName, fsm.ReadToEnd());
fsm.Close();
if (cmd.dotFileName == null)
cmd.dotFileName = cmd.fsmFileName + ".dot";
StreamWriter dotStream = new StreamWriter(cmd.dotFileName);
dotStream.Write(dot.ToString());
dotStream.Close();
}
catch (Exception e)
{
Console.WriteLine("Invocation of 'FSM2Dot' failed: " + e.ToString());
}
}
