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 represents the annotation element of MathML.
026     * 
027     * 
028     */
029    public interface MathMLAnnotationElement extends MathMLElement {
030        /**
031         * Provides access to the content of an annotation element.
032         * 
033         * @return value of the body attribute.
034         */
035        String getBody();
036    
037        /**
038         * setter for the body attribute.
039         * 
040         * @param body
041         *            new value for body.
042         * @see #getBody()
043         */
044        void setBody(String body);
045    
046        /**
047         * Provides access to the encoding attribute of an annotation element.
048         * 
049         * @return value of the encoding attribute.
050         */
051        String getEncoding();
052    
053        /**
054         * setter for the encoding attribute.
055         * 
056         * @param encoding
057         *            new value for encoding.
058         * @see #getEncoding()
059         */
060        void setEncoding(String encoding);
061    };