de.uni_paderborn.fujaba.app
Class FrameMain.PropertyEditorPopupSourceListener

java.lang.Object
  extended byde.uni_paderborn.fujaba.app.FrameMain.PropertyEditorPopupSourceListener
All Implemented Interfaces:
PopupSourceListener
Enclosing class:
FrameMain

private class FrameMain.PropertyEditorPopupSourceListener
extends java.lang.Object
implements PopupSourceListener

show the current popup source in the property editor

Version:
$Revision: 1.609 $ $Date: 2005/03/04 14:43:26 $
Author:
$Author: cschneid $

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

FrameMain.PropertyEditorPopupSourceListener

private FrameMain.PropertyEditorPopupSourceListener()
Method Detail

popupSourceChanged

public void popupSourceChanged(LogicUnparseInterface newSource)
Called whenever the popupSource changes.

Specified by:
popupSourceChanged in interface PopupSourceListener
Parameters:
newSource - new source

simpleClassName

private java.lang.String simpleClassName(LogicUnparseInterface element)
Parameters:
element - a logic element
Returns:
name of the class of the logic element (unqualified), null if element is null