sawine@1: \addvspace {10\p@ } sawine@1: \addvspace {10\p@ } sawine@1: \addvspace {10\p@ } sawine@1: \addvspace {10\p@ } sawine@1: \addvspace {10\p@ } sawine@1: \contentsline {lstlisting}{\numberline {5.1}EBNF Notation}{35}{lstlisting.5.1} sawine@1: \contentsline {lstlisting}{\numberline {5.2}ATCCL EBNF Buchstaben und Zeichen}{36}{lstlisting.5.2} sawine@1: \contentsline {lstlisting}{\numberline {5.3}ATCCL EBNF Kommentare}{36}{lstlisting.5.3} sawine@1: \contentsline {lstlisting}{\numberline {5.4}ATCCL EBNF Bezeichner}{37}{lstlisting.5.4} sawine@1: \contentsline {lstlisting}{\numberline {5.5}ATCCL EBNF Schluesselwoerter}{37}{lstlisting.5.5} sawine@1: \contentsline {lstlisting}{\numberline {5.6}ATCCL EBNF Datentypen}{38}{lstlisting.5.6} sawine@1: \contentsline {lstlisting}{\numberline {5.7}ATCCL EBNF Flugplaneigenschaften}{39}{lstlisting.5.7} sawine@1: \contentsline {lstlisting}{\numberline {5.8}ATCCL EBNF Operatoren}{40}{lstlisting.5.8} sawine@1: \contentsline {lstlisting}{\numberline {5.9}ATCCL EBNF Flugplanmuster}{41}{lstlisting.5.9} sawine@1: \contentsline {lstlisting}{\numberline {5.10}ATCCL EBNF Separationsregeln}{41}{lstlisting.5.10} sawine@1: \contentsline {lstlisting}{\numberline {5.11}ATCCL EBNF Flow Point}{42}{lstlisting.5.11} sawine@1: \contentsline {lstlisting}{\numberline {5.12}ATCCL EBNF Konfiguration}{42}{lstlisting.5.12} sawine@1: \contentsline {lstlisting}{\numberline {5.13}ATCCL Einfaches Beispiel}{43}{lstlisting.5.13} sawine@1: \contentsline {lstlisting}{\numberline {5.14}ATCCL Komplexes Beispiel}{44}{lstlisting.5.14} sawine@1: \contentsline {lstlisting}{\numberline {5.15}ATCCL Pattern-Beispiel}{50}{lstlisting.5.15} sawine@1: \addvspace {10\p@ } sawine@1: \contentsline {lstlisting}{\numberline {6.1}ATCCL \texttt {flex}-Konfiguration: Zeichenklassen}{66}{lstlisting.6.1} sawine@1: \contentsline {lstlisting}{\numberline {6.2}ATCCL \texttt {flex}-Konfiguration: Flugplaneigenschaften}{67}{lstlisting.6.2} sawine@1: \contentsline {lstlisting}{\numberline {6.3}ATCCL \texttt {flex}-Konfiguration: Separationstyp und Flugfl\IeC {\"a}che}{67}{lstlisting.6.3} sawine@1: \contentsline {lstlisting}{\numberline {6.4}ATCCL \texttt {flex}-Konfiguration: Typ der Regeldefinition}{67}{lstlisting.6.4} sawine@1: \contentsline {lstlisting}{\numberline {6.5}ATCCL \texttt {flex}-Konfiguration: Operatoren}{67}{lstlisting.6.5} sawine@1: \contentsline {lstlisting}{\numberline {6.6}ATCCL \texttt {flex}-Konfiguration: \texttt {Constraint}-Token}{68}{lstlisting.6.6} sawine@1: \contentsline {lstlisting}{\numberline {6.7}ATCCL \texttt {flex}-Konfiguration: Basisdatentypen}{68}{lstlisting.6.7} sawine@1: \contentsline {lstlisting}{\numberline {6.8}ATCCL \texttt {flex}-Konfiguration: IDs und Kommentare}{68}{lstlisting.6.8} sawine@1: \contentsline {lstlisting}{\numberline {6.9}ATCCL \texttt {flex}-Konfiguration: Fehlerbehandlung}{69}{lstlisting.6.9} sawine@1: \addvspace {10\p@ } sawine@1: \addvspace {10\p@ } sawine@1: \addvspace {10\p@ } sawine@1: \addvspace {10\p@ } sawine@1: \contentsline {lstlisting}{\numberline {B.1}ATCCL bison-Konfiguration}{90}{lstlisting.B.1}