diff options
Diffstat (limited to 'lib/irb/ext/workspaces.rb')
| -rw-r--r-- | lib/irb/ext/workspaces.rb | 56 |
1 files changed, 0 insertions, 56 deletions
diff --git a/lib/irb/ext/workspaces.rb b/lib/irb/ext/workspaces.rb deleted file mode 100644 index 2fe8f8a87b..0000000000 --- a/lib/irb/ext/workspaces.rb +++ /dev/null @@ -1,56 +0,0 @@ -# -# push-ws.rb - -# $Release Version: 0.9$ -# $Revision$ -# $Date$ -# by Keiju ISHITSUKA(Nihon Rational Software Co.,Ltd) -# -# -- -# -# -# - -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 - |