TExprParser.g4

parser grammar TExprParser;


options { tokenVocab=TExprLexer; }


parse
 : expression EOF
 ;

expression
 : LPAREN expression RPAREN                       #parenExpression
 | NOT expression                                 #notExpression
 | expression IN container                        #inExpression
 | expression NOT IN container                    #notInExpression
 | expression MATCH regex                         #matchExpression
 | expression IS kind                             #isTypeExpression
 | expression IS NOT kind                         #isNotTypeExpression
 | expression comparator expression               #comparatorExpression
 | expression binary expression                   #binaryExpression
 | variable                                       #variableExpression
 | calc                                           #calcExpression
 ;

variable
 : VARIABLE
 | literal
 | array
 ;

comparator
 : GT | GE | LT | LE | EQ | NE
 ;

binary
 : AND | OR
 ;

boolean
 : TRUE | FALSE
 ;

literal
   : Varchar
   | Integer
   | Float
   | Boolean
   ;

container
    : array
    | variable
    | Varchar
    ;

array
   : LBRACKET integers? RBRACKET
   | LBRACKET strings? RBRACKET
   | LBRACKET floats? RBRACKET
   | LBRACKET booleans? RBRACKET
   ;

calc
   : bit
   ;

bit
   : bit BAND shift
   | bit BEOR shift
   | bit BIOR shift
   | shift
   ;

shift
   : shift LSHIFT plus
   | shift RSHIFT plus
   | plus
   ;

plus
   : plus PLUS multiplying
   | plus MINUS multiplying
   | multiplying
   ;

multiplying
   : multiplying MUL atom
   | multiplying DIV atom
   | multiplying MOD atom
   | atom
   ;

atom
   : variable
   | scientific
   | LPAREN bit RPAREN
   | function
   ;

scientific
   : number E number
   | number
   ;

function
   : funcname LPAREN parameters RPAREN
   ;

funcname
   : IDENTIFIER
   ;

parameters
   : expression (',' expression)*
   ;

number
   : MINUS? DIGIT + (POINT DIGIT +)?
   ;

regex
   : REGEX
   ;

kind
   : IDENTIFIER
   ;

strings
    : Varchar (COMMA Varchar)* COMMA?
    ;

integers
    : Integer (COMMA Integer)* COMMA?
    ;

floats
    : Float (COMMA Float)* COMMA?
    ;

booleans
    : Boolean (COMMA Boolean)* COMMA?
    ;