rb8-trepanning 0.1.3

data/processor/location.rb

@@ -0,0 +1,174 @@
+# Copyright (C) 2010, 2011 Rocky Bernstein <rockyb@rubyforge.net>
+require 'rubygems'; 
+begin
+  require 'linecache'
+rescue LoadError
+  require 'linecache19'
+end
+require 'require_relative'
+# require_relative 'disassemble'
+require_relative 'msg'
+# require_relative 'frame'
+# require_relative '../app/file'
+require_relative 'virtual'
+class Trepan::CmdProcessor < Trepan::VirtualCmdProcessor
+
+  def canonic_file(filename, resolve=true)
+    # For now we want resolved filenames 
+    if @settings[:basename] 
+      return File.basename(filename)
+    end
+    if resolve
+      filename = LineCache::unmap_file(filename)
+      if !File.exist?(filename) 
+        if (try_filename = resolve_file_with_dir(filename))
+          filename = try_filename if File.exist?(filename)
+        end
+      end
+    end
+    File.expand_path(filename)
+  end
+
+  # Return the text to the current source line.
+  def current_source_text
+    LineCache::getline(@frame.file, @frame.line).chomp
+  end
+  
+  def resolve_file_with_dir(path_suffix)
+    settings[:directory].split(/:/).each do |dir|
+      dir = 
+        if '$cwd' == dir
+          Dir.pwd
+        else
+          dir
+        end
+      next unless dir && File.directory?(dir)
+      try_file = File.join(dir, path_suffix)
+      return try_file if File.readable?(try_file)
+    end
+    nil
+  end
+  
+  # Get line +line_number+ from file named +filename+. Return "\n"
+  # there was a problem. Leading blanks are stripped off.
+  def line_at(filename, line_number, 
+              opts = {
+                :reload_on_change => @settings[:reload],
+                :output => @settings[:highlight]
+              })
+    # We use linecache first to give precidence to user-remapped
+    # file names
+    line = LineCache::getline(filename, line_number, opts)
+    unless line
+      # Try using search directories (set with command "directory")
+      if filename[0..0] != File::SEPARATOR
+        try_filename = resolve_file_with_dir(filename) 
+        if try_filename && 
+            line = LineCache::getline(try_filename, line_number, opts) 
+          LineCache::remap_file(filename, try_filename)
+        end
+      end
+    end
+    return nil unless line
+    return line.lstrip.chomp
+  end
+  
+  def loc_and_text(opts=
+                   {:reload_on_change => @settings[:reload],
+                     :output => @settings[:highlight]
+                   })
+  
+    loc = source_location_info
+    line_no  = @frame.line
+    filename = @frame.file
+  
+#    if @frame.eval?
+#      file = LineCache::map_script(static.script)
+#      text = LineCache::getline(static.script, line_no, opts)
+#      loc += " remapped #{canonic_file(file)}:#{line_no}"
+#    else
+      text = line_at(filename, line_no, opts)
+      map_file, map_line = LineCache::unmap_file_line(filename, line_no)
+      if [filename, line_no] != [map_file, map_line]
+        loc += " remapped #{canonic_file(map_file)}:#{map_line}"
+      end
+#    end
+    [loc, line_no, text]
+  end
+  
+  def format_location(event=@event, frame=@frame, frame_index=@frame.index)
+    text      = nil
+    ev        = if event.nil? || 0 != frame_index
+                  '  ' 
+                else
+                  (EVENT2ICON[event] || event)
+                end
+    
+    @line_no  = frame.line
+    loc, @line_no, text = loc_and_text
+    
+    "#{ev} (#{loc}"
+  end
+  
+  # FIXME: Use above format_location routine
+  def print_location
+    text      = nil
+    ev        = if @event.nil? || 0 != @frame.index
+                  '  ' 
+                else
+                  (EVENT2ICON[@event] || @event)
+                end
+    
+    @line_no  = @frame.line
+    loc, @line_no, text = loc_and_text
+    
+    msg "#{ev} (#{loc})"
+    
+    # if %w(return c-return).member?(@core.event)
+    #   retval = Trepan::Frame.value_returned(@frame, @core.event)
+    #   msg 'R=> %s' % retval.inspect 
+    # end
+    
+    if text && !text.strip.empty?
+      old_maxstring = @settings[:maxstring]
+      @settings[:maxstring] = -1
+      msg text
+      @settings[:maxstring] = old_maxstring
+      @line_no -= 1
+    end
+  end
+  
+  def source_location_info
+    filename  = @frame.file
+    canonic_filename = 
+      ## if @frame.eval?
+      ##  'eval ' + safe_repr(@frame.eval_string.gsub("\n", ';').inspect, 20)
+      ## else
+      canonic_file(filename, false)
+      ## end
+    loc = "#{canonic_filename}:#{@frame.line}"
+    return loc
+  end 
+end
+
+if __FILE__ == $0 && caller.size == 0
+  # Demo it.
+  require_relative './mock'
+  dbgr = MockDebugger::MockDebugger.new
+  proc = Trepan::CmdProcessor.new([Trepan::UserInterface.new(nil, nil,
+                                                            :history_save=>false)])
+  proc.settings = {:directory => '$cdir:$cwd'}
+  proc.frame_initialize
+  require 'ruby-debug'; Debugger.start
+  proc.frame_setup(Debugger.current_context, nil)
+  puts proc.canonic_file(__FILE__)
+  proc.settings[:basename] = true
+  puts proc.canonic_file(__FILE__)
+  puts proc.current_source_text
+  xx = eval <<-END
+     proc.frame_initialize
+     proc.frame_setup(Debugger.current_context, nil)
+     puts proc.current_source_text
+  END
+  Debugger.stop
+end

data/processor/main.rb

@@ -0,0 +1,455 @@
+# Copyright (C) 2010, 2011 Rocky Bernstein <rockyb@rubyforge.net>
+# The main "driver" class for a command processor. Other parts of the 
+# command class and debugger command objects are pulled in from here.
+
+require 'set'
+
+require 'rubygems'; require 'require_relative'
+## %w(default display eventbuf eval load_cmds location frame hook msg 
+##    validate).each do
+# %w(default breakpoint disassemble display eval eventbuf load_cmds location 
+#    frame hook msg running stepping validate).each do
+%w(default display eval eventbuf frame hook load_cmds location msg running validate).each do
+  |mod_str|
+  require_relative mod_str
+end
+## require_relative '../app/brkptmgr'
+
+module Trepan
+  class CmdProcessor < VirtualCmdProcessor
+
+    # SEE ALSO attr's in require_relative's of loop above.
+
+    attr_reader   :cmd_argstr      # Current command args, a String.
+                                   # This is current_command with the command
+                                   # name removed from the beginning.
+    attr_reader   :cmd_name        # command name before alias or macro resolution
+    attr_reader   :cmd_queue       # queue of commands to run
+    ## attr_reader   :core            # Trepan core object
+    attr_reader   :current_command # Current command getting run, a String.
+
+    attr_accessor :dbgr          # Trepan instance (via
+                                   # Trepan::Core instance)
+                                   ## FIXME 1.9.2 has attr_reader !
+    attr_accessor :interfaces
+    attr_accessor :state
+
+    attr_accessor :debug_nest      # Number of nested debugs. Used in showing
+                                   # prompt.
+    attr_accessor :different_pos   # Same type as settings[:different] 
+                                   # this is the temporary value for the
+                                   # next stop while settings is the default
+                                   # value to use.
+    attr_accessor :event           # Stop event
+    attr_reader   :intf            # Current interface
+                                   # Trepan::Core instance)
+    attr_accessor :leave_cmd_loop  # Commands set this to signal to leave
+                                   # the command loop (which often continues to 
+                                   # run the debugged program). 
+    attr_accessor :line_no         # Last line shown in "list" command
+    attr_accessor :next_level      # Fixnum. frame.stack_size has to
+                                   # be <= than this.  If next'ing,
+                                   # this will be > 0.
+    attr_accessor :next_thread     # Thread. If non-nil then in
+                                   # stepping the thread has to be
+                                   # this thread.
+    attr_accessor :pass_exception  # Pass an exception back 
+    attr_accessor :prompt          # String print before requesting input
+    attr_reader   :settings        # Hash[:symbol] of command
+                                   # processor settings
+    attr_reader   :step_bp
+
+    # The following are used in to force stopping at a different line
+    # number. FIXME: could generalize to a position object.
+    attr_accessor :last_pos       # Last position. 6-Tuple: of
+                                  # [location, container, stack_size, 
+                                  #  current_thread, pc_offset]
+
+    unless defined?(EVENT2ICON)
+      # Event icons used in printing locations.
+      EVENT2ICON = {
+        'brkpt'          => 'xx',
+        'tbrkpt'         => 'x1',
+        'c-call'         => 'C>',
+        'c-return'       => '<C',
+        'step-call'      => '->',
+        'call'           => '->',
+        'class'          => '::',
+        'coverage'       => '[]',
+        'debugger-call'  => ':o',
+        'end'            => '-|',
+        'line'           => '--',
+        'raise'          => '!!',
+        'return'         => '<-',
+        'start'          => '>>',
+        'switch'         => 'sw',
+        'trace-var'      => '$V',
+        'unknown'        => '?!',
+        'vm'             => 'VM',
+        'vm-insn'        => '..',
+      } 
+      # These events are important enough event that we always want to
+      # stop on them.
+      UNMASKABLE_EVENTS = Set.new(['end', 'raise', 'unknown'])
+    end
+
+    ## def initialize(dbgr, settings={})
+    def initialize(interfaces, settings={})
+      @cmd_queue       = []
+      @event           =  nil
+      @interfaces      = interfaces
+      @intf            = interfaces[-1]
+      @debug_nest      = 1
+      @hidelevels      = {}
+      @last_command    = nil
+      @last_pos        = [nil, nil, nil, nil, nil, nil]
+      @next_level      = 32000
+      @next_thread     = nil
+      @user_variables = 0
+      @state           = nil
+      
+
+      start_cmds       = settings.delete(:start_cmds)
+      start_file       = settings.delete(:start_file)
+
+      @settings        = DEFAULT_SETTINGS.merge(settings)
+      @different_pos   = @settings[:different]
+
+      # FIXME: Rework using a general "set substitute file" command and
+      # a global default profile which gets read.
+      prelude_file = File.expand_path(File.join(File.dirname(__FILE__), 
+                                                %w(.. data prelude.rb)))
+
+      # Start with empty thread and frame info.
+      frame_teardown 
+
+      # Run initialization routines for each of the "submodule"s.
+      # load_cmds has to come first.
+      ## %w(load_cmds breakpoint display eventbuf frame running validate
+      ##   ).each do |submod|
+      ## %w(load_cmds breakpoint display eventbuf frame running 
+      ##    stepping validate).each do 
+      %w(load_cmds display eventbuf frame running validate).each do 
+        |submod|
+        self.send("#{submod}_initialize")
+      end
+      hook_initialize(commands)
+    end
+
+    def compute_prompt
+      "(#{@settings[:prompt]}): "
+    end
+
+    def finalize
+      # breakpoint_finalize
+      # stepping_breakpoint_finalize
+      @intf.finalize
+    end
+
+    def canonic_container(container)
+      [container[0], canonic_file(container[1])]
+    end
+
+    def compute_prompt
+      "(#{@settings[:prompt]}): " 
+    end
+
+    # Check that we meed the criteria that cmd specifies it needs
+    def ok_for_running(cmd, name, nargs)
+      # TODO check execution_set against execution status.
+      # Check we have frame is not null
+      min_args = cmd.class.const_get(:MIN_ARGS)
+      if nargs < min_args
+        errmsg(("Command '%s' needs at least %d argument(s); " + 
+                "got %d.") % [name, min_args, nargs])
+        return false
+      end
+      max_args = cmd.class.const_get(:MAX_ARGS)
+      if max_args and nargs > max_args
+        errmsg(("Command '%s' needs at most %d argument(s); " + 
+                "got %d.") % [name, max_args, nargs])
+        return false
+      end
+      # if cmd.class.const_get(:NEED_RUNNING) && !...
+      #   errmsg "Command '%s' requires a running program." % name
+      #   return false
+      # end
+
+      if cmd.class.const_get(:NEED_STACK) && !@context
+        errmsg "Command '%s' requires a running stack frame." % name
+        return false
+      end
+
+      return true
+    end
+
+    # Run one debugger command. True is returned if we want to quit.
+    def process_command_and_quit?()
+      intf_size = @interfaces.size
+      if @interfaces.empty?
+        puts "FOO"
+        exit
+      end
+      @intf  = @interfaces[-1]
+      return true if @intf.input_eof? && intf_size == 1
+      while intf_size > 1 || !@intf.input_eof?
+        begin
+          @current_command = 
+            if @cmd_queue.empty?
+              # Leave trailing blanks on for the "complete" command
+              read_command.chomp 
+            else
+              @cmd_queue.shift
+            end
+          if @current_command.empty? 
+            if @last_command && intf.interactive?
+              @current_command = @last_command 
+            else
+              next
+            end
+          end
+          next if @current_command[0..0] == '#' # Skip comment lines
+          break
+        rescue IOError, Errno::EPIPE => e
+          if intf_size > 1
+            @interfaces.pop
+            intf_size = @interfaces.size
+            @intf = @interfaces.last
+            @last_command = nil
+            print_location
+          else
+            ## FIXME: think of something better.
+            quit('exit!')
+            return true
+          end
+        rescue Exception => exc
+          errmsg("Internal debugger error in read: #{exc.inspect}")
+          exception_dump(exc, @settings[:debugexcept], $!.backtrace)
+        end
+      end
+      run_command(@current_command)
+
+      # Save it to the history.
+      @intf.history_io.puts @last_command if @last_command && @intf.history_io
+    end
+
+    def after_cmdloop
+      @cmdloop_posthooks.run
+    end
+
+    def before_cmdloop
+
+      frame_setup(@context, @state)
+
+      @unconditional_prehooks.run
+      if breakpoint?
+        delete_breakpoint(@brkpt) if @brkpt.temp?
+        @last_pos = [@frame.vm_location, @stack_size, @current_thread, @event] 
+      end
+
+      if stepping_skip? # || @stack_size <= @hide_level
+        if @next_thread
+          self.next(@step_count, :next_level => @next_level)
+        else
+          step(@return_to_program, @step_count, {}, @stop_condition)
+        end
+        return true
+      elsif @event == 'start'
+        step('step', 0)
+        return true
+      end
+
+      @prompt = compute_prompt
+
+      @leave_cmd_loop = false
+      print_location unless @settings[:traceprint]
+      # if 'trace-var' == @event 
+      #   msg "Note: we are stopped *after* the above location."
+      # end
+
+      @eventbuf.add_mark if @settings[:tracebuffer]
+      
+      @return_to_program = false
+      @cmdloop_prehooks.run
+      return false
+    end
+
+    # This is the main entry point.
+    def process_commands(context, state)
+
+      @context = context
+      @state   = state
+      frame_setup(@context, @state)
+      # @event = @core.event
+
+      @unconditional_prehooks.run
+      # if breakpoint?
+      #   @last_pos = [@frame.source_container, frame_line,
+      #                @stack_size, @current_thread, @event, 
+      #                @frame.pc_offset]
+      # else
+      #   return if stepping_skip? || @stack_size <= @hide_level
+      # end
+
+      @prompt = compute_prompt
+
+      @leave_cmd_loop = false
+      print_location unless @settings[:traceprint]
+      # if 'trace-var' == @event 
+      #   msg "Note: we are stopped *after* the above location."
+      # end
+
+      @eventbuf.add_mark if @settings[:tracebuffer]
+
+      @cmdloop_prehooks.run
+      while not @leave_cmd_loop do
+        begin
+          break if process_command_and_quit?()
+        rescue SystemExit
+          @dbgr.stop
+          raise
+        rescue Exception => exc
+          # If we are inside the script interface errmsg may fail.
+          begin
+            errmsg("Internal debugger error in cmdloop: #{exc.inspect}")
+          rescue IOError
+            $stderr.puts "Internal debugger error: #{exc.inspect}"
+          end
+          exception_dump(exc, @settings[:debugexcept], $!.backtrace)
+        end
+      end
+      @cmdloop_posthooks.run
+    end
+
+    # Run current_command, a String. @last_command is set after the
+    # command is run if it is a command.
+    def run_command(current_command)
+      eval_command = 
+        if current_command[0..0] == '!'
+          current_command[0] = ''
+        else
+          false
+        end
+
+      unless eval_command
+        commands = current_command.split(';;')
+        if commands.size > 1
+          current_command = commands.shift
+          @cmd_queue.unshift *commands
+        end
+        args = current_command.split
+        # Expand macros. FIXME: put in a procedure
+        while true do
+          macro_cmd_name = args[0]
+          return false if args.size == 0
+          break unless @macros.member?(macro_cmd_name)
+          current_command = @macros[macro_cmd_name][0].call(*args[1..-1])
+          msg current_command.inspect if settings[:debugmacro]
+          if current_command.is_a?(Array) && 
+              current_command.all? {|val| val.is_a?(String)}
+            args = (first=current_command.shift).split
+            @cmd_queue += current_command
+            current_command = first
+          elsif current_command.is_a?(String)
+            args = current_command.split
+          else
+            errmsg("macro #{macro_cmd_name} should return an Array " +
+                   "of Strings or a String. Got #{current_command.inspect}")
+            return false
+          end
+        end
+
+        @cmd_name = args[0]
+        run_cmd_name = 
+          if @aliases.member?(@cmd_name)
+            @aliases[@cmd_name] 
+          else
+            @cmd_name
+          end
+        
+        run_cmd_name = uniq_abbrev(@commands.keys, run_cmd_name) if
+          !@commands.member?(run_cmd_name) && @settings[:abbrev]
+          
+        if @commands.member?(run_cmd_name)
+          cmd = @commands[run_cmd_name]
+          if ok_for_running(cmd, run_cmd_name, args.size-1)
+            @cmd_argstr = current_command[@cmd_name.size..-1].lstrip
+            cmd.run(args) 
+            @last_command = current_command
+          end
+          return false
+        end
+      end
+
+      # Eval anything that's not a command or has been
+      # requested to be eval'd
+      if settings[:autoeval] || eval_command
+        begin
+          eval_code(current_command, @settings[:maxstring])
+          return false
+        rescue NameError
+        end
+      end
+      undefined_command(cmd_name)
+    end
+
+    # Error message when a command doesn't exist
+    def undefined_command(cmd_name)
+      begin 
+        errmsg('Undefined command: "%s". Try "help".' % cmd_name)
+      rescue
+        $stderr.puts 'Undefined command: "%s". Try "help".' % cmd_name
+      end
+    end
+
+    # FIXME: Allow access to both Trepan::CmdProcessor and Trepan
+    # for index [] and []=.
+    # If there is a Trepan::CmdProcessor setting that would take precidence.
+    # def settings
+    #   @settings.merge(@dbgr.settings) # wrong because this doesn't allow []=
+    # end
+  end
+end
+
+if __FILE__ == $0
+  $0 = 'foo' # So we don't get here again
+  require_relative '../lib/trepanning'
+  puts "To be continued...."
+  exit
+  dbg =  Trepan.new(:nx => true)
+  cmdproc = dbg.instance_variable_get('@processor')
+  cmdproc.msg('I am main')
+  cmdproc.errmsg('Whoa!')
+  cmds = cmdproc.commands
+  p cmdproc.aliases
+  p cmdproc.commands.keys.sort
+  cmd_name, cmd_obj = cmds.first
+  puts cmd_obj.class.const_get(:HELP)
+  puts cmd_obj.class.const_get(:SHORT_HELP)
+
+  cmdproc.instance_variable_set('@current_thread', Thread.current)
+  puts cmdproc.compute_prompt
+  Thread.new{ puts cmdproc.compute_prompt }.join
+
+  x = Thread.new{ Thread.pass; x = 1 }
+  puts cmdproc.compute_prompt
+  x.join
+  cmdproc.debug_nest += 1
+  puts cmdproc.compute_prompt
+
+  # if ARGV.size > 0
+  #   cmdproc.msg('Enter "q" to quit')
+  #   cmdproc.process_commands
+  # else
+  #   $input = []
+  #   class << cmdproc
+  #     def read_command
+  #       $input.shift
+  #     end
+  #   end
+  #   $input = ['1+2']
+  #   cmdproc.process_command_and_quit?
+  #   $input = ['!s = 5']  # ! means eval line 
+  #   cmdproc.process_command_and_quit?
+  # end
+end