home *** CD-ROM | disk | FTP | other *** search
/ PC Plus SuperCD (UK) 2000 March / pcp161a.iso / handson / files / copyjava.exe / com / sun / java / swing / text / AbstractDocument$LeafElement.class (.txt) < prev    next >
Encoding:
Java Class File  |  1998-02-26  |  2.9 KB  |  88 lines
  1. package com.sun.java.swing.text;
  2.  
  3. import java.io.IOException;
  4. import java.io.ObjectInputStream;
  5. import java.io.ObjectOutputStream;
  6.  
  7. public class AbstractDocument$LeafElement extends AbstractDocument.AbstractElement {
  8.    // $FF: synthetic field
  9.    private final AbstractDocument this$0;
  10.    // $FF: renamed from: p0 com.sun.java.swing.text.Position
  11.    private transient Position field_0;
  12.    // $FF: renamed from: p1 com.sun.java.swing.text.Position
  13.    private transient Position field_1;
  14.  
  15.    public AbstractDocument$LeafElement(AbstractDocument var1, Element var2, AttributeSet var3, int var4, int var5) {
  16.       super(var1, var2, var3);
  17.       this.this$0 = var1;
  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 var6) {
  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.    private void writeObject(ObjectOutputStream var1) throws IOException {
  68.       var1.defaultWriteObject();
  69.       var1.writeInt(this.field_0.getOffset());
  70.       var1.writeInt(this.field_1.getOffset());
  71.    }
  72.  
  73.    private void readObject(ObjectInputStream var1) throws ClassNotFoundException, IOException {
  74.       var1.defaultReadObject();
  75.       int var2 = var1.readInt();
  76.       int var3 = var1.readInt();
  77.  
  78.       try {
  79.          this.field_0 = this.this$0.createPosition(var2);
  80.          this.field_1 = this.this$0.createPosition(var3);
  81.       } catch (BadLocationException var4) {
  82.          this.field_0 = null;
  83.          this.field_1 = null;
  84.          throw new IOException("Can't restore Position references");
  85.       }
  86.    }
  87. }
  88.