org.jdom.contrib.input
Class LineNumberElement

java.lang.Object
  extended by org.jdom.Content
      extended by org.jdom.Element
          extended by org.jdom.contrib.input.LineNumberElement
All Implemented Interfaces:
java.io.Serializable, java.lang.Cloneable, org.jdom.Parent

public class LineNumberElement
extends org.jdom.Element

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.

Author:
Per Norrman
See Also:
Serialized Form

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

LineNumberElement

public LineNumberElement(java.lang.String name)

LineNumberElement

public LineNumberElement()

LineNumberElement

public LineNumberElement(java.lang.String name,
                         java.lang.String uri)

LineNumberElement

public LineNumberElement(java.lang.String name,
                         java.lang.String prefix,
                         java.lang.String uri)

LineNumberElement

public LineNumberElement(java.lang.String name,
                         org.jdom.Namespace namespace)
Method Detail

getEndLine

public int getEndLine()

getStartLine

public int getStartLine()

setEndLine

public void setEndLine(int i)

setStartLine

public void setStartLine(int i)


Copyright © 2011 Jason Hunter, Brett McLaughlin. All Rights Reserved.