9.14 Dag3

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

• identifier: output.dag3
• 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. 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.
• close method: closes all of these windows opened on the output dimension and resets the comparison (i.e. the next output does not compare).

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

• it ghosts nodes
• it ghosts edges
• it compares analyses

Compared with the Dag1 and Dag2 output functors (Dag11, Dag12), the Dag3 functor

• does not include dominance edges