0

I'm on my first steps using ANTLR 4 with IntelliJ. I am trying to create a simple Recursive Climbing Parser for mathematical expressions. I get an error

line 1:0 mismatched input '3' expecting {VARIABLE; REALNUM, INTNUM}

It seems like the lexer does not correctly turn the 3 into the token, the parser uses, but I can not find the Problem there.

Lexer:

lexer grammar testLexer;

PLUS: '+';
MINUS: '-';
TIMES: '*';
DIV: '/';
SIN: 'sin'|'Sin'|'SIN';
COS: 'cos'|'Cos'|'COS';
TAN: 'tan'|'Tan'|'TAN';
LN: 'ln'|'LN'|'Ln';
LOG: 'Log'|'log'|'LOG';
SQRT: 'sqrt'|'Sqrt'|'SQRT';
LBRACE: '(';
RBRACE: ')';
POW: '^';
SPACE: ' ' -> skip;
EQUAL: '=';
VARIABLE: [a-zA-Z][a-zA-Z0-9]*;
INTNUM: [0-9]+;
REALNUM: [0-9]+[,|.][0-9]+;
WS: [\r\t\n]+ -> skip;
SEMICOLON: ';';

Parser:

parser

 grammar testParser;
expression returns [double value]
    : exp=additiveExpression {$value = $exp.value;};
equalityExpression returns [double value]
: m1 = additiveExpression (EQUAL additiveExpression)* {$value = $m1.value;};
additiveExpression returns [double value]
: m2 =  multiplikativeExpression {$value = $m2.value;}
    (PLUS m1=multiplikativeExpression {$value += $m1.value;}
    |MINUS m1=multiplikativeExpression {$value -= $m1.value;}
    )* ;
multiplikativeExpression returns [double value]
: m3 = powExpression {$value = $m3.value;}
(TIMES powExpression {$value *= $m3.value;}
|DIV powExpression {$value /= $m3.value;}
)* ;
powExpression returns [double value]
: (bracedExpression)
(POW (m4=expression) {$value = Math.pow($value, $m4.value);}
)*;
bracedExpression returns [double value]
: (LBRACE m5 = expression RBRACE {$value = $m5.value;}
|LBRACE m6 = unaryExpression RBRACE {$value = $m6.value;}
| m7 =unaryExpression {$value = $m7.value;});
unaryExpression returns [double value]
: m7= atomExpression {$value = $m7.value;}
| (SIN m6=bracedExpression {$value = Math.sin($m6.value);}
   |COS m6=bracedExpression {$value = Math.cos($m6.value);}
   |TAN m6=bracedExpression {$value = Math.tan($m6.value);}
   |LOG m6=bracedExpression {$value = Math.log($m6.value);}
   |SQRT  m6=bracedExpression {$value = Math.sqrt($m6.value);}
   )
   |EOF;
atomExpression returns [double value]
: VARIABLE {$value = 1;}
|m7 = REALNUM {$value = Double.parseDouble($m7.text);}
| m7 = INTNUM {$value = Integer.parseInt($m7.text);};

The input is just the simple term 3, but the error also occurs on longer input strings like 2+3.

lukas681
  • 33
  • 3

1 Answers1

0

Your example lexes just fine for me. Here is the TestRig output with -tokens turned on:

C:\prj\ANTLR_SO_BENCH\Bench>java org.antlr.v4.gui.TestRig  Grammar1 program -tokens  SOURCE.txt
[@0,0:0='3',<INTNUM>,1:0]
[@1,1:1='+',<'+'>,1:1]
[@2,2:2='2',<INTNUM>,1:2]
[@3,5:4='<EOF>',<EOF>,2:0]

And REALNUM tokens work too:

C:\prj\ANTLR_SO_BENCH\Bench>java org.antlr.v4.gui.TestRig  Grammar1 program -tokens  SOURCE.txt
[@0,0:3='3.14',<REALNUM>,1:0]
[@1,5:5='*',<'*'>,1:5]
[@2,7:9='2.1',<REALNUM>,1:7]
[@3,12:11='<EOF>',<EOF>,2:0]

So I'm not sure anymore what to recommend based on your question.

TomServo
  • 7,248
  • 5
  • 30
  • 47