home *** CD-ROM | disk | FTP | other *** search
/ PC Online 1997 November / PCO1197.ISO / FilesBBS / WIN95 / NET_COM / N32E403.EXE / nav40l.z / java40.jar / java / awt / TextArea.class (.txt) < prev    next >
Encoding:
Java Class File  |  1997-09-04  |  2.1 KB  |  90 lines
  1. package java.awt;
  2.  
  3. import java.awt.peer.TextAreaPeer;
  4.  
  5. public class TextArea extends TextComponent {
  6.    int rows;
  7.    int cols;
  8.  
  9.    public TextArea() {
  10.       super("");
  11.    }
  12.  
  13.    public TextArea(int var1, int var2) {
  14.       super("");
  15.       this.rows = var1;
  16.       this.cols = var2;
  17.    }
  18.  
  19.    public TextArea(String var1) {
  20.       super(var1);
  21.    }
  22.  
  23.    public TextArea(String var1, int var2, int var3) {
  24.       super(var1);
  25.       this.rows = var2;
  26.       this.cols = var3;
  27.    }
  28.  
  29.    public synchronized void addNotify() {
  30.       super.peer = ((Component)this).getToolkit().createTextArea(this);
  31.       super.addNotify();
  32.    }
  33.  
  34.    public void insertText(String var1, int var2) {
  35.       TextAreaPeer var3 = (TextAreaPeer)super.peer;
  36.       if (var3 != null) {
  37.          var3.insertText(var1, var2);
  38.       } else {
  39.          super.text = super.text.substring(0, var2) + var1 + super.text.substring(var2);
  40.       }
  41.    }
  42.  
  43.    public void appendText(String var1) {
  44.       if (super.peer != null) {
  45.          this.insertText(var1, ((TextComponent)this).getText().length());
  46.       } else {
  47.          super.text = super.text + var1;
  48.       }
  49.    }
  50.  
  51.    public void replaceText(String var1, int var2, int var3) {
  52.       TextAreaPeer var4 = (TextAreaPeer)super.peer;
  53.       if (var4 != null) {
  54.          var4.replaceText(var1, var2, var3);
  55.       } else {
  56.          super.text = super.text.substring(0, var2) + var1 + super.text.substring(var3);
  57.       }
  58.    }
  59.  
  60.    public int getRows() {
  61.       return this.rows;
  62.    }
  63.  
  64.    public int getColumns() {
  65.       return this.cols;
  66.    }
  67.  
  68.    public Dimension preferredSize(int var1, int var2) {
  69.       TextAreaPeer var3 = (TextAreaPeer)super.peer;
  70.       return var3 != null ? var3.preferredSize(var1, var2) : super.preferredSize();
  71.    }
  72.  
  73.    public Dimension preferredSize() {
  74.       return this.rows > 0 && this.cols > 0 ? this.preferredSize(this.rows, this.cols) : super.preferredSize();
  75.    }
  76.  
  77.    public Dimension minimumSize(int var1, int var2) {
  78.       TextAreaPeer var3 = (TextAreaPeer)super.peer;
  79.       return var3 != null ? var3.minimumSize(var1, var2) : super.minimumSize();
  80.    }
  81.  
  82.    public Dimension minimumSize() {
  83.       return this.rows > 0 && this.cols > 0 ? this.minimumSize(this.rows, this.cols) : super.minimumSize();
  84.    }
  85.  
  86.    protected String paramString() {
  87.       return super.paramString() + ",rows=" + this.rows + ",cols=" + this.cols;
  88.    }
  89. }
  90.