def __init__(self, node, net, gv):
BaseSimulator.__init__(self, net)
a2html = html.ABCD2HTML(node)
n2html = html.Net2HTML(net, gv, a2html)
self.info = {
"filename": node.st.filename,
"abcd": a2html.html(),
"tree": n2html.html(),
"net": n2html.svg()
}
self.tree = {}
for node in net.node():
nid = gv.nodemap[node.name]
if nid in n2html.n2t:
self.tree[node.name] = "#" + n2html.n2t[nid]
self.places = [
place.name for place in net.place() if place.name in self.tree
]
self.abcd = {}
self.transid = []
for trans in net.transition():
nid = gv.nodemap[trans.name]
self.transid.append(self.tree[trans.name])
if nid in n2html.n2a:
self.abcd[trans.name] = ", ".join("#" + i
for i in n2html.n2a[nid])
def __init__ (self, node, net, gv) :
BaseSimulator.__init__(self, net)
a2html = html.ABCD2HTML(node)
n2html = html.Net2HTML(net, gv, a2html)
self.info = {"filename" : node.st.filename,
"abcd" : a2html.html(),
"tree" : n2html.html(),
"net" : n2html.svg()}
self.tree = {}
for node in net.node() :
nid = gv.nodemap[node.name]
if nid in n2html.n2t :
self.tree[node.name] = "#" + n2html.n2t[nid]
self.places = [place.name for place in net.place()
if place.name in self.tree]
self.abcd = {}
self.transid = []
for trans in net.transition() :
nid = gv.nodemap[trans.name]
self.transid.append(self.tree[trans.name])
if nid in n2html.n2a :
self.abcd[trans.name] = ", ".join("#" + i for i in
n2html.n2a[nid])
def init_help (self) :
help = BaseSimulator.init_help(self)
help.update({
"#model .abcd" : {
"title" : "Source",
"content" : "ABCD source code"
},
"#model .tree" : {
"title" : "State",
"content" : "hierarchy of ABCD objects",
},
"#model .petrinet" : {
"title" : "Net",
"content" : "Petri nets semantics"
}})
return help
def init_help(self):
help = BaseSimulator.init_help(self)
help.update({
"#model .abcd": {
"title": "Source",
"content": "ABCD source code"
},
"#model .tree": {
"title": "State",
"content": "hierarchy of ABCD objects",
},
"#model .petrinet": {
"title": "Net",
"content": "Petri nets semantics"
}
})
return help
def init (self, state=-1) :
res = BaseSimulator.init(self, state)
res.update(self.info)
res["help"] = self.init_help()
return res
def init(self, state=-1):
res = BaseSimulator.init(self, state)
res.update(self.info)
res["help"] = self.init_help()
return res
