Package de.saar.chorus.ubench.jdomgraph

package de.saar.chorus.ubench.jdomgraph
Provides basic classes used in the Underspecification Workbench. Primarily, these are the class JDomGraph for a visual representation of a labelled dominance graph as a Swing component, and various classes related to the layout algorithm for dominance graphs.
  • Classes
    Class
    Description
    EdgeData
    The data that can be stored in the edge of a dominance graph -- namely, a name and an edge type.
    EdgeType
    An edge type -- either solid or dominance.
    Fragment
    A fragment in a dominance graph.
    JDomGraph
    A Swing component that represents a labelled dominance graph.
    JDomGraphDummyLayout
    A JGraphLayoutAlgorithm designed to leave the node and edge positions unchanged but triggers the refreshing of the JGraph's appearance so as to make color or font changes visible.
    NodeData
    The data that can be stored in the node of a dominance graph -- namely, a name, a label, and a node type.
    NodeType
    A node type -- either labelled or unlabelled (i.e. non-hole or hole).