import breakpoint
intrude import naive_interpreter
+import nitx
+intrude import toolcontext
redef class ToolContext
+ private var dbg: nullable Debugger = null
+
+ private var had_error: Bool = false
+
+ redef fun check_errors
+ do
+ if dbg == null then
+ super
+ else
+ if messages.length > 0 then
+ message_sorter.sort(messages)
+
+ for m in messages do
+ if "Warning".search_in(m.text, 0) == null then had_error = true
+ stderr.write("{m.to_color_string}\n")
+ end
+ end
+
+ messages.clear
+ end
+ end
+
# -d
var opt_debugger_mode: OptionBool = new OptionBool("Launches the target program with the debugger attached to it", "-d")
# -c
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.
end
end
-# The class extending NaiveInterpreter by adding debugging methods
+# The class extending `NaiveInterpreter` by adding debugging methods
class Debugger
super NaiveInterpreter
if self.stop_after_step_over_trigger then
if self.frames.length <= self.step_stack_count then
n.debug("Execute stmt {n.to_s}")
- while process_debug_command(gets) do end
+ while read_cmd do end
end
else if self.stop_after_step_out_trigger then
if frames.length < self.step_stack_count then
n.debug("Execute stmt {n.to_s}")
- while process_debug_command(gets) do end
+ while read_cmd do end
end
else if step_in_trigger then
n.debug("Execute stmt {n.to_s}")
- while process_debug_command(gets) do end
+ while read_cmd do end
end
end
end
n.debug("Execute stmt {n.to_s}")
- while process_debug_command(gets) do end
+ while read_cmd do end
end
end
for j in self.traces do
if j.is_variable_traced_in_frame(i, frame) then
n.debug("Traced variable {i} used")
- if j.break_on_encounter then while process_debug_command(gets) do end
+ if j.break_on_encounter then while read_cmd do end
break
end
end
## Processing commands functions ##
#######################################################################
+ fun read_cmd: Bool
+ do
+ printn "> "
+ return process_debug_command(gets)
+ end
+
# Takes a user command as a parameter
#
# Returns a boolean value, representing whether or not to
# Step-over command
else if command == "n" then
return step_over
+ # Opens a new NitIndex prompt on current model
+ else if command == "nitx" then
+ new NitIndex.with_infos(modelbuilder, self.mainmodule).prompt
+ return true
# Continues execution until the end
else if command == "c" then
return continue_exec