org.pf.joi
Class ElementFilterMenu

java.lang.Object
  org.pf.joi.ElementFilterMenu

public class ElementFilterMenu
extends java.lang.Object

Holds an Element filter and all menu items and takes care that they are in sync.

Version:

1.0

Author:

Manfred Duchrow

Constructor Summary

ElementFilterMenu()
Initialize the new instance with default values.

Method Summary

void	replaceFilter(ElementFilter filter)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ElementFilterMenu

public ElementFilterMenu()

Initialize the new instance with default values.

Method Detail

replaceFilter

public void replaceFilter(ElementFilter filter)