protected void OnInitialStateAdded(object sender, IEpaBuilder epaBuilder)
{
generatedEpa = epaBuilder.Build();
var stateAddedEventArg = new StateAddedEventArgs(epaBuilder.Type, epaBuilder, generatedEpa.Initial);
StateAdded(sender, stateAddedEventArg);
}
private void stateAdded(object sender, StateAddedEventArgs e)
{
if (this.InvokeRequired)
{
this.Invoke(new EventHandler <StateAddedEventArgs>(stateAdded), sender, e);
return;
}
var n = graph.AddNode(e.State.Name);
n.UserData = e.State;
n.DrawNodeDelegate += OnDrawNode;
n.Attr.Shape = Shape.Circle;
n.Attr.LabelMargin = 7;
n.Label.FontName = "Cambria";
n.Label.FontSize = 6;
if (this.Options.StateDescription)
{
n.LabelText = string.Join <string>(Environment.NewLine, e.State.EnabledActions);
}
else
{
n.LabelText = string.Format("S{0}", graph.NodeCount);
}
updateAnalysisProgress();
}
public void StateAdded(StateAddedEventArgs e)
{
epaViewerPresenter.AddState(e.State);
UpdateProgress(e);
}
protected void OnStateAdded(object sender, StateAddedEventArgs e)
{
syncContext.Post(_ => screen.StateAdded(e), null);
}
