<FILTER_CRITERIA> : Filter criterion

Java class : leon.info.LyFilterCriterion

ROLE

This element defines a filter criterion implemented by an external Java class (javaName attribute identifying Java class) that must implement the leon.info.LyFilterElement interface. The id attribute identifies the filter criterion in order to be able to reference it.

ATTRIBUTES

<!ATTLIST FILTER_CRITERIA
	  id ID #IMPLIED
	  javaName NMTOKEN #REQUIRED>
Attribute Mand. Description Default
id no Identifier of the filter criterion.  
javaName yes Full name of the java class that performs the filtering. This class must implement the leon.info.LyFilterElement interface.