public interface FilterProcedureEventListener
extends java.util.EventListener
Modifier and Type | Method and Description |
---|---|
void |
filterProcedureEventOccurred(FilterProcedureEvent event) |
void filterProcedureEventOccurred(FilterProcedureEvent event)