XmlFragmentKey

final case class XmlFragmentKey(docUri: URI, path: Path)

A unique identifier of an XML fragment in a Taxonomy. It is made up by the document URI and the Path within that document.

A unique identifier of an XML fragment in a Taxonomy. It is made up by the document URI and the Path within that document.

Authors

Chris de Vreeze

Companion
object
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Value members

Inherited methods

def productElementNames: Iterator[String]
Inherited from
Product
def productIterator: Iterator[Any]
Inherited from
Product