teaching/muMLE
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Fix graphviz renderer for 'port' language

Browse source
This commit is contained in:
Joeri Exelmans 2024-10-30 10:17:20 +01:00
parent b944ece747
commit cc89fe96c1
1 changed files with 2 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

5
examples/semantics/operational/port/renderer.py
View file

@ -1,3 +1,5 @@
import urllib
from concrete_syntax.common import indent
from examples.semantics.operational.port.helpers import design_to_state, state_to_design, get_time, get_num_ships from examples.semantics.operational.port.helpers import design_to_state, state_to_design, get_time, get_num_ships
def render_port_graphviz(od): def render_port_graphviz(od):
@ -29,9 +31,6 @@ def render_port_graphviz(od):
for _, gen in od.get_all_instances("Generator", include_subtypes=False): for _, gen in od.get_all_instances("Generator", include_subtypes=False):
txt += f'"{od.get_name(gen)}" [ label = "+", shape = diamond, fillcolor = green, fontsize = 30, style = filled ]\n' txt += f'"{od.get_name(gen)}" [ label = "+", shape = diamond, fillcolor = green, fontsize = 30, style = filled ]\n'
for _, blackhole in od.get_all_instances("BlackHole", include_subtypes=False):
txt += f'"{od.get_name(blackhole)}" [ label = "-", shape = diamond, fillcolor = red, fontsize = 30, style = filled ]\n'
for _, conn in od.get_all_instances("connection"): for _, conn in od.get_all_instances("connection"):
src = od.get_source(conn) src = od.get_source(conn)
tgt = od.get_target(conn) tgt = od.get_target(conn)