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 MathMLPresentationToken interface for the MathML
26 * operator element mo.
27 *
28 *
29 */
30 public interface MathMLOperatorElement extends MathMLPresentationToken {
31 /**
32 * The form attribute (prefix, infix or postfix) for the mo element, if
33 * specified.
34 *
35 * @return value of the form attribute.
36 */
37 String getForm();
38
39 /**
40 * setter for the form attribute.
41 *
42 * @param form
43 * new value for form.
44 * @see #getForm()
45 */
46 void setForm(String form);
47
48 /**
49 * The fence attribute (true or false) for the mo element, if specified.
50 *
51 * @return value of the fence attribute.
52 */
53 String getFence();
54
55 /**
56 * setter for the fence attribute.
57 *
58 * @param fence
59 * new value for fence.
60 * @see #getFence()
61 */
62 void setFence(String fence);
63
64 /**
65 * The separator attribute (true or false) for the mo element, if
66 * specified.
67 *
68 * @return value of the separator attribute.
69 */
70 String getSeparator();
71
72 /**
73 * setter for the separator attribute.
74 *
75 * @param separator
76 * new value for separator.
77 * @see #getSeparator()
78 */
79 void setSeparator(String separator);
80
81 /**
82 * The lspace attribute (spacing to left) of the mo element, if specified.
83 *
84 * @return value of the lspace attribute.
85 */
86 String getLspace();
87
88 /**
89 * setter for the lspace attribute.
90 *
91 * @param lspace
92 * new value for lspace.
93 * @see #getLspace()
94 */
95 void setLspace(String lspace);
96
97 /**
98 * The rspace attribute (spacing to right) of the mo element, if
99 * specified.
100 *
101 * @return value of the rspace attribute.
102 */
103 String getRspace();
104
105 /**
106 * setter for the rspace attribute.
107 *
108 * @param rspace
109 * new value for rspace.
110 * @see #getRspace()
111 */
112 void setRspace(String rspace);
113
114 /**
115 * The stretchy attribute (true or false) for the mo element, if
116 * specified.
117 *
118 * @return value of the stretchy attribute.
119 */
120 String getStretchy();
121
122 /**
123 * setter for the stretchy attribute.
124 *
125 * @param stretchy
126 * new value for stretchy.
127 * @see #getStretchy()
128 */
129 void setStretchy(String stretchy);
130
131 /**
132 * The symmetric attribute (true or false) for the mo element, if
133 * specified.
134 *
135 * @return value of the symmetric attribute.
136 */
137 String getSymmetric();
138
139 /**
140 * setter for the symmetric attribute.
141 *
142 * @param symmetric
143 * new value for symmetric.
144 * @see #getSymmetric()
145 */
146 void setSymmetric(String symmetric);
147
148 /**
149 * The maxsize attribute for the mo element, if specified.
150 *
151 * @return value of the maxsize attribute.
152 */
153 String getMaxsize();
154
155 /**
156 * setter for the maxsize attribute.
157 *
158 * @param maxsize
159 * new value for maxsize.
160 * @see #getMaxsize()
161 */
162 void setMaxsize(String maxsize);
163
164 /**
165 * The minsize attribute for the mo element, if specified.
166 *
167 * @return value of the minsize attribute.
168 */
169 String getMinsize();
170
171 /**
172 * setter for the minsize attribute.
173 *
174 * @param minsize
175 * new value for minsize.
176 * @see #getMinsize()
177 */
178 void setMinsize(String minsize);
179
180 /**
181 * The largeop attribute for the mo element, if specified.
182 *
183 * @return value of the largeop attribute.
184 */
185 String getLargeop();
186
187 /**
188 * setter for the largeop attribute.
189 *
190 * @param largeop
191 * new value for largeop.
192 * @see #getLargeop()
193 */
194 void setLargeop(String largeop);
195
196 /**
197 * The movablelimits (true or false) attribute for the mo element, if
198 * specified.
199 *
200 * @return value of the movablelimits attribute.
201 */
202 String getMovablelimits();
203
204 /**
205 * setter for the movablelimits attribute.
206 *
207 * @param movablelimits
208 * new value for movablelimits.
209 * @see #getMovablelimits()
210 */
211 void setMovablelimits(String movablelimits);
212
213 /**
214 * The accent attribute (true or false) for the mo element, if specified.
215 *
216 * @return value of the accent attribute.
217 */
218 String getAccent();
219
220 /**
221 * setter for the accent attribute.
222 *
223 * @param accent
224 * new value for accent.
225 * @see #getAccent()
226 */
227 void setAccent(String accent);
228 };