public void GetTransitionsNotEnabledAsDictionaryTest() { var case1 = new Case("case1") { EventList = new List <Event> { new Event("A"), new Event("B") } }; var case2 = new Case("case2") { EventList = new List <Event> { new Event("C"), new Event("D") } }; var result = new TokenReplayResult { FailedCasesTransitionNotEnabled = new List <Case> { case1, case1, case2 }, }; var dict = (Dictionary <string, int>)result.GetTransitionsNotEnabledAsDictionary(); Assert.AreEqual(2, dict["A, B"]); Assert.AreEqual(1, dict["C, D"]); }
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(); }