JDK 17 jdk.xml.dom.jmod - XML DOM Module

JDK 17 jdk.xml.dom.jmod is the JMOD file for JDK 17 XML DOM module.

JDK 17 XML DOM module compiled class files are stored in \fyicenter\jdk-17.0.5\jmods\jdk.xml.dom.jmod.

JDK 17 XML DOM module compiled class files are also linked and stored in the \fyicenter\jdk-17.0.5\lib\modules JImage file.

JDK 17 XML DOM module source code files are stored in \fyicenter\jdk-17.0.5\lib\src.zip\jdk.xml.dom.

You can click and view the content of each source code file in the list below.

✍: FYIcenter

org/w3c/dom/html/HTMLOptGroupElement.java

/*
 * ORACLE PROPRIETARY/CONFIDENTIAL. Use is subject to license terms.
 *
 *
 *
 *
 *
 *
 *
 *
 *
 *
 *
 *
 *
 *
 *
 *
 *
 *
 *
 *
 */

/*
 *
 *
 *
 *
 *
 * Copyright (c) 2000 World Wide Web Consortium,
 * (Massachusetts Institute of Technology, Institut National de
 * Recherche en Informatique et en Automatique, Keio University). All
 * Rights Reserved. This program is distributed under the W3C's Software
 * Intellectual Property License. This program is distributed in the
 * hope that it will be useful, but WITHOUT ANY WARRANTY; without even
 * the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR
 * PURPOSE. See W3C License http://www.w3.org/Consortium/Legal/ for more
 * details.
 */

package org.w3c.dom.html;

/**
 *  Group options together in logical subdivisions. See the  OPTGROUP element
 * definition in HTML 4.0.
 * <p>See also the <a href='http://www.w3.org/TR/2000/CR-DOM-Level-2-20000510'>Document Object Model (DOM) Level 2 Specification</a>.
 *
 * @since 1.4, DOM Level 2
 */
public interface HTMLOptGroupElement extends HTMLElement {
    /**
     *  The control is unavailable in this context. See the  disabled
     * attribute definition in HTML 4.0.
     */
    public boolean getDisabled();
    public void setDisabled(boolean disabled);

    /**
     *  Assigns a label to this option group. See the  label attribute
     * definition in HTML 4.0.
     */
    public String getLabel();
    public void setLabel(String label);

}

org/w3c/dom/html/HTMLOptGroupElement.java

 

Or download all of them as a single archive file:

File name: jdk.xml.dom-17.0.5-src.zip
File size: 121795 bytes
Release date: 2022-09-13
Download 

 

JDK 17 jdk.zipfs.jmod - ZIP FS Module

JDK 17 jdk.unsupported.desktop.jmod - Unsupported Desktop Module

JDK 17 JMod/Module Files

⇑⇑ FAQ for JDK (Java Development Kit) 17

2022-11-07, 4320👍, 0💬