| Sapan Bhatia | 64c7251 | 2017-06-23 02:32:45 -0700 | [diff] [blame] | 1 | from plyxproto.logicparser import * |
| 2 | import ply.lex as lex |
| 3 | import ply.yacc as yacc |
| 4 | |
| Sapan Bhatia | d70c378 | 2017-06-28 22:47:22 -0700 | [diff] [blame] | 5 | test_1 = "<true>" |
| 6 | test_2 = "<a | b>" |
| 7 | test_3 = "<exists a: x=y>" |
| 8 | test_4 = "<forall a: exists b: x.b=y.b>" |
| 9 | test_5 = "<forall a: {{ a.endswith('good') }}>" |
| Sapan Bhatia | 9966973 | 2017-07-25 19:19:14 -0400 | [diff] [blame] | 10 | test_6 = "< *doit(foo) >" |
| Sapan Bhatia | 64c7251 | 2017-06-23 02:32:45 -0700 | [diff] [blame] | 11 | |
| 12 | DEBUG = 0 |
| 13 | |
| Sapan Bhatia | d70c378 | 2017-06-28 22:47:22 -0700 | [diff] [blame] | 14 | lexer = lex.lex(module=FOLLexer(), debug=DEBUG) |
| Sapan Bhatia | 64c7251 | 2017-06-23 02:32:45 -0700 | [diff] [blame] | 15 | parser = yacc.yacc(module=FOLParser(), start='goal', debug=DEBUG) |
| 16 | |
| Zack Williams | be7f36d | 2018-02-02 11:37:11 -0700 | [diff] [blame] | 17 | for x, v in globals().items(): |
| Sapan Bhatia | 64c7251 | 2017-06-23 02:32:45 -0700 | [diff] [blame] | 18 | if x.startswith('test_'): |
| Zack Williams | be7f36d | 2018-02-02 11:37:11 -0700 | [diff] [blame] | 19 | print parser.parse(v, lexer=lexer, debug=DEBUG) |