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