Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Display_hasse_impl.DefaultSpecSourceDefault specification than can be used by the pretty-printer for Hasse-diagrams. Just include it into some module and override the defaults as required.
include Display_hasse_intf.DEFAULT_SPECNode attribute string for top nodes, e.g. "shape = box"
Node attribute string for bottom nodes
Node attribute string for top/bottom nodes
Edge attribute string, e.g. "color = blue"