|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
A descriptor for navigating between Nodes in a repository.
If the parent of this Path is null, then either the operator() is absolute or null.
Nested Class Summary | |
static class |
Path.Failure
Class that signals a Path construction error. |
static interface |
Path.Generator
Lazy evaluator for a Path. |
Method Summary | |
PathEquivalence |
addEquivalent(Path other)
Register the equivalence of another Path with this. |
Path |
ancestorOpNamed(java.lang.String opName)
Return the ancestor Path whose operator() has a function name that matches the opName argument. |
Path |
apply(Path path)
A new Path obtained by following path from this starting point. |
Path |
apply(PathOperator op)
A new Path obtained by applying the PathOperator to this starting point. |
Path |
apply(java.lang.String str)
Parse the String as a Path and then apply to this Path. |
Path |
bind()
The bound version of this Path, if one exists. |
Getter |
binding()
The binding of this Path. |
Path |
difference(Path other)
Returns the difference between this Path and other. |
DocumentPath |
documentPath()
The Path to the Document including this Path. |
PathEquivalence |
equivalences()
The Set of equivalent Path elements to this Path |
boolean |
equivalent(Path other)
Return true if the other Path is equivalent to this one. |
FragmentPath |
fragmentPath()
The FragmentPath version of this Path. |
boolean |
inFragment()
True if this Path is a fragment reference. |
boolean |
isAbsolute()
True if this Path has an absolute PathOperator at its root. |
boolean |
isAncestorOf(Path other)
Is this Path an ancestor Path of other? |
PathOperator |
operator()
The PathOperator that gives this Path when applied to the parent. |
Path |
parent()
The parent of this Path. |
java.lang.String |
toURLString()
The encoded URL string for this Path. |
Method Detail |
public Path parent()
This Path can be obtained by applying the PathOperator operator() to the parent() Path.
public PathOperator operator()
This Path can be obtained by applying the PathOperator operator() to the parent() Path.
public DocumentPath documentPath()
For a DocumentPath instance, this is a self-reference. For a FragmentPath, it is a reference to the containing Document or null if it is a fragment-relative Path.
public FragmentPath fragmentPath()
This will return null if the Path is not a fragment reference.
public Path apply(Path path) throws Path.Failure
Path.Failure
public Path apply(java.lang.String str) throws Path.Failure
str
- the String to be applied
Path.Failure
- if the parse fails or the operator cannot be appliedpublic Path apply(PathOperator op) throws Path.Failure
Path.Failure
public Path bind() throws Path.Failure
Path.Failure
- if unable to bind the Path.public Getter binding()
public boolean isAncestorOf(Path other)
other
- a Path
public Path difference(Path other) throws Path.Failure
other
- the Path that is the target of this difference
Path.Failure
- when other is not absolutepublic Path ancestorOpNamed(java.lang.String opName)
opName
- the PathOperator function name to be searched for
public boolean isAbsolute()
public boolean inFragment()
public java.lang.String toURLString()
public PathEquivalence equivalences()
public PathEquivalence addEquivalent(Path other)
other
- the other equivalent Path elements
public boolean equivalent(Path other)
other
- another Path
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |