001    /*
002     * Copyright 2007 - 2007 JEuclid, http://jeuclid.sf.net
003     * 
004     * Licensed under the Apache License, Version 2.0 (the "License");
005     * you may not use this file except in compliance with the License.
006     * You may obtain a copy of the License at
007     *
008     *      http://www.apache.org/licenses/LICENSE-2.0
009     *
010     * Unless required by applicable law or agreed to in writing, software
011     * distributed under the License is distributed on an "AS IS" BASIS,
012     * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
013     * See the License for the specific language governing permissions and
014     * limitations under the License.
015     */
016    package org.w3c.dom.mathml;
017    
018    /*
019     * Please note: This file was automatically generated from the source of the
020     * MathML specification. Do not edit it. If there are errors or missing
021     * elements, please correct the stylesheet instead.
022     */
023    
024    /**
025     * This interface extends the MathMLElement interface for the MathML spacing
026     * adjustment element mpadded.
027     * 
028     * 
029     */
030    public interface MathMLPaddedElement extends MathMLPresentationContainer {
031        /**
032         * A string representing the total width of the mpadded element, if
033         * specified. See also the discussion of this attribute.
034         * 
035         * @return value of the width attribute.
036         */
037        String getWidth();
038    
039        /**
040         * setter for the width attribute.
041         * 
042         * @param width
043         *            new value for width.
044         * @see #getWidth()
045         */
046        void setWidth(String width);
047    
048        /**
049         * A string representing the lspace attribute - the additional space to
050         * the left - of the mpadded element, if specified. See also the
051         * discussion of this attribute.
052         * 
053         * @return value of the lspace attribute.
054         */
055        String getLspace();
056    
057        /**
058         * setter for the lspace attribute.
059         * 
060         * @param lspace
061         *            new value for lspace.
062         * @see #getLspace()
063         */
064        void setLspace(String lspace);
065    
066        /**
067         * A string representing the height above the baseline of the mpadded
068         * element, if specified. See also the discussion of this attribute.
069         * 
070         * @return value of the height attribute.
071         */
072        String getHeight();
073    
074        /**
075         * setter for the height attribute.
076         * 
077         * @param height
078         *            new value for height.
079         * @see #getHeight()
080         */
081        void setHeight(String height);
082    
083        /**
084         * A string representing the depth beneath the baseline of the mpadded
085         * element, if specified. See also the discussion of this attribute.
086         * 
087         * @return value of the depth attribute.
088         */
089        String getDepth();
090    
091        /**
092         * setter for the depth attribute.
093         * 
094         * @param depth
095         *            new value for depth.
096         * @see #getDepth()
097         */
098        void setDepth(String depth);
099    };