::=

Opérateur. Affectation.

Syntaxe

NomDuModule IdentifiantObjetOption DEFINITIONS ModeEtiquettageOption ModeExtensionOption ::=
BEGIN
ExportationsOption
ImportationsOption
ListeDAffectationsOption
END

NomDuType ParametresDefinisOption ::= EtiquetteOption NomDUnType ParametresTransmisOption ContrainteOption

NomDeLaClasse ::= CLASS { ListeDeParametresClasse } SyntaxeOption

NomDeLaValeur NomDUnType ::= Valeur

NomDeLaValeur NomDUneClasse ::= Valeur

Description

L'opérateur ::= permet de construire une nouvelle définition :

Le module.
Un type nommé.
Une classe.
Une valeur constante.

Exemple


MonModule {iso member-body(2) ups(1) essai(1)} DEFINITIONS AUTOMATIC TAGS ::=



BEGIN



-- Definition d'un type avec trois proprietes.

MonType ::= SEQUENCE

	{

	MaProprieteA INTEGER,

	MaProprieteB INTEGER,

	MaProprieteC INTEGER

	}



-- Definition d'une classe avec quatre parametres.

MaClasse ::= CLASS

	{

	&MonParametreA,

	-- Le parametre MonParametreA n'est pas type aussi il doit etre un type.

	&MonParametreB INTEGER,

	-- Le parametre MonParametreB est obligatoire.

	&MonParametreC INTEGER DEFAULT 1,

	-- Le parametre MonParametreC est facultatif. En ce cas, sa valeur par défaut est 1

	&MonParametreD INTEGER OPTIONAL

	-- Le parametre MonParametreD est falcultatif.

	}



-- Definition d'une constante.

MaValeur INTEGER ::=1



END

Voir aussi

@, ^, |, <, ., .., ..., :, !, &, {}, [], [[]] pour connaître des autres opérateurs.