mirror of
https://github.com/ruby/ruby.git
synced 2022-11-09 12:17:21 -05:00
40 lines
604 B
Ruby
40 lines
604 B
Ruby
|
#
|
||
|
|
# change-ws.rb -
|
||
|
|
# $Release Version: 0.9$
|
||
|
|
# $Revision$
|
||
|
|
# $Date$
|
||
|
|
# by Keiju ISHITSUKA(Nihon Rational Software Co.,Ltd)
|
||
|
|
#
|
||
|
|
# --
|
||
|
|
#
|
||
|
|
#
|
||
|
|
#
|
||
|
|
|
||
|
|
require "irb/cmd/nop.rb"
|
||
|
|
require "irb/ext/workspaces.rb"
|
||
|
|
|
||
|
|
module IRB
|
||
|
|
module ExtendCommand
|
||
|
|
class Workspaces<Nop
|
||
|
|
def execute(*obj)
|
||
|
|
irb_context.workspaces.collect{|ws| ws.main}
|
||
|
|
end
|
||
|
|
end
|
||
|
|
|
||
|
|
class PushWorkspace<Workspaces
|
||
|
|
def execute(*obj)
|
||
|
|
irb_context.push_workspace(*obj)
|
||
|
|
super
|
||
|
|
end
|
||
|
|
end
|
||
|
|
|
||
|
|
class PopWorkspace<Workspaces
|
||
|
|
def execute(*obj)
|
||
|
|
irb_context.pop_workspace(*obj)
|
||
|
|
super
|
||
|
|
end
|
||
|
|
end
|
||
|
|
end
|
||
|
|
end
|
||
|
|
|