X-Git-Url: http://nitlanguage.org diff --git a/src/debugger.nit b/src/debugger.nit index 3fca8d5..697f86b 100644 --- a/src/debugger.nit +++ b/src/debugger.nit @@ -23,6 +23,7 @@ import nitx intrude import local_var_init intrude import scope intrude import toolcontext +import websocket redef class Model # Cleans the model to remove a module and what it defines when semantic analysis fails on injected code @@ -110,7 +111,7 @@ redef class ToolContext for m in messages do if m.text.search("Warning") == null then had_error = true - stderr.write("{m.to_color_string}\n") + sys.stderr.write("{m.to_color_string}\n") end end @@ -123,11 +124,23 @@ redef class ToolContext # -c var opt_debugger_autorun: OptionBool = new OptionBool("Launches the target program with the interpreter, such as when the program fails, the debugging prompt is summoned", "-c") + # --socket + var opt_socket_mode = new OptionBool("Launches the target program with raw output on the network via sockets", "--socket") + + # --websocket + var opt_websocket_mode = new OptionBool("Launches the target program with output on the network via websockets", "--websocket") + + # --port + var opt_debug_port: OptionInt = new OptionInt("Sets the debug port (Defaults to 22125) - Must be contained between 0 and 65535", 22125, "--port") + redef init do super self.option_context.add_option(self.opt_debugger_mode) self.option_context.add_option(self.opt_debugger_autorun) + self.option_context.add_option(self.opt_socket_mode) + self.option_context.add_option(self.opt_websocket_mode) + self.option_context.add_option(self.opt_debug_port) end end @@ -145,8 +158,12 @@ redef class ModelBuilder var interpreter = new Debugger(self, mainmodule, arguments) + set_stdstreams + init_naive_interpreter(interpreter, mainmodule) + close_stdstreams + var time1 = get_time self.toolcontext.info("*** END INTERPRETING: {time1-time0} ***", 2) end @@ -159,11 +176,53 @@ redef class ModelBuilder var interpreter = new Debugger(self, mainmodule, arguments) interpreter.autocontinue = true + set_stdstreams + init_naive_interpreter(interpreter, mainmodule) + close_stdstreams + var time1 = get_time self.toolcontext.info("*** END INTERPRETING: {time1-time0} ***", 2) end + + redef fun run_naive_interpreter(mmod, args) + do + set_stdstreams + super + end + + fun set_stdstreams + do + if self.toolcontext.opt_socket_mode.value then + var sock = new Socket.server(toolcontext.opt_debug_port.value, 1) + var ns = sock.accept + sock.close + sys.set_io(ns,ns,ns) + else if self.toolcontext.opt_websocket_mode.value then + var websock = new WebSocket(toolcontext.opt_debug_port.value, 1) + websock.accept + sys.set_io(websock,websock,websock) + end + end + + fun close_stdstreams + do + if sys.stdin isa WebSocket or sys.stdin isa Socket then + sys.stdin.close + sys.stdout.close + sys.stderr.close + end + end +end + +redef class Sys + private fun set_io(istream: PollableIStream, ostream: OStream, errstream: OStream) + do + self.stdin = istream + self.stdout = ostream + self.stderr = ostream + end end # The class extending `NaiveInterpreter` by adding debugging methods @@ -223,6 +282,8 @@ class Debugger var old = frame.current_node frame.current_node = n + if sys.stdin.poll_in then process_debug_command(gets) + if not self.autocontinue then if not n isa ABlockExpr then steps_fun_call(n) @@ -278,7 +339,7 @@ class Debugger if self.modelbuilder.mpropdef2npropdef.has_key(mpropdef) then var npropdef = self.modelbuilder.mpropdef2npropdef[mpropdef] self.parameter_check(npropdef, mpropdef, args) - if npropdef isa AConcreteMethPropdef then + if npropdef isa AMethPropdef then return npropdef.rt_call(self, mpropdef, args) else print "Error, invalid propdef to call at runtime !" @@ -586,13 +647,12 @@ class Debugger var keys = map_of_instances.iterator - print "Variables collection : \n" + var self_var = seek_variable("self", frame) + print "self: {self_var.to_s}" for instance in map_of_instances.keys do - print "Variable {instance.to_s}, Instance {map_of_instances[instance].to_s}" + print "{instance.to_s}: {map_of_instances[instance].to_s}" end - - print "\nEnd of current instruction \n" else if parts_of_command[1] == "stack" then print self.stack_trace else if parts_of_command[1].chars.has('[') and parts_of_command[1].chars.has(']') then @@ -931,20 +991,18 @@ class Debugger # If it is a primitive type, its value is directly printed fun print_instance(instance: Instance) do - print "Printing innards of a variable" - if instance isa MutableInstance then - var attributes = instance.attributes - print "Object : {instance}" + print "\{" + print "\ttype : {instance}," - for current_attribute in attributes.keys do - print "Attribute : {current_attribute.to_s} \nValeur : {attributes[current_attribute].to_s}" - end + printn("\t") + + print instance.attributes.join(",\n\t"," : ") + + print "\}" else - print "Found variable {instance}" + print "{instance}" end - - print "Stopping printing innards of a variable" end # Prints the attributes demanded in a SequenceRead @@ -1364,7 +1422,7 @@ class Debugger end -redef class AConcreteMethPropdef +redef class AMethPropdef # Same as call except it will copy local variables of the parent frame to the frame defined in this call. # Not supposed to be used by anyone else than the Debugger.