# File src/Context.rb, line 125
        def pushRoot(root)
                @rootStack.push root
        end