Source

Instruction de déclaration. Définition d'un source d'un profil de sécurité.

Syntaxe

Source Securite LibelleDuFichierDeSecurite Version NumeroDeVersion . NumeroDeRevision . NumeroDeCorrection ;

Description

Up ! Application System prend en charge des profils de sécurité au format :

Binaire.
Par convention, l'extension du fichier est usc.
Texte en Up ! 5GL.
Par convention, l'extension du fichier est upl.

Quand le format retenu est texte en Up ! 5GL, afin de les différencier des autres sources, Up ! Application System se fie à l'en-tête du source. L'instruction Securite permet d'identifier le fichier comme étant une ressource de type profil de sécurité.

Le libellé du fichier de sécurité permet d'associer une annotation qui est utilisée par les outils d'Up ! Application System.

Le numéro de version-révision du composant ou du module permet de vérifier à l'exécution la cohérence du source du profil de sécurité. Up ! Virtual Technical Machine vérifie pour chaque module que les numéros de version-révision concordent entre l'appelant et l'appelé ou tout au moins qu'il existe une compatibilité.

Exemple


Source Securite "Ceci est le profil de sécurité" Version 4.0.0;

Voir aussi

Securite pour définir la procédure principale du profil de sécurité.

Traduction


-	-	-	-	-	-	-	-	-