Beispiel #1
0
class TestNonVisual(unittest.TestCase):
    def setUp(self):
        self.prog1 = PetriProg("blink.pnml")
        self.prog2 = PetriProg("3blink.pnml")
        self.pref1 = Preferences()
        self.pref2 = Preferences()
        self.pref2.background=pygame.Color(192,192,255)
        self.dash1 = Dashboard(self.pref1,network=self.prog1,origin=(10,50),width=600,height=600)
        self.dash2 = Dashboard(self.pref2,network=self.prog2,origin=(620,50),width=570,height=600)
        #print self.prog1.arc(id="a6")[0][0]
        self.va1 = VisualArc(self.prog1.arc(id="a6"),self.prog1)
        self.va2 = VisualArc(self.prog1.arc(id="a7"),self.prog1)
        self.va3 = VisualArc(self.prog1.arc(id="a8"),self.prog1)

    def test_va1_build(self):
        self.assertEqual(self.va1.sourcePoint,(208,175))
        self.assertEqual(self.va1.targetPoint,(313,115))

    def test_va3_build(self):
        self.assertEqual(self.va2.bendPoints,[(373,115),(439,148)])
Beispiel #2
0
 def setUp(self):
     self.prog1 = PetriProg("blink.pnml")
     self.prog2 = PetriProg("3blink.pnml")
     self.pref1 = Preferences()
     self.pref2 = Preferences()
     self.pref2.background=pygame.Color(192,192,255)
     self.dash1 = Dashboard(self.pref1,network=self.prog1,origin=(10,50),width=600,height=600)
     self.dash2 = Dashboard(self.pref2,network=self.prog2,origin=(620,50),width=570,height=600)
     #print self.prog1.arc(id="a6")[0][0]
     self.va1 = VisualArc(self.prog1.arc(id="a6"),self.prog1)
     self.va2 = VisualArc(self.prog1.arc(id="a7"),self.prog1)
     self.va3 = VisualArc(self.prog1.arc(id="a8"),self.prog1)