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 };