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

Java Class File | 2001-05-24 | 4.6 KB | 150 lines

package webeq3.schema;

import java.awt.Graphics;
import webeq3.app.Equation;
import webeq3.constants.FontMapper;
import webeq3.fonts.CharRender;
import webeq3.fonts.ExtendedChar;
import webeq3.util.OutputHandler;

// $FF: renamed from: webeq3.schema.MI
public class class_0 extends Box {
   public class_0(Box var1) {
      super(var1);
      super.type = 2;
      super.kind = 1;
   }

   public class_0() {
      super.type = 2;
      super.kind = 1;
   }

   public class_0(Equation var1) {
      super(var1);
      super.type = 2;
      super.kind = 1;
   }

   public void size() {
      super.width = 0;
      super.ascent = 0;
      super.descent = 0;
      ((Box)this).setData();
      String var4 = ((Box)this).getDeprecatedAttributePair(0, 81);
      if ("small".equals(var4)) {
         var4 = "" + (int)((double)super.my_view.standardPointsize(((Box)this).resolveDepth(super.depth)) * 0.8);
      } else if ("big".equals(var4)) {
         var4 = "" + (int)((double)super.my_view.standardPointsize(((Box)this).resolveDepth(super.depth)) * 1.35);
      } else {
         var4 = ((Box)this).processUnits(var4, 2, 0);
      }

      if (var4 != null && !"X".equals(var4)) {
         try {
            ((Box)this).setrawfont(Integer.parseInt(var4));
         } catch (NumberFormatException var6) {
         }
      } else {
         ((Box)this).setfont(super.depth);
      }

      super.fgcolor = ((Box)this).resolveColor(4);
      super.bgcolor = ((Box)this).resolveColor(17);

      for(int var5 = 0; var5 < super.data.length; ++var5) {
         ExtendedChar var1 = super.data[var5];
         var1.setFont(super.fn, super.my_view.getHandler().getComponent());
         int var2 = var1.getAscent();
         int var3 = var1.getDescent();
         if (var2 > super.ascent) {
            super.ascent = var2;
         }

         if (var3 > super.descent) {
            super.descent = var3;
         }

         if (var5 == super.data.length - 1) {
            super.width += var1.getWidth();
         } else {
            super.width += var1.getAdvance();
         }

         if (var5 == 0 && var1.getChar() == 'f' && var5 < super.data.length - 1 && var1.getFont().isItalic()) {
            super.width += (int)(0.4 * (double)var1.getWidth());
         }
      }

      if (((Box)this).isItalic()) {
         super.width += (int)(0.05 * (double)super.ascent);
      }

      super.height = super.ascent + super.descent;
   }

   public void paint(Graphics var1, int var2, int var3) {
      ((Box)this).paintBackground(var1, var2, var3);
      int var4 = var2 + super.left + super.my_view.offsetx;
      int var5 = super.my_view.getDisplayWidth();
      int var6 = var4;
      ExtendedChar var7 = null;
      if (super.my_view.linebreak) {
         var7 = FontMapper.get('\\');
         var7.setFont(super.fn, super.my_view.getHandler().getComponent());
      }

      int var8 = 0;
      int var9 = 0;

      for(int var10 = 0; var10 < super.data.length; ++var10) {
         ExtendedChar var11 = super.data[var10];
         if (super.my_view.linebreak && super.data.length > 10 && (super.breakLookAhead > 0 && super.width - var9 - (var4 - var6) < super.breakLookAhead && var4 + var7.getWidth() + var11.getAdvance() + super.breakLookAhead > var5 || var4 + var7.getWidth() + var11.getAdvance() > var5) && (var4 + var11.getAdvance() + super.breakLookAhead > var5 || var10 != super.data.length - 1)) {
            if (super.reverse_video) {
               CharRender.paint(var1, var7, var4, var3 + super.top + super.my_view.offsety + super.ascent, super.bgcolor, super.fgcolor, super.my_view.getHandler().getComponent());
            } else {
               CharRender.paint(var1, var7, var4, var3 + super.top + super.my_view.offsety + super.ascent, super.fgcolor, super.bgcolor, super.my_view.getHandler().getComponent());
            }

            Integer var12 = new Integer(var4 - super.my_view.offsetx);
            super.my_view.breaks.addElement(var12);
            var9 += var4 - var6;
            super.my_view.offsetx = super.my_view.indent - var9 - var2 - super.left;
            Equation var10000 = super.my_view;
            var10000.offsety += 5 + super.my_view.root.getHeight();
            var4 = super.my_view.indent;
            var6 = var4;
            ((Box)this).rvPaint(var1, var2 + super.left + super.my_view.offsetx + var9, var3 + super.top + super.my_view.offsety, super.width - var9, super.height);
         }

         if (var10 == 0 && var11.getChar() == 'f' && var11.getFont().isItalic()) {
            var8 = (int)(0.4 * (double)var11.getWidth());
         } else {
            var8 = 0;
         }

         if (super.reverse_video) {
            CharRender.paint(var1, var11, var4 + var8, var3 + super.top + super.my_view.offsety + super.ascent, super.bgcolor, super.fgcolor, super.my_view.getHandler().getComponent());
         } else {
            CharRender.paint(var1, var11, var4 + var8, var3 + super.top + super.my_view.offsety + super.ascent, super.fgcolor, super.bgcolor, super.my_view.getHandler().getComponent());
         }

         var4 += var11.getAdvance() + var8;
      }

      super.absleft = var2 + super.left;
      super.abstop = var3 + super.top;
   }

   public void printSelected(String var1, OutputHandler var2, boolean var3, boolean var4, String var5, boolean var6, int var7) {
      if (!var3 || super.reverse_video) {
         if (var6 && super.cpeer != null) {
            super.cpeer.printSelected(var1, var2, var3, var4, var5, var6, var7);
         } else {
            var2.println(var1 + ((Box)this).make_head(false, var5) + ((Box)this).unicodeData(var7) + "</" + ((Box)this).make_tag(var5) + ">");
         }
      }

   }
}