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 * The interval element is used to represent simple mathematical intervals on
026 * the real number line. It contains either two child elements that evaluate
027 * to real numbers or one child element that is a condition for defining
028 * membership in the interval.
029 *
030 *
031 */
032 public interface MathMLIntervalElement extends MathMLContentElement {
033 /**
034 * A string with value open, closed, open-closed or closed-open. The
035 * default value is closed.
036 *
037 * @return value of the closure attribute.
038 */
039 String getClosure();
040
041 /**
042 * setter for the closure attribute.
043 *
044 * @param closure
045 * new value for closure.
046 * @see #getClosure()
047 */
048 void setClosure(String closure);
049
050 /**
051 * A MathMLContentElement representing the real number defining the start
052 * of the interval. If end has not already been set, it becomes the same
053 * as start until set otherwise.
054 *
055 * @return value of the start attribute.
056 */
057 MathMLContentElement getStart();
058
059 /**
060 * setter for the start attribute.
061 *
062 * @param start
063 * new value for start.
064 * @see #getStart()
065 */
066 void setStart(MathMLContentElement start);
067
068 /**
069 * A MathMLContentElement representing the real number defining the end of
070 * the interval. If start has not already been set, it becomes the same as
071 * end until set otherwise.
072 *
073 * @return value of the end attribute.
074 */
075 MathMLContentElement getEnd();
076
077 /**
078 * setter for the end attribute.
079 *
080 * @param end
081 * new value for end.
082 * @see #getEnd()
083 */
084 void setEnd(MathMLContentElement end);
085 };