Skip to content
Snippets Groups Projects
Select Git revision
  • b6da6172ff7535c115692602faa0158f0bc724cd
  • main default protected
2 results

problem.tex

Blame
  • 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}