ExpansionListener (ProM-Models)

All Superinterfaces:: java.util.EventListener

public interface ExpansionListener
extends java.util.EventListener

- Nested Class Summary
  
  Nested Classes
  Modifier and Type Interface Description
  
  static class ExpansionListener.ListenerList
- Method Summary
  
  All Methods Instance Methods Abstract Methods
  Modifier and Type Method Description
  
  void nodeCollapsed(Expandable source)
  
  void nodeExpanded(Expandable source)

Method Detail

nodeExpanded

void nodeExpanded(Expandable source)

nodeCollapsed

void nodeCollapsed(Expandable source)