Method popPrefixMapping

java/org/apache/jasper/compiler/PageInfo.java:481–486

Removes the URI at the top of the stack of URIs to which the given prefix is mapped. @param prefix The prefix whose stack of URIs is to be popped

(String prefix)

     * @param prefix The prefix whose stack of URIs is to be popped
     */
    public void popPrefixMapping(String prefix) {
        Deque<String> stack = xmlPrefixMapper.get(prefix);
        if (stack != null) {
            stack.removeFirst();
        }
    }

    /**
     * Returns the URI to which the given prefix maps.