F1. Syntax der Konfigurationsdatei .config

Bei der Beschreibung des Formats von Konfigurationsdatei .config wird formale Grammatik, basiert auf der EBNF-Notation, verwendet. Dabei werden folgende Bezeichnungen benutzt:

(...) — Symbolgruppe (Fragment der Konfigurationsdatei);

"..." — Terminalsymbol;

<...> — Nichtterminalsymbol;

| - Symbol zur Auswahl eines der angebotenen Elemente;

(...)? - Symbol (bzw. Symbolgruppe in Klammern) vom Operator links ist nicht obligatorisch (kann 0 bzw. 1-mal vorkommen kann);

(...)* - Symbol (bzw. Symbolgruppe in Klammern) vom Operator links kann beliebig oft vorkommen (oder auch ausgelassen werden);

(...)+ - Symbol (bzw. Symbolgruppe in Klammern) vom Operator links kann 1-mal oder öfter vorkommen;

[...] - beliebiges Symbol innerhalb des angegebenen Bereiches;

Punkt am Ende Sondersymbol, das das Ende der Regel kennzeichnet.

Format der Repository-Konfigurationsdatei .config:

<String> := <Anweisung>? (<Trenner>+ <Kommentar>?)*.

 

<Anweisung> := <Name> "{"? <Parameter>* "}"?.

<Name> := "description" | "sync-with" |

             "sync-delay" |  "sync-only" |

             "sync-ignore" | "state-only" |

             "state-ignore" | "notify-only" |

             "notify-ignore" | "notify-off".

<Parameter> := <Text>.

<Text> := <Wort> <Trenner>*.

<Wort> := (<Symbol> | <Zeichen>)+.

<Symbol> := [a-zA-Z] | [0-9].

<Zeichen> := """ | "/"| "\" | "*" | "^" | "." | "-"| "$".

 

<Trenner> := \r | \t | \n | \s.

 

<Kommentar> := ";"<Text> | "#"<M1><Symbol>+<M1> | "'"<M2><Text>+<M2>.

<M1> := <Symbol>+.

<M2> := <Zeichen>+.

Die Konfigurationsdatei ist eine Folge von Wörtern, die durch Trenner voneinander getrennt werden. Als Trenner tritt eine beliebige Folge folgender Symbole auf: Leerzeichen (\s), Tabulator (\t), Wagenrücklauf (\r), Zeilenumbruch (\n).

Das Wort, das mit einem Semikolon ;) beginnt, bedeutet den Anfang des Kommentars, der bis zum Ende der Zeile dauert.

Beispiele:

ghgh 123 ;es ist Kommentar

123;es ist; kein; Kommentar - ein Trenner

 am Anfang ist erforderlich.

Das Wort, das mit dem Zahlenvorzeichen (#) beginnt, bedeutet den Anfang des Stream-Kommentars. Durch den Rest des Wortes wird das Kommentarende gekennzeichnet.

Beispiel:

123 456 #COMM Ab hier beginnt das KommentarCOMM er ist bereits zu Ende

Um beliebige Symbole ins Wort einzufügen, wird das Präfix ' (Apostroph) verwendet. Es ist ein spezielles Trennsymbol für dieses Wort (d.h. genau dieses Symbol wird als Trenner, mit dem dieses Wort endet, gelten).

Beispiel:

xy123 '*So ein Wort*Bereits ein anderes Wort

 

Wenn das Wort mit einem der folgenden Symbole beginnt: Apostroph, Semikolon, Vorzeichen der Zahl (', ;, #), muss es durch spezielle Trennsymbole begrenzt werden, wie es oben beschrieben ist.

 

Die .config Datei besteht aus Kommentaren und Anweisungen. Die Reihenfolge von Anweisungen ist unbedeutend.

 

Im Format von Anweisungen der Konfigurationsdateien wird es zwischen Groß- und Kleinschreibung unterschieden.

 

Das Repository unterscheidet zwischen Groß- und Kleinschreibung unabhängig vom Dateisystem und Betriebssystem, unter dem der Server funktioniert.

 

Die Bedeutung von Anweisungen ist im Anhang F2. Bedeutung von Anweisungen der .config-Datei erläutert.