public static string GetRepresentation(SequenceMaker maker, List<string> sequences, Sequence sequence)
{
string result = "";
sequence.Argument1 = PrepareArgument(maker, sequences, sequence.Argument1);
sequence.Argument2 = PrepareArgument(maker, sequences, sequence.Argument2);
if (sequence.Name == "Flow")
{
result = GetFlowRepresentation(sequence.Argument1, sequence.Argument2);
}
else if (sequence.Name == "Dec")
{
sequence.Argument3 = PrepareArgument(maker, sequences, sequence.Argument3);
result = GetDecisionRepresentation(sequence.Argument1, sequence.Argument2, sequence.Argument3);
}
else if (sequence.Name == "Fork")
{
sequence.Argument3 = PrepareArgument(maker, sequences, sequence.Argument3);
result = GetForkRepresentation(sequence.Argument1, sequence.Argument2, sequence.Argument3);
}
else if (sequence.Name == "Loop")
{
sequence.Argument3 = PrepareArgument(maker, sequences, sequence.Argument3);
result = GetLoopRepresentation(sequence.Argument1, sequence.Argument2, sequence.Argument3);
}
return result;
}
private void GetLTLBtn_Click(object sender, RoutedEventArgs e)
{
sequenceMaker = new SequenceMaker(FilePath);
SequenceText.Text = sequenceMaker.BasedSequence;
LTLSequenceText.Text = sequenceMaker.GetLTLSequence();
SaveBtn.IsEnabled = true;
}
private static string PrepareArgument(SequenceMaker maker, List<string> sequences, string argument)
{
//Console.WriteLine("Prepare: " + argument);
if (argument.StartsWith("#"))
{
string number = argument.Substring(1);
int index = Int32.Parse(number);
argument = maker.sequences[index];
}
//Console.WriteLine("Final arg: " + argument);
return argument;
}
