public PMReplay() { InitializeComponent(); TokenReplayResult replayResult = TokenReplayAlgorithm.Replay((PetriNet)Viewer.CurrentField.ProcessModel, Viewer.CurrentField.EventLog); ReplayResultsView.ItemsSource = replayResult.ToDictionary(); NotFoundView.ItemsSource = replayResult.GetTransitionsNotFoundAsDictionary(); NotEnabledView.ItemsSource = replayResult.GetTransitionsNotEnabledAsDictionary(); }
public void ToDictionaryTest() { var result = new TokenReplayResult { FailedCasesTransitionNotEnabled = new List <Case> { new Case(), new Case() }, FailedCasesTransitionNotFound = new List <Case> { new Case() }, NumberOfCases = 5, SuccessfulReplays = 2 }; var dict = (Dictionary <string, string>)result.ToDictionary(); Assert.AreEqual("2", dict["Successful Replays"]); Assert.AreEqual("40%", dict["Success Rate"]); Assert.AreEqual("2", dict["Transitions not enabled"]); Assert.AreEqual("1", dict["Transitions not found"]); }