jade.gui
Class DescriptionNode

java.lang.Object
  |
  +--jade.gui.DescriptionNode

public class DescriptionNode
extends java.lang.Object

Author:
Francisco Regi, Andrea Soracchi - Universita` di Parma

Constructor Summary
DescriptionNode()
           
 
Method Summary
protected  void addElementMap(java.lang.String key, javax.swing.JPopupMenu popMenu)
           
protected  boolean existsKey(java.lang.String key)
           
protected  javax.swing.JPopupMenu getPopupMenuMap(java.lang.String key)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

DescriptionNode

public DescriptionNode()
Method Detail

addElementMap

protected void addElementMap(java.lang.String key,
                             javax.swing.JPopupMenu popMenu)

existsKey

protected boolean existsKey(java.lang.String key)

getPopupMenuMap

protected javax.swing.JPopupMenu getPopupMenuMap(java.lang.String key)