home *** CD-ROM | disk | FTP | other *** search
/ PC Pro 2001 December / dppcpro1201.iso / Extras / maple / Viewer / WebEQ / MMLViewerInstall.cab / MMLViewerApplet.cab / webeq3 / schema / MN.class (.txt) < prev    next >
Encoding:
Java Class File  |  2001-05-24  |  4.3 KB  |  128 lines
  1. package webeq3.schema;
  2.  
  3. import java.awt.Graphics;
  4. import webeq3.app.Equation;
  5. import webeq3.constants.FontMapper;
  6. import webeq3.fonts.CharRender;
  7. import webeq3.fonts.ExtendedChar;
  8. import webeq3.util.OutputHandler;
  9.  
  10. // $FF: renamed from: webeq3.schema.MN
  11. public class class_0 extends Box {
  12.    public class_0(Box var1) {
  13.       super(var1);
  14.       super.type = 2;
  15.       super.kind = 2;
  16.    }
  17.  
  18.    public class_0() {
  19.       super.type = 2;
  20.       super.kind = 2;
  21.    }
  22.  
  23.    public class_0(Equation var1) {
  24.       super(var1);
  25.       super.type = 2;
  26.       super.kind = 2;
  27.    }
  28.  
  29.    public void size() {
  30.       ((Box)this).setData();
  31.       String var4 = ((Box)this).getDeprecatedAttributePair(0, 81);
  32.       if ("small".equals(var4)) {
  33.          var4 = "" + (int)((double)super.my_view.standardPointsize(((Box)this).resolveDepth(super.depth)) * 0.8);
  34.       } else if ("big".equals(var4)) {
  35.          var4 = "" + (int)((double)super.my_view.standardPointsize(((Box)this).resolveDepth(super.depth)) * 1.35);
  36.       } else {
  37.          var4 = ((Box)this).processUnits(var4, 2, 0);
  38.       }
  39.  
  40.       if (var4 != null && !"X".equals(var4)) {
  41.          try {
  42.             ((Box)this).setrawfont(Integer.parseInt(var4));
  43.          } catch (NumberFormatException var6) {
  44.          }
  45.       } else {
  46.          ((Box)this).setfont(super.depth);
  47.       }
  48.  
  49.       super.fgcolor = ((Box)this).resolveColor(4);
  50.       super.bgcolor = ((Box)this).resolveColor(17);
  51.  
  52.       for(int var5 = 0; var5 < super.data.length; ++var5) {
  53.          ExtendedChar var1 = super.data[var5];
  54.          var1.setFont(super.fn, super.my_view.getHandler().getComponent());
  55.          int var2 = var1.getAscent();
  56.          int var3 = var1.getDescent();
  57.          if (var2 > super.ascent) {
  58.             super.ascent = var2;
  59.          }
  60.  
  61.          if (var3 > super.descent) {
  62.             super.descent = var3;
  63.          }
  64.  
  65.          super.width += var1.getAdvance();
  66.       }
  67.  
  68.       super.height = super.ascent + super.descent;
  69.    }
  70.  
  71.    public void paint(Graphics var1, int var2, int var3) {
  72.       ((Box)this).paintBackground(var1, var2, var3);
  73.       int var4 = var2 + super.left + super.my_view.offsetx;
  74.       int var5 = super.my_view.getDisplayWidth();
  75.       int var6 = var4;
  76.       ExtendedChar var7 = null;
  77.       if (super.my_view.linebreak) {
  78.          var7 = FontMapper.get('\\');
  79.          var7.setFont(super.fn, super.my_view.getHandler().getComponent());
  80.       }
  81.  
  82.       int var8 = 0;
  83.  
  84.       for(int var9 = 0; var9 < super.data.length; ++var9) {
  85.          ExtendedChar var10 = super.data[var9];
  86.          if (super.my_view.linebreak && super.data.length > 10 && (super.breakLookAhead > 0 && super.width - var8 - (var4 - var6) < super.breakLookAhead && var4 + var7.getWidth() + var10.getAdvance() + super.breakLookAhead > var5 || var4 + var7.getWidth() + var10.getAdvance() > var5) && (var4 + var10.getAdvance() + super.breakLookAhead > var5 || var9 != super.data.length - 1)) {
  87.             if (super.reverse_video) {
  88.                CharRender.paint(var1, var7, var4, var3 + super.top + super.my_view.offsety + super.ascent, super.bgcolor, super.fgcolor, super.my_view.getHandler().getComponent());
  89.             } else {
  90.                CharRender.paint(var1, var7, var4, var3 + super.top + super.my_view.offsety + super.ascent, super.fgcolor, super.bgcolor, super.my_view.getHandler().getComponent());
  91.             }
  92.  
  93.             Integer var11 = new Integer(var4 - super.my_view.offsetx);
  94.             super.my_view.breaks.addElement(var11);
  95.             var8 += var4 - var6;
  96.             super.my_view.offsetx = super.my_view.indent - var8 - var2 - super.left;
  97.             Equation var10000 = super.my_view;
  98.             var10000.offsety += 5 + super.my_view.root.getHeight();
  99.             var4 = super.my_view.indent;
  100.             var6 = var4;
  101.             ((Box)this).rvPaint(var1, var2 + super.left + super.my_view.offsetx + var8, var3 + super.top + super.my_view.offsety, super.width - var8, super.height);
  102.          }
  103.  
  104.          if (super.reverse_video) {
  105.             CharRender.paint(var1, var10, var4, var3 + super.top + super.my_view.offsety + super.ascent, super.bgcolor, super.fgcolor, super.my_view.getHandler().getComponent());
  106.          } else {
  107.             CharRender.paint(var1, var10, var4, var3 + super.top + super.my_view.offsety + super.ascent, super.fgcolor, super.bgcolor, super.my_view.getHandler().getComponent());
  108.          }
  109.  
  110.          var4 += var10.getAdvance();
  111.       }
  112.  
  113.       super.absleft = var2 + super.left;
  114.       super.abstop = var3 + super.top;
  115.    }
  116.  
  117.    public void printSelected(String var1, OutputHandler var2, boolean var3, boolean var4, String var5, boolean var6, int var7) {
  118.       if (!var3 || super.reverse_video) {
  119.          if (var6 && super.cpeer != null) {
  120.             super.cpeer.printSelected(var1, var2, var3, var4, var5, var6, var7);
  121.          } else {
  122.             var2.println(var1 + ((Box)this).make_head(false, var5) + ((Box)this).unicodeData(var7) + "</" + ((Box)this).make_tag(var5) + ">");
  123.          }
  124.       }
  125.  
  126.    }
  127. }
  128.