home *** CD-ROM | disk | FTP | other *** search
/ PC Pro 2001 December / dppcpro1201.iso / Extras / maple / Viewer / WebEQ / MMLViewerInstall.cab / MMLViewerApplet.cab / webeq3 / schema / MO.class (.txt) < prev    next >
Encoding:
Java Class File  |  2001-05-24  |  12.0 KB  |  616 lines
  1. package webeq3.schema;
  2.  
  3. import java.awt.Graphics;
  4. import java.util.EmptyStackException;
  5. import java.util.Hashtable;
  6. import webeq3.app.Equation;
  7. import webeq3.constants.AttributeConstants;
  8. import webeq3.constants.OperatorDictionary;
  9. import webeq3.constants.OperatorProperty;
  10. import webeq3.fonts.CharRender;
  11. import webeq3.fonts.ExtendedChar;
  12. import webeq3.util.OutputHandler;
  13.  
  14. // $FF: renamed from: webeq3.schema.MO
  15. public class class_0 extends Box {
  16.    // $FF: renamed from: op webeq3.constants.OperatorProperty
  17.    OperatorProperty field_0 = null;
  18.    boolean opSet = false;
  19.    boolean noLayout = false;
  20.    boolean marginTweak = false;
  21.    private static Hashtable parentCheck = new Hashtable();
  22.  
  23.    public class_0() {
  24.       super.type = 2;
  25.       super.embellished_op = true;
  26.    }
  27.  
  28.    public class_0(Box var1) {
  29.       super(var1);
  30.       super.type = 2;
  31.       super.embellished_op = true;
  32.    }
  33.  
  34.    public class_0(Equation var1) {
  35.       super(var1);
  36.       super.type = 2;
  37.       super.embellished_op = true;
  38.    }
  39.  
  40.    public void dictLookUp() {
  41.       String var1 = super.udata;
  42.       if ("".equals(super.udata)) {
  43.          Character var2 = new Character('∩┐╜');
  44.          var1 = var2.toString();
  45.       }
  46.  
  47.       String var5 = ((Box)this).getAttributeByIndex(13);
  48.       if (var5 != null && "prefix".equals(var5)) {
  49.          this.field_0 = OperatorDictionary.lookUp("_pre_" + var1);
  50.       } else if (var5 != null && "postfix".equals(var5)) {
  51.          this.field_0 = OperatorDictionary.lookUp("_post_" + var1);
  52.       } else if (var5 != null && "infix".equals(var5)) {
  53.          this.field_0 = OperatorDictionary.lookUp(var1);
  54.       } else {
  55.          Object var3;
  56.          for(var3 = this; this.parentCheck((Box)var3); var3 = ((Box)var3).parent) {
  57.          }
  58.  
  59.          if (((Box)var3).parent != null) {
  60.             if (((Box)var3).parent.getNumChildren() == 1) {
  61.                this.field_0 = OperatorDictionary.lookUp(var1);
  62.             } else {
  63.                int var4;
  64.                for(var4 = 0; ((Box)var3).parent.getChild(var4).is_spacelike; ++var4) {
  65.                }
  66.  
  67.                if (((Box)var3).box_id == var4) {
  68.                   this.field_0 = OperatorDictionary.lookUp("_pre_" + var1);
  69.                } else if (((Box)var3).box_id == ((Box)var3).parent.getNumChildren() - 1) {
  70.                   this.field_0 = OperatorDictionary.lookUp("_post_" + var1);
  71.                } else {
  72.                   this.field_0 = OperatorDictionary.lookUp(var1);
  73.                }
  74.             }
  75.          } else {
  76.             this.field_0 = OperatorDictionary.lookUp(var1);
  77.          }
  78.       }
  79.  
  80.       this.opSet = true;
  81.    }
  82.  
  83.    public String getAttributeString(int var1) {
  84.       Object var2 = null;
  85.       String var5;
  86.       if (super.attributes[var1] != null) {
  87.          var5 = super.attributes[var1];
  88.       } else {
  89.          try {
  90.             var5 = (String)super.attribute_stack[var1].peek();
  91.          } catch (EmptyStackException var4) {
  92.             var5 = AttributeConstants.defaultValue[var1];
  93.             if (var1 == 28) {
  94.                if (!this.opSet) {
  95.                   this.dictLookUp();
  96.                }
  97.  
  98.                if (this.field_0.accent) {
  99.                   var5 = "true";
  100.                }
  101.             }
  102.  
  103.             if (var1 == 7) {
  104.                if (!this.opSet) {
  105.                   this.dictLookUp();
  106.                }
  107.  
  108.                if (this.field_0.stretchy) {
  109.                   var5 = "true";
  110.                }
  111.             }
  112.          }
  113.       }
  114.  
  115.       if (var5 != null) {
  116.          var5.toLowerCase();
  117.       }
  118.  
  119.       return var5.trim();
  120.    }
  121.  
  122.    public Box getCopy() {
  123.       class_0 var1 = (class_0)super.getCopy();
  124.       if (this.field_0 != null) {
  125.          var1.field_0 = this.field_0.copy();
  126.       }
  127.  
  128.       return var1;
  129.    }
  130.  
  131.    public OperatorProperty getOperatorProperty() {
  132.       return this.field_0;
  133.    }
  134.  
  135.    public boolean isBinary() {
  136.       return this.field_0 != null ? this.field_0.binaryop : false;
  137.    }
  138.  
  139.    public int getLSpace() {
  140.       return this.field_0 != null ? this.field_0.lspace : 0;
  141.    }
  142.  
  143.    public void setfont(int var1) {
  144.       var1 = ((Box)this).resolveDepth(var1);
  145.       super.setfont(var1);
  146.       char var2 = super.data[0].getChar();
  147.       switch (var2) {
  148.          case 'Γê½':
  149.          case 'Γê¼':
  150.          case 'Γê¡':
  151.          case 'Γê«':
  152.          case '\ue22b':
  153.          case '\ue22c':
  154.          case '\ue22d':
  155.          case '\ue22e':
  156.             super.italic = true;
  157.          default:
  158.       }
  159.    }
  160.  
  161.    void setMarginTweak(boolean var1) {
  162.       this.marginTweak = var1;
  163.    }
  164.  
  165.    public void setProperty(OperatorProperty var1) {
  166.       this.field_0 = var1;
  167.    }
  168.  
  169.    public void layout() {
  170.       if (this.noLayout) {
  171.          this.noLayout = false;
  172.       } else {
  173.          super.left = 0;
  174.          super.top = 0;
  175.          super.width = 0;
  176.          super.ascent = 0;
  177.          super.descent = 0;
  178.          this.size();
  179.       }
  180.    }
  181.  
  182.    public boolean stretchTo(int var1, int var2) {
  183.       int var3 = 0;
  184.       if (!this.field_0.stretchy) {
  185.          return false;
  186.       } else if (super.udata.length() != 1 || super.udata.charAt(0) != '\ue1c0' && super.udata.charAt(0) != 175 && super.udata.charAt(0) != 770 && super.udata.charAt(0) != 10003 && super.udata.charAt(0) != '\uf612' && super.udata.charAt(0) != '\uf613' && super.udata.charAt(0) != '\ue190' && super.udata.charAt(0) != '\ue192' && super.udata.charAt(0) != '\ue194' && super.udata.charAt(0) != 732) {
  187.          String var4 = ((Box)this).getAttributeByIndex(8);
  188.          var4 = var4.length() == 0 ? (this.field_0.symmetric ? "true" : "false") : var4;
  189.          if ("false".equals(var4)) {
  190.             var3 = (var1 - var2) / 2;
  191.          } else {
  192.             var3 = (int)((double)0.5F * (double)super.xheight);
  193.          }
  194.  
  195.          int var5 = var1 - var3;
  196.          int var6 = var2 + var3;
  197.          if (var5 > var6) {
  198.             var6 = var5;
  199.          } else {
  200.             var5 = var6;
  201.          }
  202.  
  203.          double var9 = (double)0.0F;
  204.          String var7 = this.getAttributeString(10);
  205.          String var8 = ((Box)this).getAttributeByIndex(10);
  206.  
  207.          try {
  208.             var9 = Double.valueOf(var8);
  209.  
  210.             try {
  211.                double var11 = Double.valueOf(var7.trim());
  212.             } catch (Exception var17) {
  213.                var9 = var9 * (double)super.xheight / (double)super.height;
  214.             }
  215.          } catch (Exception var18) {
  216.             var9 = this.field_0.minsize;
  217.          }
  218.  
  219.          double var25 = (double)10000.0F;
  220.          var7 = this.getAttributeString(9);
  221.          var8 = ((Box)this).getAttributeByIndex(9);
  222.          var8 = var8.equals("infinity") ? "10000.0" : var8;
  223.  
  224.          try {
  225.             var25 = Double.valueOf(var8);
  226.  
  227.             try {
  228.                double var13 = Double.valueOf(var7.trim());
  229.             } catch (Exception var15) {
  230.                var25 = var25 * (double)super.xheight / (double)super.height;
  231.             }
  232.          } catch (Exception var16) {
  233.             var25 = this.field_0.maxsize;
  234.          }
  235.  
  236.          if ((double)(var5 + var6) < var9 * (double)super.height) {
  237.             var5 = (int)(var9 * (double)super.height / (double)2.0F);
  238.             var6 = (int)(var9 * (double)super.height - (double)var5);
  239.          }
  240.  
  241.          if ((double)(var5 + var6) > var25 * (double)super.height) {
  242.             var5 = (int)(var25 * (double)super.height / (double)2.0F);
  243.             var6 = (int)(var25 * (double)super.height - (double)var5);
  244.          }
  245.  
  246.          if (Math.abs(super.descent - var6 + var3) > 2) {
  247.             super.descent = (int)(1.06 * (double)(var6 - var3));
  248.          }
  249.  
  250.          if (Math.abs(super.ascent - var5 - var3) > 2) {
  251.             super.ascent = (int)(1.06 * (double)(var5 + var3));
  252.          }
  253.  
  254.          super.height = super.ascent + super.descent;
  255.          return true;
  256.       } else {
  257.          return false;
  258.       }
  259.    }
  260.  
  261.    public boolean widthTo(int var1) {
  262.       if (this.field_0.stretchy && super.udata.length() == 1 && (super.udata.charAt(0) == '\ue190' || super.udata.charAt(0) == '\ue192' || super.udata.charAt(0) == '\ue194' || super.udata.charAt(0) == 175 || super.udata.charAt(0) == '\uf613' || super.udata.charAt(0) == '\uf612' || super.udata.charAt(0) == '\ue1c0')) {
  263.          double var2 = (double)var1 / (double)super.width;
  264.          if (var2 > (double)1.25F) {
  265.             var2 = (double)1.5F;
  266.          }
  267.  
  268.          if (var2 < 0.8) {
  269.             var2 = 0.8;
  270.          }
  271.  
  272.          super.width = var1;
  273.          super.ascent = (int)((double)super.ascent * var2);
  274.          super.descent = (int)((double)super.descent * var2);
  275.          super.height = super.ascent + super.descent;
  276.          return true;
  277.       } else {
  278.          return false;
  279.       }
  280.    }
  281.  
  282.    public void size() {
  283.       boolean var4 = false;
  284.       super.ascent = 0;
  285.       super.descent = 0;
  286.       super.height = 0;
  287.       super.width = 0;
  288.       super.fgcolor = ((Box)this).resolveColor(4);
  289.       super.bgcolor = ((Box)this).resolveColor(17);
  290.       String var5 = ((Box)this).getAttributeByIndex(21);
  291.       if (var5 != null && "true".equals(var5)) {
  292.          var4 = true;
  293.       }
  294.  
  295.       ((Box)this).setData();
  296.       super.atomic = true;
  297.       this.marginTweak = false;
  298.       this.dictLookUp();
  299.       var5 = ((Box)this).getAttributeByIndex(12);
  300.       if (var5.length() > 0) {
  301.          if ("true".equals(var5)) {
  302.             this.field_0.movescripts = true;
  303.          }
  304.  
  305.          if ("false".equals(var5)) {
  306.             this.field_0.movescripts = false;
  307.          }
  308.       }
  309.  
  310.       var5 = ((Box)this).getAttributeByIndex(11);
  311.       if (var5.length() > 0) {
  312.          if ("true".equals(var5)) {
  313.             this.field_0.large = true;
  314.          }
  315.  
  316.          if ("false".equals(var5)) {
  317.             this.field_0.large = false;
  318.          }
  319.       }
  320.  
  321.       if (var5.length() > 0) {
  322.          var5 = ((Box)this).getAttributeByIndex(28);
  323.          if ("true".equals(var5)) {
  324.             this.field_0.accent = true;
  325.          }
  326.  
  327.          if ("false".equals(var5)) {
  328.             this.field_0.accent = false;
  329.          }
  330.       }
  331.  
  332.       ExtendedChar var1;
  333.       try {
  334.          var1 = super.data[0];
  335.       } catch (ArrayIndexOutOfBoundsException var9) {
  336.          var1 = new ExtendedChar('∩┐╜', -1);
  337.          super.data = new ExtendedChar[1];
  338.          super.data[0] = var1;
  339.       }
  340.  
  341.       switch (var1.getChar()) {
  342.          case '+':
  343.             var1 = new ExtendedChar('+', 5);
  344.             break;
  345.          case '-':
  346.             var1 = new ExtendedChar('ΓêÆ', 5);
  347.             break;
  348.          case '=':
  349.             var1 = new ExtendedChar('=', 5);
  350.             break;
  351.          case 'Γàà':
  352.             var1 = new ExtendedChar('D', 0);
  353.             break;
  354.          case 'Γàå':
  355.             var1 = new ExtendedChar('d', 0);
  356.             break;
  357.          case '\ufffb':
  358.             if (super.data.length == 1 && super.udata.equals(String.valueOf('\ufffb')) && super.syntax_info != null) {
  359.                var1 = new ExtendedChar('*', 0);
  360.             }
  361.       }
  362.  
  363.       var5 = ((Box)this).getAttributeByIndex(7);
  364.       if (var5.length() > 0) {
  365.          if ("true".equals(var5)) {
  366.             this.field_0.stretchy = true;
  367.          }
  368.  
  369.          if ("false".equals(var5)) {
  370.             this.field_0.stretchy = false;
  371.          }
  372.       }
  373.  
  374.       switch (var1.getChar()) {
  375.          case '(':
  376.          case ')':
  377.          case '[':
  378.          case ']':
  379.          case '{':
  380.          case '|':
  381.          case '}':
  382.          case '┬»':
  383.          case '╦£':
  384.          case '╠é':
  385.          case 'ΓÇû':
  386.          case 'Γîê':
  387.          case 'Γîë':
  388.          case 'Γîè':
  389.          case 'Γîï':
  390.          case 'Γ£ô':
  391.          case 'πÇê':
  392.          case 'πÇë':
  393.          case '\ue190':
  394.          case '\ue191':
  395.          case '\ue192':
  396.          case '\ue193':
  397.          case '\ue194':
  398.          case '\ue195':
  399.          case '\ue1c0':
  400.          case '\uf612':
  401.          case '\uf613':
  402.             break;
  403.          default:
  404.             this.field_0.stretchy = false;
  405.       }
  406.  
  407.       if (var4 && this.field_0.large) {
  408.          switch (var1.getChar()) {
  409.             case 'ΓêÅ':
  410.                var1 = new ExtendedChar('\ue20f', 11);
  411.                break;
  412.             case 'ΓêÉ':
  413.                var1 = new ExtendedChar('\ue210', 11);
  414.                break;
  415.             case 'Γêæ':
  416.                var1 = new ExtendedChar('\ue211', 11);
  417.                break;
  418.             case 'Γêº':
  419.                var1 = new ExtendedChar('ΓïÇ', 11);
  420.                break;
  421.             case 'Γê¿':
  422.                var1 = new ExtendedChar('\ue261', 11);
  423.                break;
  424.             case 'Γê⌐':
  425.                var1 = new ExtendedChar('Γïé', 11);
  426.                break;
  427.             case 'Γê¬':
  428.                var1 = new ExtendedChar('Γïâ', 11);
  429.                break;
  430.             case 'Γê½':
  431.                var1 = new ExtendedChar('\ue22b', 11);
  432.                break;
  433.             case 'Γê¼':
  434.                var1 = new ExtendedChar('\ue22c', 11);
  435.                break;
  436.             case 'Γê¡':
  437.                var1 = new ExtendedChar('\ue22d', 11);
  438.                break;
  439.             case 'Γê«':
  440.                var1 = new ExtendedChar('\ue22e', 11);
  441.                break;
  442.             case 'Γèò':
  443.                var1 = new ExtendedChar('\ue295', 11);
  444.                break;
  445.             case 'Γèù':
  446.                var1 = new ExtendedChar('\ue997', 11);
  447.                break;
  448.             case 'ΓèÖ':
  449.                var1 = new ExtendedChar('\ue299', 11);
  450.          }
  451.       }
  452.  
  453.       super.data[0] = var1;
  454.       String var6 = ((Box)this).getDeprecatedAttributePair(0, 81);
  455.       if ("small".equals(var6)) {
  456.          var6 = "" + (int)((double)super.my_view.standardPointsize(((Box)this).resolveDepth(super.depth)) * 0.8);
  457.       } else if ("big".equals(var6)) {
  458.          var6 = "" + (int)((double)super.my_view.standardPointsize(((Box)this).resolveDepth(super.depth)) * 1.35);
  459.       } else {
  460.          var6 = ((Box)this).processUnits(var6, 2, 0);
  461.       }
  462.  
  463.       if (var6 != null && !"X".equals(var6)) {
  464.          try {
  465.             ((Box)this).setrawfont(Integer.parseInt(var6));
  466.          } catch (NumberFormatException var8) {
  467.          }
  468.       } else {
  469.          this.setfont(super.depth);
  470.       }
  471.  
  472.       var5 = ((Box)this).getAttributeByIndex(5);
  473.       if (var5.length() > 0) {
  474.          this.field_0.lspace = (int)((double)super.fm.charWidth('M') * Double.valueOf(var5));
  475.       } else {
  476.          this.field_0.lspace = super.fm.charWidth('M') * this.field_0.lspace / 10;
  477.       }
  478.  
  479.       var5 = ((Box)this).getAttributeByIndex(6);
  480.       if (var5.length() > 0) {
  481.          this.field_0.rspace = (int)((double)super.fm.charWidth('M') * Double.valueOf(var5));
  482.       } else {
  483.          this.field_0.rspace = super.fm.charWidth('M') * this.field_0.rspace / 10;
  484.       }
  485.  
  486.       if (super.depth > 0) {
  487.          this.field_0.lspace /= 2;
  488.          this.field_0.rspace /= 2;
  489.       }
  490.  
  491.       for(int var7 = 0; var7 < super.data.length; ++var7) {
  492.          var1 = super.data[var7];
  493.          var1.setFont(super.fn, super.my_view.getHandler().getComponent());
  494.          int var2 = var1.getAscent();
  495.          int var3 = var1.getDescent();
  496.          if (var2 > super.ascent) {
  497.             super.ascent = var2;
  498.          }
  499.  
  500.          if (var3 > super.descent) {
  501.             super.descent = var3;
  502.          }
  503.  
  504.          if (var7 == super.data.length - 1) {
  505.             super.width += var1.getWidth();
  506.          } else {
  507.             super.width += var1.getAdvance();
  508.          }
  509.  
  510.          if (var7 == 0 && var1.getChar() == 'f' && var7 < super.data.length - 1 && var1.getFont().isItalic()) {
  511.             super.width += (int)(0.4 * (double)var1.getWidth());
  512.          }
  513.       }
  514.  
  515.       super.width += this.field_0.lspace + this.field_0.rspace;
  516.       super.height = super.ascent + super.descent;
  517.    }
  518.  
  519.    public void paint(Graphics var1, int var2, int var3) {
  520.       this.noLayout = false;
  521.       if (!this.marginTweak) {
  522.          ((Box)this).paintBackground(var1, var2, var3);
  523.       } else {
  524.          ((Box)this).rvPaint(var1, var2 + super.left + super.my_view.offsetx + this.field_0.lspace, var3 + super.top + super.my_view.offsety, super.width - this.field_0.lspace, super.height);
  525.       }
  526.  
  527.       int var4 = var2 + super.left + super.my_view.offsetx + this.field_0.lspace;
  528.       ExtendedChar var5 = super.data[0];
  529.       if (super.data.length == 1 && this.field_0.stretchy) {
  530.          int var6 = super.width - this.field_0.lspace - this.field_0.rspace;
  531.          if (var5.getAscent() != super.ascent || var5.getDescent() != super.descent || var5.getWidth() != var6) {
  532.             var5 = new ExtendedChar(var5.getChar(), -1);
  533.             var5.setFont(super.fn, super.my_view.getHandler().getComponent());
  534.             var5.setHeight(super.height);
  535.             var5.setWidth(var6);
  536.             var5.setAscent(super.ascent);
  537.          }
  538.       }
  539.  
  540.       int var11 = super.my_view.getDisplayWidth();
  541.       int var7 = var5.getChar() == 'f' && var5.getFont().isItalic() ? (int)(0.4 * (double)var5.getWidth()) : 0;
  542.       if (super.reverse_video) {
  543.          CharRender.paint(var1, var5, var4 + var7, var3 + super.top + super.my_view.offsety + super.ascent, super.bgcolor, super.fgcolor, super.my_view.getHandler().getComponent());
  544.       } else {
  545.          CharRender.paint(var1, var5, var4 + var7, var3 + super.top + super.my_view.offsety + super.ascent, super.fgcolor, super.bgcolor, super.my_view.getHandler().getComponent());
  546.       }
  547.  
  548.       var4 += var5.getAdvance() + var7;
  549.  
  550.       for(int var8 = 1; var8 < super.data.length; ++var8) {
  551.          var5 = super.data[var8];
  552.          if (super.reverse_video) {
  553.             CharRender.paint(var1, var5, var4, var3 + super.top + super.my_view.offsety + super.ascent, super.bgcolor, super.fgcolor, super.my_view.getHandler().getComponent());
  554.          } else {
  555.             CharRender.paint(var1, var5, var4, var3 + super.top + super.my_view.offsety + super.ascent, super.fgcolor, super.bgcolor, super.my_view.getHandler().getComponent());
  556.          }
  557.  
  558.          var4 += var5.getAdvance();
  559.       }
  560.  
  561.       super.absleft = var2 + super.left;
  562.       super.abstop = var3 + super.top;
  563.    }
  564.  
  565.    public void printSelected(String var1, OutputHandler var2, boolean var3, boolean var4, String var5, boolean var6, int var7) {
  566.       if (!var3 || super.reverse_video) {
  567.          if (var6 && super.cpeer != null) {
  568.             super.cpeer.printSelected(var1, var2, var3, var4, var5, var6, var7);
  569.          } else {
  570.             var2.println(var1 + ((Box)this).make_head(false, var5) + ((Box)this).unicodeData(var7) + "</" + ((Box)this).make_tag(var5) + ">");
  571.          }
  572.       }
  573.  
  574.    }
  575.  
  576.    public void printDebug(String var1) {
  577.       if (super.children.size() == 0) {
  578.          String var2 = super.udata;
  579.          if (super.udata.equals(String.valueOf('\ufffb'))) {
  580.             var2 = "invisibleTimes";
  581.          }
  582.  
  583.          if (super.udata.equals(String.valueOf('∩┐╝'))) {
  584.             var2 = "ApplyFunction";
  585.          }
  586.  
  587.          System.out.println(var1 + "<" + this + " [" + var2 + "] [[" + super.adata + "]] (sf=" + ((Box)this).semanticForm() + " st=" + ((Box)this).semanticType() + " sp=" + ((Box)this).semanticPrecedence() + " sft=" + ((Box)this).semanticFenceType() + ") >");
  588.       } else {
  589.          System.out.println(var1 + "<" + this + ">");
  590.          String var4 = var1 + "  ";
  591.  
  592.          for(int var3 = 0; var3 < ((Box)this).getNumDisplayChildren(); ++var3) {
  593.             ((Box)this).getDisplayChild(var3).printDebug(var4);
  594.          }
  595.  
  596.          System.out.println(var1 + "</" + this + ">");
  597.       }
  598.  
  599.    }
  600.  
  601.    private boolean parentCheck(Box var1) {
  602.       return var1.parent == null ? false : parentCheck.containsKey(var1.parent.getClass().getName());
  603.    }
  604.  
  605.    static {
  606.       parentCheck.put("webeq3.schema.MSubsup", parentCheck);
  607.       parentCheck.put("webeq3.schema.MSub", parentCheck);
  608.       parentCheck.put("webeq3.schema.MSup", parentCheck);
  609.       parentCheck.put("webeq3.schema.MUnderover", parentCheck);
  610.       parentCheck.put("webeq3.schema.MUnder", parentCheck);
  611.       parentCheck.put("webeq3.schema.MOver", parentCheck);
  612.       parentCheck.put("webeq3.schema.MMultiscripts", parentCheck);
  613.       parentCheck.put("webeq3.schema.MStyle", parentCheck);
  614.    }
  615. }
  616.