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()
URIpublic String getLocalname()
URIgetLocalname in interface URIpublic int compareTo(URI uri)
compareTo in interface Comparable<URI>public boolean equals(URI other)
Copyright © 2014–2018 GraphIK (INRIA - LIRMM). All rights reserved.