<PARAMETER_DECL> : Declaration of an action parameter

Java class : leon.info.misc.LyParameter

ROLE

Parameters define some properties of actions. These properties are presented when actions are declared. Before their use, parameters must be declared. A parameter declaration contains a name, a type (chosen among managed types) and a boolean indicating if the parameter is required or not. Managed types are : action marks, field marks, filter, sort, class, field, action, chart, string.

ATTRIBUTES

<!ATTLIST PARAMETER_DECL
	  name CDATA #REQUIRED
	  type ( A_MARKS | F_MARKS | FILTER | SORT | CLASS | FIELD | ACTION | CHART | STRING | FILE | NUMBER | CHOICE | BOOLEAN | CHOICES) "STRING"
	  required ( true | false) "false"
	  domain CDATA #IMPLIED>
Attribute Mand. Description Default
name yes Name of the declared parameter.  
type no Type of the declared parameter. The valid types for parameters are:
- A_MARKS: Action marks,
- F_MARKS: Field marks,
- FILTER: Filter,
- SORT: Sort,
- CLASS: Class,
- FIELD: Field,
- ACTION : Action,
- CHART: Chart,
- STRING: String (default type),
- FILE: File path,
- NUMBER: number,
- CHOICE: a list of choices,
-BOOLEAN: boolean (true/false).
STRING
required no This attribute indicates if the declared parameter is optional (false) or required (true). false
domain no This attribute defines the set of possible values of the parameter. Mandatory for choice type.  

SAMPLE

<PARAMETER_DECL name="textParam"/>

<PARAMETER_DECL name="classParam" type='CLASS' required='true'/>

<PARAMETER_DECL name="fieldMarks" type='F_MARKS'/>