def p_expression_bool_arithmetic(p): """numeric_expression : expression LSUM expression | expression LMUL expression | expression XOR expression""" if VariableType.can_cast(p[1].type, VariableType.type_float, False) or \ VariableType.can_cast(p[3].type, VariableType.type_float, False): errors.append('Cannot perform logic operations on float values, line {0}'.format(p.lineno(2))) p[0] = Node(p, [p[1], Leaf(p, 2), p[3]], type=copy.deepcopy(p[1].type) if VariableType.can_cast(p[1].type, VariableType.type_hex) else copy.deepcopy(p[3].type)) expr_temp_var = bytecode_state.reserve_var() p[0].type.var_name = expr_temp_var bytecode_state.code += '{0} := {1} {2} {3}\n'.format(expr_temp_var, p[1].type.var_name, p[2], p[3].type.var_name)
def p_if_statement(p): """if_statement : IF expression enter_if COLON true_branch false_branch | IF expression enter_if COLON true_branch""" if not VariableType.can_cast(VariableType.get_type(p[2], defined_vars), VariableType.type_bool): errors.append('Expression must be boolean, line {0}'.format(p.lineno(1))) p[0] = Node(p, [Leaf(p, 1), p[2], Leaf(p, 4), p[5]]) if len(p) == 7: p[0].children.append(p[6]) bytecode_state.code += bytecode_state.condition_stack.pop().label_end + ':\n'
def p_for_cond(p): """for_cond : expression | empty""" if p.slice[1].type == 'expression': if not VariableType.can_cast(p[1].type, VariableType.type_bool): errors.append('Conditional part of for statement should be of bool type, line {0}'.format(p.lineno(1))) p[0] = Node(p, [p[1]], type=p[1].type) bytecode_state.code += 'iffalse {0} goto {1}\n'.format(bytecode_state.last_var(), bytecode_state.current_loop().label_end)
def p_expression_arithmetic_operations(p): """numeric_expression : expression PLUS expression | expression MINUS expression | expression MULTIPLY expression | expression DIVIDE expression | MINUS expression %prec UMINUS""" expr_temp_var = bytecode_state.reserve_var() if len(p) > 3: if not (VariableType.can_cast(VariableType.get_type(p[1], defined_vars), VariableType.type_binary) and VariableType.can_cast(VariableType.get_type(p[3], defined_vars), VariableType.type_binary)): errors.append( 'Cannot perform \'{0}\' operation for non-numeric types at line {1}'.format(p[2], p.lineno(2))) p[0] = Node(p, [p[1], Leaf(p, 2), p[3]], type=copy.deepcopy(VariableType.get_type(p[1], defined_vars))) bytecode_state.code += '{0} := {1} {2} {3}\n'.format(expr_temp_var, p[1].type.var_name, p[2], p[3].type.var_name) else: if not (VariableType.can_cast(VariableType.get_type(p[2], defined_vars), VariableType.type_binary)): errors.append('Cannot perform unary minus at line {0}'.format(p.lineno(1))) p[0] = Node(p, [Leaf(p, 1), p[2]], type=copy.deepcopy(VariableType.get_type(p[1], defined_vars))) bytecode_state.code += '{0} := {1}{2}\n'.format(expr_temp_var, p[1], p[2].type.var_name) p[0].type.var_name = expr_temp_var
def p_expression_comparison_operations(p): """expression : expression LESS expression | expression GREATER expression | expression GREQUALS expression | expression LSEQUALS expression | expression NOTEQUALS expression | expression EQUALS expression""" if not VariableType.can_cast(VariableType.get_type(p[1], defined_vars), VariableType.get_type(p[3], defined_vars)): errors.append('Cannot perform \'{0}\' operation on different types at line {1}'.format(p[2], p.lineno(2))) p[0] = Node(p, [p[1], Leaf(p, 2), p[3]], type=VariableType(VariableType.type_bool, var_name=bytecode_state.reserve_var())) bytecode_state.code += '{0} := {1} {2} {3}\n'.format(p[0].type.var_name, p[1].type.var_name, p[2], p[3].type.var_name)
def p_dowhile_statement(p): 'dowhile_statement : DO loop_enter compound_statement WHILE dowhile_condition loop_leave' if not VariableType.can_cast(VariableType.get_type(p[5], defined_vars), VariableType.type_bool): errors.append('Expression mus be boolean, line {0}'.format(p.lineno(3))) p[0] = Node(p, [Leaf(p, 1), p[3], Leaf(p, 4), p[5]])