redef class ToolContext
# -d
var opt_debugger_mode: OptionBool = new OptionBool("Launches the target program with the debugger attached to it", "-d")
+ # -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")
redef init
do
super
self.option_context.add_option(self.opt_debugger_mode)
+ self.option_context.add_option(self.opt_debugger_autorun)
end
end
redef class ModelBuilder
- # Execute the program from the entry point (Sys::main) of the `mainmodule'
- # `arguments' are the command-line arguments in order
+ # Execute the program from the entry point (Sys::main) of the `mainmodule`
+ # `arguments` are the command-line arguments in order
# REQUIRE that:
# 1. the AST is fully loaded.
# 2. the model is fully built.
var time1 = get_time
self.toolcontext.info("*** END INTERPRETING: {time1-time0} ***", 2)
end
+
+ fun run_debugger_autorun(mainmodule: MModule, arguments: Array[String])
+ do
+ var time0 = get_time
+ self.toolcontext.info("*** START INTERPRETING ***", 1)
+
+ var interpreter = new Debugger(self, mainmodule, arguments)
+ interpreter.autocontinue = true
+
+ init_naive_interpreter(interpreter, mainmodule)
+
+ var time1 = get_time
+ self.toolcontext.info("*** END INTERPRETING: {time1-time0} ***", 2)
+ end
end
-# The class extending NaiveInterpreter by adding debugging methods
+# The class extending `NaiveInterpreter` by adding debugging methods
class Debugger
super NaiveInterpreter
# If it is not, then, the remapping won't be happening
var frame_count_aftermath = 1
+ # Auto continues the execution until the end or until an error is encountered
+ var autocontinue = false
+
#######################################################################
## Execution of statement function ##
#######################################################################
var old = frame.current_node
frame.current_node = n
- if not n isa ABlockExpr then
- steps_fun_call(n)
+ if not self.autocontinue then
+ if not n isa ABlockExpr then
+ steps_fun_call(n)
- breakpoint_check(n)
+ breakpoint_check(n)
- check_funcall_and_traced_args(n)
+ check_funcall_and_traced_args(n)
- remap(n)
+ remap(n)
- check_if_vars_are_traced(n)
+ check_if_vars_are_traced(n)
+ end
end
n.stmt(self)
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].has('[') and parts_of_command[1].has(']') then
process_array_command(parts_of_command)
else
end
end
+ # Processes the untrace variable command
+ #
+ # Command pattern : "untrace variable"
fun process_untrace_command(parts_of_command: Array[String])
do
var variable_name = get_real_variable_name(parts_of_command[1])
## Trace Management functions ##
#######################################################################
+ # Effectively untraces the variable called *variable_name*
+ #
+ # Returns true if the variable exists, false otherwise
private fun untrace_variable(variable_name: String): Bool
do
var to_remove: nullable TraceObject = null
end
end
+ # Effectively traces the variable *variable_name* either in print or break mode depending on the value of breaker (break if true, print if false)
+ #
private fun trace_variable(variable_name: String, breaker: Bool)
do
for i in self.traces do
# 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}"
else
print "Found variable {instance}"
end
+
+ print "Stopping printing innards of a variable"
end
# Prints the attributes demanded in a SequenceRead
print "[p/print] variable : [p/print] * shows the status of all the variables\n"
print "[p/print] variable[i] : Prints the value of the variable contained at position *i* in SequenceRead collection *variable*\n"
print "[p/print] variable[i..j]: Prints the value of all the variables contained between positions *i* and *j* in SequenceRead collection *variable*\n"
+ print "[p/print] stack: Prints a stack trace at current instruction\n"
print "Note : The arrays can be multi-dimensional (Ex : variable[i..j][k] will print all the values at position *k* of all the SequenceRead collections contained between positions *i* and *j* in SequenceRead collection *variable*)\n"
print "s : steps in on the current function\n"
print "n : steps-over the current instruction\n"
print "variable = value : Sets the value of *variable* to *value*\n"
print "[d/delete] line_nb : Removes a breakpoint on line *line_nb* of the current file \n"
print "[d/delete] file_name line_nb : Removes a breakpoint on line *line_nb* of file *file_name* \n"
+ print "trace variable_name [break/print] : Traces the uses of the variable you chose to trace by printing the statement it appears in or by breaking on each use."
+ print "untrace variable_name : Removes the trace on the variable you chose to trace earlier in the program"
print "kill : kills the current program (Exits with an error and stack trace)\n"
end
nitlanguage / nit.git / blobdiff