Coverage Report

Coverage Report - org.w3c.dom.mathml.MathMLOperatorElement

Classes in this File

 /*
  * Copyright 2007 - 2007 JEuclid, http://jeuclid.sf.net
  * 
  * Licensed under the Apache License, Version 2.0 (the "License");
  * you may not use this file except in compliance with the License.
  * You may obtain a copy of the License at
  *
  *      http://www.apache.org/licenses/LICENSE-2.0
  *
  * Unless required by applicable law or agreed to in writing, software
  * distributed under the License is distributed on an "AS IS" BASIS,
  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  * See the License for the specific language governing permissions and
  * limitations under the License.
  */
 package org.w3c.dom.mathml;
 
 /*
  * Please note: This file was automatically generated from the source of the
  * MathML specification. Do not edit it. If there are errors or missing
  * elements, please correct the stylesheet instead.
  */
 
 /**
  * This interface extends the MathMLPresentationToken interface for the MathML
  * operator element mo.
  * 
  * 
  */
 public interface MathMLOperatorElement extends MathMLPresentationToken {
     /**
      * The form attribute (prefix, infix or postfix) for the mo element, if
      * specified.
      * 
      * @return value of the form attribute.
      */
     String getForm();
 
     /**
      * setter for the form attribute.
      * 
      * @param form
      *            new value for form.
      * @see #getForm()
      */
     void setForm(String form);
 
     /**
      * The fence attribute (true or false) for the mo element, if specified.
      * 
      * @return value of the fence attribute.
      */
     String getFence();
 
     /**
      * setter for the fence attribute.
      * 
      * @param fence
      *            new value for fence.
      * @see #getFence()
      */
     void setFence(String fence);
 
     /**
      * The separator attribute (true or false) for the mo element, if
      * specified.
      * 
      * @return value of the separator attribute.
      */
     String getSeparator();
 
     /**
      * setter for the separator attribute.
      * 
      * @param separator
      *            new value for separator.
      * @see #getSeparator()
      */
     void setSeparator(String separator);
 
     /**
      * The lspace attribute (spacing to left) of the mo element, if specified.
      * 
      * @return value of the lspace attribute.
      */
     String getLspace();
 
     /**
      * setter for the lspace attribute.
      * 
      * @param lspace
      *            new value for lspace.
      * @see #getLspace()
      */
     void setLspace(String lspace);
 
     /**
      * The rspace attribute (spacing to right) of the mo element, if
      * specified.
      * 
      * @return value of the rspace attribute.
      */
     String getRspace();
 
     /**
      * setter for the rspace attribute.
      * 
      * @param rspace
      *            new value for rspace.
      * @see #getRspace()
      */
     void setRspace(String rspace);
 
     /**
      * The stretchy attribute (true or false) for the mo element, if
      * specified.
      * 
      * @return value of the stretchy attribute.
      */
     String getStretchy();
 
     /**
      * setter for the stretchy attribute.
      * 
      * @param stretchy
      *            new value for stretchy.
      * @see #getStretchy()
      */
     void setStretchy(String stretchy);
 
     /**
      * The symmetric attribute (true or false) for the mo element, if
      * specified.
      * 
      * @return value of the symmetric attribute.
      */
     String getSymmetric();
 
     /**
      * setter for the symmetric attribute.
      * 
      * @param symmetric
      *            new value for symmetric.
      * @see #getSymmetric()
      */
     void setSymmetric(String symmetric);
 
     /**
      * The maxsize attribute for the mo element, if specified.
      * 
      * @return value of the maxsize attribute.
      */
     String getMaxsize();
 
     /**
      * setter for the maxsize attribute.
      * 
      * @param maxsize
      *            new value for maxsize.
      * @see #getMaxsize()
      */
     void setMaxsize(String maxsize);
 
     /**
      * The minsize attribute for the mo element, if specified.
      * 
      * @return value of the minsize attribute.
      */
     String getMinsize();
 
     /**
      * setter for the minsize attribute.
      * 
      * @param minsize
      *            new value for minsize.
      * @see #getMinsize()
      */
     void setMinsize(String minsize);
 
     /**
      * The largeop attribute for the mo element, if specified.
      * 
      * @return value of the largeop attribute.
      */
     String getLargeop();
 
     /**
      * setter for the largeop attribute.
      * 
      * @param largeop
      *            new value for largeop.
      * @see #getLargeop()
      */
     void setLargeop(String largeop);
 
     /**
      * The movablelimits (true or false) attribute for the mo element, if
      * specified.
      * 
      * @return value of the movablelimits attribute.
      */
     String getMovablelimits();
 
     /**
      * setter for the movablelimits attribute.
      * 
      * @param movablelimits
      *            new value for movablelimits.
      * @see #getMovablelimits()
      */
     void setMovablelimits(String movablelimits);
 
     /**
      * The accent attribute (true or false) for the mo element, if specified.
      * 
      * @return value of the accent attribute.
      */
     String getAccent();
 
     /**
      * setter for the accent attribute.
      * 
      * @param accent
      *            new value for accent.
      * @see #getAccent()
      */
     void setAccent(String accent);
 };

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