You can create class diagrams to inspect or document the architecture of a verification environment
from the toolbar button
or from the menu File > New > e Class Diagram. Class diagrams are saved with the extension .ecdiagram.
You must have dot installed (diagrams are rendered using the dot engine - see www.graphviz.org).
You can specify the dot executable from menu Window > Preferences > DVT > Diagrams.
In the diagram editor you can click on classes to jump to the source code.
You can select the relevant structs for which to draw the diagram from button
(see Select Structs).
For the selected structs a class diagram can show inheritance, associations (pointers) and class members
(see Preferences).
You can customize the font sizes for nodes and edges from menu Window > Preferences > DVT > Diagrams.
See Legend for the description of diagram drawing conventions.