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 supports the menclose element .
026     * 
027     * 
028     */
029    public interface MathMLEncloseElement extends MathMLPresentationContainer {
030        /**
031         * A string giving a name for the notation enclosing the element's
032         * contents. Represents the notation attribute of the menclose. Any string
033         * is allowed as a value; predefined values include longdiv, actuarial,
034         * radical, box, roundedbox, circle, left, right, top, bottom,
035         * updiagonalstrike, downdiagonalstrike, verticalstrike, horizontalstrike,
036         * or combinations of these strings separated by whitespace (see ).
037         * 
038         * @return value of the notation attribute.
039         */
040        String getNotation();
041    
042        /**
043         * setter for the notation attribute.
044         * 
045         * @param notation
046         *            new value for notation.
047         * @see #getNotation()
048         */
049        void setNotation(String notation);
050    };