public override string ToString()
{
if (SecondProcess is Skip)
{
return("if " + ConditionalExpression + " {\r\n" + FirstProcess.ToString() + "\r\n}");
}
return("if " + ConditionalExpression + " {\r\n" + FirstProcess.ToString() + "\r\n} else {\r\n" + SecondProcess.ToString() + "\r\n}");
}
public override string ToString()
{
StringBuilder sb = new StringBuilder();
sb.AppendLine("The process is:");
sb.AppendLine(Process.ToString());
if (!GlobalEnv.IsEmpty())
{
sb.AppendLine();
sb.AppendLine("The environment is:");
sb.AppendLine(GlobalEnv.ToString());
}
return(sb.ToString());
}
public override string ToString()
{
if (Processes == null)
{
return("|||" + IndexedProcessDefinition);
}
StringBuilder s = new StringBuilder();
for (int i = 0; i < Processes.Count; i++)
{
Process process = Processes[i];
s.Append("(" + process.ToString() + ")\r\n|||");
}
return("(" + s.ToString().TrimEnd('|') + ")");
}
public override string ToString()
{
return("ifa " + ConditionalExpression + " {" + FirstProcess.ToString() + "} else {" + SecondProcess.ToString() + "}");
}
public override string ToString()
{
return("(" + Process.ToString() + " \\ {" + Common.Classes.Ultility.Ultility.PPStringList(HidingAlphabets) + "})");
}
public override string ToString()
{
return("(" + FirstProcess.ToString() + "interrupt" + SecondProcess.ToString() + ")");
}
public override string ToString()
{
return("([" + Condition + "]" + Process.ToString() + ")");
}
public override string ToString()
{
//return "(" + FirstProcess.ToString() + ";" + SecondProcess.ToString() + ")";
return(FirstProcess.ToString() + ";\r\n" + SecondProcess.ToString());
}
public override string ToString()
{
return("(" + Event + "->" + Process.ToString() + ")");
}
public override string ToString()
{
return(Process.ToString());
}