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 all of the empty built-in operator, relation,
026     * function, and constant and symbol elements that have the definitionURL and
027     * encoding attributes in addition to the standard set of attributes. The
028     * elements supported in order of their appearance in are: inverse, compose,
029     * ident, domain, codomain, image, quotient, exp, factorial, divide, max, min,
030     * minus, plus, power, rem, times, root, gcd, and, or, xor, not, implies,
031     * forall, exists, abs, conjugate, arg, real, imaginary, lcm, floor, ceiling,
032     * eq, neq, gt, lt, geq, leq, equivalent, approx, factorof, ln, log, int,
033     * diff, partialdiff, divergence, grad, curl, laplacian, union, intersect, in,
034     * notin, subset, prsubset, notsubset, notprsubset, setdiff, card,
035     * cartesianproduct, sum, product, limit, sin, cos, tan, sec, csc, cot, sinh,
036     * cosh, tanh, sech, csch, coth, arcsin, arccos, arctan, arcsec, arccsc,
037     * arccot, arcsinh, arccosh, arctanh, arcsech, arccsch, arccoth, mean, sdev,
038     * variance, median, mode, moment, determinant, transpose, selector,
039     * vectorproduct, scalarproduct, outerproduct, integers, reals, rationals,
040     * naturalnumbers, complexes, primes, exponentiale, imaginaryi, notanumber,
041     * true, false, emptyset, pi, eulergamma, and infinity.
042     * 
043     * 
044     */
045    public interface MathMLPredefinedSymbol extends MathMLContentElement {
046        /**
047         * A string that provides an override to the default semantics, or
048         * provides a more specific definition
049         * 
050         * @return value of the definitionURL attribute.
051         */
052        String getDefinitionURL();
053    
054        /**
055         * setter for the definitionURL attribute.
056         * 
057         * @param definitionURL
058         *            new value for definitionURL.
059         * @see #getDefinitionURL()
060         */
061        void setDefinitionURL(String definitionURL);
062    
063        /**
064         * A string describing the syntax in which the definition located at
065         * definitionURL is given.
066         * 
067         * @return value of the encoding attribute.
068         */
069        String getEncoding();
070    
071        /**
072         * setter for the encoding attribute.
073         * 
074         * @param encoding
075         *            new value for encoding.
076         * @see #getEncoding()
077         */
078        void setEncoding(String encoding);
079    
080        /**
081         * A string representing the number of arguments. Values include 0, 1, ...
082         * and variable.
083         * 
084         * @return value of the arity attribute.
085         */
086        String getArity();
087    
088        /**
089         * A string giving the name of the MathML element represented. This is a
090         * convenience attribute only; accessing it should be synonymous with
091         * accessing the Element::tagName attribute.
092         * 
093         * @return value of the symbolName attribute.
094         */
095        String getSymbolName();
096    };