PyModel/samples/StackResult/test_graphics.py at master · Python3pkg/PyModel · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
"""
Test Stack graphics
"""

cases = [
    ('Generate FSM with first 12 transitions',
     'pma Stack -m 12'),

    ('Generate dot commands',
     'pmg StackFSM'),

    ('Generate SVG file',
     'dotsvg StackFSM'),

    ('Generate dot commands for scenario FSM',
     'pmg StackOneScenario'),

    ('Generate dot commands for scenario FSM',
     'pmg StackOneScenario'),

    ('Generate SVG',
     'dotsvg StackOneScenario'),

    ('Explore composition of model with scenario machine, show synchronization',
     'pma Stack StackOneScenario -m 6 -o StackSynchronized'),

    ('Generate dot',
     'pmg StackSynchronized'),

    ('Generate SVG',
     'dotsvg StackSynchronized'),

    # Now display StackFSM.svg, StackOneScenario.svg, StackSynchronized.svg
    # in browser

    ('Generate FSM with state filter',
     'pma -o Stack3FSM Stack Filter3'),

    ('Generate dot commands',
     'pmg Stack3FSM'),

    ('Generate SVG file',
     'dotsvg Stack3FSM'),
]