home *** CD-ROM | disk | FTP | other *** search
/ PC Pro 2001 December / dppcpro1201.iso / Extras / maple / Viewer / WebEQ / MMLViewerInstall.cab / MMLViewerApplet.cab / webeq3 / constants / CommandIDDictionary.class (.txt) < prev    next >
Encoding:
Java Class File  |  2001-05-24  |  4.5 KB  |  122 lines

  1. package webeq3.constants;
  2.  
  3. import java.util.Hashtable;
  4.  
  5. public class CommandIDDictionary implements CommandIDConstants {
  6.    public static final Hashtable CommandIDTable = new Hashtable(75);
  7.  
  8.    public static int getCommandID(String var0) {
  9.       Object var1 = CommandIDTable.get(var0);
  10.       return var1 == null ? -1 : (Integer)var1;
  11.    }
  12.  
  13.    static {
  14.       CommandIDTable.put("CUT", new Integer(70));
  15.       CommandIDTable.put("COPY", new Integer(71));
  16.       CommandIDTable.put("PASTE", new Integer(72));
  17.       CommandIDTable.put("UNDO", new Integer(73));
  18.       CommandIDTable.put("BIGGER", new Integer(74));
  19.       CommandIDTable.put("SMALLER", new Integer(75));
  20.       CommandIDTable.put("SHOWSYMBOLPALETTE", new Integer(666));
  21.       CommandIDTable.put("SHOWEDITORHELP", new Integer(77));
  22.       CommandIDTable.put("SHOWABOUT", new Integer(100));
  23.       CommandIDTable.put("SHOWAPPLETOPTIONS", new Integer(101));
  24.       CommandIDTable.put("SHOWADVANCEDPROPS", new Integer(102));
  25.       CommandIDTable.put("SHOWIMAGEOPTIONS", new Integer(103));
  26.       CommandIDTable.put("SHOWMATHMLOPTIONS", new Integer(104));
  27.       CommandIDTable.put("COPYAPPLETTAG", new Integer(105));
  28.       CommandIDTable.put("COPYASMATHML", new Integer(106));
  29.       CommandIDTable.put("COPYIMAGETAG", new Integer(107));
  30.       CommandIDTable.put("SHOWCLIPBOARD", new Integer(108));
  31.       CommandIDTable.put("SAVEASAPPLET", new Integer(109));
  32.       CommandIDTable.put("SAVEASIMAGE", new Integer(110));
  33.       CommandIDTable.put("SAVEASMATHML", new Integer(111));
  34.       CommandIDTable.put("SHOWFONTPROPS", new Integer(112));
  35.       CommandIDTable.put("SHOWOPPROPS", new Integer(113));
  36.       CommandIDTable.put("SHOWMATRIXPROPS", new Integer(114));
  37.       CommandIDTable.put("SHOWLAYOUTPROPS", new Integer(115));
  38.       CommandIDTable.put("SHOWACTIONPROPS", new Integer(116));
  39.       CommandIDTable.put("SHOWGENERALPREFS", new Integer(117));
  40.       CommandIDTable.put("CHECKSYNTAX", new Integer(76));
  41.       CommandIDTable.put("LAYOUTPALETTE", new Integer(0));
  42.       CommandIDTable.put("FRAC", new Integer(7));
  43.       CommandIDTable.put("SQRT", new Integer(8));
  44.       CommandIDTable.put("ROOT", new Integer(9));
  45.       CommandIDTable.put("SUB", new Integer(1));
  46.       CommandIDTable.put("SUP", new Integer(2));
  47.       CommandIDTable.put("SUBSUP", new Integer(3));
  48.       CommandIDTable.put("UNDER", new Integer(4));
  49.       CommandIDTable.put("OVER", new Integer(5));
  50.       CommandIDTable.put("UNDEROVER", new Integer(6));
  51.       CommandIDTable.put("MAKEMSTYLE", new Integer(200));
  52.       CommandIDTable.put("MAKEMROW", new Integer(201));
  53.       CommandIDTable.put("MAKETOGGLE", new Integer(202));
  54.       CommandIDTable.put("MAKELINK", new Integer(203));
  55.       CommandIDTable.put("MAKEMOUSEOVER", new Integer(204));
  56.       CommandIDTable.put("MAKEMI", new Integer(205));
  57.       CommandIDTable.put("MAKEMN", new Integer(206));
  58.       CommandIDTable.put("MAKEMO", new Integer(207));
  59.       CommandIDTable.put("FENCEPALETTE", new Integer(10));
  60.       CommandIDTable.put("PARENS", new Integer(11));
  61.       CommandIDTable.put("BRACKETS", new Integer(12));
  62.       CommandIDTable.put("BRACES", new Integer(13));
  63.       CommandIDTable.put("ANGLES", new Integer(14));
  64.       CommandIDTable.put("ABSBARS", new Integer(15));
  65.       CommandIDTable.put("CEILS", new Integer(16));
  66.       CommandIDTable.put("FLOORS", new Integer(17));
  67.       CommandIDTable.put("NORMBARS", new Integer(18));
  68.       CommandIDTable.put("ACCENTPALETTE", new Integer(19));
  69.       CommandIDTable.put("BAR", new Integer(20));
  70.       CommandIDTable.put("RAY", new Integer(21));
  71.       CommandIDTable.put("VEC", new Integer(22));
  72.       CommandIDTable.put("PRIME", new Integer(23));
  73.       CommandIDTable.put("DOT", new Integer(24));
  74.       CommandIDTable.put("DDOT", new Integer(25));
  75.       CommandIDTable.put("TILDE", new Integer(26));
  76.       CommandIDTable.put("HAT", new Integer(27));
  77.       CommandIDTable.put("LINE", new Integer(28));
  78.       CommandIDTable.put("TRIGPALETTE", new Integer(29));
  79.       CommandIDTable.put("SIN", new Integer(30));
  80.       CommandIDTable.put("COS", new Integer(31));
  81.       CommandIDTable.put("TAN", new Integer(32));
  82.       CommandIDTable.put("SEC", new Integer(33));
  83.       CommandIDTable.put("CSC", new Integer(34));
  84.       CommandIDTable.put("COT", new Integer(35));
  85.       CommandIDTable.put("ARCCOS", new Integer(36));
  86.       CommandIDTable.put("ARCSIN", new Integer(37));
  87.       CommandIDTable.put("ARCTAN", new Integer(38));
  88.       CommandIDTable.put("MATRIXPALETTE", new Integer(39));
  89.       CommandIDTable.put("MATRIX1X2", new Integer(40));
  90.       CommandIDTable.put("MATRIX2X1", new Integer(41));
  91.       CommandIDTable.put("MATRIX2X2", new Integer(42));
  92.       CommandIDTable.put("MATRIX3X3", new Integer(43));
  93.       CommandIDTable.put("MATRIXNXM", new Integer(44));
  94.       CommandIDTable.put("CALCPALETTE", new Integer(45));
  95.       CommandIDTable.put("DERIVATIVEPALETTE", new Integer(67));
  96.       CommandIDTable.put("INTEGRALPALETTE", new Integer(66));
  97.       CommandIDTable.put("VECTORCALCPALETTE", new Integer(68));
  98.       CommandIDTable.put("DDX", new Integer(46));
  99.       CommandIDTable.put("DELDELX", new Integer(47));
  100.       CommandIDTable.put("INDEFINT", new Integer(48));
  101.       CommandIDTable.put("DEFINT", new Integer(49));
  102.       CommandIDTable.put("SUM", new Integer(50));
  103.       CommandIDTable.put("LOWSUM", new Integer(51));
  104.       CommandIDTable.put("PROD", new Integer(52));
  105.       CommandIDTable.put("LOWPROD", new Integer(53));
  106.       CommandIDTable.put("LIMIT", new Integer(54));
  107.       CommandIDTable.put("DIV", new Integer(55));
  108.       CommandIDTable.put("GRAD", new Integer(56));
  109.       CommandIDTable.put("CURL", new Integer(57));
  110.       CommandIDTable.put("LOGICPALETTE", new Integer(58));
  111.       CommandIDTable.put("RELATIONPALETTE", new Integer(59));
  112.       CommandIDTable.put("OPERATORPALETTE", new Integer(60));
  113.       CommandIDTable.put("SYMBOLPALETTE", new Integer(61));
  114.       CommandIDTable.put("LCGREEKPALETTE", new Integer(62));
  115.       CommandIDTable.put("UCGREEKPALETTE", new Integer(63));
  116.       CommandIDTable.put("ARROWPALETTE", new Integer(64));
  117.       CommandIDTable.put("SETTHEORYPALETTE", new Integer(65));
  118.       CommandIDTable.put("TOOLBOX", new Integer(69));
  119.       CommandIDTable.put("HELP", new Integer(77));
  120.    }
  121. }
  122.