|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectsk.uniba.euromath.document.interval.DOMIntervalFactory
public final class DOMIntervalFactory
Produces the DOMInterval instances.
| Constructor Summary | |
|---|---|
DOMIntervalFactory(DomCore doc)
Constructor. |
|
| Method Summary | |
|---|---|
DOMIntervalSet |
cloneSet(DOMIntervalSet other)
Copy-constructor. |
DOMIntervalSet |
newEmptySet()
Constructs an empty set. |
DOMInterval |
newInterval(DomPointer from,
DomPointer to)
Creates and returns new document interval. |
DOMIntervalSet |
newSet(DOMInterval interval)
Constructs set with one item. |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
|---|
public DOMIntervalFactory(DomCore doc)
doc - the document instance.| Method Detail |
|---|
public DOMInterval newInterval(DomPointer from,
DomPointer to)
from - select nodes from this pointer. Must not be null.to - select nodes up to this pointer. Must not be null.
null.public DOMIntervalSet newEmptySet()
public DOMIntervalSet cloneSet(DOMIntervalSet other)
other - clone this interval set.
public DOMIntervalSet newSet(DOMInterval interval)
interval - the interval.
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||