9.13 Dag2

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

• identifier: output.dag2
• 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. 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 Dag2 functor adds the following features:

• it includes dominance edges
• it compares analyses

Compared with the Dag1 output functor (Dag11), the Dag2 functor

• does not ghost nodes, and
• does not ghost edges