Package | Description |
---|---|
Parsing.TBPrims.Patterns |
Class and Description |
---|
Args
function call arguments '(' ExprList ')' (last is push)
|
AxiomStmt
axiom statement: name ':' expr '=' expr .
|
FTLArrow
function call arguments '(' ExprList ')' (last is push)
|
FuncStmt
function line statement: name name+ "arrow" name+
|
FuncType
function type is a modified name :- choose1('option', 'table', (empty)) name
|
KonsStmt
Konstraint statement: name ':' expr '.'
|
TBStmt
spec statement: spec name.
|
VarDecl
axiom statement: name ':' expr '=' expr .
|
VarOrFCall
expression
|