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