Showing
1 changed file
with
4 additions
and
3 deletions
... | @@ -24,18 +24,19 @@ class CinziaSimulator (BaseSimulator) : | ... | @@ -24,18 +24,19 @@ class CinziaSimulator (BaseSimulator) : |
24 | ret["variables"] = dict((place, tokens.items()[0]) | 24 | ret["variables"] = dict((place, tokens.items()[0]) |
25 | for place, tokens in marking.items()) | 25 | for place, tokens in marking.items()) |
26 | ret["groups"] = ["timed", "even", "odd"] | 26 | ret["groups"] = ["timed", "even", "odd"] |
27 | - ret["modes"] = [] | 27 | + modes = [] |
28 | for i, (trans, binding) in enumerate(marking.modes) : | 28 | for i, (trans, binding) in enumerate(marking.modes) : |
29 | if (state + i) % 5 == 0 : | 29 | if (state + i) % 5 == 0 : |
30 | groups = ["timed"] | 30 | groups = ["timed"] |
31 | else : | 31 | else : |
32 | groups = [] | 32 | groups = [] |
33 | - ret["modes"].append( | 33 | + modes.append( |
34 | {"state" : state, | 34 | {"state" : state, |
35 | "mode" : i, | 35 | "mode" : i, |
36 | "html" : "%s (%s)" % (trans.name[7:], binding), | 36 | "html" : "%s (%s)" % (trans.name[7:], binding), |
37 | "groups" : groups + ["odd" if (state % 2) else "even"] | 37 | "groups" : groups + ["odd" if (state % 2) else "even"] |
38 | - }) | 38 | + }) |
39 | + ret["modes"] = [{"select": "#modes", "items": modes}] | ||
39 | return ret | 40 | return ret |
40 | 41 | ||
41 | class CinziaHTTPSimulator (BaseHTTPSimulator) : | 42 | class CinziaHTTPSimulator (BaseHTTPSimulator) : | ... | ... |
-
Please register or login to post a comment