Définition des types

• Globalement.
  En ce cas, cela s'effectue après la déclaration des constantes et des énumérés mais avant les traitements. Ces types globaux sont utilisables dans tous les traitements du composant courant.
  
• Localement à un appel.
  En ce cas, cela s'effectue en début de la procédure, de la fonction ou de l'opérateur. Les types locaux ne peuvent avoir de méthodes.

Syntaxe de la définition d'un type

| ListeDeTypes
;

ListeDeTypes :

ListeDeTypes
TypeDAcces Type
| TypeDAcces Type
;

Type :

Type NomDuType ParametrageDuType HeritageType ImplementationInterface InflexionType
ListeDeComposantsDUnType
Fin Type
| Type NomDuType Recursif ;
| Interface NomDeLInterface ParametrageDuType HeritageInterface InflexionInterface
ListeDeComposantsDUnType
Fin Interface
| Interface NomDeLInterface Recursif ;
| Type NomDuType = TypeElementaire ContrainteType ;
| Version NumeroDeVersion . NumeroDeRevision Faire
ListeDeTypes
Fin Version
;

NomDuType :

NomDUnNouveauType
| NomDUnTypeRecursif
;

ParametrageDuType :

| ( ListeDeParametresDuType )
;

ListeDeParametresDuType :

ParametreDuType
| ListeDeParametresDuType , ParametreDuType
;

ParametreDuType :

NomDUnTypeParametre : Type InflexionParametreType
| NomDUneConstante : Constante
| NomDUnEnumere : Enumere
;

InflexionParametreType :

| Defaut
;

HeritageType :

| HeriteDe ListeDeTypesHerites
;

ListeDeTypesHerites :

TypeHerite
| ListeDeTypesHerites , TypeHerite
;

TypeHerite :

TypeDAcces NomDUnType TypesEnParametre
;

NomDUnType :

NomDUnType
| NomDUnModule . NomDUnType
| Global . NomDUnType
| Objet
| Module
| Entrepot
| Segment
| Type
;

TypesEnParametre :

| ( ListeDeTypesEnParametre )
;

ListeDeTypesEnParametre :

TypeEnParametre
| ListeDeTypesEnParametre , TypeEnParametre
;

TypeEnParametre :

NomDUneConstante
| ConstanteEntiere
| - ConstanteEntiere
| NomDUnEnumere
| TypeElementaire
;

ImplementationnInterface :

| Implemente ListeDInterfacesImplementees
;

ListeDInterfacesImplementees :

InterfaceImplementee
| ListeDInterfacesImplementees , InterfaceImplementee
;

InterfaceImplementee :

TypeDAcces NomDUneInterface TypesEnParametre
;

NomDUneInterface :

NomDUneInterface | NomDUnModule . NomDUneInterface
| Global. NomDUneInterface
;

InflexionType :

| InflexionType Appartenance
| InflexionType Defaut
| InflexionType Final
| InflexionType Entrepot NomDUnEntrepot
| InflexionType Habilitation
| InflexionType Metier
| InflexionType ProprietesDynamiques
| InflexionType Quota
| InflexionType TailleSegment NbObjetsDansUnSegment ConserverObjets
| InflexionType Transactionnel
;

ConserverObjets :

| ConserverObjets
;

NomDUnEntrepot :

NomDUnEntrepot
| NomDUnModule . NomDUnEntrepot
| Global . NomDUnEntrepot
;

ListeDeComposantsDUnType :

ComposantDUnTypeOuVersion
| ListeDeComposantsDUnType ComposantDUnTypeOuVersion
;

ComposantDUnTypeOuVersion :

ComposantDUnType
| Version NumeroDeVersion . NumeroDeRevision Faire
ListeDeComposantsDUnType
Fin Version
;

ComposantDUnType :

TypeDAcces NomDuComposant : TypeElementaire InflexionDonnee ;
| DefinitionDUneProcedureOuDUneFonction
| TypeDAcces Constructeur InflexionAppel ( ListeDeParametresDUnAppel ) ;
| Destructeur InflexionAppel () ;
;

TypeElementaire :

PeutEtreNul NomDUnEnumere
| PeutEtreNul NomDUnType TypesEnParametre
| PeutEtreNul NomDUneInterface TypesEnParametre
| PeutEtreNul Enumere
| PeutEtreNul Fonction ( ListeDeParametresDUnAppel ) Retourner PeutEtreNul TypeElementaire
| PeutEtreNul Procedure ( ListeDeParametresDUnAppel )
| PeutEtreNul Rappel ( ListeDeParametresDUnAppel )
;

PeutEtreNul :

