Fix destructor stuff to fix destructor test and other bugs revealed
This commit is contained in:
@@ -383,10 +383,9 @@ obj c_generator (Object) {
|
|||||||
}
|
}
|
||||||
fun generate_return_statement(node: *ast_node, enclosing_object: *ast_node, enclosing_func: *ast_node, defer_stack: *stack<pair<bool,stack<*ast_node>>>): code_triple {
|
fun generate_return_statement(node: *ast_node, enclosing_object: *ast_node, enclosing_func: *ast_node, defer_stack: *stack<pair<bool,stack<*ast_node>>>): code_triple {
|
||||||
var return_value = node->return_statement.return_value
|
var return_value = node->return_statement.return_value
|
||||||
if (!return_value)
|
|
||||||
return code_triple("return")
|
|
||||||
var return_value_type = get_ast_type(return_value)
|
|
||||||
var to_ret = code_triple()
|
var to_ret = code_triple()
|
||||||
|
if (return_value) {
|
||||||
|
var return_value_type = get_ast_type(return_value)
|
||||||
// if we're returning an object, copy_construct a new one to return
|
// if we're returning an object, copy_construct a new one to return
|
||||||
if (return_value_type->is_object() && return_value_type->indirection == 0 && has_method(return_value_type->type_def, "copy_construct", vector(return_value_type->clone_with_indirection(1)))) {
|
if (return_value_type->is_object() && return_value_type->indirection == 0 && has_method(return_value_type->type_def, "copy_construct", vector(return_value_type->clone_with_indirection(1)))) {
|
||||||
var temp_ident = ast_identifier_ptr(string("temporary_return")+get_id(), return_value_type, null<ast_node>())
|
var temp_ident = ast_identifier_ptr(string("temporary_return")+get_id(), return_value_type, null<ast_node>())
|
||||||
@@ -397,9 +396,13 @@ obj c_generator (Object) {
|
|||||||
// make this new identifier the new return value
|
// make this new identifier the new return value
|
||||||
return_value = temp_ident
|
return_value = temp_ident
|
||||||
}
|
}
|
||||||
|
}
|
||||||
// generate all in stack by passing -1
|
// generate all in stack by passing -1
|
||||||
to_ret += generate_from_defer_stack(defer_stack, -1, enclosing_object, enclosing_func)
|
to_ret.pre += generate_from_defer_stack(defer_stack, -1, enclosing_object, enclosing_func).one_string()
|
||||||
to_ret += code_triple("return ") + generate(return_value, enclosing_object, enclosing_func, null<stack<pair<bool,stack<*ast_node>>>>())
|
to_ret += code_triple("return")
|
||||||
|
if (return_value)
|
||||||
|
to_ret += code_triple(" ") + generate(return_value, enclosing_object, enclosing_func, null<stack<pair<bool,stack<*ast_node>>>>())
|
||||||
|
|
||||||
return to_ret
|
return to_ret
|
||||||
}
|
}
|
||||||
fun generate_branching_statement(node: *ast_node, enclosing_object: *ast_node, enclosing_func: *ast_node, defer_stack: *stack<pair<bool,stack<*ast_node>>>): code_triple {
|
fun generate_branching_statement(node: *ast_node, enclosing_object: *ast_node, enclosing_func: *ast_node, defer_stack: *stack<pair<bool,stack<*ast_node>>>): code_triple {
|
||||||
@@ -423,7 +426,7 @@ obj c_generator (Object) {
|
|||||||
num++
|
num++
|
||||||
}
|
}
|
||||||
for (var i = 0; i < num; i++;)
|
for (var i = 0; i < num; i++;)
|
||||||
defer_stack->from_top(i).second.for_each(fun(node: *ast_node) to_ret += generate(node, enclosing_object, enclosing_func, null<stack<pair<bool,stack<*ast_node>>>>());)
|
defer_stack->from_top(i).second.for_each_reverse(fun(node: *ast_node) to_ret += generate(node, enclosing_object, enclosing_func, null<stack<pair<bool,stack<*ast_node>>>>());)
|
||||||
return to_ret
|
return to_ret
|
||||||
}
|
}
|
||||||
fun generate_defer_statement(node: *ast_node, enclosing_object: *ast_node, enclosing_func: *ast_node, defer_stack: *stack<pair<bool,stack<*ast_node>>>): code_triple {
|
fun generate_defer_statement(node: *ast_node, enclosing_object: *ast_node, enclosing_func: *ast_node, defer_stack: *stack<pair<bool,stack<*ast_node>>>): code_triple {
|
||||||
@@ -475,7 +478,7 @@ obj c_generator (Object) {
|
|||||||
return code_triple(get_name(node))
|
return code_triple(get_name(node))
|
||||||
}
|
}
|
||||||
fun generate_function_call(node: *ast_node, enclosing_object: *ast_node, enclosing_func: *ast_node): code_triple {
|
fun generate_function_call(node: *ast_node, enclosing_object: *ast_node, enclosing_func: *ast_node): code_triple {
|
||||||
var func_name = generate_function(node->function_call.func, false).one_string()
|
var func_name = string()
|
||||||
var call_string = code_triple()
|
var call_string = code_triple()
|
||||||
var func_return_type = get_ast_type(node)
|
var func_return_type = get_ast_type(node)
|
||||||
|
|
||||||
@@ -495,6 +498,9 @@ obj c_generator (Object) {
|
|||||||
if (node->function_call.func->function_call.func->function.name == ".")
|
if (node->function_call.func->function_call.func->function.name == ".")
|
||||||
call_string += "&"
|
call_string += "&"
|
||||||
call_string += generate_identifier(node->function_call.func->function_call.parameters[0], enclosing_object, enclosing_func)
|
call_string += generate_identifier(node->function_call.func->function_call.parameters[0], enclosing_object, enclosing_func)
|
||||||
|
} else if (is_identifier(node->function_call.func) || is_function(node->function_call.func)) {
|
||||||
|
// we handle the case when it's not this later, i.e. it's a lambda returned from another function or something
|
||||||
|
func_name = generate_function(node->function_call.func, false).one_string()
|
||||||
}
|
}
|
||||||
// handle method call from inside method of same object
|
// handle method call from inside method of same object
|
||||||
if (!dot_style_method_call && enclosing_object && enclosing_object->type_def.methods.contains(node->function_call.func))
|
if (!dot_style_method_call && enclosing_object && enclosing_object->type_def.methods.contains(node->function_call.func))
|
||||||
@@ -532,9 +538,6 @@ obj c_generator (Object) {
|
|||||||
call_string.pre += generate_declaration_statement(declaration, enclosing_object, enclosing_func, null<stack<pair<bool,stack<*ast_node>>>>(), false).one_string() + ";\n"
|
call_string.pre += generate_declaration_statement(declaration, enclosing_object, enclosing_func, null<stack<pair<bool,stack<*ast_node>>>>(), false).one_string() + ";\n"
|
||||||
call_string.pre += generate_statement(ast_statement_ptr(make_method_call(temp_ident, "copy_construct", vector(make_operator_call("&", vector(param))))), enclosing_object, enclosing_func, null<stack<pair<bool,stack<*ast_node>>>>()).one_string()
|
call_string.pre += generate_statement(ast_statement_ptr(make_method_call(temp_ident, "copy_construct", vector(make_operator_call("&", vector(param))))), enclosing_object, enclosing_func, null<stack<pair<bool,stack<*ast_node>>>>()).one_string()
|
||||||
call_string += generate(temp_ident, enclosing_object, enclosing_func, null<stack<pair<bool,stack<*ast_node>>>>())
|
call_string += generate(temp_ident, enclosing_object, enclosing_func, null<stack<pair<bool,stack<*ast_node>>>>())
|
||||||
if (has_method(param_type->type_def, "destruct", vector<*type>())) {
|
|
||||||
call_string.post += generate_statement(ast_statement_ptr(make_method_call(temp_ident, "destruct", vector<*ast_node>())), enclosing_object, enclosing_func, null<stack<pair<bool,stack<*ast_node>>>>()).one_string()
|
|
||||||
}
|
|
||||||
} else {
|
} else {
|
||||||
call_string += generate(param, enclosing_object, enclosing_func, null<stack<pair<bool,stack<*ast_node>>>>())
|
call_string += generate(param, enclosing_object, enclosing_func, null<stack<pair<bool,stack<*ast_node>>>>())
|
||||||
}
|
}
|
||||||
@@ -580,7 +583,7 @@ obj c_generator (Object) {
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
if (pre_call != "") {
|
if (pre_call != "") {
|
||||||
call_string.pre = pre_call + " = " + func_name + "(" + call_string.value + ")"
|
call_string.pre += pre_call + " = " + func_name + "(" + call_string.value + ");"
|
||||||
call_string.value = pre_call
|
call_string.value = pre_call
|
||||||
} else {
|
} else {
|
||||||
call_string.value = func_name + "(" + call_string.value + ")"
|
call_string.value = func_name + "(" + call_string.value + ")"
|
||||||
@@ -702,7 +705,7 @@ obj c_generator (Object) {
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
if (result == "impossible name")
|
if (result == "impossible name")
|
||||||
println("HUGE PROBLEMS")
|
error("HUGE PROBLEMS")
|
||||||
if (ast_name_map.contains_value(result))
|
if (ast_name_map.contains_value(result))
|
||||||
result += get_id()
|
result += get_id()
|
||||||
ast_name_map.set(node, result)
|
ast_name_map.set(node, result)
|
||||||
|
|||||||
@@ -65,4 +65,10 @@ obj stack<T> (Object, Serializable) {
|
|||||||
fun for_each(func: fun(T):void) {
|
fun for_each(func: fun(T):void) {
|
||||||
data.for_each(func)
|
data.for_each(func)
|
||||||
}
|
}
|
||||||
|
fun for_each_reverse(func: fun(ref T):void) {
|
||||||
|
data.for_each_reverse(func)
|
||||||
|
}
|
||||||
|
fun for_each_reverse(func: fun(T):void) {
|
||||||
|
data.for_each_reverse(func)
|
||||||
|
}
|
||||||
}
|
}
|
||||||
|
|||||||
@@ -225,6 +225,14 @@ obj vector<T> (Object, Serializable) {
|
|||||||
for (var i = 0; i < size; i++;)
|
for (var i = 0; i < size; i++;)
|
||||||
func(data[i])
|
func(data[i])
|
||||||
}
|
}
|
||||||
|
fun for_each_reverse(func: fun(ref T):void):void {
|
||||||
|
for (var i = size-1; i >= 0; i--;)
|
||||||
|
func(data[i])
|
||||||
|
}
|
||||||
|
fun for_each_reverse(func: fun(T):void):void {
|
||||||
|
for (var i = size-1; i >= 0; i--;)
|
||||||
|
func(data[i])
|
||||||
|
}
|
||||||
fun in_place(func: fun(T):T):void {
|
fun in_place(func: fun(T):T):void {
|
||||||
for (var i = 0; i < size; i++;)
|
for (var i = 0; i < size; i++;)
|
||||||
data[i] = func(data[i])
|
data[i] = func(data[i])
|
||||||
|
|||||||
Reference in New Issue
Block a user