Interface IslandVerifier

    • Method Detail

      • setDispatcher

        void setDispatcher​(Dispatcher disp)
        Dispatcher passes itself to IslandVerifier by calling this method from Dispatcher.switchVerifier method.
      • endIsland

        ElementDecl[] endIsland()
                         throws SAXException
        substitute for endDocument event. This method is called after endElement method is called for the top element in the island. endDocument method is never called for IslandVerifier.
        Returns:
        the callee must return all validated ElementDecls. If every candidate fails, return an empty array. It is the callee's responsibility to report an error. The callee may also recover from error. Never return null.
        Throws:
        SAXException
      • endChildIsland

        void endChildIsland​(String uri,
                            ElementDecl[] assignedDecls)
                     throws SAXException
        this method is called after verification of the child island is completed, instead of endElement method.
        Parameters:
        uri - namespace URI of the child island.
        assignedLabel - set of elementDecls that were successfully assigned to this child island. when every elementDecl was failed, then an empty array is passed.
        Throws:
        SAXException