PC Pro 2001 December/dppcpro1201.iso/Extras/maple/Viewer/WebEQ/MMLViewerInstall.cab/MMLViewerApplet.cab/webeq3/schema/MPadded.class

Java Class File | 2001-05-24 | 3.1 KB | 183 lines

package webeq3.schema;

import java.awt.Graphics;
import webeq3.app.Equation;

public class MPadded extends Box {
   int currentx = 0;
   int currenty = 0;
   // $FF: renamed from: em int
   int field_0 = 0;
   boolean phantom = false;
   int lspace_width = 0;

   public MPadded(Box var1) {
      super(var1);
      super.type = 68;
   }

   public MPadded() {
      super.type = 68;
   }

   public MPadded(Equation var1) {
      super(var1);
      super.type = 68;
   }

   public void size() {
      super.width = 0;
      super.ascent = 0;
      super.descent = 0;
      ((Box)this).setfont(super.depth);
      this.field_0 = super.fm.charWidth('M');
      super.size();
      int var1 = 0;
      int var2 = 0;
      int var3 = super.children.size();

      for(int var5 = 0; var5 < var3; ++var5) {
         Box var4 = ((Box)this).getChild(var5);
         if (var4.is_spacelike) {
            ++var1;
         }

         if (var4.embellished_op) {
            ++var2;
         }
      }

      if (var1 == var3) {
         super.is_spacelike = true;
      }

      if (var1 == var3 - 1 && var2 == 1) {
         super.embellished_op = true;
      }

      int var6 = super.width;
      int var7 = super.ascent;
      int var8 = super.descent;
      double var9 = (double)0.0F;
      double var11 = (double)0.0F;
      double var13 = (double)0.0F;
      double var15 = (double)0.0F;
      char var17 = '\u0000';
      String var18 = ((Box)this).getAttributeByIndex(14);
      String var19 = ((Box)this).getAttributeString(14);
      if (var19 != null && var19.length() > 0) {
         var17 = var19.charAt(0);
      }

      if (!"".equals(var18)) {
         try {
            var9 = Double.valueOf(var18);
            switch (var17) {
               case '+':
               case '-':
                  var6 = super.width + (int)(var9 * (double)this.field_0);
                  break;
               default:
                  var6 = (int)(var9 * (double)this.field_0);
            }
         } catch (NumberFormatException var24) {
         }
      }

      var18 = ((Box)this).getAttributeByIndex(15);
      var19 = ((Box)this).getAttributeString(15);
      if (var19 != null && var19.length() > 0) {
         var17 = var19.charAt(0);
      } else {
         var17 = '\u0000';
      }

      if (!"".equals(var18)) {
         try {
            var11 = Double.valueOf(var18);
            switch (var17) {
               case '+':
               case '-':
                  var7 = super.ascent + (int)(var11 * (double)super.xheight);
                  break;
               default:
                  var7 = (int)(var11 * (double)super.xheight);
            }
         } catch (NumberFormatException var23) {
         }
      }

      var18 = ((Box)this).getAttributeByIndex(16);
      var19 = ((Box)this).getAttributeString(16);
      if (var19 != null && var19.length() > 0) {
         var17 = var19.charAt(0);
      } else {
         var17 = '\u0000';
      }

      if (!"".equals(var18)) {
         try {
            var13 = Double.valueOf(((Box)this).getAttributeByIndex(16));
            switch (var17) {
               case '+':
               case '-':
                  var8 = super.descent + (int)(var13 * (double)super.xheight);
                  break;
               default:
                  var8 = (int)(var13 * (double)super.xheight);
            }
         } catch (NumberFormatException var22) {
         }
      }

      var18 = ((Box)this).getAttributeByIndex(5);
      if (!"".equals(var18)) {
         try {
            var15 = Double.valueOf(((Box)this).getAttributeByIndex(5));
            this.lspace_width = (int)(var15 * (double)this.field_0);
            var6 += this.lspace_width;
         } catch (NumberFormatException var21) {
         }
      }

      if (super.width > 0 && var6 < 0) {
         var6 = 0;
      }

      if (super.ascent > 0 && var7 < 0) {
         var7 = 0;
      }

      if (super.descent > 0 && var8 < 0) {
         var8 = 0;
      }

      super.width = var6;
      super.ascent = var7;
      super.descent = var8;
      super.height = super.ascent + super.descent;
   }

   public void position() {
      int var2 = this.lspace_width;
      boolean var3 = false;
      int var4 = super.children.size();

      for(int var5 = 0; var5 < var4; ++var5) {
         Box var1 = ((Box)this).getChild(var5);
         var1.setLeft(var2);
         var1.setTop(super.ascent - var1.getAscent());
         var2 += var1.getWidth();
      }

   }

   public void paint(Graphics var1, int var2, int var3) {
      super.paint(var1, var2, var3);
      super.my_view.root.absleft = var2 + super.left + super.my_view.offsetx;
      super.my_view.root.abstop = var3 + super.top + super.my_view.offsety;
      super.absleft = var2 + super.left;
      super.abstop = var3 + super.top;
   }
}