ABSENT
Attribut. Contrainte par l'absence d'une propriété.
Syntaxe
ABSENT
Description
L'instruction ABSENT permet de spécifier que la propriété d'un type surchargé doit être absente.
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
PRESENT et OPTIONAL pour définir une contrainte sur la qualité d'une propriété.