DataMuseum.dk

top - metrics - download

    Length: 5159 (0x1427)
    Types: TextFile
    Names: »pepy.aux«

└─⟦3d0c2be1b⟧ Bits:30001254 ISODE-5.0 Tape
    └─⟦eba4602b1⟧ »./isode-5.0.tar.Z« 
        └─⟦d3ac74d73⟧ 
            └─⟦this⟧ »isode-5.0/doc/manual/pepy.aux« 

TextFile

\relax 
\@writefile{toc}{\string\contentsline\space {chapter}{\string\numberline\space {6}Compiling Data-Structures}{57}}
\@writefile{lof}{\string\addvspace\space {10pt}}
\@writefile{lot}{\string\addvspace\space {10pt}}
\newlabel{pepy}{{6}{57}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {6.1}Warning}{57}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {6.2}Syntax Rules}{57}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {6.2.1}ASN.1 Notation}{58}}
\newlabel{asn1:notation}{{6.2.1}{58}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {6.2.2}ASN.1 Extensions}{58}}
\@writefile{lof}{\string\contentsline\space {figure}{\string\numberline\space {6.1}{\ignorespaces Example of a specification using ASN.1}}{59}}
\newlabel{ASNexample}{{6.1}{59}}
\@writefile{toc}{\string\contentsline\space {subsubsection}{Compiler Directives}{60}}
\@writefile{toc}{\string\contentsline\space {subsubsection}{Action Statements}{61}}
\@writefile{lof}{\string\contentsline\space {figure}{\string\numberline\space {6.2}{\ignorespaces Example of a TYPE action}}{63}}
\newlabel{PEPYtype}{{6.2}{63}}
\@writefile{lof}{\string\contentsline\space {figure}{\string\numberline\space {6.3}{\ignorespaces Example of a TAG action}}{63}}
\newlabel{PEPYtag}{{6.3}{63}}
\@writefile{toc}{\string\contentsline\space {subsubsection}{Control Statements}{64}}
\@writefile{toc}{\string\contentsline\space {subsubsection}{Value Passing Statements}{65}}
\@writefile{lof}{\string\contentsline\space {figure}{\string\numberline\space {6.4}{\ignorespaces Examples of CONTROL actions}}{66}}
\newlabel{PEPYcontrol}{{6.4}{66}}
\@writefile{lof}{\string\contentsline\space {figure}{\string\numberline\space {6.5}{\ignorespaces Examples of Parameters in Pepy}}{69}}
\newlabel{PEPYparm}{{6.5}{69}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {6.3}Known Deficiencies}{70}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {6.3.1}ASN.1 Syntax}{70}}
\newlabel{pepy:syntax}{{6.3.1}{70}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {6.3.2}ASN.1 Semantics}{71}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {6.4}PEPY Environment}{71}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {6.4.1}Starting Things Off}{71}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {6.4.2}Diagnostic Output}{72}}
\newlabel{pepy:advise}{{6.4.2}{72}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {6.4.3}Debug Output}{73}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {6.5}Pretty-printers}{73}}
\newlabel{pepy:pretty}{{6.5}{73}}
\@writefile{lof}{\string\contentsline\space {figure}{\string\numberline\space {6.6}{\ignorespaces Simpler Pretty-Printer initialization}}{74}}
\newlabel{PP2init}{{6.6}{74}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {6.6}Compiling and Loading}{74}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {6.6.1}External Modules}{74}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {6.6.2}Options}{74}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {6.6.3}Makefiles}{75}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {6.6.4}Grinding}{76}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {6.7}An Example}{76}}
\@writefile{lof}{\string\contentsline\space {figure}{\string\numberline\space {6.7}{\ignorespaces Grind Entry for pretty-printing PEPY programs}}{77}}
\newlabel{PepyGrind}{{6.7}{77}}
\@writefile{lof}{\string\contentsline\space {figure}{\string\numberline\space {6.8}{\ignorespaces Pretty-Printer initialization}}{78}}
\newlabel{PPinit}{{6.8}{78}}
\@writefile{lof}{\string\contentsline\space {figure}{\string\numberline\space {6.9}{\ignorespaces Pretty-Printer top-level}}{80}}
\newlabel{PPtop}{{6.9}{80}}
\@writefile{lof}{\string\contentsline\space {figure}{\string\numberline\space {6.10}{\ignorespaces Pretty-Printer type definitions}}{81}}
\newlabel{PPbottom}{{6.10}{81}}
\@writefile{lof}{\string\contentsline\space {figure}{\string\numberline\space {6.11}{\ignorespaces Pretty-Printer finalization}}{83}}
\newlabel{PPdone}{{6.11}{83}}
\citation{ISO.PP.Syntax}
\citation{CCITT.PP.Syntax}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {6.8}For Further Reading}{85}}
\newlabel{pepy:reading}{{6.8}{85}}
\global\@namedef{cp@pepy}{
\setcounter{page}{86}
\setcounter{equation}{0}
\setcounter{enumi}{4}
\setcounter{enumii}{0}
\setcounter{enumiii}{0}
\setcounter{enumiv}{0}
\setcounter{footnote}{1}
\setcounter{mpfootnote}{0}
\setcounter{part}{3}
\setcounter{chapter}{6}
\setcounter{section}{8}
\setcounter{subsection}{0}
\setcounter{subsubsection}{0}
\setcounter{paragraph}{0}
\setcounter{subparagraph}{0}
\setcounter{figure}{11}
\setcounter{table}{0}
}