<INFO> : Imported element

Java class : leon.info.LyInfo

ROLE

The INFO tag allows to specify a field to be imported from an include (INCLUDE).

ATTRIBUTES

<!ATTLIST INFO
	  id ID #REQUIRED>
Attribute Mand. Description Default
id yes Identifier of imported element.  

ELEMENTS

<!ELEMENT INFO 
	  (NAME?,
	   ALIAS?,
	   GROUP?,
	   PREFIX?)>
Element Mand. Mult. Description
NAME no no Name of imported element.
ALIAS no no Short name of imported element.
GROUP no no Group of imported element.
PREFIX no no Prefix of imported element.

SAMPLE

<INFO id="result"/>

<INFO id="balance" type='ACTION'>
	<NAME value='Account'/>
	<GROUP value='Admin'/>
	<PREFIX value='result'/>
</INFO>