diff options
author | Jussi Pakkanen <jpakkane@gmail.com> | 2013-01-27 21:51:01 +0200 |
---|---|---|
committer | Jussi Pakkanen <jpakkane@gmail.com> | 2013-01-27 21:51:01 +0200 |
commit | d4d8045d2ef18b0c3131572a970e25816d633de1 (patch) | |
tree | 7ab3e6db45c82be9407af0c63e6e3340b1a39b42 /bparser.py | |
parent | 261419aff3ab5ee1a4965511438aea58a13f258b (diff) | |
download | meson-d4d8045d2ef18b0c3131572a970e25816d633de1.zip meson-d4d8045d2ef18b0c3131572a970e25816d633de1.tar.gz meson-d4d8045d2ef18b0c3131572a970e25816d633de1.tar.bz2 |
Renamed parser.py so it does not shadow the internal parser module.
Diffstat (limited to 'bparser.py')
-rwxr-xr-x | bparser.py | 209 |
1 files changed, 209 insertions, 0 deletions
diff --git a/bparser.py b/bparser.py new file mode 100755 index 0000000..ce01011 --- /dev/null +++ b/bparser.py @@ -0,0 +1,209 @@ +#!/usr/bin/python3 -tt + +# Copyright 2012 Jussi Pakkanen + +# Licensed under the Apache License, Version 2.0 (the "License"); +# you may not use this file except in compliance with the License. +# You may obtain a copy of the License at + +# http://www.apache.org/licenses/LICENSE-2.0 + +# Unless required by applicable law or agreed to in writing, software +# distributed under the License is distributed on an "AS IS" BASIS, +# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. +# See the License for the specific language governing permissions and +# limitations under the License. + +import ply.lex as lex +import ply.yacc as yacc +import nodes + +reserved = {'true' : 'TRUE', + 'false' : 'FALSE', + 'if' : 'IF', + 'endif' : 'ENDIF', + 'else' : 'ELSE', + } + +tokens = ['LPAREN', + 'RPAREN', + 'LBRACKET', + 'RBRACKET', + 'LBRACE', + 'RBRACE', + 'ATOM', + 'COMMENT', + 'ASSIGN', + 'EQUALS', + 'NEQUALS', + 'COMMA', + 'DOT', + 'STRING', + 'EOL_CONTINUE', + 'EOL', + ] + list(reserved.values()) + +t_ASSIGN = '=' +t_EQUALS = '==' +t_NEQUALS = '\!=' +t_LPAREN = '\(' +t_RPAREN = '\)' +t_LBRACKET = '\[' +t_RBRACKET = '\]' +t_LBRACE = '\{' +t_RBRACE = '\}' +t_COMMENT = '\#[^\n]*' +t_COMMA = ',' +t_DOT = '\.' + +t_ignore = ' \t' + +def t_ATOM(t): + '[a-zA-Z][_0-9a-zA-Z]*' + t.type = reserved.get(t.value, 'ATOM') + return t + +def t_STRING(t): + "'[^']*'" + t.value = t.value[1:-1] + return t + +def t_EOL(t): + r'\n' + t.lexer.lineno += 1 + return t + +def t_EOL_CONTINUE(t): + r'\\[ \t]*\n' + t.lexer.lineno += 1 + +def t_error(t): + print("Illegal character '%s'" % t.value[0]) + t.lexer.skip(1) + +# Yacc part + +def p_codeblock(t): + 'codeblock : statement EOL codeblock' + cb = t[3] + cb.prepend(t[1]) + t[0] = cb + +def p_codeblock_emptyline(t): + 'codeblock : EOL codeblock' + t[0] = t[2] + +def p_codeblock_last(t): + 'codeblock : statement EOL' + cb = nodes.CodeBlock(t.lineno(1)) + cb.prepend(t[1]) + t[0] = cb + +def p_expression_atom(t): + 'expression : ATOM' + t[0] = nodes.AtomExpression(t[1], t.lineno(1)) + +def p_expression_bool(t): + '''expression : TRUE + | FALSE''' + if t[1] == 'true': + t[0] = nodes.BoolExpression(True, t.lineno(1)) + else: + t[0] = nodes.BoolExpression(False, t.lineno(1)) + +def p_expression_string(t): + 'expression : STRING' + t[0] = nodes.StringExpression(t[1], t.lineno(1)) + +def p_statement_assign(t): + 'statement : expression ASSIGN statement' + t[0] = nodes.Assignment(t[1], t[3], t.lineno(1)) + +def p_statement_comparison(t): + '''statement : statement EQUALS statement + | statement NEQUALS statement''' + t[0] = nodes.Comparison(t[1], t[2], t[3], t.lineno(1)) + +def p_statement_array(t): + '''statement : LBRACKET args RBRACKET''' + t[0] = nodes.ArrayStatement(t[2], t.lineno(1)) + +def p_statement_func_call(t): + 'statement : expression LPAREN args RPAREN' + t[0] = nodes.FunctionCall(t[1], t[3], t.lineno(1)) + +def p_statement_method_call(t): + 'statement : expression DOT expression LPAREN args RPAREN' + t[0] = nodes.MethodCall(t[1], t[3], t[5], t.lineno(1)) + +def p_statement_if(t): + 'statement : IF LPAREN statement RPAREN EOL codeblock elseblock ENDIF' + t[0] = nodes.IfStatement(t[3], t[6], t[7], t.lineno(1)) + +def p_empty_else(t): + 'elseblock : ' + return None + +def p_else(t): + 'elseblock : ELSE EOL codeblock' + t[0] = t[3] + +def p_statement_expression(t): + 'statement : expression' + t[0] = nodes.statement_from_expression(t[1]) + +def p_args_multiple(t): + 'args : statement COMMA args' + args = t[3] + args.prepend(t[1]) + t[0] = args + +def p_args_single(t): + 'args : statement' + args = nodes.Arguments(t.lineno(1)) + args.prepend(t[1]) + t[0] = args + +def p_args_none(t): + 'args :' + t[0] = nodes.Arguments(t.lineno(0)) + +def p_error(t): + if t is None: + txt = 'NONE' + else: + txt = t.value + print('Parser errored out at: ' + txt) + +def test_lexer(): + s = """hello = (something) # this = (that) + two = ['file1', 'file2'] + function(h) { stuff } + obj.method(lll, \\ + 'string') + """ + lexer = lex.lex() + lexer.input(s) + while True: + tok = lexer.token() + if not tok: + break + print(tok) + +def test_parser(): + code = """func_call('something', 'or else') + objectname.methodname(abc) + + emptycall()""" + print(build_ast(code)) + +def build_ast(code): + code = code.rstrip() + '\n' + lex.lex() + parser = yacc.yacc() + result = parser.parse(code) + return result + +if __name__ == '__main__': + #test_lexer() + test_parser() |