F1. Syntaxe du fichier de configuration .config |
Page d'accueil Précédent Suivant |
Pour décrire le format du fichier de configuration .config, la grammaire formelle basée sur la forme EBNF est utilisée et comprend la légende suivante : ◆(...) — groupe de symboles (fragment du fichier de configuration) ; ◆"..." — symbole terminal ; ◆<...> — symbole non terminal ; ◆| - symbole de sélection d'un des éléments proposés ; ◆(...)? - le symbole (ou groupe de symboles entre guillemets) se trouvant à gauche de l'opérateur n'est pas obligatoire (peut être utilisé 0 ou 1 fois); ◆(...)* - le symbole (ou groupe de symboles entre guillemets) se trouvant à gauche de l'opérateur peut se répéter n'importe quel nombre de fois (il peut également être omis); ◆(...)+ - le symbole (ou groupe de symboles entre guillemets) se trouvant à gauche de l'opérateur peut être utilisé 1 fois ou plus d'une fois ; ◆[...] - n'importe quel symbole appratenant à la plage spécifiée ; ◆point à la fin — symbole spécifique désignant la fin de la règle. Format du fichier de configuration du dépôt des produits .config :
Le fichier de configuration est une séquence de mots séparés par des séparateurs. Le séparateur représente n'importe quelle séquence de symboles suivants : espace (\s), tabulation (\t), retour à la ligne (\r), saut de ligne (\n). Le mot commençant par un point-virgule (;)désigne le commencement d'un commentaire qui s'étend jusqu'à la fin de la ligne. Exemples : ghgh 123 ;c'est un commentaire 123;ce; n'est pas; un commentaire - un séparateur au début est requis. Le mot commençant par le symbole dièse (#)désigne le début du commentaire de type flux; le reste du mot est spécifié par le marqueur de la fin du commentaire. Exemple : 123 456 #COMM Depuis cet endroit le commentaireCOMM est terminé Pour inclure des symboles dans le mot, vous pouvez utiliser le péfixe ' (apostrophe) — un séparateur spécifique pour ce mot (c'est ce symbole qui sera classé comme séparateur achevant ce mot). Exemple : xy123 '*Un mot*Déjàunautre
Le fichier.config comprend des commentaires et des instructions. L'ordre des instructions n'a pas d'importance.
Pour plus d'information sur les instructions, consultez l'Annexe F2. Instructions du fichier .config. |