X-Git-Url: http://nitlanguage.org diff --git a/src/interpreter/naive_interpreter.nit b/src/interpreter/naive_interpreter.nit index 0028df4..5c9b27f 100644 --- a/src/interpreter/naive_interpreter.nit +++ b/src/interpreter/naive_interpreter.nit @@ -22,6 +22,7 @@ import semantize private import parser::tables import mixin import primitive_types +private import model::serialize_model redef class ToolContext # --discover-call-trace @@ -117,10 +118,6 @@ class NaiveInterpreter # Set this mark to skip the evaluation until a labeled statement catch it with `is_escape` var escapemark: nullable EscapeMark = null - # Is an abort being executed ? - # Set this mark to return to the last `catch` bloc or effectively aborting if there isn't any - var catch_mark = new EscapeMark - # The count of `catch` blocs that have been encountered and can catch an abort var catch_count = 0 @@ -323,16 +320,16 @@ class NaiveInterpreter # Return a new native string initialized with `txt` fun native_string_instance(txt: String): Instance do - var instance = native_string_instance_len(txt.bytelen+1) + var instance = native_string_instance_len(txt.byte_length+1) var val = instance.val - val[txt.bytelen] = 0u8 - txt.to_cstring.copy_to(val, txt.bytelen, 0, 0) + val[txt.byte_length] = 0u8 + txt.to_cstring.copy_to(val, txt.byte_length, 0, 0) return instance end # Return a new native string initialized with `txt` - fun native_string_instance_from_ns(txt: NativeString, len: Int): Instance + fun native_string_instance_from_ns(txt: CString, len: Int): Instance do var instance = native_string_instance_len(len) var val = instance.val @@ -342,12 +339,12 @@ class NaiveInterpreter end # Return a new native string initialized of `length` - fun native_string_instance_len(length: Int): PrimitiveInstance[NativeString] + fun native_string_instance_len(length: Int): PrimitiveInstance[CString] do - var val = new NativeString(length) + var val = new CString(length) var t = mainmodule.native_string_type - var instance = new PrimitiveInstance[NativeString](t, val) + var instance = new PrimitiveInstance[CString](t, val) init_instance_primitive(instance) return instance end @@ -356,7 +353,7 @@ class NaiveInterpreter fun string_instance(txt: String): Instance do var nat = native_string_instance(txt) - var res = self.send(self.force_get_primitive_method("to_s_full", nat.mtype), [nat, self.int_instance(txt.bytelen), self.int_instance(txt.length)]) + var res = self.send(self.force_get_primitive_method("to_s_full", nat.mtype), [nat, self.int_instance(txt.byte_length), self.int_instance(txt.length)]) assert res != null return res end @@ -954,6 +951,8 @@ redef class AMethPropdef return v.bool_instance(args[0].mtype == args[1].mtype) else if pname == "is_same_instance" then return v.bool_instance(args[0].eq_is(args[1])) + else if pname == "class_inheritance_metamodel_json" then + return v.native_string_instance(v.mainmodule.flatten_mclass_hierarchy.to_thin_json) else if pname == "exit" then exit(args[1].to_i) abort @@ -1149,11 +1148,11 @@ redef class AMethPropdef else if pname == "round" then return v.float_instance(args[0].to_f.round) end - else if cname == "NativeString" then + else if cname == "CString" then if pname == "new" then return v.native_string_instance_len(args[1].to_i) end - var recvval = args.first.val.as(NativeString) + var recvval = args.first.val.as(CString) if pname == "[]" then var arg1 = args[1].to_i return v.byte_instance(recvval[arg1]) @@ -1162,8 +1161,8 @@ redef class AMethPropdef recvval[arg1] = args[2].val.as(Byte) return null else if pname == "copy_to" then - # sig= copy_to(dest: NativeString, length: Int, from: Int, to: Int) - var destval = args[1].val.as(NativeString) + # sig= copy_to(dest: CString, length: Int, from: Int, to: Int) + var destval = args[1].val.as(CString) var lenval = args[2].to_i var fromval = args[3].to_i var toval = args[4].to_i @@ -1175,14 +1174,12 @@ redef class AMethPropdef var ns = recvval.fast_cstring(args[1].to_i) return v.native_string_instance(ns.to_s) else if pname == "fetch_4_chars" then - return v.int_instance(args[0].val.as(NativeString).fetch_4_chars(args[1].to_i)) + return v.int_instance(args[0].val.as(CString).fetch_4_chars(args[1].to_i)) else if pname == "fetch_4_hchars" then - return v.int_instance(args[0].val.as(NativeString).fetch_4_hchars(args[1].to_i)) + return v.int_instance(args[0].val.as(CString).fetch_4_hchars(args[1].to_i)) else if pname == "utf8_length" then - return v.int_instance(args[0].val.as(NativeString).utf8_length(args[1].to_i, args[2].to_i)) + return v.int_instance(args[0].val.as(CString).utf8_length(args[1].to_i, args[2].to_i)) end - else if pname == "calloc_string" then - return v.native_string_instance_len(args[1].to_i) else if cname == "NativeArray" then if pname == "new" then var val = new Array[Instance].filled_with(v.null_instance, args[1].to_i) @@ -1472,11 +1469,6 @@ redef class AMethPropdef else if pname == "native_argv" then var txt = v.arguments[args[1].to_i] return v.native_string_instance(txt) - else if pname == "native_argc" then - return v.int_instance(v.arguments.length) - else if pname == "native_argv" then - var txt = v.arguments[args[1].to_i] - return v.native_string_instance(txt) else if pname == "lexer_goto" then return v.int_instance(lexer_goto(args[1].to_i, args[2].to_i)) else if pname == "lexer_accept" then @@ -1518,7 +1510,7 @@ redef class AAttrPropdef # Evaluate and set the default value of the attribute in `recv` private fun init_expr(v: NaiveInterpreter, recv: Instance) do - if is_lazy then return + if is_lazy or is_optional then return if has_value then var f = v.new_frame(self, mreadpropdef.as(not null), [recv]) evaluate_expr(v, recv, f) @@ -1701,8 +1693,7 @@ redef class AAbortExpr fatal(v, "Aborted") exit(1) else - # Abort mode, skipping everything until a `catch` bloc is reached - v.escapemark = v.catch_mark + abort end end end @@ -1747,14 +1738,23 @@ end redef class ADoExpr redef fun stmt(v) do - # If this bloc has a catch, register it in the counter - if self.n_catch != null then v.catch_count += 1 - v.stmt(self.n_block) - v.is_escape(self.break_mark) # Clear the break (if any) + # If this bloc has a catch, handle it with a do ... catch ... end if self.n_catch != null then - v.catch_count -= 1 - # Are we in abort mode? then this catch is executing - if v.is_escape(v.catch_mark) then v.stmt(self.n_catch) + var frame = v.frame + v.catch_count += 1 + do + v.stmt(self.n_block) + v.is_escape(self.break_mark) # Clear the break (if any) + v.catch_count -= 1 + catch + # Restore the current frame if needed + while v.frame != frame do v.frames.shift + v.catch_count -= 1 + v.stmt(self.n_catch) + end + else + v.stmt(self.n_block) + v.is_escape(self.break_mark) end end end