<CLASS_REF> : Class reference

Java class : leon.info.LyClassInfo

ROLE

This element refers to a class defined inside the XML data model. The idref attribute should refer to an existing class; otherwise, an error would be raised during the parsing process.

ATTRIBUTES

<!ATTLIST CLASS_REF
	  idref IDREF #REQUIRED
	  filter IDREF #IMPLIED>
Attribute Mand. Description Default
idref yes Identifier of the referred class.  
filter no Filter applied to instances of the referred class.  

ELEMENTS

<!ELEMENT CLASS_REF 
	  (FILTER?)>
Element Mand. Mult. Description
FILTER no no Filter applied to instances of the referred class.