@

Opérateur. Sélection du type de la valeur.

Syntaxe

NomDeLaValeur @ TypeDynamique ContrainteOption

@ SelectionOption2

Description

L'opérateur @ permet de soit :

Exemple

MonModule {iso member-body(2) ups(1) essai(1)} DEFINITIONS AUTOMATIC TAGS ::=

BEGIN

-- Definition d'un type avec trois proprietes.
MonType ::= SEQUENCE
-- Definition d'une classe avec quatre parametres.
MaClasse ::= CLASS
-- Definition d'une constante d'un type global.
MaValeur @MonType ::= {MaPropriete 1, MaPropriete 2, MaPropriete 3}

END

Voir aussi

::=, ^, |, <, ., .., ..., :, !, &, {}, [], [[]] pour connaître des autres opérateurs.