const Object TRUE = {
BOOLEAN,
- true
+ { true }
};
const Object FALSE = {
BOOLEAN,
- false
+ { false }
};
struct EnvironmentNode
struct Environment
{
+ size_t referenceCount;
Environment* parent;
EnvironmentNode* root;
};
-void Environment_initialize(Environment* self, Environment* parent)
+Environment* Environment_construct(Environment* parent)
{
- self->parent = parent;
- self->root = NULL;
+ Environment* result = malloc(sizeof(Environment));
+ result->referenceCount = 1;
+ result->parent = parent;
+ result->root = NULL;
+ return result;
}
-void Environment_deinitialize(Environment* self)
+void Environment_destruct(Environment* self)
{
- EnvironmentNode* next;
- for(EnvironmentNode* node = self->root; node != NULL; node = next)
+ self->referenceCount--;
+
+ if(self->referenceCount == 0)
{
- // No objects are allocated on the heap (yet!) so we don't need to free anything else
- next = node->next;
- free(node);
+ EnvironmentNode* next;
+ for(EnvironmentNode* node = self->root; node != NULL; node = next)
+ {
+ // No objects are allocated on the heap (yet!) so we don't need to free anything else
+ next = node->next;
+ free(node);
+ }
+ free(self);
}
}
return result;
}
-Object operator$add(Object left, Object right)
-{
- assert(left.type == INTEGER);
- assert(right.type == INTEGER);
-
- Object result;
- result.type = INTEGER;
- result.instance.integer = left.instance.integer + right.instance.integer;
- return result;
-}
-
-Object operator$subtract(Object left, Object right)
-{
- assert(left.type == INTEGER);
- assert(right.type == INTEGER);
-
- Object result;
- result.type = INTEGER;
- result.instance.integer = left.instance.integer - right.instance.integer;
- return result;
-}
-
-Object operator$multiply(Object left, Object right)
+{% for id in infix_declarations %}
+Object operator${{ id.name }}(Object left, Object right)
{
- assert(left.type == INTEGER);
- assert(right.type == INTEGER);
+ assert(left.type == {{ id.in_type.upper() }});
+ assert(right.type == {{ id.in_type.upper() }});
Object result;
- result.type = INTEGER;
- result.instance.integer = left.instance.integer * right.instance.integer;
- return result;
-}
-
-Object operator$integerDivide(Object left, Object right)
-{
- assert(left.type == INTEGER);
- assert(right.type == INTEGER);
-
- Object result;
- result.type = INTEGER;
- result.instance.integer = left.instance.integer / right.instance.integer;
- return result;
-}
-
-Object operator$modularDivide(Object left, Object right)
-{
- assert(left.type == INTEGER);
- assert(right.type == INTEGER);
-
- Object result;
- result.type = INTEGER;
- result.instance.integer = left.instance.integer % right.instance.integer;
- return result;
-}
-
-Object operator$equals(Object left, Object right)
-{
- assert(left.type == INTEGER);
- assert(right.type == INTEGER);
-
- Object result = { BOOLEAN, left.instance.integer == right.instance.integer };
- return result;
-}
-
-Object operator$notEquals(Object left, Object right)
-{
- assert(left.type == INTEGER);
- assert(right.type == INTEGER);
-
- Object result = { BOOLEAN, left.instance.integer != right.instance.integer };
- return result;
-}
-
-Object operator$greaterThan(Object left, Object right)
-{
- assert(left.type == INTEGER);
- assert(right.type == INTEGER);
-
- Object result = { BOOLEAN, left.instance.integer > right.instance.integer };
- return result;
-}
-
-Object operator$lessThan(Object left, Object right)
-{
- assert(left.type == INTEGER);
- assert(right.type == INTEGER);
-
- Object result = { BOOLEAN, left.instance.integer < right.instance.integer };
- return result;
-}
-
-Object operator$greaterThanOrEqual(Object left, Object right)
-{
- assert(left.type == INTEGER);
- assert(right.type == INTEGER);
-
- Object result = { BOOLEAN, left.instance.integer >= right.instance.integer };
- return result;
-}
-
-Object operator$lessThanOrEqual(Object left, Object right)
-{
- assert(left.type == INTEGER);
- assert(right.type == INTEGER);
-
- Object result = { BOOLEAN, left.instance.integer <= right.instance.integer };
- return result;
-}
-
-Object operator$and(Object left, Object right)
-{
- assert(left.type == BOOLEAN);
- assert(right.type == BOOLEAN);
-
- Object result = { BOOLEAN, left.instance.boolean && right.instance.boolean };
- return result;
-}
-
-Object operator$or(Object left, Object right)
-{
- assert(left.type == BOOLEAN);
- assert(right.type == BOOLEAN);
-
- Object result = { BOOLEAN, left.instance.boolean || right.instance.boolean };
+ result.type = {{ id.out_type.upper() }};
+ result.instance.{{ id.out_type.lower() }} = left.instance.{{ id.in_type.lower() }} {{ id.operator }} right.instance.{{ id.in_type.lower() }};
return result;
}
+{% endfor %}
{% if 'pow' in builtins %}
Object builtin$pow$implementation(Environment* parent, size_t argc, Object* args)
{% for function_definition in function_definition_list %}
Object user${{function_definition.name}}$implementation(Environment* parent, size_t argc, Object* args)
{
- Environment environment;
- Environment_initialize(&environment, parent);
+ Environment* environment = Environment_construct(parent);
{% for statement in function_definition.statement_list[:-1] %}
{{ generate_statement(statement) }}
{% endfor %}
Object result = {{ generate_statement(function_definition.statement_list[-1]) }}
- Environment_deinitialize(&environment);
+ Environment_destruct(environment);
return result;
}
int main(int argc, char** argv)
{
- Environment environment;
- Environment_initialize(&environment, NULL);
+ Environment* environment = Environment_construct(NULL);
// TODO Use the symbol from SYMBOL_LIST
{% for builtin in builtins %}
- Environment_set(&environment, "{{ builtin }}", builtin${{ builtin }});
+ Environment_set(environment, "{{ builtin }}", builtin${{ builtin }});
{% endfor %}
{% for statement in statements %}
{{ generate_statement(statement) }}
{% endfor %}
- Environment_deinitialize(&environment);
+ Environment_destruct(environment);
return 0;
}