com.hp.hpl.guess.ui
Class DumbEdgeListener

java.lang.Object
  extended bycom.hp.hpl.guess.ui.DumbEdgeListener
All Implemented Interfaces:
EdgeListener, GraphElementListener

public class DumbEdgeListener
extends Object
implements EdgeListener


Constructor Summary
DumbEdgeListener(Edge e)
           
 
Method Summary
 Object get(String name)
           
 void highlight(boolean state)
           
 void readjust()
           
 void set(String name, Object value)
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

DumbEdgeListener

public DumbEdgeListener(Edge e)
Method Detail

set

public void set(String name,
                Object value)
Specified by:
set in interface GraphElementListener

get

public Object get(String name)
Specified by:
get in interface GraphElementListener

highlight

public void highlight(boolean state)
Specified by:
highlight in interface GraphElementListener

readjust

public void readjust()
Specified by:
readjust in interface EdgeListener