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 MathMLPresentationContainer interface for the
026 * MathML fenced content element mfenced.
027 *
028 *
029 */
030 public interface MathMLFencedElement extends MathMLPresentationContainer {
031 /**
032 * A string representing the opening-fence for the mfenced element, if
033 * specified; this is the element's open attribute.
034 *
035 * @return value of the open attribute.
036 */
037 String getOpen();
038
039 /**
040 * setter for the open attribute.
041 *
042 * @param open
043 * new value for open.
044 * @see #getOpen()
045 */
046 void setOpen(String open);
047
048 /**
049 * A string representing the closing-fence for the mfenced element, if
050 * specified; this is the element's close attribute.
051 *
052 * @return value of the close attribute.
053 */
054 String getClose();
055
056 /**
057 * setter for the close attribute.
058 *
059 * @param close
060 * new value for close.
061 * @see #getClose()
062 */
063 void setClose(String close);
064
065 /**
066 * A string representing any separating characters inside the mfenced
067 * element, if specified; this is the element's separators attribute.
068 *
069 * @return value of the separators attribute.
070 */
071 String getSeparators();
072
073 /**
074 * setter for the separators attribute.
075 *
076 * @param separators
077 * new value for separators.
078 * @see #getSeparators()
079 */
080 void setSeparators(String separators);
081 };