Skip to content
Snippets Groups Projects
Select Git revision
  • 638bba8387860f007c221f8bf2f9145550ddaac1
  • master default protected
2 results

README.md

Blame
  • To learn more about this project, read the wiki.
    problem.tex 734 B
    \chapter{Problem}
    
    \blindtext
    \todo[inline]{Write some more}
    
    \begin{lstlisting}[language=AST,label={lst:example-ast},caption={Example AST}]
    RailwayContainer ::= Route* Region*;
    abstract RailwayElement ::= <Id:int>;
    Region : RailwayElement ::= TrackElement* Sensor*;
    Semaphore : RailwayElement ::= <Signal:Signal>;
    Route : RailwayElement ::= <Active:boolean> SwitchPosition*;
    SwitchPosition : RailwayElement ::= <Position:Position>;
    Sensor : RailwayElement;
    abstract TrackElement:RailwayElement;
    Segment : TrackElement ::= <Length:int> Semaphore*;
    Switch : TrackElement ::= <CurrentPosition:Position>;
    \end{lstlisting}
    %
    \Cref{lst:example-ast} shows a grammar.
    
    \lstinputlisting[language=JRAG,style=unboxed]{code/requiredSensor.jrag}