Hi there,
I'm trying to write a parser for quantified boolean formulae, and very
short ones already pass, but up from a couple hundred KB, I get a
stack overflow:
Exception in thread "main" java.lang.StackOverflowError
at Qbf_parserTokenManager.jjMoveStringLiteralDfa4_0(Qbf_parserTokenManager.java:126)
at Qbf_parserTokenManager.jjMoveStringLiteralDfa3_0(Qbf_parserTokenManager.java:118)
at Qbf_parserTokenManager.jjMoveStringLiteralDfa2_0(Qbf_parserTokenManager.java:96)
at Qbf_parserTokenManager.jjMoveStringLiteralDfa1_0(Qbf_parserTokenManager.java:78)
at Qbf_parserTokenManager.jjMoveStringLiteralDfa0_0(Qbf_parserTokenManager.java:53)
at Qbf_parserTokenManager.getNextToken(Qbf_parserTokenManager.java:361)
at Qbf_parser.jj_ntk(Qbf_parser.java:229)
at Qbf_parser.Expression(Qbf_parser.java:46)
at Qbf_parser.OpExpression(Qbf_parser.java:77)
at Qbf_parser.Expression(Qbf_parser.java:65)
at Qbf_parser.OpExpression(Qbf_parser.java:77)
at Qbf_parser.Expression(Qbf_parser.java:65)
This goes on for a couple of pages, but always repeats itself...
So I'm wondering now if that's my fault, or if there's some kind of
limit for the input string size (and maybe a workaround for that)? You
can have a look at the code here:
http://fwef323.pastebin.com/m117e7991 and my test QBFs here
http://molly.inode.at/~georg/possibility.zip . I'm using version 4.1d1
on 64bit Ubuntu Jaunty, but also tried the latest version of javacc.
I would be really glad about any ideas regarding this,
Thanks in advance,
Georg
---------------------------------------------------------------------
To unsubscribe, e-mail:
users-unsubscribe@...
For additional commands, e-mail:
users-help@...
