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 / AbstractDocument$LeafElement.class (.txt) < prev    next >
Encoding:
Java Class File  |  1979-12-31  |  2.3 KB  |  96 lines
  1. package javax.swing.text;
  2.  
  3. import java.io.IOException;
  4. import java.io.ObjectInputStream;
  5. import java.io.ObjectOutputStream;
  6. import java.util.Enumeration;
  7.  
  8. public class AbstractDocument$LeafElement extends AbstractDocument.AbstractElement {
  9.    // $FF: renamed from: p0 javax.swing.text.Position
  10.    private transient Position field_0;
  11.    // $FF: renamed from: p1 javax.swing.text.Position
  12.    private transient Position field_1;
  13.    // $FF: synthetic field
  14.    private final AbstractDocument this$0;
  15.  
  16.    public AbstractDocument$LeafElement(AbstractDocument var1, Element var2, AttributeSet var3, int var4, int var5) {
  17.       super(var1, var2, var3);
  18.       this.this$0 = var1;
  19.  
  20.       try {
  21.          this.field_0 = var1.createPosition(var4);
  22.          this.field_1 = var1.createPosition(var5);
  23.       } catch (BadLocationException var7) {
  24.          this.field_0 = null;
  25.          this.field_1 = null;
  26.          throw new StateInvariantError("Can't create Position references");
  27.       }
  28.    }
  29.  
  30.    public String toString() {
  31.       return "LeafElement(" + this.getName() + ") " + this.field_0 + "," + this.field_1 + "\n";
  32.    }
  33.  
  34.    public int getStartOffset() {
  35.       return this.field_0.getOffset();
  36.    }
  37.  
  38.    public int getEndOffset() {
  39.       return this.field_1.getOffset();
  40.    }
  41.  
  42.    public String getName() {
  43.       String var1 = super.getName();
  44.       if (var1 == null) {
  45.          var1 = "content";
  46.       }
  47.  
  48.       return var1;
  49.    }
  50.  
  51.    public int getElementIndex(int var1) {
  52.       return -1;
  53.    }
  54.  
  55.    public Element getElement(int var1) {
  56.       return null;
  57.    }
  58.  
  59.    public int getElementCount() {
  60.       return 0;
  61.    }
  62.  
  63.    public boolean isLeaf() {
  64.       return true;
  65.    }
  66.  
  67.    public boolean getAllowsChildren() {
  68.       return false;
  69.    }
  70.  
  71.    public Enumeration children() {
  72.       return null;
  73.    }
  74.  
  75.    private void writeObject(ObjectOutputStream var1) throws IOException {
  76.       var1.defaultWriteObject();
  77.       var1.writeInt(this.field_0.getOffset());
  78.       var1.writeInt(this.field_1.getOffset());
  79.    }
  80.  
  81.    private void readObject(ObjectInputStream var1) throws ClassNotFoundException, IOException {
  82.       var1.defaultReadObject();
  83.       int var2 = var1.readInt();
  84.       int var3 = var1.readInt();
  85.  
  86.       try {
  87.          this.field_0 = this.this$0.createPosition(var2);
  88.          this.field_1 = this.this$0.createPosition(var3);
  89.       } catch (BadLocationException var5) {
  90.          this.field_0 = null;
  91.          this.field_1 = null;
  92.          throw new IOException("Can't restore Position references");
  93.       }
  94.    }
  95. }
  96.