[[]]
Marque. Isole le contenu d'une nouvelle version.
Syntaxe
[[]]
Description
L'opérateur [[]] permet d'isoler le contenu d'une nouvelle version d'un type ou d'une contrainte extensible qui a été étendu.
Exemple
-- Definition d'une sequence avec trois proprietes. Il est extensible a la fin.
MonType1 ::= SEQUENCE
{
MaProprieteA BOOLEAN,
MaProprieteB INTEGER,
MaProprieteC CHARACTER STRING,
...
}
-- Definition d'une nouvelle version de MonType1 avec cinq proprietes.
MonType2 ::= SEQUENCE
{
MaProprieteA BOOLEAN,
MaProprieteB INTEGER,
MaProprieteC CHARACTER STRING,
...,
[[
-- Version 2.
MaProprieteAA BOOLEAN,
MaProprieteBB INTEGER,
MaProprieteCC CHARACTER STRING,
]],
[[
-- Version 3.
MaProprieteAAA BOOLEAN,
MaProprieteBBB INTEGER,
MaProprieteCCC CHARACTER STRING,
]],
}
Voir aussi
::=,
@,
^,
|,
<,
.,
..,
...,
:,
!,
&,
{},
[] pour connaître des autres opérateurs.