Package org.w3c.dom.mathml

Interface MathMLPaddedElement

    • Field Summary

      • Fields inherited from interface org.w3c.dom.Node

        ATTRIBUTE_NODE, CDATA_SECTION_NODE, COMMENT_NODE, DOCUMENT_FRAGMENT_NODE, DOCUMENT_NODE, DOCUMENT_POSITION_CONTAINED_BY, DOCUMENT_POSITION_CONTAINS, DOCUMENT_POSITION_DISCONNECTED, DOCUMENT_POSITION_FOLLOWING, DOCUMENT_POSITION_IMPLEMENTATION_SPECIFIC, DOCUMENT_POSITION_PRECEDING, DOCUMENT_TYPE_NODE, ELEMENT_NODE, ENTITY_NODE, ENTITY_REFERENCE_NODE, NOTATION_NODE, PROCESSING_INSTRUCTION_NODE, TEXT_NODE

    • Method Summary

      All Methods Instance Methods Abstract Methods 
      Modifier and Type Method Description
      java.lang.String getDepth()
      A string representing the depth beneath the baseline of the mpadded element, if specified.
      java.lang.String getHeight()
      A string representing the height above the baseline of the mpadded element, if specified.
      java.lang.String getLspace()
      A string representing the lspace attribute - the additional space to the left - of the mpadded element, if specified.
      java.lang.String getWidth()
      A string representing the total width of the mpadded element, if specified.
      void setDepth​(java.lang.String depth)
      setter for the depth attribute.
      void setHeight​(java.lang.String height)
      setter for the height attribute.
      void setLspace​(java.lang.String lspace)
      setter for the lspace attribute.
      void setWidth​(java.lang.String width)
      setter for the width attribute.

      • Methods inherited from interface org.w3c.dom.Element

        getAttribute, getAttributeNode, getAttributeNodeNS, getAttributeNS, getElementsByTagName, getElementsByTagNameNS, getSchemaTypeInfo, getTagName, hasAttribute, hasAttributeNS, removeAttribute, removeAttributeNode, removeAttributeNS, setAttribute, setAttributeNode, setAttributeNodeNS, setAttributeNS, setIdAttribute, setIdAttributeNode, setIdAttributeNS

      • Methods inherited from interface org.w3c.dom.Node

        appendChild, cloneNode, compareDocumentPosition, getAttributes, getBaseURI, getChildNodes, getFeature, getFirstChild, getLastChild, getLocalName, getNamespaceURI, getNextSibling, getNodeName, getNodeType, getNodeValue, getOwnerDocument, getParentNode, getPrefix, getPreviousSibling, getTextContent, getUserData, hasAttributes, hasChildNodes, insertBefore, isDefaultNamespace, isEqualNode, isSameNode, isSupported, lookupNamespaceURI, lookupPrefix, normalize, removeChild, replaceChild, setNodeValue, setPrefix, setTextContent, setUserData

    • Method Detail

      • getWidth

        java.lang.String getWidth()
        A string representing the total width of the mpadded element, if specified. See also the discussion of this attribute.
        Returns:
        value of the width attribute.

      • setWidth

        void setWidth​(java.lang.String width)
        setter for the width attribute.
        Parameters:
        width - new value for width.
        See Also:
        getWidth()

      • getLspace

        java.lang.String getLspace()
        A string representing the lspace attribute - the additional space to the left - of the mpadded element, if specified. See also the discussion of this attribute.
        Returns:
        value of the lspace attribute.

      • setLspace

        void setLspace​(java.lang.String lspace)
        setter for the lspace attribute.
        Parameters:
        lspace - new value for lspace.
        See Also:
        getLspace()

      • getHeight

        java.lang.String getHeight()
        A string representing the height above the baseline of the mpadded element, if specified. See also the discussion of this attribute.
        Returns:
        value of the height attribute.

      • setHeight

        void setHeight​(java.lang.String height)
        setter for the height attribute.
        Parameters:
        height - new value for height.
        See Also:
        getHeight()

      • getDepth

        java.lang.String getDepth()
        A string representing the depth beneath the baseline of the mpadded element, if specified. See also the discussion of this attribute.
        Returns:
        value of the depth attribute.

      • setDepth

        void setDepth​(java.lang.String depth)
        setter for the depth attribute.
        Parameters:
        depth - new value for depth.
        See Also:
        getDepth()