ttp-program:


               
               ttp-program
               
                        ::= ( 'ImportFrom' | sq-def )* graph-def

no references

sq-def:


               
               sq-def   ::= '@SQify' function-def

referenced by:

ttp-program

graph-def:


               
               graph-def
               
                        ::= '@GRAPHify' function-def

referenced by:

ttp-program

function-def:


               
               function-def
               
                        ::= 'def' 'Name' arglist ':' body

referenced by:

graph-def
sq-def

body:


               
               body     ::= ( context-stmt | assignment )* 'return' expression

referenced by:

context-stmt
function-def

context-stmt:


               
               context-stmt
               
                        ::= 'with' context-expr ( 'as' 'Name' )? ':' body

referenced by:

body

context-expr:


               
               context-expr
               
                        ::= ( 'TTClock' | 'TTPlanB' | 'TTDeadline' ) arglist

referenced by:

context-stmt

assignment:


               
               assignment
               
                        ::= 'Name' '=' expression

referenced by:

body

expression:


               
               expression
               
                        ::= 'IfExp'
               
                          | 'Call'
               
                          | 'UnaryOp'
               
                          | 'BinOp'
               
                          | 'BoolOp'

referenced by:

arg
assignment
body

arglist:


               
               arglist  ::= '(' arg* ')'

referenced by:

context-expr
function-def

arg:


               
               arg      ::= 'Name'
               
                          | expression

referenced by:

arglist

... generated by RR - Railroad Diagram Generator