|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectorg.jdom.Content
org.jdom.Element
org.jdom.contrib.input.LineNumberElement
public class LineNumberElement
This class extends a normal Element with a traceback to its beginning and endling line number, if available and reported.
Each instance is created using a factory internal to the LineNumberSAXBuilder class.
| Field Summary |
|---|
| Fields inherited from class org.jdom.Element |
|---|
additionalNamespaces, name, namespace |
| Fields inherited from class org.jdom.Content |
|---|
parent |
| Constructor Summary | |
|---|---|
LineNumberElement()
|
|
LineNumberElement(java.lang.String name)
|
|
LineNumberElement(java.lang.String name,
org.jdom.Namespace namespace)
|
|
LineNumberElement(java.lang.String name,
java.lang.String uri)
|
|
LineNumberElement(java.lang.String name,
java.lang.String prefix,
java.lang.String uri)
|
|
| Method Summary | |
|---|---|
int |
getEndLine()
|
int |
getStartLine()
|
void |
setEndLine(int i)
|
void |
setStartLine(int i)
|
| Methods inherited from class org.jdom.Element |
|---|
addContent, addContent, addContent, addContent, addContent, addNamespaceDeclaration, clone, cloneContent, getAdditionalNamespaces, getAttribute, getAttribute, getAttributes, getAttributeValue, getAttributeValue, getAttributeValue, getAttributeValue, getChild, getChild, getChildren, getChildren, getChildren, getChildText, getChildText, getChildTextNormalize, getChildTextNormalize, getChildTextTrim, getChildTextTrim, getContent, getContent, getContent, getContentSize, getDescendants, getDescendants, getName, getNamespace, getNamespace, getNamespacePrefix, getNamespaceURI, getQualifiedName, getText, getTextNormalize, getTextTrim, getValue, indexOf, isAncestor, isRootElement, removeAttribute, removeAttribute, removeAttribute, removeChild, removeChild, removeChildren, removeChildren, removeContent, removeContent, removeContent, removeContent, removeNamespaceDeclaration, setAttribute, setAttribute, setAttribute, setAttributes, setAttributes, setContent, setContent, setContent, setContent, setName, setNamespace, setText, toString |
| Methods inherited from class org.jdom.Content |
|---|
detach, equals, getDocument, getParent, getParentElement, hashCode, setParent |
| Methods inherited from class java.lang.Object |
|---|
finalize, getClass, notify, notifyAll, wait, wait, wait |
| Methods inherited from interface org.jdom.Parent |
|---|
getDocument, getParent |
| Constructor Detail |
|---|
public LineNumberElement(java.lang.String name)
public LineNumberElement()
public LineNumberElement(java.lang.String name,
java.lang.String uri)
public LineNumberElement(java.lang.String name,
java.lang.String prefix,
java.lang.String uri)
public LineNumberElement(java.lang.String name,
org.jdom.Namespace namespace)
| Method Detail |
|---|
public int getEndLine()
public int getStartLine()
public void setEndLine(int i)
public void setStartLine(int i)
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||