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 mglyph element .
026 *
027 *
028 */
029 public interface MathMLGlyphElement extends MathMLPresentationElement {
030 /**
031 * A string giving an alternate name for the character. Represents the
032 * mglyph's alt attribute.
033 *
034 * @return value of the alt attribute.
035 */
036 String getAlt();
037
038 /**
039 * setter for the alt attribute.
040 *
041 * @param alt
042 * new value for alt.
043 * @see #getAlt()
044 */
045 void setAlt(String alt);
046
047 /**
048 * A string representing the font family.
049 *
050 * @return value of the fontfamily attribute.
051 */
052 String getFontfamily();
053
054 /**
055 * setter for the fontfamily attribute.
056 *
057 * @param fontfamily
058 * new value for fontfamily.
059 * @see #getFontfamily()
060 */
061 void setFontfamily(String fontfamily);
062
063 /**
064 * An unsigned integer giving the glyph's position within the font.
065 *
066 * @return value of the index attribute.
067 */
068 int getIndex();
069
070 /**
071 * setter for the index attribute.
072 *
073 * @param index
074 * new value for index.
075 * @see #getIndex()
076 */
077 void setIndex(int index);
078 };