|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectde.uni_paderborn.fujaba.app.FrameMain.PropertyEditorPopupSourceListener
show the current popup source in the property editor
Constructor Summary | |
private |
FrameMain.PropertyEditorPopupSourceListener()
|
Method Summary | |
void |
popupSourceChanged(LogicUnparseInterface newSource)
Called whenever the popupSource changes. |
private java.lang.String |
simpleClassName(LogicUnparseInterface element)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
private FrameMain.PropertyEditorPopupSourceListener()
Method Detail |
public void popupSourceChanged(LogicUnparseInterface newSource)
popupSourceChanged
in interface PopupSourceListener
newSource
- new sourceprivate java.lang.String simpleClassName(LogicUnparseInterface element)
element
- a logic element
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |