lib/irb/cmd/pushws.rb

DEFINITIONS

   1  #
   2  #   change-ws.rb - 
   3  #       $Release Version: 0.9$
   4  #       $Revision: 1.1 $
   5  #       $Date: 2002/07/09 11:17:17 $
   6  #       by Keiju ISHITSUKA(Nihon Rational Software Co.,Ltd)
   7  #
   8  # --
   9  #
  10  #   
  11  #
  12  
  13  require "irb/cmd/nop.rb"
  14  require "irb/ext/workspaces.rb"
  15  
  16  module IRB
  17    module ExtendCommand
  18      class Workspaces<Nop
  19        def execute(*obj)
  20          irb_context.workspaces.collect{|ws| ws.main}
  21        end
  22      end
  23  
  24      class PushWorkspace<Workspaces
  25        def execute(*obj)
  26          irb_context.push_workspace(*obj)
  27          super
  28        end
  29      end
  30  
  31      class PopWorkspace<Workspaces
  32        def execute(*obj)
  33          irb_context.pop_workspace(*obj)
  34          super
  35        end
  36      end
  37    end
  38  end
  39