:

Opérateur. Deux-points.

Syntaxe

NomDUnChoix : Valeur

NomDUnType : Valeur

! NomDUnType : Valeur

Valeur :

Description

L'opérateur : permet soit de :

Sélectionner la propriété d'un type CHOIX.
Typer la valeur d'une propriété de type NULL.
Définir le type du code retour associé à l'exception.
Définir la version d'une extension.

Exemple


-- Definition d'un choix avec trois possibilités.

MonType1 ::= CHOIX

	{

	MaProprieteA [0] BOOLEAN,

	MaProprieteB [1] INTEGER,

	MaProprieteC [2] CHARACTER STRING

	}



-- Definition d'une valeur sur le choix precedent.

MaValeur1 MonType ::= MaProprieteB : 1


-- Definition d'une sequence avec trois proprietes.

MonType2 ::= SEQUENCE

	{

	MaProprieteD BOOLEAN,

	MaProprieteE NULL,

	MaProprieteF CHARACTER STRING

	}



-- Definition d'une valeur sur la propriete precedente.

MaValeur2 MonType2 ::= {MaProprieteD TRUE, MaProprieteE INTEGER : 1, MaProprieteF "coucou"}



-- Definition d'une sequence extensible avec exception - Version 1.

MonType3 ::= SEQUENCE

	{

	MaProprieteG BOOLEAN,

	... ! INTEGER : 10

	}



-- Definition d'une sequence extensible avec exception - Version 2.

MonType3 ::= SEQUENCE

	{

	MaProprieteG BOOLEAN,

	... ! INTEGER : 10,

	[[ 2 : MaProprieteH BOOLEAN ]]

	-- En version 2, la propriete MaProprieteH est ajoutee.

	}

Voir aussi

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