@

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

Syntaxe

NomDeLaValeur @ TypeDynamique ContrainteOption

@ SelectionOption2

Description

L'opérateur @ permet de soit :

Sélectionner le type dynamique d'une propriété ou d'un paramètre d'une séquence, d'un ensemble ou d'une classe.
Le nombre de marques . indique la profondeur d'imbrication des séquences. Par défaut, le premier niveau d'imbrication i.e. le corps de la classe est exploré.
Sélectionner une définition globale.

Exemple


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



BEGIN



-- Definition d'un type avec trois proprietes.

MonType ::= SEQUENCE

	{

	MaProprieteA INTEGER,

	MaProprieteB INTEGER,

	MaProprieteC INTEGER

	}



-- Definition d'une classe avec quatre parametres.

MaClasse ::= CLASS

	{

	&MonParametreA INTEGER,

	&MonParametreB @&MonParametreA,

	-- Le parametre MonParametreB a un type dynamique donne par le parametre MonParametreA.

	&MonParametreC SEQUENCE

	
		{

		&MonParametreD INTEGER,

		&MonParametreE @.&MonParametreD,

		-- Le parametre MonParametreE a un type dynamique donne par le parametre MonParametreD.

		&MonParametreF @&MonParametreA,

		-- Le parametre MonParametreF a un type dynamique donne par le parametre MonParametreA.

		}
	
	}



-- 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.