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 MathMLPresentationToken interface for the MathML
026 * operator element mo.
027 *
028 *
029 */
030 public interface MathMLOperatorElement extends MathMLPresentationToken {
031 /**
032 * The form attribute (prefix, infix or postfix) for the mo element, if
033 * specified.
034 *
035 * @return value of the form attribute.
036 */
037 String getForm();
038
039 /**
040 * setter for the form attribute.
041 *
042 * @param form
043 * new value for form.
044 * @see #getForm()
045 */
046 void setForm(String form);
047
048 /**
049 * The fence attribute (true or false) for the mo element, if specified.
050 *
051 * @return value of the fence attribute.
052 */
053 String getFence();
054
055 /**
056 * setter for the fence attribute.
057 *
058 * @param fence
059 * new value for fence.
060 * @see #getFence()
061 */
062 void setFence(String fence);
063
064 /**
065 * The separator attribute (true or false) for the mo element, if
066 * specified.
067 *
068 * @return value of the separator attribute.
069 */
070 String getSeparator();
071
072 /**
073 * setter for the separator attribute.
074 *
075 * @param separator
076 * new value for separator.
077 * @see #getSeparator()
078 */
079 void setSeparator(String separator);
080
081 /**
082 * The lspace attribute (spacing to left) of the mo element, if specified.
083 *
084 * @return value of the lspace attribute.
085 */
086 String getLspace();
087
088 /**
089 * setter for the lspace attribute.
090 *
091 * @param lspace
092 * new value for lspace.
093 * @see #getLspace()
094 */
095 void setLspace(String lspace);
096
097 /**
098 * The rspace attribute (spacing to right) of the mo element, if
099 * 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 };