| Nul Ou
;

ListeDeParametresDUnAppel :

ParametreDUnAppel
| ListeDeParametresDUnAppel , ParametreDUnAppel
;

ParametreDUnAppel :

NomDuParametre : TypeElementaire ValeurParDefautDuParametre PassageDuParametre
;

NomDuParametre :

NomDuParametre
| ?
;

ValeurParDefautDuParametre :

| = Nul
| = ChaineDeCaractere
| = ConstanteEntiere
| = - ConstanteEntiere
| = ConstanteReelle
| = - ConstanteReelle
| = NomDUneConstante
| = - NomDUneConstante
| = NomDUneValeurEnumere
| = ?
;

PassageDuParametre :

| Entree SuitePassageDuParametre
| Sortie
;

SuitePassageDuParametre :

| Sortie
;

InflexionDonnee :

| InflexionDonnee Entrepot NomDUnEntrepot
| InflexionDonnee Habilitation
| InflexionDonnee Lecture Protege
| InflexionDonnee Lecture Public
| InflexionDonnee Synchroniser
| InflexionDonnee Virtuel
| InflexionDonnee Trace
;

NomDUnEnumere :

NomDUnEnumere
| NomDUnModule . NomDUnEnumere
| Global . NomDUnEnumere
;

NomDUneValeurEnumere :

NomDUneValeurEnumere | NomDUnModule . NomDUneValeurEnumere
| Global . NomDUneValeurEnumere
;

CasParDefautDUnType :

Defaut
ListeDeComposantsDUnType
Fin Defaut
;

DefinitionDUneProcedureOuDUneFonction :

TypeDAcces Procedure InflexionAppel NomDeLaProcedure ( ListeDeParametresDUnAppel ) ;
| TypeDAcces Fonction InflexionAppel NomDeLaFonction ( ListeDeParametresDUnAppel ) Retourner TypeElementaire ;
| TypeDAcces Operateur InflexionAppel NomDeLOperateur ( ListeDeParametresDUnAppel ) ResultatDeLOperateur ;
;

InflexionAppel :

| InflexionAppel Final
| InflexionAppel Habilitation
| InflexionAppel HabilitationContextuelle
| InflexionAppel Optimiser( ListeDInflexionsOptimiser )
| InflexionAppel PasDeMiseAuPoint
| InflexionAppel PasDeProfilage
| InflexionAppel Quota
| InflexionAppel Synchroniser
;

ListeDInflexionsOptimiser :

InflexionOptimiser
| ListeDInflexionsOptimiser , InflexionOptimiser
;

InflexionOptimiser :

EffetDeBord
| FactoriserChaine
| FactoriserCode
| Invariant
| NePasFactoriserChaine
| NePasFactoriserCode
| NulAbsorbant
| PasDEffetDeBord
;

NomDeLaProcedure :

NomDeLaProcedure
| Liberer
;

NomDeLaFonction :

NomDeLaFonction
| Allouer
| AllouerRessource
| LibererRessource
;

NomDeLOperateur :

+
| -
| *
| /
| \
| %
| ^
| &
| |
| ~
| <<
| >>
| .
| --
| ++
| =
| +=
| -=
| *=
| /=
| \=
| %=
| =^
| =&
| =|
| =<<
| =>>
| .=
| ==
| !=
| <=
| >=
| <
| >
| ()
| NomDeLOperateur
;

ResultatDeLOperateur :

| Retourner TypeElementaire
;

NomDeLInterface :

NomDUneNouvelleInterface
| NomDUneInterfaceRecursive ;

HeritageInterface :

| HeriteDe ListeDInterfacesHeritees
;

ListeDInterfacesHeritees :

InterfaceHeritee
| ListeDInterfacesHeritees , InterfaceHeritee
;

InterfaceHeritee :

TypeDAcces NomDUneInterface TypesEnParametre
;

InflexionInterface :

InflexionInterface Defaut
| InflexionInterface Final
| InflexionInterface Habilitation
| InflexionInterface Metier
| InflexionInterface Quota
;

ContrainteType :

| Contrainte Objet > ValeurDeContrainte
| Contrainte Objet < ValeurDeContrainte
| Contrainte Objet >= ValeurDeContrainte
| Contrainte Objet <= ValeurDeContrainte
| Contrainte()
;

ValeurDeContrainte :

ChaineDeCaractere
| ConstanteEntiere
| - ConstanteEntiere
| ConstanteReelle
| - ConstanteReelle
| NomDUneConstante
| - NomDUneConstante
;

Référence des mots-clés utilisables dans une définition d'un type

Exemple de la définition d'un type