OPTIONAL - Propriété optionnelle

Attribut. Contrainte par la présence optionnelle d'une propriété.

Syntaxe

OPTIONAL

Description

L'instruction OPTIONAL permet de spécifier que la propriété d'un type surchargé est optionnelle.

Exemple


-- Definition d'un type avec trois proprietes.

MonType1 ::= SEQUENCE

	{

	MaProprieteA INTEGER,

	MaProprieteB INTEGER,

	MaProprieteC INTEGER

	}



-- Definition du type MonType2 par surcharge du type MonType1.

MonType2 ::= MonType1 (WITH COMPONENTS

	{

	MaProprieteA ABSENT,

	-- La propriete MaProprieteA doit etre absente.

	MaProprieteB PRESENT,

	-- La propriete MaProprieteB doit etre presente.

	MaProprieteC OPTIONAL

	-- La propriete MaProprieteC peut etre optionnelle.

	}

)



MaValeur1 MonType1 ::= 

	{

	MaProprieteA 1,

	MaProprieteB 2,

	MaProprieteC 3

	}



MaValeur2 MonType2 ::= 

	{

	MaProprieteB 1,

	MaProprieteC 2

	}

Voir aussi

ABSENT et PRESENT pour définir une contrainte sur la qualité d'une propriété.