| from plyxproto.logicparser import * | |
| import ply.lex as lex | |
| import ply.yacc as yacc | |
| test_1 = "true" | |
| test_2 = "a | b" | |
| test_3 = "exists a: x=y" | |
| test_4 = "forall a: exists b: x.b=y.b" | |
| test_5 = "forall a: {{ a.endswith('good') }} " | |
| DEBUG = 0 | |
| lexer = lex.lex(module=FOLLexer(), debug=DEBUG)#, optimize=1) | |
| parser = yacc.yacc(module=FOLParser(), start='goal', debug=DEBUG) | |
| for x,v in globals().items(): | |
| if x.startswith('test_'): | |
| print parser.parse(v, lexer = lexer, debug=DEBUG) |