org.gjt.sp.jedit.buffer
Class RootElement

java.lang.Object
  extended byorg.gjt.sp.jedit.buffer.RootElement
All Implemented Interfaces:
Element

public class RootElement
extends Object
implements Element

A class internal to jEdit's document model. You should not use it directly.

Since:
jEdit 4.0pre1
Version:
$Id: RootElement.java,v 1.1 2001/10/20 09:32:23 spestov Exp $
Author:
Slava Pestov

Constructor Summary
RootElement(Buffer buffer)
           
 
Method Summary
 AttributeSet getAttributes()
           
 Document getDocument()
           
 Element getElement(int line)
           
 int getElementCount()
           
 int getElementIndex(int offset)
           
 int getEndOffset()
           
 String getName()
           
 Element getParentElement()
           
 int getStartOffset()
           
 boolean isLeaf()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

RootElement

public RootElement(Buffer buffer)
Method Detail

getDocument

public Document getDocument()
Specified by:
getDocument in interface Element

getParentElement

public Element getParentElement()
Specified by:
getParentElement in interface Element

getName

public String getName()
Specified by:
getName in interface Element

getAttributes

public AttributeSet getAttributes()
Specified by:
getAttributes in interface Element

getStartOffset

public int getStartOffset()
Specified by:
getStartOffset in interface Element

getEndOffset

public int getEndOffset()
Specified by:
getEndOffset in interface Element

getElementIndex

public int getElementIndex(int offset)
Specified by:
getElementIndex in interface Element

getElementCount

public int getElementCount()
Specified by:
getElementCount in interface Element

getElement

public Element getElement(int line)
Specified by:
getElement in interface Element

isLeaf

public boolean isLeaf()
Specified by:
isLeaf in interface Element