diff options
Diffstat (limited to 'ruby_1_8_5/lib/irb/ext/workspaces.rb')
| -rw-r--r-- | ruby_1_8_5/lib/irb/ext/workspaces.rb | 56 |
1 files changed, 0 insertions, 56 deletions
diff --git a/ruby_1_8_5/lib/irb/ext/workspaces.rb b/ruby_1_8_5/lib/irb/ext/workspaces.rb deleted file mode 100644 index b09e52ca34..0000000000 --- a/ruby_1_8_5/lib/irb/ext/workspaces.rb +++ /dev/null @@ -1,56 +0,0 @@ -# -# push-ws.rb - -# $Release Version: 0.9.5$ -# $Revision: 1.1.2.1 $ -# $Date: 2005/04/19 19:24:58 $ -# by Keiju ISHITSUKA(keiju@ruby-lang.org) -# -# -- -# -# -# - -module IRB - class Context - - def irb_level - workspace_stack.size - end - - def workspaces - if defined? @workspaces - @workspaces - else - @workspaces = [] - end - end - - def push_workspace(*_main) - if _main.empty? - if workspaces.empty? - print "No other workspace\n" - return nil - end - ws = workspaces.pop - workspaces.push @workspace - @workspace = ws - return workspaces - end - - workspaces.push @workspace - @workspace = WorkSpace.new(@workspace.binding, _main[0]) - if !(class<<main;ancestors;end).include?(ExtendCommandBundle) - main.extend ExtendCommandBundle - end - end - - def pop_workspace - if workspaces.empty? - print "workspace stack empty\n" - return - end - @workspace = workspaces.pop - end - end -end - |