Les expressions

Préambule

Le traitement d'expressions basées sur le langage OCL (Object Contraints Language) est en cours de développement.
Les expressions du langage OCL sont utilisées pour :

• Définir les valeurs d'initialisation  pour les attributs.
  L'expression doit retourner un résultat du type de l'attribut.

• Définir les valeurs de dérivation pour les attributs calculés.
  L'expression doit retourner un résultat du type de l'attribut.

• Définir des invariants. Des invariants sont des conditions qui doivent être vraies.
  L'expression doit retourner un résultat de type booléen et toujours vrai.

Pour la version courante de MVC-CD, soit la 4.1.16, les expressions ne sont pas analysées.
Elles peuvent être saisies, mais elles sont ignorées par le contrôle de conformité.

Toutefois, en mode expérimental, le contrôle de conformité est effectué.

Le mode expérimental est activable par le paramètre Expérimental | Validation OCL de l'application.
Si vous activez ce mode expérimental, lisez le chapitre Les littéraux, ci-dessous,  pour vous aider à effectuer des saisies conformes au contrôle de conformité.

Types d'expression

Les expressions sont :

• unitaires 

  • des littéraux

  • des appels de fonction

  •  des idenifiants du modèle : entité, attribut, contrainte, association...

• binaires, constituées de 2 expressions (unitaires ou binaires) et un opérateur binaire.
  Dans la version actuelle, 4.1.16, les opérateurs binaires sont :

  • logique 

    • =

    • !=

    • >

    • >=

    • <

    • >=

    • and

    • or

    • xor

    • not

    • implies

  • arithmétique

    • +

    • -

    • *

    • /

Exemples

• #20.01.2026#  (1)

• 150000 (2)

• nowDate()

• nowDate() + 3

• [date de fin] = null or [date de fin] >= [date de début] (3)

Important  :

1. Les littéraux temporels doivent être entourés du caractère #.

2. Les séparateurs de milliers des valeurs numériques ne sont pas autorisés.

3. Les identifiants d'élément du modèle qui comportent des caractères spéciaux comme l'espace doivent être entourés  de crochets. 

Ecriture d'une expression

Littéral

Les littéraux doivent repsecter les règles suivantes d'écriture.

Booléen

• true, True ou TRUE

• false, False ou False

Textuel

• Les littéraux textuels doivent être entourés de guillemet. Par exemple : 'SPORT'

Numérique

• Les séparateurs de milliers autorisés par l'éditeur de valeur par défaut des attributs ne sont pas autorisés dans toutes les autres situations.

• Le séparateur décimal correspond à une préférence locale dans l'éditeur de valeur par défaut des attributs. Il est obligatoirement le point (.) dans toutes les autres situations.

Temporel

• Les littéraux temporels doivent être entourés du caractère #. Par exemple : #20.01.2026#

• Les préférences locales d'écriture des valeurs temporelles doivent être utilisées dans toutes les situations.

Appel de fonction

Avec la version actuelle, 4.1.16, les fonctions suivantes sont autorisées.

Temporel 

• nowDateTime() : dateTime
  Elle retourne la date et l'heure courantes.

• nowDate() : date
  Elle retourne la date courante.

• nowTime() : time
  Elle retourne l'heure courante.

Identifiant

• Les éléments de modèle, entité, attributs, contraintes, associations... peuvent identifés par leur nom métier ou technique.

• Si l'identification se fait par le nom métier, il est indispensable d'entourer le nom métier de crochets s'il comporte des caractères spéciaux comme l'espace (séparateur de mot pour une expression OCL)  ou le guillemet (marqueur de littéral textuel).
  Par exemple : [date de début]

• Par souci de clarté des expressions, nous recommandons d'entourer tous les noms métiers de crochets.