public final class DefaultURI extends Object implements URI
Constructor and Description |
---|
DefaultURI(String uri) |
DefaultURI(String prefix,
String localname) |
Modifier and Type | Method and Description |
---|---|
int |
compareTo(URI uri) |
boolean |
equals(Object obj) |
boolean |
equals(URI other) |
String |
getLocalname()
Get the localname of this URI.
|
String |
getPrefix()
Get the prefix of this URI.
|
int |
hashCode() |
String |
toString() |
public DefaultURI(String uri)
public String getPrefix()
URI
public String getLocalname()
URI
getLocalname
in interface URI
public int compareTo(URI uri)
compareTo
in interface Comparable<URI>
public boolean equals(URI other)
Copyright © 2014–2018 GraphIK (INRIA - LIRMM). All rights reserved.