/tools/Ruby/lib/ruby/1.8/irb/cmd/pushws.rb
http://github.com/agross/netopenspace · Ruby · 39 lines · 23 code · 5 blank · 11 comment · 0 complexity · 8aade9489a7574c6d7fcbe8feddb0798 MD5 · raw file
- #
- # change-ws.rb -
- # $Release Version: 0.9.5$
- # $Revision: 11708 $
- # $Date: 2007-02-13 08:01:19 +0900 (Tue, 13 Feb 2007) $
- # by Keiju ISHITSUKA(keiju@ruby-lang.org)
- #
- # --
- #
- #
- #
- 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