abra:

abra     ::= ( abraStmt ';' )*

no references

abraStmt:

abraStmt ::= importStmt
           | typeStmt
           | lutStmt
           | funcStmt
           | templateStmt
           | useStmt

referenced by:

• abra

importStmt:

importStmt
         ::= 'import' pathName ( '/' pathName )*

referenced by:

• abraStmt

typeStmt:

typeStmt ::= 'type' typeName ( typeSize | '{' ( fieldName typeSize ';' )+ '}' )

referenced by:

• abraStmt

lutStmt:

lutStmt  ::= 'lut' lutName '[' ( tritList '=' tritList ';' )+ ']'

referenced by:

• abraStmt

funcStmt:

funcStmt ::= 'func' funcSignature '=' funcBody

referenced by:

• abraStmt
• templateStmt

templateStmt:

templateStmt
         ::= 'template' templateName '<' placeHolderTypeName ( ',' placeHolderTypeName )* '>' funcStmt

referenced by:

• abraStmt

useStmt:

useStmt  ::= 'use' templateName '<' typeName ( ',' typeName )* '>'

referenced by:

• abraStmt

funcSignature:

funcSignature
         ::= typeSize funcName ( '<' typeName '>' )? '(' paramName typeSize ( ',' paramName typeSize )* ')'

referenced by:

• funcStmt

funcBody:

funcBody ::= mergeExpr
           | '{' stateExpr* assignExpr* returnExpr '}'

referenced by:

• funcStmt

stateExpr:

stateExpr
         ::= 'state' varName typeSize ';'

referenced by:

• funcBody

assignExpr:

assignExpr
         ::= varName typeSize? '=' mergeExpr ';'

referenced by:

• funcBody

returnExpr:

returnExpr
         ::= 'return' mergeExpr ';'

referenced by:

• funcBody

mergeExpr:

mergeExpr
         ::= concatExpr ( '\' concatExpr )*

referenced by:

• assignExpr
• funcBody
• funcExpr
• lutExpr
• postfixExpr
• returnExpr
• typeExpr

concatExpr:

concatExpr
         ::= postfixExpr ( '&' postfixExpr )*

referenced by:

• mergeExpr

postfixExpr:

postfixExpr
         ::= integer
           | typeExpr
           | funcExpr
           | lutExpr
           | sliceExpr
           | '(' mergeExpr ')'

referenced by:

• concatExpr

typeExpr:

typeExpr ::= typeName '{' ( fieldName '=' mergeExpr ';' )+ '}'

referenced by:

• postfixExpr

funcExpr:

funcExpr ::= funcName ( '<' typeName '>' )? '(' mergeExpr ( ',' mergeExpr )* ')'

referenced by:

• postfixExpr

lutExpr:

lutExpr  ::= lutName '[' mergeExpr ( ',' mergeExpr )* ']'

referenced by:

• postfixExpr

sliceExpr:

sliceExpr
         ::= ( varName | paramName ) ( '.' fieldName )* ( '[' constExpr ( '..' constExpr? | ':' constExpr )? ']' )?

referenced by:

• postfixExpr

constExpr:

constExpr
         ::= constTerm ( [-+] constTerm )*

referenced by:

• constFactor
• sliceExpr
• typeSize

constTerm:

constTerm
         ::= constFactor ( [*/%] constFactor )*

referenced by:

• constExpr

constFactor:

constFactor
         ::= '-'* ( number | typeName | '(' constExpr ')' )

referenced by:

• constTerm

typeSize:

typeSize ::= '[' constExpr ']'

referenced by:

• assignExpr
• funcSignature
• stateExpr
• typeStmt

tritList:

tritList ::= trit ( ',' trit )*

referenced by:

• lutStmt

trit:

trit     ::= [-01]

referenced by:

• integer
• tritList

name:

name     ::= [a-zA-Z_] [0-9a-zA-Z_]*

no references

number:

number   ::= [0-9]+

referenced by:

• constFactor
• integer

integer:

integer  ::= trit
           | '-'? number

referenced by:

• postfixExpr

... generated by Railroad Diagram Generator