9.12 Dag1

This section explains the Dag1 output functor. The Dag1 output functor assumes that the graph principle is used on the output dimension.

• identifier: output.dag1
• open method: opens a window displaying all known edges (and all known edge labels and all known node labels) of the directed acyclic graph on the output dimension, and all known dominance edges. Ghosts a node (in gray) if either a) it corresponds to word . or b) its set of incoming edge labels is non-empty and a subset of {dummy, del}. Ghosts edges and dominance edges labeled with a label in {root, root1, root2, dummy, del}. Compares the previous analysis with the current one: edges which are new from the previous Dag1 output on the output dimension are red. New dominance edges are pink.
• close method: closes all of these windows opened on the output dimension and resets the comparison (i.e. the next output does not compare).

Notice that the Dag1 output functor is able to display labeled dominance edges only if the graph principle is used on the output dimension (showing labeled dominance edges requires the downL feature). Otherwise, it can only to display unlabeled dominance edges.

Dominance edges are light blue.

Compared with the Dag output functor (Dag1), Dag1 adds the following features:

• it includes dominance edges
• it ghosts nodes
• it ghosts edges
• it compares analyses