273

Syntaxe BNF pour le LCRC

<relation range> ::= <nom d'objet>+

<cardinal> ::= {1 | <card inf> <card sup> | <card inf> *}

;;

* signifie n'importe quel nombre de valeurs au dessus de <card inf>.

<additional statement> ::= <keyword> <definition> <keyword> ::= <symbol>
<definition> ::= <any ASCII character>

V-2.3 Syntaxe des valeurs

<valeur> ::= (defvalue<nom de valeur>

[(SuperValue<nom de valeur>)]

[(SubValue<nom de valeur>+)]

[(String<string>)])

Note :

Une valeur peut être soit la valeur d'un attribut d'un objet, soit un diagnostic.

V-3.1 Syntaxe des cas

<cas> ::= (defcase[<numéro de cas>] [<nom du cas>] [<commentaire>]

[<diagnostic>]

<description>)

; un cas sans diagnostic peut être utilisé en auto-consultation

<numéro de cas> ::= (number<positive integer>)

<nom de cas> ::= (name<string>)

<diagnostic> ::= (diagnosis<nom de diagnostic>+)

<commentaire> ::= (comment<string>)

<description> ::= (description

(case<description d'objet>)

{(<nom d'objet> [: <identificateur>] <description d'objet>)}*)