source: extensions/gsdl-video/trunk/installed/cmdline/lib/ruby/1.8/irb/ext/workspaces.rb@ 18425

#
#   push-ws.rb - 
#       $Release Version: 0.9.5$
#       $Revision: 11708 $
#       $Date: 2007-02-13 08:01:19 +0900 (Tue, 13 Feb 2007) $
#       by Keiju ISHITSUKA([email protected])
#
# --
#
#   
#

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