+def generate_variable_reassignment_statement(statement):
+ return '{} = {};'.format(
+ statement.variable,
+ generate_expression(statement.expression),
+ )
+
+
+def indent(s):
+ return '\n'.join(' ' * 2 + l for l in s.split('\n'))
+
+def generate_if_else_statement(statement):
+ # TODO Check that the argument is boolean
+ condition_expression = '{}.instance.boolean'.format(
+ generate_expression(statement.condition_expression),
+ )
+
+ if len(statement.if_statements) == 0:
+ condition_expression = '!({})'.format(condition_expression)
+ if_statements = statement.else_statements
+ else_statements = ()
+ else:
+ if_statements = statement.if_statements
+ else_statements = statement.else_statements
+
+ generated_if_clause = 'if({})'.format(condition_expression)
+
+ if len(if_statements) == 0:
+ generated_if_statements = ';'
+ else:
+ generated_if_statements = indent('\n{{\n{}\n}}'.format(
+ indent('\n'.join(generate_statement(s) for s in if_statements)),
+ ))
+
+ if len(else_statements) == 0:
+ generated_else_statements = ''
+ else:
+ generated_else_statements = indent('\nelse\n{{\n{}\n}}'.format(
+ indent('\n'.join(generate_statement(s) for s in else_statements)),
+ ))
+
+ return generated_if_clause + generated_if_statements + generated_else_statements
+
+def generate_function_declaration(statement):
+ return 'Environment_set(environment, "{}", (Object){{ CLOSURE, (Instance)(Closure){{ environment, user${}$implementation }} }});'.format(statement.name, statement.name)
+
+def generate_statement(statement):
+ return {
+ transformation.CExpressionStatement: generate_expression_statement,
+ transformation.CFunctionDeclaration: generate_function_declaration,
+ transformation.CIfElseStatement: generate_if_else_statement,
+ transformation.CSymbolAssignmentStatement: generate_symbol_assignment_statement,
+ transformation.CArrayVariableInitializationStatement: generate_array_variable_initialization_statement,
+ transformation.CVariableInitializationStatement: generate_variable_initialization_statement,
+ transformation.CVariableReassignmentStatement: generate_variable_reassignment_statement,
+ }[type(statement)](statement)
+
+def generate_function_definition(definition):
+ template = ENV.get_template('function_definition.c')
+ return template.render(
+ name=definition.name,
+ argument_name_list=definition.argument_name_list,
+ statement_list=list(generate_statement(s) for s in definition.statement_list),