Class GraphPropertiesWindow

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)`

public GraphPropertiesWindow(GraphListElement element)

public GraphListElement getModel()

public void graphListElementGraphChanged(GraphListElement element)

Specified by:
graphListElementGraphChanged in interface GraphListElementListener

public void graphListElementInvariantComputed(GraphListElement element,
                                              Invariant invariant)

Specified by:
graphListElementInvariantComputed in interface GraphListElementListener

public void graphListElementNameChanged(GraphListElement element)

Specified by:
graphListElementNameChanged in interface GraphListElementListener

public void graphListElementURIChanged(GraphListElement element)

Specified by:
graphListElementURIChanged in interface GraphListElementListener

Overview Package Tree Index Deprecated About
Prev Class \| Next Class	Frames \| No Frames
Summary: Nested \| Field \| Method \| Constr	Detail: Nested \| Field \| Method \| Constr

Constructor Summary