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 };