Method parse_extension

src/res/parser/font_parser.cpp:30–41

/**************************************** child parsers *******************************************/

void DefaultTeXFontParser::parse_extension(
    const XMLElement* e, wchar_t c, _out_ FontInfo& f) throw(ex_xml_parse) {
    int* extensions = new int[4];
    // get required integer attributes
    extensions[DefaultTeXFont::REP] = getIntAndCheck("rep", e);
    // get optional integer attributes
    extensions[DefaultTeXFont::TOP] = getOptionalInt("top", e, DefaultTeXFont::NONE);
    extensions[DefaultTeXFont::MID] = getOptionalInt("mid", e, DefaultTeXFont::NONE);
    extensions[DefaultTeXFont::BOT] = getOptionalInt("bot", e, DefaultTeXFont::NONE);
    // parsing OK, add extension info
    f.setExtension(c, extensions);
}

void DefaultTeXFontParser::parse_kern(
    const XMLElement* e, wchar_t c, _out_ FontInfo& f) throw(ex_xml_parse) {