!

Opérateur. Exception.

Syntaxe

! Valeur

! NomDUnType : Valeur

Description

L'opérateur ! permet de définir une exception suite à :

Une contrainte au cas où elle ne serait pas respectée.
Une extension au cas où l'extension de serait pas prise en charge par le décodeur.

En ce cas, le code d'exception qui suit l'opérateur ! est envoyée à l'application. Par défaut, le type du code d'exception est un entier.

Exemple


-- Definition d'un type contraint a exception.

MonType1 ::= INTEGER (0..255) ! 1

	{

	MaProprieteG BOOLEAN,

	... ! CHARACTER STRING : "Erreur"

	}



-- Definition d'une sequence extensible avec exception.

MonType2 ::= SEQUENCE


	{

	MaProprieteG BOOLEAN,

	... ! INTEGER : 10
	}

Voir aussi