org.grinvin.list

Class GraphPropertiesWindow

Implemented Interfaces:
GraphListElementListener

public class GraphPropertiesWindow
extends JFrame
implements GraphListElementListener

Window that displays a drawing of the graph as well as its known invariants.

Constructor Summary

GraphPropertiesWindow(GraphListElement element)

Method Summary

GraphListElement
getModel()
void
graphListElementGraphChanged(GraphListElement element)
void
graphListElementInvariantComputed(GraphListElement element, Invariant invariant)
void
graphListElementNameChanged(GraphListElement element)
void
graphListElementURIChanged(GraphListElement element)

Constructor Details

GraphPropertiesWindow

public GraphPropertiesWindow(GraphListElement element)

Method Details

getModel

public GraphListElement getModel()

graphListElementGraphChanged

public void graphListElementGraphChanged(GraphListElement element)
Specified by:
graphListElementGraphChanged in interface GraphListElementListener

graphListElementInvariantComputed

public void graphListElementInvariantComputed(GraphListElement element,
                                              Invariant invariant)
Specified by:
graphListElementInvariantComputed in interface GraphListElementListener

graphListElementNameChanged

public void graphListElementNameChanged(GraphListElement element)
Specified by:
graphListElementNameChanged in interface GraphListElementListener

graphListElementURIChanged

public void graphListElementURIChanged(GraphListElement element)
Specified by:
graphListElementURIChanged in interface GraphListElementListener