Diagram generation & interaction

[ElwinLiu]

• Ability to dynamically generate any supported diagram as the user edits, including some represented in other format such as state tables, event sequences, etc.
• Ability in generated outputs to click to highlight the relevant text (classes, attributes, states, transitions etc.)
• Ability to edit either highly graphically or through popup menus
• Ability to filter the classes shown using patterns, including negated patterns
• Ability to adjust GV layout algorithm (including adjusting spacing)