BNF Grammar for propositional logic ANTLR

Question

I'm trying to create a BNF Grammar in Antlr for propositional logic but I keep getting the error:

java.lang.NoSuchFieldError: offendingToken

As there is no line number displayed, I don't know where the error is. The build is successful, but when I type in an example input, the tree stops at sentence, the first item defined in the BNF.

Here is my BNF:

grammar Grammar;

options {
    language = Java;
    output = AST;
    ASTLabelType=CommonTree;   
}

@header { 
    package antlr;
}

@members { 

}

@lexer::header { //lexer
    package antlr;
}

@lexer::members {

}

sentence: atomicsentence | complexsentence;

atomicsentence: 'T' | 'F' | symbol;

complexsentence: unop sentence | sentence binop sentence | (sentence);

unop: 'NOT';

binop: 'AND' | 'OR' | 'IMPLIES' | 'EQUIVALENT'; 

symbol: (LEXRULE)+;

LEXRULE: ('a'..'z')|('A'..'Z');

If you comment out complexsentence in sentence, the atomicsentence part works, until it terminates because there is no EOF. I'm unsure as to where this should go as adding it to sentence does not work.

additionally show us full source of your grammar, including header — Andremoniy, Jan 17 '13 at 13:22
I added the full grammar. Also I tried various inputs the most simplest being `NOT p`, which did not work. — Charlie, Jan 17 '13 at 13:30

Andremoniy · Answer 1 · 2013-01-17T13:47:08.540

1

(edited)

I have refactored your grammar, so it should work as you intended.

grammar Grammar;

options {
    language = Java;
    output = AST;
    ASTLabelType=CommonTree;   
}

tokens {
    CODE;
       }

@header { 
    package antlr;
}

@members { 

}

@lexer::header { //lexer
    package antlr;
}

@lexer::members {

}

code    :   sentence -> ^(CODE code);

sentence: UNOP? complexsentence (BINOP sentence)?;

atomicsentence: 'T' | 'F' | SYMBOL;

complexsentence: atomicsentence | '(' sentence ')';

UNOP: 'NOT';

BINOP: 'AND' | 'OR' | 'IMPLIES' | 'EQUIVALENT'; 

SYMBOL: LEXRULE+;

fragment
LEXRULE: ('a'..'z')|('A'..'Z');

edited Jan 17 '13 at 13:47

answered Jan 17 '13 at 13:04

Andremoniy

34,031
20
135
241

Sorry I'm new to antlr but yes I did mean '(' sentence ')' for allowing users to use brackets in the input. However with this fixed, the same error is still produced. – Charlie Jan 17 '13 at 13:14

score 1 · Answer 2 · edited May 23 '17 at 10:24

Your grammar is left recursive, which ANTLR mentions when trying to generate a parser:

[17:31:32] error(210): The following sets of rules are mutually left-recursive [complexsentence, sentence] [17:31:32] Aborting because the following rules are mutually left-recursive: [[T.complexsentence,index=4,line=15], [T.sentence,index=2,line=11]]

The rule sentence matches a complexsentence, and the complexsentence rule in its turn matches a sentence. ANTLR (v3) cannot cope with such left-recursive rules.

Another problem with your grammar is that you have no lexer rule for whiate spaces, yet your example input "NOT p" contains a white space.

For a simple expression parser using ANTLR, see:

BNF Grammar for propositional logic ANTLR

2 Answers2