Prev Class | Next Class | Frames | No Frames |
Summary: Nested | Field | Method | Constr | Detail: Nested | Field | Method | Constr |
JFrame
org.grinvin.list.GraphPropertiesWindow
Constructor Summary | |
|
Method Summary | |
GraphListElement |
|
void | |
void |
|
void | |
void |
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