|
|
|
# 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.
|
|
|
|
|
|
|
|
class Node():
|
|
|
|
def __init__(self, lineno):
|
|
|
|
self.line_number = lineno
|
|
|
|
|
|
|
|
def lineno(self):
|
|
|
|
return self.line_number
|
|
|
|
|
|
|
|
class Expression(Node):
|
|
|
|
pass
|
|
|
|
|
|
|
|
class Statement(Node):
|
|
|
|
pass
|
|
|
|
|
|
|
|
class BoolExpression(Expression):
|
|
|
|
def __init__(self, value, lineno):
|
|
|
|
Expression.__init__(self, lineno)
|
|
|
|
self.value = value
|
|
|
|
assert(isinstance(value, bool))
|
|
|
|
|
|
|
|
def get_value(self):
|
|
|
|
return self.value
|
|
|
|
|
|
|
|
class AtomExpression(Expression):
|
|
|
|
def __init__(self, value, lineno):
|
|
|
|
Expression.__init__(self, lineno)
|
|
|
|
self.value = value
|
|
|
|
|
|
|
|
def get_value(self):
|
|
|
|
return self.value
|
|
|
|
|
|
|
|
class StringExpression(Expression):
|
|
|
|
def __init__(self, value, lineno):
|
|
|
|
Expression.__init__(self, lineno)
|
|
|
|
self.value = value
|
|
|
|
|
|
|
|
class IntExpression(Expression):
|
|
|
|
def __init__(self, value, lineno):
|
|
|
|
Expression.__init__(self, lineno)
|
|
|
|
self.value = value
|
|
|
|
|
|
|
|
def get_value(self):
|
|
|
|
return self.value
|
|
|
|
|
|
|
|
class AtomStatement(Statement):
|
|
|
|
def __init__(self, value, lineno):
|
|
|
|
Statement.__init__(self, lineno)
|
|
|
|
assert(type(value) == type(''))
|
|
|
|
self.value = value
|
|
|
|
|
|
|
|
def get_value(self):
|
|
|
|
return self.value
|
|
|
|
|
|
|
|
class BoolStatement(Statement):
|
|
|
|
def __init__(self, value, lineno):
|
|
|
|
Statement.__init__(self, lineno)
|
|
|
|
assert(isinstance(value, bool))
|
|
|
|
self.value = value
|
|
|
|
|
|
|
|
def get_value(self):
|
|
|
|
return self.value
|
|
|
|
|
|
|
|
class IntStatement(Statement):
|
|
|
|
def __init__(self, value, lineno):
|
|
|
|
Statement.__init__(self, lineno)
|
|
|
|
assert(isinstance(value, int))
|
|
|
|
self.value = value
|
|
|
|
|
|
|
|
def get_value(self):
|
|
|
|
return self.value
|
|
|
|
|
|
|
|
class AndStatement(Statement):
|
|
|
|
def __init__(self, left, right):
|
|
|
|
Statement.__init__(self, left.lineno)
|
|
|
|
self.left = left
|
|
|
|
self.right = right
|
|
|
|
|
|
|
|
class OrStatement(Statement):
|
|
|
|
def __init__(self, left, right):
|
|
|
|
Statement.__init__(self, left.lineno)
|
|
|
|
self.left = left
|
|
|
|
self.right = right
|
|
|
|
|
|
|
|
class NotStatement(Statement):
|
|
|
|
def __init__(self, val):
|
|
|
|
Statement.__init__(self, val.lineno)
|
|
|
|
self.val = val
|
|
|
|
|
|
|
|
class IfStatement(Statement):
|
|
|
|
def __init__(self, clause, trueblock, falseblock, lineno):
|
|
|
|
Statement.__init__(self, lineno)
|
|
|
|
self.clause = clause
|
|
|
|
self.trueblock = trueblock
|
|
|
|
self.falseblock = falseblock
|
|
|
|
|
|
|
|
def get_clause(self):
|
|
|
|
return self.clause
|
|
|
|
|
|
|
|
def get_trueblock(self):
|
|
|
|
return self.trueblock
|
|
|
|
|
|
|
|
def get_falseblock(self):
|
|
|
|
return self.falseblock
|
|
|
|
|
|
|
|
class Comparison(Statement):
|
|
|
|
def __init__(self, first, ctype, second, lineno):
|
|
|
|
Statement.__init__(self, lineno)
|
|
|
|
self.first = first
|
|
|
|
self.ctype = ctype
|
|
|
|
self.second = second
|
|
|
|
|
|
|
|
def get_first(self):
|
|
|
|
return self.first
|
|
|
|
|
|
|
|
def get_ctype(self):
|
|
|
|
return self.ctype
|
|
|
|
|
|
|
|
def get_second(self):
|
|
|
|
return self.second
|
|
|
|
|
|
|
|
class ArrayStatement(Statement):
|
|
|
|
def __init__(self, args, lineno):
|
|
|
|
Statement.__init__(self, lineno)
|
|
|
|
self.args = args
|
|
|
|
|
|
|
|
def get_args(self):
|
|
|
|
return self.args
|
|
|
|
|
|
|
|
class StringStatement(Statement):
|
|
|
|
def __init__(self, value, lineno):
|
|
|
|
assert(type(value) == type(''))
|
|
|
|
Statement.__init__(self, lineno)
|
|
|
|
self.value = value
|
|
|
|
|
|
|
|
def get_value(self):
|
|
|
|
return self.value
|
|
|
|
|
|
|
|
class FunctionCall(Statement):
|
|
|
|
def __init__(self, func_name, arguments, lineno):
|
|
|
|
Statement.__init__(self, lineno)
|
|
|
|
self.func_name = func_name
|
|
|
|
self.arguments = arguments
|
|
|
|
|
|
|
|
def get_function_name(self):
|
|
|
|
return self.func_name.value
|
|
|
|
|
|
|
|
class MethodCall(Statement):
|
|
|
|
def __init__(self, invokable, method_name, arguments, lineno):
|
|
|
|
Statement.__init__(self, lineno)
|
|
|
|
self.invokable = invokable
|
|
|
|
self.method_name = method_name
|
|
|
|
self.arguments = arguments
|
|
|
|
|
|
|
|
class Assignment(Statement):
|
|
|
|
def __init__(self, var_name, value, lineno):
|
|
|
|
Statement.__init__(self, lineno)
|
|
|
|
self.var_name = var_name
|
|
|
|
self.value = value
|
|
|
|
|
|
|
|
class CodeBlock(Statement):
|
|
|
|
def __init__(self, lineno):
|
|
|
|
Statement.__init__(self, lineno)
|
|
|
|
self.statements = []
|
|
|
|
|
|
|
|
def prepend(self, statement):
|
|
|
|
self.statements = [statement] + self.statements
|
|
|
|
|
|
|
|
def get_statements(self):
|
|
|
|
return self.statements
|
|
|
|
|
|
|
|
class Arguments(Statement):
|
|
|
|
def __init__(self, lineno):
|
|
|
|
Statement.__init__(self, lineno)
|
|
|
|
self.arguments = []
|
|
|
|
self.kwargs = {}
|
|
|
|
self.order_error = False
|
|
|
|
|
|
|
|
def prepend(self, statement):
|
|
|
|
self.arguments = [statement] + self.arguments
|
|
|
|
|
|
|
|
def set_kwarg(self, name, value):
|
|
|
|
if self.num_args() > 0:
|
|
|
|
self.order_error = True
|
|
|
|
self.kwargs[name.get_value()] = value
|
|
|
|
|
|
|
|
def num_args(self):
|
|
|
|
return len(self.arguments)
|
|
|
|
|
|
|
|
def num_kwargs(self):
|
|
|
|
return len(self.kwargs)
|
|
|
|
|
|
|
|
def incorrect_order(self):
|
|
|
|
return self.order_error
|
|
|
|
|
|
|
|
def __len__(self):
|
|
|
|
return self.num_args() # Fixme
|
|
|
|
|
|
|
|
def statement_from_expression(expr):
|
|
|
|
if isinstance(expr, AtomExpression):
|
|
|
|
return AtomStatement(expr.value, expr.lineno())
|
|
|
|
if isinstance(expr, StringExpression):
|
|
|
|
return StringStatement(expr.value, expr.lineno())
|
|
|
|
if isinstance(expr, BoolExpression):
|
|
|
|
return BoolStatement(expr.value, expr.lineno())
|
|
|
|
if isinstance(expr, IntExpression):
|
|
|
|
return IntStatement(expr.get_value(), expr.lineno())
|
|
|
|
raise RuntimeError('Can not convert unknown expression to a statement.')
|