home *** CD-ROM | disk | FTP | other *** search
- package webeq3.parser.mathml;
-
- import java.util.Hashtable;
- import webeq3.constants.AttributeConstants;
- import webeq3.constants.CharConstants;
-
- public class MathMLDictionary implements MathMLConstants, AttributeConstants, CharConstants {
- static final Hashtable Keywords = new Hashtable(220);
- static final Hashtable AttributeTypes = new Hashtable(67);
- static final Hashtable AuxilliaryDictionary = new Hashtable(30);
-
- static int getAnyKeyword(String var0) {
- if (Keywords.containsKey(var0)) {
- return (Integer)Keywords.get(var0);
- } else {
- return AuxilliaryDictionary.containsKey(var0) ? (Integer)AuxilliaryDictionary.get(var0) : -1;
- }
- }
-
- static int getAttribute(String var0) {
- return var0 != null && AttributeTypes.containsKey(var0.toLowerCase()) ? (Integer)AttributeTypes.get(var0) : -1;
- }
-
- public static int getKeyword(String var0) {
- return Keywords.containsKey(var0) ? (Integer)Keywords.get(var0) : -1;
- }
-
- static {
- Keywords.put("math", new Integer(1));
- Keywords.put("mi", new Integer(2));
- Keywords.put("mn", new Integer(3));
- Keywords.put("mo", new Integer(4));
- Keywords.put("mtext", new Integer(6));
- Keywords.put("mspace", new Integer(7));
- Keywords.put("ms", new Integer(8));
- Keywords.put("mstyle", new Integer(9));
- Keywords.put("merror", new Integer(10));
- Keywords.put("mphantom", new Integer(11));
- Keywords.put("mrow", new Integer(12));
- Keywords.put("mfrac", new Integer(13));
- Keywords.put("msqrt", new Integer(14));
- Keywords.put("mroot", new Integer(15));
- Keywords.put("msub", new Integer(16));
- Keywords.put("msup", new Integer(17));
- Keywords.put("msubsup", new Integer(18));
- Keywords.put("mmultiscripts", new Integer(22));
- Keywords.put("none", new Integer(70));
- Keywords.put("prescripts", new Integer(71));
- Keywords.put("mprescripts", new Integer(71));
- Keywords.put("munder", new Integer(19));
- Keywords.put("mover", new Integer(20));
- Keywords.put("munderover", new Integer(21));
- Keywords.put("mtable", new Integer(23));
- Keywords.put("mtr", new Integer(24));
- Keywords.put("mtd", new Integer(25));
- Keywords.put("maction", new Integer(26));
- Keywords.put("mfenced", new Integer(27));
- Keywords.put("maligngroup", new Integer(72));
- Keywords.put("malignmark", new Integer(73));
- Keywords.put("mpadded", new Integer(28));
- Keywords.put("ne", new Integer(198));
- Keywords.put("neq", new Integer(198));
- Keywords.put("eq", new Integer(101));
- Keywords.put("lt", new Integer(102));
- Keywords.put("leq", new Integer(103));
- Keywords.put("gt", new Integer(104));
- Keywords.put("geq", new Integer(105));
- Keywords.put("notin", new Integer(106));
- Keywords.put("notsubset", new Integer(107));
- Keywords.put("notprsubset", new Integer(108));
- Keywords.put("in", new Integer(109));
- Keywords.put("subset", new Integer(110));
- Keywords.put("prsubset", new Integer(111));
- Keywords.put("tendsto", new Integer(112));
- Keywords.put("inverse", new Integer(113));
- Keywords.put("sep", new Integer(114));
- Keywords.put("exp", new Integer(115));
- Keywords.put("factorial", new Integer(116));
- Keywords.put("div", new Integer(118));
- Keywords.put("divide", new Integer(118));
- Keywords.put("over", new Integer(118));
- Keywords.put("minus", new Integer(119));
- Keywords.put("power", new Integer(120));
- Keywords.put("rem", new Integer(121));
- Keywords.put("quotient", new Integer(190));
- Keywords.put("idiv", new Integer(190));
- Keywords.put("plus", new Integer(122));
- Keywords.put("times", new Integer(123));
- Keywords.put("max", new Integer(124));
- Keywords.put("min", new Integer(125));
- Keywords.put("gcd", new Integer(126));
- Keywords.put("root", new Integer(127));
- Keywords.put("ln", new Integer(128));
- Keywords.put("log", new Integer(129));
- Keywords.put("int", new Integer(130));
- Keywords.put("diff", new Integer(131));
- Keywords.put("partialdiff", new Integer(132));
- Keywords.put("totaldiff", new Integer(133));
- Keywords.put("sum", new Integer(134));
- Keywords.put("product", new Integer(135));
- Keywords.put("limit", new Integer(136));
- Keywords.put("sin", new Integer(137));
- Keywords.put("cos", new Integer(138));
- Keywords.put("tan", new Integer(139));
- Keywords.put("sec", new Integer(140));
- Keywords.put("csc", new Integer(141));
- Keywords.put("cosec", new Integer(141));
- Keywords.put("cot", new Integer(142));
- Keywords.put("cotan", new Integer(142));
- Keywords.put("sinh", new Integer(143));
- Keywords.put("cosh", new Integer(144));
- Keywords.put("tanh", new Integer(145));
- Keywords.put("sech", new Integer(146));
- Keywords.put("csch", new Integer(147));
- Keywords.put("cosech", new Integer(147));
- Keywords.put("coth", new Integer(148));
- Keywords.put("cotanh", new Integer(148));
- Keywords.put("arcsin", new Integer(149));
- Keywords.put("arccos", new Integer(150));
- Keywords.put("arctan", new Integer(151));
- Keywords.put("arcsec", new Integer(290));
- Keywords.put("arccsc", new Integer(291));
- Keywords.put("arccot", new Integer(292));
- Keywords.put("arcsinh", new Integer(293));
- Keywords.put("arccosh", new Integer(294));
- Keywords.put("arctanh", new Integer(295));
- Keywords.put("arccsch", new Integer(297));
- Keywords.put("arcsech", new Integer(296));
- Keywords.put("arccoth", new Integer(298));
- Keywords.put("moment", new Integer(152));
- Keywords.put("mean", new Integer(153));
- Keywords.put("sdev", new Integer(154));
- Keywords.put("var", new Integer(155));
- Keywords.put("variance", new Integer(155));
- Keywords.put("median", new Integer(156));
- Keywords.put("mode", new Integer(157));
- Keywords.put("select", new Integer(158));
- Keywords.put("selector", new Integer(158));
- Keywords.put("determinant", new Integer(159));
- Keywords.put("det", new Integer(159));
- Keywords.put("transpose", new Integer(160));
- Keywords.put("t", new Integer(160));
- Keywords.put("T", new Integer(160));
- Keywords.put("not", new Integer(161));
- Keywords.put("implies", new Integer(162));
- Keywords.put("and", new Integer(163));
- Keywords.put("or", new Integer(164));
- Keywords.put("xor", new Integer(165));
- Keywords.put("setdiff", new Integer(166));
- Keywords.put("union", new Integer(167));
- Keywords.put("intersect", new Integer(168));
- Keywords.put("ci", new Integer(169));
- Keywords.put("cn", new Integer(170));
- Keywords.put("apply", new Integer(171));
- Keywords.put("fn", new Integer(172));
- Keywords.put("lambda", new Integer(173));
- Keywords.put("interval", new Integer(174));
- Keywords.put("list", new Integer(175));
- Keywords.put("matrix", new Integer(176));
- Keywords.put("matrixrow", new Integer(177));
- Keywords.put("set", new Integer(178));
- Keywords.put("vector", new Integer(179));
- Keywords.put("condition", new Integer(180));
- Keywords.put("declare", new Integer(181));
- Keywords.put("reln", new Integer(182));
- Keywords.put("e", new Integer(182));
- Keywords.put("lowlimit", new Integer(183));
- Keywords.put("uplimit", new Integer(184));
- Keywords.put("bvar", new Integer(185));
- Keywords.put("degree", new Integer(186));
- Keywords.put("semantics", new Integer(187));
- Keywords.put("annotation", new Integer(188));
- Keywords.put("xmlannotation", new Integer(189));
- Keywords.put("annotation-xml", new Integer(189));
- Keywords.put("compose", new Integer(191));
- Keywords.put("abs", new Integer(192));
- Keywords.put("ceiling", new Integer(299));
- Keywords.put("floor", new Integer(300));
- Keywords.put("conjugate", new Integer(193));
- Keywords.put("logbase", new Integer(194));
- Keywords.put("ident", new Integer(195));
- Keywords.put("forall", new Integer(196));
- Keywords.put("exists", new Integer(197));
- Keywords.put("csymbol", new Integer(250));
- Keywords.put("integers", new Integer(251));
- Keywords.put("reals", new Integer(252));
- Keywords.put("rationals", new Integer(253));
- Keywords.put("naturalnumbers", new Integer(254));
- Keywords.put("complexes", new Integer(255));
- Keywords.put("primes", new Integer(256));
- Keywords.put("exponentiale", new Integer(257));
- Keywords.put("imaginaryi", new Integer(258));
- Keywords.put("notanumber", new Integer(259));
- Keywords.put("true", new Integer(260));
- Keywords.put("false", new Integer(261));
- Keywords.put("eulergamma", new Integer(262));
- Keywords.put("pi", new Integer(263));
- Keywords.put("emptyset", new Integer(264));
- Keywords.put("infinity", new Integer(265));
- Keywords.put("equivalent", new Integer(266));
- Keywords.put("approx", new Integer(267));
- Keywords.put("divergence", new Integer(268));
- Keywords.put("grad", new Integer(269));
- Keywords.put("curl", new Integer(270));
- Keywords.put("laplacian", new Integer(271));
- Keywords.put("card", new Integer(272));
- Keywords.put("arg", new Integer(273));
- Keywords.put("lcm", new Integer(274));
- Keywords.put("real", new Integer(275));
- Keywords.put("imaginary", new Integer(276));
- Keywords.put("vectorproduct", new Integer(277));
- Keywords.put("scalarproduct", new Integer(278));
- Keywords.put("outerproduct", new Integer(279));
- AttributeTypes.put("fontsize", new Integer(0));
- AttributeTypes.put("fontweight", new Integer(1));
- AttributeTypes.put("fontstyle", new Integer(2));
- AttributeTypes.put("fontslant", new Integer(2));
- AttributeTypes.put("fontfamily", new Integer(3));
- AttributeTypes.put("color", new Integer(4));
- AttributeTypes.put("fontcolor", new Integer(4));
- AttributeTypes.put("lspace", new Integer(5));
- AttributeTypes.put("rspace", new Integer(6));
- AttributeTypes.put("stretchy", new Integer(7));
- AttributeTypes.put("symmetric", new Integer(8));
- AttributeTypes.put("maxsize", new Integer(9));
- AttributeTypes.put("minsize", new Integer(10));
- AttributeTypes.put("largeop", new Integer(11));
- AttributeTypes.put("moveablelimits", new Integer(12));
- AttributeTypes.put("form", new Integer(13));
- AttributeTypes.put("width", new Integer(14));
- AttributeTypes.put("height", new Integer(15));
- AttributeTypes.put("depth", new Integer(16));
- AttributeTypes.put("background", new Integer(17));
- AttributeTypes.put("lquote", new Integer(18));
- AttributeTypes.put("rquote", new Integer(19));
- AttributeTypes.put("scriptlevel", new Integer(20));
- AttributeTypes.put("displaystyle", new Integer(21));
- AttributeTypes.put("scriptsizemultiplier", new Integer(22));
- AttributeTypes.put("scriptminsize", new Integer(23));
- AttributeTypes.put("linethickness", new Integer(24));
- AttributeTypes.put("subscriptshift", new Integer(25));
- AttributeTypes.put("superscriptshift", new Integer(26));
- AttributeTypes.put("accentunder", new Integer(27));
- AttributeTypes.put("accent", new Integer(28));
- AttributeTypes.put("align", new Integer(29));
- AttributeTypes.put("rowalign", new Integer(30));
- AttributeTypes.put("columnalign", new Integer(31));
- AttributeTypes.put("rowspacing", new Integer(32));
- AttributeTypes.put("columnspacing", new Integer(33));
- AttributeTypes.put("rowlines", new Integer(34));
- AttributeTypes.put("columnlines", new Integer(35));
- AttributeTypes.put("frame", new Integer(36));
- AttributeTypes.put("framespacing", new Integer(37));
- AttributeTypes.put("equalrows", new Integer(38));
- AttributeTypes.put("equalcolumns", new Integer(39));
- AttributeTypes.put("rowspan", new Integer(40));
- AttributeTypes.put("columnspan", new Integer(41));
- AttributeTypes.put("open", new Integer(42));
- AttributeTypes.put("close", new Integer(43));
- AttributeTypes.put("separators", new Integer(52));
- AttributeTypes.put("actiontype", new Integer(46));
- AttributeTypes.put("other", new Integer(45));
- AttributeTypes.put("closure", new Integer(47));
- AttributeTypes.put("type", new Integer(50));
- AttributeTypes.put("base", new Integer(51));
- AttributeTypes.put("edge", new Integer(60));
- AttributeTypes.put("groupalign", new Integer(61));
- AttributeTypes.put("alignmentscope", new Integer(62));
- AttributeTypes.put("fence", new Integer(53));
- AttributeTypes.put("separator", new Integer(44));
- AttributeTypes.put("selection", new Integer(63));
- AttributeTypes.put("encoding", new Integer(55));
- AttributeTypes.put("nargs", new Integer(56));
- AttributeTypes.put("occurrence", new Integer(57));
- AttributeTypes.put("order", new Integer(58));
- AttributeTypes.put("scope", new Integer(59));
- AttributeTypes.put("definition", new Integer(54));
- AttributeTypes.put("definitionURL", new Integer(54));
- AttributeTypes.put("definitionurl", new Integer(54));
- AttributeTypes.put("class", new Integer(64));
- AttributeTypes.put("style", new Integer(65));
- AttributeTypes.put("id", new Integer(66));
- AttributeTypes.put("xref", new Integer(67));
- AttributeTypes.put("mathvariant", new Integer(82));
- AttributeTypes.put("mathsize", new Integer(81));
- AttributeTypes.put("mathcolor", new Integer(79));
- AttributeTypes.put("mathbackground", new Integer(80));
- AttributeTypes.put("dsi:filled", new Integer(49));
- AttributeTypes.put("dsi:overlap", new Integer(48));
- AttributeTypes.put("dsi:color", new Integer(68));
- AttributeTypes.put("dsi:background", new Integer(69));
- AttributeTypes.put("dsi:cue1", new Integer(70));
- AttributeTypes.put("dsi:cue2", new Integer(71));
- AttributeTypes.put("dsi:href", new Integer(72));
- AttributeTypes.put("macros", new Integer(83));
- AttributeTypes.put("display", new Integer(84));
- AttributeTypes.put("mode", new Integer(85));
- AuxilliaryDictionary.put(String.valueOf('+'), new Integer(122));
- AuxilliaryDictionary.put(String.valueOf('−'), new Integer(119));
- AuxilliaryDictionary.put("-", new Integer(119));
- AuxilliaryDictionary.put(String.valueOf('┬▒'), new Integer(199));
- AuxilliaryDictionary.put("/", new Integer(118));
- AuxilliaryDictionary.put(String.valueOf('├╖'), new Integer(118));
- AuxilliaryDictionary.put("*", new Integer(123));
- AuxilliaryDictionary.put(String.valueOf('='), new Integer(101));
- AuxilliaryDictionary.put(String.valueOf('<'), new Integer(102));
- AuxilliaryDictionary.put(String.valueOf('>'), new Integer(104));
- AuxilliaryDictionary.put(String.valueOf('Γëñ'), new Integer(103));
- AuxilliaryDictionary.put(String.valueOf('≥'), new Integer(105));
- AuxilliaryDictionary.put(String.valueOf('Γëá'), new Integer(198));
- AuxilliaryDictionary.put(String.valueOf('Γëí'), new Integer(266));
- AuxilliaryDictionary.put(String.valueOf('Γçö'), new Integer(266));
- AuxilliaryDictionary.put(String.valueOf('Γëê'), new Integer(267));
- AuxilliaryDictionary.put(String.valueOf('Γäæ'), new Integer(276));
- AuxilliaryDictionary.put(String.valueOf('ℜ'), new Integer(275));
- AuxilliaryDictionary.put(String.valueOf('Γêç'), new Integer(269));
- AuxilliaryDictionary.put('Γêç' + String.valueOf('┬╖'), new Integer(268));
- AuxilliaryDictionary.put('∇' + String.valueOf('×'), new Integer(270));
- AuxilliaryDictionary.put(String.valueOf(''), new Integer(172));
- AuxilliaryDictionary.put(String.valueOf('\ufffb'), new Integer(123));
- AuxilliaryDictionary.put("!", new Integer(116));
- AuxilliaryDictionary.put(String.valueOf('Γê½'), new Integer(130));
- AuxilliaryDictionary.put(String.valueOf('Γêæ'), new Integer(134));
- AuxilliaryDictionary.put(String.valueOf('∏'), new Integer(135));
- AuxilliaryDictionary.put(String.valueOf('×'), new Integer(123));
- AuxilliaryDictionary.put(String.valueOf('┬╖'), new Integer(278));
- AuxilliaryDictionary.put(String.valueOf('Γêÿ'), new Integer(191));
- AuxilliaryDictionary.put("lim", new Integer(136));
- AuxilliaryDictionary.put(String.valueOf('→'), new Integer(112));
- AuxilliaryDictionary.put(String.valueOf('Γåÿ'), new Integer(112));
- AuxilliaryDictionary.put(String.valueOf('Γåù'), new Integer(112));
- AuxilliaryDictionary.put(String.valueOf('Γåæ'), new Integer(112));
- AuxilliaryDictionary.put(String.valueOf('Γåô'), new Integer(112));
- AuxilliaryDictionary.put(String.valueOf('Γàå'), new Integer(131));
- AuxilliaryDictionary.put(String.valueOf('Γàà'), new Integer(131));
- AuxilliaryDictionary.put(String.valueOf('Γêé'), new Integer(132));
- AuxilliaryDictionary.put(String.valueOf('¬'), new Integer(161));
- AuxilliaryDictionary.put(String.valueOf('∧'), new Integer(163));
- AuxilliaryDictionary.put(String.valueOf('Γê¿'), new Integer(164));
- AuxilliaryDictionary.put(String.valueOf('Γêâ'), new Integer(197));
- AuxilliaryDictionary.put(String.valueOf('Γêä'), new Integer(329));
- AuxilliaryDictionary.put(String.valueOf('∀'), new Integer(196));
- AuxilliaryDictionary.put(String.valueOf('⇒'), new Integer(162));
- AuxilliaryDictionary.put(String.valueOf('∪'), new Integer(167));
- AuxilliaryDictionary.put(String.valueOf('∩'), new Integer(168));
- AuxilliaryDictionary.put(String.valueOf('Γèå'), new Integer(110));
- AuxilliaryDictionary.put(String.valueOf('Γèé'), new Integer(111));
- AuxilliaryDictionary.put(String.valueOf('Γêê'), new Integer(109));
- AuxilliaryDictionary.put(String.valueOf('Γêë'), new Integer(106));
- AuxilliaryDictionary.put(String.valueOf('Γèä'), new Integer(108));
- AuxilliaryDictionary.put(String.valueOf('Γèê'), new Integer(107));
- AuxilliaryDictionary.put(String.valueOf('Γêû'), new Integer(166));
- AuxilliaryDictionary.put(String.valueOf('Γèù'), new Integer(279));
- AuxilliaryDictionary.put(String.valueOf('Γèò'), new Integer(279));
- AuxilliaryDictionary.put(String.valueOf('∥'), new Integer(302));
- AuxilliaryDictionary.put(String.valueOf('∦'), new Integer(303));
- AuxilliaryDictionary.put(String.valueOf('←'), new Integer(304));
- AuxilliaryDictionary.put(String.valueOf('⇐'), new Integer(305));
- AuxilliaryDictionary.put(String.valueOf('Γåö'), new Integer(306));
- AuxilliaryDictionary.put(String.valueOf('Γåò'), new Integer(307));
- AuxilliaryDictionary.put(String.valueOf('ΓåÖ'), new Integer(308));
- AuxilliaryDictionary.put(String.valueOf('Γåû'), new Integer(309));
- AuxilliaryDictionary.put(String.valueOf('↪'), new Integer(310));
- AuxilliaryDictionary.put(String.valueOf('↩'), new Integer(311));
- AuxilliaryDictionary.put(String.valueOf('↦'), new Integer(312));
- AuxilliaryDictionary.put(String.valueOf('⇀'), new Integer(313));
- AuxilliaryDictionary.put(String.valueOf('↼'), new Integer(314));
- AuxilliaryDictionary.put(String.valueOf('Γë«'), new Integer(320));
- AuxilliaryDictionary.put(String.valueOf('Γë»'), new Integer(321));
- AuxilliaryDictionary.put(String.valueOf('\ue270'), new Integer(322));
- AuxilliaryDictionary.put(String.valueOf('\ue271'), new Integer(323));
- AuxilliaryDictionary.put(String.valueOf('Γë¿'), new Integer(324));
- AuxilliaryDictionary.put(String.valueOf('≩'), new Integer(325));
- AuxilliaryDictionary.put(String.valueOf('Γëà'), new Integer(326));
- AuxilliaryDictionary.put(String.valueOf('∼'), new Integer(327));
- AuxilliaryDictionary.put(String.valueOf('Γëó'), new Integer(328));
- AuxilliaryDictionary.put(String.valueOf('Γëç'), new Integer(330));
- AuxilliaryDictionary.put(String.valueOf('Γëü'), new Integer(331));
- AuxilliaryDictionary.put(String.valueOf('Γëë'), new Integer(332));
- }
- }
-