Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision
Previous revision
tools:act2dot [2026/09/25 11:21] – rajittools:act2dot [2026/09/25 12:58] (current) – [User-specified styles] rajit
Line 8: Line 8:
  
 The ''-g'' option can be used to switch to the PRS (//gate//) level of abstraction when showing how processes are connected. The ''-g'' option can be used to switch to the PRS (//gate//) level of abstraction when showing how processes are connected.
 +
 +Ports are shown in yellow and as boxes, whereas instances are shown as ovals with the instance name and type name included. Local (within the instance) port names are shown near the head/tail of arrows in blue.
 +
 +===== User-specified styles =====
 +
 +Graphviz styles can be added to instances via a table of mappings from regular expressions to graphviz style strings.
 +<code>
 +begin act
 +
 +string_table graph_styles "buffer" "style=filled;color=orange" \
 +                          "src" "style=filled;color=blue"
 +end
 +</code>
 +This will add the style string ''style=filled;color=orange'' to any process  type that matches the regular expression ''buffer'', and the blue filled style to any process that matches ''src''. This uses the standard C regex library, so the regular expression syntax corresponds to the syntax supported by the functions in ''regex.h''.
 +
 +            
 +
 +
 +
 +