home *** CD-ROM | disk | FTP | other *** search
/ S283 Planetary Science &n…he Search for Life DVD 2 / DVD-ROM.iso / install / jre1_3 / lib / rt.jar / javax / swing / text / WrappedPlainView.class (.txt) < prev    next >
Encoding:
Java Class File  |  1979-12-31  |  6.5 KB  |  246 lines
  1. package javax.swing.text;
  2.  
  3. import java.awt.Color;
  4. import java.awt.Component;
  5. import java.awt.Container;
  6. import java.awt.Font;
  7. import java.awt.FontMetrics;
  8. import java.awt.Graphics;
  9. import java.awt.Rectangle;
  10. import java.awt.Shape;
  11. import javax.swing.event.DocumentEvent;
  12.  
  13. public class WrappedPlainView extends BoxView implements TabExpander {
  14.    FontMetrics metrics;
  15.    Segment lineBuffer;
  16.    boolean widthChanging;
  17.    int tabBase;
  18.    int tabSize;
  19.    boolean wordWrap;
  20.    int sel0;
  21.    int sel1;
  22.    Color unselected;
  23.    Color selected;
  24.  
  25.    public WrappedPlainView(Element var1) {
  26.       this(var1, false);
  27.    }
  28.  
  29.    public WrappedPlainView(Element var1, boolean var2) {
  30.       super(var1, 1);
  31.       this.lineBuffer = new Segment();
  32.       this.wordWrap = var2;
  33.    }
  34.  
  35.    protected int getTabSize() {
  36.       Integer var1 = (Integer)((View)this).getDocument().getProperty("tabSize");
  37.       int var2 = var1 != null ? var1 : 8;
  38.       return var2;
  39.    }
  40.  
  41.    protected void drawLine(int var1, int var2, Graphics var3, int var4, int var5) {
  42.       Element var6 = ((View)this).getElement();
  43.       Element var7 = var6.getElement(var6.getElementIndex(var1));
  44.  
  45.       try {
  46.          if (var7.isLeaf()) {
  47.             this.drawText(var7, var1, var2, var3, var4, var5);
  48.          } else {
  49.             int var9 = var7.getElementIndex(var1);
  50.  
  51.             for(int var10 = var7.getElementIndex(var2); var9 <= var10; ++var9) {
  52.                Element var8 = var7.getElement(var9);
  53.                int var11 = Math.max(var8.getStartOffset(), var1);
  54.                int var12 = Math.min(var8.getEndOffset(), var2);
  55.                var4 = this.drawText(var8, var11, var12, var3, var4, var5);
  56.             }
  57.          }
  58.  
  59.       } catch (BadLocationException var13) {
  60.          throw new StateInvariantError("Can't render: " + var1 + "," + var2);
  61.       }
  62.    }
  63.  
  64.    private int drawText(Element var1, int var2, int var3, Graphics var4, int var5, int var6) throws BadLocationException {
  65.       var3 = Math.min(((View)this).getDocument().getLength(), var3);
  66.       AttributeSet var7 = var1.getAttributes();
  67.       if (Utilities.isComposedTextAttributeDefined(var7)) {
  68.          var4.setColor(this.unselected);
  69.          var5 = Utilities.drawComposedText(var7, var4, var5, var6, var2 - var1.getStartOffset(), var3 - var1.getStartOffset());
  70.       } else if (this.sel0 == this.sel1) {
  71.          var5 = this.drawUnselectedText(var4, var5, var6, var2, var3);
  72.       } else if (var2 >= this.sel0 && var2 <= this.sel1 && var3 >= this.sel0 && var3 <= this.sel1) {
  73.          var5 = this.drawSelectedText(var4, var5, var6, var2, var3);
  74.       } else if (this.sel0 >= var2 && this.sel0 <= var3) {
  75.          if (this.sel1 >= var2 && this.sel1 <= var3) {
  76.             var5 = this.drawUnselectedText(var4, var5, var6, var2, this.sel0);
  77.             var5 = this.drawSelectedText(var4, var5, var6, this.sel0, this.sel1);
  78.             var5 = this.drawUnselectedText(var4, var5, var6, this.sel1, var3);
  79.          } else {
  80.             var5 = this.drawUnselectedText(var4, var5, var6, var2, this.sel0);
  81.             var5 = this.drawSelectedText(var4, var5, var6, this.sel0, var3);
  82.          }
  83.       } else if (this.sel1 >= var2 && this.sel1 <= var3) {
  84.          var5 = this.drawSelectedText(var4, var5, var6, var2, this.sel1);
  85.          var5 = this.drawUnselectedText(var4, var5, var6, this.sel1, var3);
  86.       } else {
  87.          var5 = this.drawUnselectedText(var4, var5, var6, var2, var3);
  88.       }
  89.  
  90.       return var5;
  91.    }
  92.  
  93.    protected int drawUnselectedText(Graphics var1, int var2, int var3, int var4, int var5) throws BadLocationException {
  94.       var1.setColor(this.unselected);
  95.       Document var6 = ((View)this).getDocument();
  96.       var6.getText(var4, var5 - var4, this.lineBuffer);
  97.       return Utilities.drawTabbedText(this.lineBuffer, var2, var3, var1, this, var4);
  98.    }
  99.  
  100.    protected int drawSelectedText(Graphics var1, int var2, int var3, int var4, int var5) throws BadLocationException {
  101.       var1.setColor(this.selected);
  102.       Document var6 = ((View)this).getDocument();
  103.       var6.getText(var4, var5 - var4, this.lineBuffer);
  104.       return Utilities.drawTabbedText(this.lineBuffer, var2, var3, var1, this, var4);
  105.    }
  106.  
  107.    protected final Segment getLineBuffer() {
  108.       return this.lineBuffer;
  109.    }
  110.  
  111.    protected int calculateBreakPosition(int var1, int var2) {
  112.       this.loadText(var1, var2);
  113.       int var3;
  114.       if (this.wordWrap) {
  115.          var3 = var1 + Utilities.getBreakLocation(this.lineBuffer, this.metrics, this.tabBase, this.tabBase + ((BoxView)this).getWidth(), this, var1);
  116.       } else {
  117.          var3 = var1 + Utilities.getTabbedTextOffset(this.lineBuffer, this.metrics, this.tabBase, this.tabBase + ((BoxView)this).getWidth(), this, var1);
  118.       }
  119.  
  120.       return var3;
  121.    }
  122.  
  123.    protected void loadChildren(ViewFactory var1) {
  124.       Element var2 = ((View)this).getElement();
  125.       int var3 = var2.getElementCount();
  126.       if (var3 > 0) {
  127.          View[] var4 = new View[var3];
  128.  
  129.          for(int var5 = 0; var5 < var3; ++var5) {
  130.             var4[var5] = new WrappedLine(this, var2.getElement(var5));
  131.          }
  132.  
  133.          ((BoxView)this).replace(0, 0, var4);
  134.       }
  135.  
  136.    }
  137.  
  138.    void updateChildren(DocumentEvent var1, Shape var2) {
  139.       Element var3 = ((View)this).getElement();
  140.       DocumentEvent.ElementChange var4 = var1.getChange(var3);
  141.       if (var4 != null) {
  142.          Element[] var5 = var4.getChildrenRemoved();
  143.          Element[] var6 = var4.getChildrenAdded();
  144.          View[] var7 = new View[var6.length];
  145.  
  146.          for(int var8 = 0; var8 < var6.length; ++var8) {
  147.             var7[var8] = new WrappedLine(this, var6[var8]);
  148.          }
  149.  
  150.          ((BoxView)this).replace(var4.getIndex(), var5.length, var7);
  151.          if (var2 != null) {
  152.             ((BoxView)this).preferenceChanged((View)null, true, true);
  153.             ((View)this).getContainer().repaint();
  154.          }
  155.       }
  156.  
  157.       this.updateMetrics();
  158.    }
  159.  
  160.    final void loadText(int var1, int var2) {
  161.       try {
  162.          Document var3 = ((View)this).getDocument();
  163.          var3.getText(var1, var2 - var1, this.lineBuffer);
  164.       } catch (BadLocationException var4) {
  165.          throw new StateInvariantError("Can't get line text");
  166.       }
  167.    }
  168.  
  169.    final void updateMetrics() {
  170.       Container var1 = ((View)this).getContainer();
  171.       Font var2 = ((Component)var1).getFont();
  172.       this.metrics = ((Component)var1).getFontMetrics(var2);
  173.       this.tabSize = this.getTabSize() * this.metrics.charWidth('m');
  174.    }
  175.  
  176.    public float nextTabStop(float var1, int var2) {
  177.       int var3 = ((int)var1 - this.tabBase) / this.tabSize;
  178.       return (float)(this.tabBase + (var3 + 1) * this.tabSize);
  179.    }
  180.  
  181.    public void paint(Graphics var1, Shape var2) {
  182.       Rectangle var3 = (Rectangle)var2;
  183.       this.tabBase = var3.x;
  184.       JTextComponent var4 = (JTextComponent)((View)this).getContainer();
  185.       this.sel0 = var4.getSelectionStart();
  186.       this.sel1 = var4.getSelectionEnd();
  187.       this.unselected = ((Component)var4).isEnabled() ? ((Component)var4).getForeground() : var4.getDisabledTextColor();
  188.       Caret var5 = var4.getCaret();
  189.       this.selected = var5.isSelectionVisible() ? var4.getSelectedTextColor() : this.unselected;
  190.       var1.setFont(((Component)var4).getFont());
  191.       super.paint(var1, var2);
  192.    }
  193.  
  194.    public void setSize(float var1, float var2) {
  195.       this.updateMetrics();
  196.       if ((int)var1 != ((BoxView)this).getWidth()) {
  197.          ((BoxView)this).preferenceChanged((View)null, true, true);
  198.          this.widthChanging = true;
  199.       }
  200.  
  201.       super.setSize(var1, var2);
  202.       this.widthChanging = false;
  203.    }
  204.  
  205.    public float getPreferredSpan(int var1) {
  206.       this.updateMetrics();
  207.       return super.getPreferredSpan(var1);
  208.    }
  209.  
  210.    public float getMinimumSpan(int var1) {
  211.       this.updateMetrics();
  212.       return super.getMinimumSpan(var1);
  213.    }
  214.  
  215.    public float getMaximumSpan(int var1) {
  216.       this.updateMetrics();
  217.       return super.getMaximumSpan(var1);
  218.    }
  219.  
  220.    public void insertUpdate(DocumentEvent var1, Shape var2, ViewFactory var3) {
  221.       this.updateChildren(var1, var2);
  222.       Rectangle var4 = var2 != null && ((BoxView)this).isAllocationValid() ? ((CompositeView)this).getInsideAllocation(var2) : null;
  223.       int var5 = var1.getOffset();
  224.       View var6 = ((CompositeView)this).getViewAtPosition(var5, var4);
  225.       if (var6 != null) {
  226.          var6.insertUpdate(var1, var4, var3);
  227.       }
  228.  
  229.    }
  230.  
  231.    public void removeUpdate(DocumentEvent var1, Shape var2, ViewFactory var3) {
  232.       this.updateChildren(var1, var2);
  233.       Rectangle var4 = var2 != null && ((BoxView)this).isAllocationValid() ? ((CompositeView)this).getInsideAllocation(var2) : null;
  234.       int var5 = var1.getOffset();
  235.       View var6 = ((CompositeView)this).getViewAtPosition(var5, var4);
  236.       if (var6 != null) {
  237.          var6.removeUpdate(var1, var4, var3);
  238.       }
  239.  
  240.    }
  241.  
  242.    public void changedUpdate(DocumentEvent var1, Shape var2, ViewFactory var3) {
  243.       this.updateChildren(var1, var2);
  244.    }
  245. }
  246.