2015-12-16 00:07:31 -05:00
|
|
|
# frozen_string_literal: false
|
2002-07-09 07:17:17 -04:00
|
|
|
#
|
2009-03-05 22:56:38 -05:00
|
|
|
# change-ws.rb -
|
2009-07-07 07:36:20 -04:00
|
|
|
# $Release Version: 0.9.6$
|
2002-07-09 07:17:17 -04:00
|
|
|
# $Revision$
|
2005-04-13 11:27:09 -04:00
|
|
|
# by Keiju ISHITSUKA(keiju@ruby-lang.org)
|
2002-07-09 07:17:17 -04:00
|
|
|
#
|
|
|
|
# --
|
|
|
|
#
|
2009-03-05 22:56:38 -05:00
|
|
|
#
|
2002-07-09 07:17:17 -04:00
|
|
|
#
|
|
|
|
|
2018-11-02 13:52:43 -04:00
|
|
|
require_relative "nop"
|
|
|
|
require_relative "../ext/workspaces"
|
2002-07-09 07:17:17 -04:00
|
|
|
|
2012-12-13 00:22:30 -05:00
|
|
|
# :stopdoc:
|
2002-07-09 07:17:17 -04:00
|
|
|
module IRB
|
|
|
|
module ExtendCommand
|
2016-10-07 01:18:57 -04:00
|
|
|
class Workspaces < Nop
|
2002-07-09 07:17:17 -04:00
|
|
|
def execute(*obj)
|
2014-08-08 21:36:49 -04:00
|
|
|
irb_context.workspaces.collect{|ws| ws.main}
|
2002-07-09 07:17:17 -04:00
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2016-10-07 01:18:57 -04:00
|
|
|
class PushWorkspace < Workspaces
|
2002-07-09 07:17:17 -04:00
|
|
|
def execute(*obj)
|
2014-08-08 21:36:49 -04:00
|
|
|
irb_context.push_workspace(*obj)
|
|
|
|
super
|
2002-07-09 07:17:17 -04:00
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2016-10-07 01:18:57 -04:00
|
|
|
class PopWorkspace < Workspaces
|
2002-07-09 07:17:17 -04:00
|
|
|
def execute(*obj)
|
2014-08-08 21:36:49 -04:00
|
|
|
irb_context.pop_workspace(*obj)
|
|
|
|
super
|
2002-07-09 07:17:17 -04:00
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
2012-12-13 00:22:30 -05:00
|
|
|
# :startdoc:
|
2002-07-09 07:17:17 -04:00
|
|
|
|