public void GetTransitionLoopsTest()
{
Model.PetriNet.PetriNet pNet = PetriNetExample.PetriNetWithOneLoopThreePlacesAndThreeTransitions();
List <String> transitionLoops = Transition.GetTransitionLoops(pNet);
Assert.IsTrue(transitionLoops.Count == 1, "Loops=" + transitionLoops.Count);
}
public void ReplayTestFail()
{
var petriNet = PetriNetExample.OneTwoThreeFourFive();
var eventLog = EventLogExample.OneTwoThreeFourFiveWithErrors();
var actual = TokenReplayAlgorithm.Replay(petriNet, eventLog);
Assert.AreEqual(3, actual.NumberOfCases);
Assert.AreEqual(1, actual.SuccessfulReplays);
Assert.AreEqual(1, actual.FailedCasesTransitionNotEnabled.Count);
Assert.AreEqual(1, actual.FailedCasesTransitionNotFound.Count);
}
public void ComparingFootprintFromPetriNetTest3()
{
ComparingFootprint footprintResult = new ComparingFootprint();
footprintResult = ComparingFootprintAlgorithm.CreateFootprint(PetriNetExample.PetriNetWithSixPlacesAndFiveTransitions());
CellType[,] resultMatrix = footprintResult.ResultMatrix;
List <String> headerNames = footprintResult.HeaderWithEventNames;
if (headerNames.Count != 5)
{
Assert.Fail("ComparingFootprints header Names Count != 6");
}
int y = 0;
foreach (String hNameY in headerNames)
{
int x = 0;
foreach (String hNameX in headerNames)
{
if (hNameY.Equals("A") && hNameX.Equals("A"))
{
if (!resultMatrix[y, x].Equals(CellType.Nothing))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("A") && hNameX.Equals("B"))
{
if (!resultMatrix[y, x].Equals(CellType.Right))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("A") && hNameX.Equals("C"))
{
if (!resultMatrix[y, x].Equals(CellType.Right))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("A") && hNameX.Equals("D"))
{
if (!resultMatrix[y, x].Equals(CellType.Right))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("A") && hNameX.Equals("E"))
{
if (!resultMatrix[y, x].Equals(CellType.Nothing))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("B") && hNameX.Equals("A"))
{
if (!resultMatrix[y, x].Equals(CellType.Left))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("B") && hNameX.Equals("B"))
{
if (!resultMatrix[y, x].Equals(CellType.Nothing))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("B") && hNameX.Equals("C"))
{
if (!resultMatrix[y, x].Equals(CellType.Nothing))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("B") && hNameX.Equals("D"))
{
if (!resultMatrix[y, x].Equals(CellType.Parallel))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("B") && hNameX.Equals("E"))
{
if (!resultMatrix[y, x].Equals(CellType.Right))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("C") && hNameX.Equals("A"))
{
if (!resultMatrix[y, x].Equals(CellType.Left))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("C") && hNameX.Equals("B"))
{
if (!resultMatrix[y, x].Equals(CellType.Nothing))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("C") && hNameX.Equals("C"))
{
if (!resultMatrix[y, x].Equals(CellType.Nothing))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("C") && hNameX.Equals("D"))
{
if (!resultMatrix[y, x].Equals(CellType.Parallel))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("C") && hNameX.Equals("E"))
{
if (!resultMatrix[y, x].Equals(CellType.Right))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("D") && hNameX.Equals("A"))
{
if (!resultMatrix[y, x].Equals(CellType.Left))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("D") && hNameX.Equals("B"))
{
if (!resultMatrix[y, x].Equals(CellType.Parallel))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("D") && hNameX.Equals("C"))
{
if (!resultMatrix[y, x].Equals(CellType.Parallel))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("D") && hNameX.Equals("D"))
{
if (!resultMatrix[y, x].Equals(CellType.Nothing))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("D") && hNameX.Equals("E"))
{
if (!resultMatrix[y, x].Equals(CellType.Right))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("E") && hNameX.Equals("A"))
{
if (!resultMatrix[y, x].Equals(CellType.Nothing))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("E") && hNameX.Equals("B"))
{
if (!resultMatrix[y, x].Equals(CellType.Left))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("E") && hNameX.Equals("C"))
{
if (!resultMatrix[y, x].Equals(CellType.Left))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("E") && hNameX.Equals("D"))
{
if (!resultMatrix[y, x].Equals(CellType.Left))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("E") && hNameX.Equals("E"))
{
if (!resultMatrix[y, x].Equals(CellType.Nothing))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else
{
Assert.Fail("ComparingFootprintFromPetriNetTest3");
}
x++;
}
y++;
}
}
public void ComparingFootprintFromPetriNetTest1()
{
ComparingFootprint footprintResult = ComparingFootprintAlgorithm.CreateFootprint(PetriNetExample.PetriNetWithFivePlacesAndFourTransitions());
CellType[,] resultMatrix = footprintResult.ResultMatrix;
List <String> headerNames = footprintResult.HeaderWithEventNames;
if (headerNames.Count != 4)
{
Assert.Fail();
}
int y = 0;
foreach (String hNameY in headerNames)
{
int x = 0;
foreach (String hNameX in headerNames)
{
if (hNameY.Equals("TransitionA") && hNameX.Equals("TransitionA"))
{
if (!resultMatrix[y, x].Equals(CellType.Nothing))
{
Assert.Fail();
}
}
else if (hNameY.Equals("TransitionA") && hNameX.Equals("TransitionB"))
{
if (!resultMatrix[y, x].Equals(CellType.Right))
{
Assert.Fail();
}
}
else if (hNameY.Equals("TransitionA") && hNameX.Equals("TransitionC"))
{
if (!resultMatrix[y, x].Equals(CellType.Nothing))
{
Assert.Fail();
}
}
else if (hNameY.Equals("TransitionA") && hNameX.Equals("TransitionD"))
{
if (!resultMatrix[y, x].Equals(CellType.Nothing))
{
Assert.Fail();
}
}
else if (hNameY.Equals("TransitionB") && hNameX.Equals("TransitionA"))
{
if (!resultMatrix[y, x].Equals(CellType.Left))
{
Assert.Fail();
}
}
else if (hNameY.Equals("TransitionB") && hNameX.Equals("TransitionB"))
{
if (!resultMatrix[y, x].Equals(CellType.Nothing))
{
Assert.Fail();
}
}
else if (hNameY.Equals("TransitionB") && hNameX.Equals("TransitionC"))
{
if (!resultMatrix[y, x].Equals(CellType.Right))
{
Assert.Fail();
}
}
else if (hNameY.Equals("TransitionB") && hNameX.Equals("TransitionD"))
{
if (!resultMatrix[y, x].Equals(CellType.Nothing))
{
Assert.Fail();
}
}
else if (hNameY.Equals("TransitionC") && hNameX.Equals("TransitionA"))
{
if (!resultMatrix[y, x].Equals(CellType.Nothing))
{
Assert.Fail();
}
}
else if (hNameY.Equals("TransitionC") && hNameX.Equals("TransitionB"))
{
if (!resultMatrix[y, x].Equals(CellType.Left))
{
Assert.Fail();
}
}
else if (hNameY.Equals("TransitionC") && hNameX.Equals("TransitionC"))
{
if (!resultMatrix[y, x].Equals(CellType.Nothing))
{
Assert.Fail();
}
}
else if (hNameY.Equals("TransitionC") && hNameX.Equals("TransitionD"))
{
if (!resultMatrix[y, x].Equals(CellType.Right))
{
Assert.Fail();
}
}
else if (hNameY.Equals("TransitionD") && hNameX.Equals("TransitionA"))
{
if (!resultMatrix[y, x].Equals(CellType.Nothing))
{
Assert.Fail();
}
}
else if (hNameY.Equals("TransitionD") && hNameX.Equals("TransitionB"))
{
if (!resultMatrix[y, x].Equals(CellType.Nothing))
{
Assert.Fail();
}
}
else if (hNameY.Equals("TransitionD") && hNameX.Equals("TransitionC"))
{
if (!resultMatrix[y, x].Equals(CellType.Left))
{
Assert.Fail();
}
}
else if (hNameY.Equals("TransitionD") && hNameX.Equals("TransitionD"))
{
if (!resultMatrix[y, x].Equals(CellType.Nothing))
{
Assert.Fail();
}
}
else
{
Assert.Fail("HNameY:" + hNameY + " HNameX:" + hNameX + " ResultMatrix[" + y + ", " + x + "]:" + resultMatrix[y, x]);
}
x++;
}
y++;
}
}
public void ComparingFootprintFromPetriNetTest2()
{
//generate Footprint
ComparingFootprint footprintResult = ComparingFootprintAlgorithm.CreateFootprint(PetriNetExample.PetriNetWithFivePlacesAndEightTransitions());
CellType[,] resultMatrix = footprintResult.ResultMatrix;
List <String> headerNames = footprintResult.HeaderWithEventNames;
if (headerNames.Count != 8)
{
Assert.Fail("ComparingFootprints header Names Count != 6");
}
int y = 0;
foreach (String hNameY in headerNames)
{
int x = 0;
foreach (String hNameX in headerNames)
{
if (hNameY.Equals("A") && hNameX.Equals("A"))
{
if (!resultMatrix[y, x].Equals(CellType.Nothing))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("A") && hNameX.Equals("B"))
{
if (!resultMatrix[y, x].Equals(CellType.Right))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("A") && hNameX.Equals("C"))
{
if (!resultMatrix[y, x].Equals(CellType.Right))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("A") && hNameX.Equals("D"))
{
if (!resultMatrix[y, x].Equals(CellType.Right))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("A") && hNameX.Equals("E"))
{
if (!resultMatrix[y, x].Equals(CellType.Nothing))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("A") && hNameX.Equals("F"))
{
if (!resultMatrix[y, x].Equals(CellType.Nothing))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("A") && hNameX.Equals("G"))
{
if (!resultMatrix[y, x].Equals(CellType.Nothing))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("A") && hNameX.Equals("H"))
{
if (!resultMatrix[y, x].Equals(CellType.Nothing))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("B") && hNameX.Equals("A"))
{
if (!resultMatrix[y, x].Equals(CellType.Left))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("B") && hNameX.Equals("B"))
{
if (!resultMatrix[y, x].Equals(CellType.Nothing))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("B") && hNameX.Equals("C"))
{
if (!resultMatrix[y, x].Equals(CellType.Nothing))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("B") && hNameX.Equals("D"))
{
if (!resultMatrix[y, x].Equals(CellType.Parallel))
{
//System.Diagnostics.Debug.WriteLine("Assert: " + hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("B") && hNameX.Equals("E"))
{
if (!resultMatrix[y, x].Equals(CellType.Right))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("B") && hNameX.Equals("F"))
{
if (!resultMatrix[y, x].Equals(CellType.Left))
{
//System.Diagnostics.Debug.WriteLine("Assert: " + hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("B") && hNameX.Equals("G"))
{
if (!resultMatrix[y, x].Equals(CellType.Nothing))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("B") && hNameX.Equals("H"))
{
if (!resultMatrix[y, x].Equals(CellType.Nothing))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("C") && hNameX.Equals("A"))
{
if (!resultMatrix[y, x].Equals(CellType.Left))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("C") && hNameX.Equals("B"))
{
if (!resultMatrix[y, x].Equals(CellType.Nothing))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("C") && hNameX.Equals("C"))
{
if (!resultMatrix[y, x].Equals(CellType.Nothing))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("C") && hNameX.Equals("D"))
{
if (!resultMatrix[y, x].Equals(CellType.Parallel))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("C") && hNameX.Equals("E"))
{
if (!resultMatrix[y, x].Equals(CellType.Right))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("C") && hNameX.Equals("F"))
{
if (!resultMatrix[y, x].Equals(CellType.Left))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("C") && hNameX.Equals("G"))
{
if (!resultMatrix[y, x].Equals(CellType.Nothing))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("C") && hNameX.Equals("H"))
{
if (!resultMatrix[y, x].Equals(CellType.Nothing))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("D") && hNameX.Equals("A"))
{
if (!resultMatrix[y, x].Equals(CellType.Left))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("D") && hNameX.Equals("B"))
{
if (!resultMatrix[y, x].Equals(CellType.Parallel))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("D") && hNameX.Equals("C"))
{
if (!resultMatrix[y, x].Equals(CellType.Parallel))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("D") && hNameX.Equals("D"))
{
if (!resultMatrix[y, x].Equals(CellType.Nothing))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("D") && hNameX.Equals("E"))
{
if (!resultMatrix[y, x].Equals(CellType.Right))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("D") && hNameX.Equals("F"))
{
if (!resultMatrix[y, x].Equals(CellType.Left))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("D") && hNameX.Equals("G"))
{
if (!resultMatrix[y, x].Equals(CellType.Nothing))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("D") && hNameX.Equals("H"))
{
if (!resultMatrix[y, x].Equals(CellType.Nothing))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("E") && hNameX.Equals("A"))
{
if (!resultMatrix[y, x].Equals(CellType.Nothing))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("E") && hNameX.Equals("B"))
{
if (!resultMatrix[y, x].Equals(CellType.Left))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("E") && hNameX.Equals("C"))
{
if (!resultMatrix[y, x].Equals(CellType.Left))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("E") && hNameX.Equals("D"))
{
if (!resultMatrix[y, x].Equals(CellType.Left))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("E") && hNameX.Equals("E"))
{
if (!resultMatrix[y, x].Equals(CellType.Nothing))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("E") && hNameX.Equals("F"))
{
if (!resultMatrix[y, x].Equals(CellType.Right))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("E") && hNameX.Equals("G"))
{
if (!resultMatrix[y, x].Equals(CellType.Right))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("E") && hNameX.Equals("H"))
{
if (!resultMatrix[y, x].Equals(CellType.Right))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("F") && hNameX.Equals("A"))
{
if (!resultMatrix[y, x].Equals(CellType.Nothing))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("F") && hNameX.Equals("B"))
{
if (!resultMatrix[y, x].Equals(CellType.Right))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("F") && hNameX.Equals("C"))
{
if (!resultMatrix[y, x].Equals(CellType.Right))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("F") && hNameX.Equals("D"))
{
if (!resultMatrix[y, x].Equals(CellType.Right))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("F") && hNameX.Equals("E"))
{
if (!resultMatrix[y, x].Equals(CellType.Left))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("F") && hNameX.Equals("F"))
{
if (!resultMatrix[y, x].Equals(CellType.Nothing))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("F") && hNameX.Equals("G"))
{
if (!resultMatrix[y, x].Equals(CellType.Nothing))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("F") && hNameX.Equals("H"))
{
if (!resultMatrix[y, x].Equals(CellType.Nothing))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("G") && hNameX.Equals("A"))
{
if (!resultMatrix[y, x].Equals(CellType.Nothing))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("G") && hNameX.Equals("B"))
{
if (!resultMatrix[y, x].Equals(CellType.Nothing))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("G") && hNameX.Equals("C"))
{
if (!resultMatrix[y, x].Equals(CellType.Nothing))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("G") && hNameX.Equals("D"))
{
if (!resultMatrix[y, x].Equals(CellType.Nothing))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("G") && hNameX.Equals("E"))
{
if (!resultMatrix[y, x].Equals(CellType.Left))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("G") && hNameX.Equals("F"))
{
if (!resultMatrix[y, x].Equals(CellType.Nothing))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("G") && hNameX.Equals("G"))
{
if (!resultMatrix[y, x].Equals(CellType.Nothing))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("G") && hNameX.Equals("H"))
{
if (!resultMatrix[y, x].Equals(CellType.Nothing))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("H") && hNameX.Equals("A"))
{
if (!resultMatrix[y, x].Equals(CellType.Nothing))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("H") && hNameX.Equals("B"))
{
if (!resultMatrix[y, x].Equals(CellType.Nothing))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("H") && hNameX.Equals("C"))
{
if (!resultMatrix[y, x].Equals(CellType.Nothing))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("H") && hNameX.Equals("D"))
{
if (!resultMatrix[y, x].Equals(CellType.Nothing))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("H") && hNameX.Equals("E"))
{
if (!resultMatrix[y, x].Equals(CellType.Left))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("H") && hNameX.Equals("F"))
{
if (!resultMatrix[y, x].Equals(CellType.Nothing))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("H") && hNameX.Equals("G"))
{
if (!resultMatrix[y, x].Equals(CellType.Nothing))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else if (hNameY.Equals("H") && hNameX.Equals("H"))
{
if (!resultMatrix[y, x].Equals(CellType.Nothing))
{
Assert.Fail(hNameY + "->" + hNameX + " " + resultMatrix[y, x]);
}
}
else
{
Assert.Fail("ComparingFootprintFromPetriNetTest2");
}
x++;
}
y++;
}
}
public void ComparingFootprintHeaderNamesFromPetriNetTest1()
{
ComparingFootprint footprintResult = ComparingFootprintAlgorithm.CreateFootprint(PetriNetExample.PetriNetWithFivePlacesAndFourTransitions());
List <String> headerNames = footprintResult.HeaderWithEventNames;
if (headerNames.Count != 4)
{
Assert.Fail();
}
int index = 0;
foreach (String hName in headerNames)
{
if (!hName.Equals("TransitionA") && index == 0)
{
Assert.Fail();
}
if (!hName.Equals("TransitionB") && index == 1)
{
Assert.Fail();
}
if (!hName.Equals("TransitionC") && index == 2)
{
Assert.Fail();
}
if (!hName.Equals("TransitionD") && index == 3)
{
Assert.Fail();
}
index++;
}
}
