+def transform_function_call_expression(accumulators, function_call):
+ if function_call.function.value in BUILTINS.keys():
+ # TODO Check that the builtin is actually callable
+ accumulators.builtin_set.add(function_call.function.value)
+
+ # TODO Use the symbol from SYMBOL LIST
+ return CFunctionCallExpression(
+ name=function_call.function.value,
+ argument_count=function_call.argument_count,
+ argument_items=transform_expression(accumulators, function_call.argument_items),
+ )
+
+def transform_expression_statement(accumulators, statement):
+ # TODO At some point we can verify that all expression types are supported and just call transform_expression
+ expression = {
+ parsing.FurFunctionCallExpression: transform_function_call_expression,
+ parsing.FurInfixExpression: transform_expression,
+ parsing.FurIntegerLiteralExpression: transform_expression,
+ parsing.FurSymbolExpression: transform_expression,
+ normalization.NormalFunctionCallExpression: transform_function_call_expression,
+ normalization.NormalVariableExpression: transform_expression,
+ }[type(statement.expression)](accumulators, statement.expression)
+
+ return CExpressionStatement(
+ expression=expression,
+ )
+
+def transform_if_else_statement(accumulators, statement):
+ return CIfElseStatement(
+ condition_expression=transform_expression(accumulators, statement.condition_expression),
+ if_statements=tuple(transform_statement(accumulators, s) for s in statement.if_statements),
+ else_statements=tuple(transform_statement(accumulators, s) for s in statement.else_statements),
+ )
+
+def transform_array_variable_initialization_statement(accumulators, statement):
+ return CArrayVariableInitializationStatement(
+ variable=statement.variable,
+ items=tuple(transform_expression(accumulators, i) for i in statement.items),
+ )
+
+def transform_variable_initialization_statement(accumulators, statement):
+ return CVariableInitializationStatement(
+ variable=statement.variable,
+ expression=transform_expression(accumulators, statement.expression),
+ )
+
+def transform_variable_reassignment_statement(accumulators, statement):
+ return CVariableReassignmentStatement(
+ variable=statement.variable,
+ expression=transform_expression(accumulators, statement.expression),
+ )
+
+def transform_function_definition_statement(accumulators, statement):
+ # TODO Allow defining the same function in different contexts
+ if any(fd.name == statement.name for fd in accumulators.function_definition_list):
+ raise Exception('A function with name "{}" already exists'.format(statement.name))
+
+ accumulators.function_definition_list.append(CFunctionDefinition(
+ name=statement.name,
+ statement_list=tuple(transform_statement(accumulators, s) for s in statement.statement_list)
+ ))
+
+ return CFunctionDeclaration(name=statement.name)