[antlr-interest] Cannot find symbol UP?

[Stephan Opfer]

Hi,

so solve this issue, I had to rewrite the following alternatives of the
formula rule:

Alternative ^(NOT LPAREN f3=formula RPAREN) -> ^(NOT $f3)
transformed to NOT LPAREN f3=formula RPAREN -> ^(NOT $f3)

Alternative ^(FORALL VARIABLE formula)
transformed to FORALL VARIABLE formula -> ^(FORALL VARIABLE formula)

Alternative ^(EXISTS VARIABLE formula)
transformed to EXISTS VARIABLE formula -> ^(EXISTS VARIABLE formula)

Stephan

On 05/10/2012 04:39 PM, Stephan Opfer wrote:
> Hi,
> 
> today I tried to add implication and biimplication to my first order
> logic grammar. The code can be generated, but when I press "Debug",
> ANTLRWorks throws and error:
> 
> Test3Parser.java:1218: cannot find symbol
> symbol  : variable UP
> location: class Test3Parser
>                 else if ( (LA6_1==EOF||(LA6_1 >= UP && LA6_1 <=
> BIIMPLY)||LA6_1==IMPLY||LA6_1==OR||LA6_1==RPAREN) ) {
> 
> Do you have any Idea how to solve this problem? As far as I understand,
> it must have something to do with my parser rule "formula":
> 
> formula	:	f1=( ^(NOT atomic)
> 	|	atomic
> 	|	^(NOT LPAREN f3=formula RPAREN) -> ^(NOT $f3)
> 	|	LPAREN f3=formula RPAREN  -> $f3
> 	|	disjunction
> 	| 	^(FORALL VARIABLE formula)
> 	|	^(EXISTS VARIABLE formula)
> 	)	((IMPLY f2=formula -> ^(OR  ^(NOT $f1) $f2)) |	(BIIMPLY f2=formula ->
> ^(AND ^(OR  ^(NOT $f1) $f2) ^(OR  ^(NOT $f2) $f1))))?;
> 
> Please find the complete grammar attached.
> 
> Best Regards,
>   Stephan
> 
> 
> 
> 
> List: http://www.antlr.org/mailman/listinfo/antlr-interest
> Unsubscribe: http://www.antlr.org/mailman/options/antlr-interest/your-email-address