protected static void OnTransitionAdded(object sender, TransitionAddedEventArgs e)
{
System.Console.WriteLine("======================================================");
System.Console.WriteLine("States number:" + e.EpaBuilder.States.Count);
System.Console.WriteLine("Transitions number:" + e.EpaBuilder.Transitions.Count);
System.Console.WriteLine("New transition:" + e.Transition);
}
private void transitionAdded(object sender, TransitionAddedEventArgs e)
{
if (this.InvokeRequired)
{
this.Invoke(new EventHandler <TransitionAddedEventArgs>(transitionAdded), sender, e);
return;
}
var label = e.Transition.Name;
var createEdge = true;
if (this.Options.CollapseTransitions)
{
var n = graph.FindNode(e.Transition.SourceState.Name);
if (this.Options.UnprovenTransitions && e.Transition.IsUnproven)
{
label = string.Format("{0}?", label);
}
if (n != null)
{
var edges = n.OutEdges.Union(n.SelfEdges);
foreach (var ed in edges)
{
if (ed.Target == e.Transition.TargetState.Name)
{
ed.LabelText = string.Format("{0}{1}{2}", ed.LabelText, Environment.NewLine, label);
createEdge = false;
break;
}
}
}
}
if (createEdge)
{
var edge = graph.AddEdge(e.Transition.SourceState.Name, label, e.Transition.TargetState.Name);
edge.Label.FontName = "Cambria";
edge.Label.FontSize = 6;
}
updateAnalysisProgress();
}
protected void OnTransitionAdded(object sender, TransitionAddedEventArgs e)
{
generatedEpa = e.EpaBuilder.Build();
TransitionAdded(sender, e);
}
public void TransitionAdded(TransitionAddedEventArgs e)
{
epaViewerPresenter.AddTransition(e.Transition);
UpdateProgress(e);
}
protected void OnTransitionAdded(object sender, TransitionAddedEventArgs e)
{
syncContext.Post(_ => screen.TransitionAdded(e), null);
}
