Class ExtensionElement

    • Constructor Detail

      • ExtensionElement

        protected ExtensionElement()
        Creates a new Element object.
      • ExtensionElement

        protected ExtensionElement​(java.lang.String name,
                                   AbstractDocument owner)
        Creates a new Element object.
        Parameters:
        name - The element name, for validation purposes.
        owner - The owner document.