org.gjt.sp.jedit.buffer
Class RootElement
java.lang.Object
org.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
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
RootElement
public RootElement(Buffer buffer)
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