def init_ui (self) : return BaseHTTPSimulator.init_ui(self)[:-1] + [{ "label" : "Show net", "id" : "ui-shownet", "href" : "#", "script" : "dialog($('#model .petrinet').html())" }]
def init_ui(self): return BaseHTTPSimulator.init_ui(self)[:-1] + [ { "label": "Show net", "id": "ui-shownet", "href": "#", "script": "dialog($('#model .petrinet').html())" } ]
def __init__ (self, node, net, gv, port) : simul = ABCDSimulator(node, net, gv) BaseHTTPSimulator.__init__(self, net, simulator=simul, port=port)
def __init__(self, node, net, gv, port): simul = ABCDSimulator(node, net, gv) BaseHTTPSimulator.__init__(self, net, simulator=simul, port=port)