void setNotation(String nname, String pubid, String sysid)
            throws java.lang.Exception
    {
        Object notation[];

        if (notationInfo.get(nname) == null) {
            notation = new Object[2];
            notation[0] = pubid;
            notation[1] = sysid;
            notationInfo.put(nname, notation);
        } else {
            error("multiple declarations of notation", nname, null);
        }
    }