Coverage Report - org.w3c.dom.mathml.MathMLPaddedElement
 
Classes in this File Line Coverage Branch Coverage Complexity
MathMLPaddedElement
N/A
N/A
1
 
 1  
 /*
 2  
  * Copyright 2007 - 2007 JEuclid, http://jeuclid.sf.net
 3  
  * 
 4  
  * Licensed under the Apache License, Version 2.0 (the "License");
 5  
  * you may not use this file except in compliance with the License.
 6  
  * You may obtain a copy of the License at
 7  
  *
 8  
  *      http://www.apache.org/licenses/LICENSE-2.0
 9  
  *
 10  
  * Unless required by applicable law or agreed to in writing, software
 11  
  * distributed under the License is distributed on an "AS IS" BASIS,
 12  
  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 13  
  * See the License for the specific language governing permissions and
 14  
  * limitations under the License.
 15  
  */
 16  
 package org.w3c.dom.mathml;
 17  
 
 18  
 /*
 19  
  * Please note: This file was automatically generated from the source of the
 20  
  * MathML specification. Do not edit it. If there are errors or missing
 21  
  * elements, please correct the stylesheet instead.
 22  
  */
 23  
 
 24  
 /**
 25  
  * This interface extends the MathMLElement interface for the MathML spacing
 26  
  * adjustment element mpadded.
 27  
  * 
 28  
  * 
 29  
  */
 30  
 public interface MathMLPaddedElement extends MathMLPresentationContainer {
 31  
     /**
 32  
      * A string representing the total width of the mpadded element, if
 33  
      * specified. See also the discussion of this attribute.
 34  
      * 
 35  
      * @return value of the width attribute.
 36  
      */
 37  
     String getWidth();
 38  
 
 39  
     /**
 40  
      * setter for the width attribute.
 41  
      * 
 42  
      * @param width
 43  
      *            new value for width.
 44  
      * @see #getWidth()
 45  
      */
 46  
     void setWidth(String width);
 47  
 
 48  
     /**
 49  
      * A string representing the lspace attribute - the additional space to
 50  
      * the left - of the mpadded element, if specified. See also the
 51  
      * discussion of this attribute.
 52  
      * 
 53  
      * @return value of the lspace attribute.
 54  
      */
 55  
     String getLspace();
 56  
 
 57  
     /**
 58  
      * setter for the lspace attribute.
 59  
      * 
 60  
      * @param lspace
 61  
      *            new value for lspace.
 62  
      * @see #getLspace()
 63  
      */
 64  
     void setLspace(String lspace);
 65  
 
 66  
     /**
 67  
      * A string representing the height above the baseline of the mpadded
 68  
      * element, if specified. See also the discussion of this attribute.
 69  
      * 
 70  
      * @return value of the height attribute.
 71  
      */
 72  
     String getHeight();
 73  
 
 74  
     /**
 75  
      * setter for the height attribute.
 76  
      * 
 77  
      * @param height
 78  
      *            new value for height.
 79  
      * @see #getHeight()
 80  
      */
 81  
     void setHeight(String height);
 82  
 
 83  
     /**
 84  
      * A string representing the depth beneath the baseline of the mpadded
 85  
      * element, if specified. See also the discussion of this attribute.
 86  
      * 
 87  
      * @return value of the depth attribute.
 88  
      */
 89  
     String getDepth();
 90  
 
 91  
     /**
 92  
      * setter for the depth attribute.
 93  
      * 
 94  
      * @param depth
 95  
      *            new value for depth.
 96  
      * @see #getDepth()
 97  
      */
 98  
     void setDepth(String depth);
 99  
 };