org.activemath.omdocjdom.mbase
Class Dependency.IDElement

java.lang.Object
  org.jdom.Content
      org.jdom.Element
          org.activemath.omdocjdom.OJElement
              org.activemath.omdocjdom.mbase.Dependency.IDElement

All Implemented Interfaces:

Serializable, Cloneable, Infoable, OJNode, org.jdom.Parent

Enclosing class:

Dependency

public static class Dependency.IDElement
extends OJElement

See Also:

Serialized Form

Field Summary

Fields inherited from class org.activemath.omdocjdom.OJElement

DEBUG, id, info, log

Fields inherited from class org.jdom.Element

additionalNamespaces, name, namespace

Fields inherited from class org.jdom.Content

parent

Constructor Summary

protected	Dependency.IDElement()
	Dependency.IDElement(String elementName)
	Dependency.IDElement(String elementName, ID id)

Method Summary

Object	clone() Makes a double of itself, of appropriate class and doubles the ID attributes if available (and only them).
ID	getID() Returns an ID object associated to this node, the buffered one, or recomputes it from its parents, storing it in a local variable which will at later calls to this method.

Methods inherited from class org.activemath.omdocjdom.OJElement

addContentMaybeCloning, addContentMaybeCloning, addContentMaybeCloning, addContentMaybeCloning, addContentMaybeCloning, addDCmetadata, addProperlyIndented, addProperlyIndented, clearExtraNamespaces, findChildWithID, getAnyTitle, getAnyTitle, getChildrenRefs, getCompleteDCMetadata, getContainingItem, getContainingTheory, getContainingTheoryIDstring, getCreator, getEnclosingID, getFirstDCMetadata, getIndentOfElementWithNL, getInfo, getLanguage, getNL, getOrMakeMetadata, getorMakeMetadataExtradata, getParentOJElement, getRealContent, getTitle, getTitleMap, getTitleMapAsJdomElts, getTitleMapAsJdomNodeList, getTitleMapAsXmlString, getUnionOfDCMetadataEntries, listItems, setID, setID, setInfo, setNamespace, toString

Methods inherited from class org.jdom.Element

addContent, addContent, addContent, addContent, addContent, addNamespaceDeclaration, 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, setText

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.activemath.omdocjdom.OJNode

getDocument, getParent

Methods inherited from interface org.jdom.Parent

getDocument, getParent

Constructor Detail

Dependency.IDElement

protected Dependency.IDElement()

Dependency.IDElement

public Dependency.IDElement(String elementName)

Dependency.IDElement

public Dependency.IDElement(String elementName,
                            ID id)
                     throws NoSuchIDException

Throws:

NoSuchIDException

Method Detail

getID

public ID getID()

Description copied from class: OJElement

Returns an ID object associated to this node, the buffered one, or recomputes it from its parents, storing it in a local variable which will at later calls to this method. This is built using the id attribute of the given element plus the id attribute of the possibly enclosing theory element and the collection of the enclosing document. Alternatively, if the id attribute starts with mbase:// then it is considered an absolute id and is only used.

Overrides:

getID in class OJElement

clone

public Object clone()

Makes a double of itself, of appropriate class and doubles the ID attributes if available (and only them).

Specified by:

clone in interface org.jdom.Parent

Overrides:

clone in class org.jdom.Element