public void ObjectToString()
{
var net = new PetriNet <int>();
string expectedString =
"-----------------------------------------------" + Environment.NewLine +
"Places (0)" + Environment.NewLine +
"Transitions (0)" + Environment.NewLine +
"Arcs" + Environment.NewLine;
Assert.AreEqual(expectedString, net.ToString());
var place1 = net.AddPlace("TestPlace");
expectedString =
"-----------------------------------------------" + Environment.NewLine +
"Places (1)" + Environment.NewLine +
"\tP(TestPlace|0)" + Environment.NewLine +
Environment.NewLine +
"Transitions (0)" + Environment.NewLine +
"Arcs" + Environment.NewLine;
Assert.AreEqual(expectedString, net.ToString());
place1.Marking.Add(1);
place1.Marking.Add(5);
var place2 = net.AddPlace("TestPlace2");
expectedString =
"-----------------------------------------------" + Environment.NewLine +
"Places (2)" + Environment.NewLine +
"\tP(TestPlace|2)" + Environment.NewLine +
"\tInt32" + Environment.NewLine +
"\tInt32" + Environment.NewLine +
Environment.NewLine +
"\tP(TestPlace2|0)" + Environment.NewLine +
Environment.NewLine +
"Transitions (0)" + Environment.NewLine +
"Arcs" + Environment.NewLine;
Assert.AreEqual(expectedString, net.ToString());
var transition = net.AddTransition("Transition");
expectedString =
"-----------------------------------------------" + Environment.NewLine +
"Places (2)" + Environment.NewLine +
"\tP(TestPlace|2)" + Environment.NewLine +
"\tInt32" + Environment.NewLine +
"\tInt32" + Environment.NewLine +
Environment.NewLine +
"\tP(TestPlace2|0)" + Environment.NewLine +
Environment.NewLine +
"Transitions (1)" + Environment.NewLine +
"\tT(Transition)" + Environment.NewLine +
Environment.NewLine +
"Arcs" + Environment.NewLine;
Assert.AreEqual(expectedString, net.ToString());
net.AddArc(place1, transition);
net.AddArc(transition, place2);
expectedString =
"-----------------------------------------------" + Environment.NewLine +
"Places (2)" + Environment.NewLine +
"\tP(TestPlace|2)" + Environment.NewLine +
"\tInt32" + Environment.NewLine +
"\tInt32" + Environment.NewLine +
Environment.NewLine +
"\tP(TestPlace2|0)" + Environment.NewLine +
Environment.NewLine +
"Transitions (1)" + Environment.NewLine +
"\tT(Transition)" + Environment.NewLine +
Environment.NewLine +
"Arcs" + Environment.NewLine +
"\tP(TestPlace|2) -> T(Transition)" + Environment.NewLine +
"\tT(Transition) -> P(TestPlace2|0)" + Environment.NewLine;
Assert.AreEqual(expectedString, net.ToString());
}
