PRESENT
PRESENT permet de spécifier que la propriété d'un type surchargé doit être présente.
Ceci est la contrainte qualitative par défaut.
-- 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
}