51 |
*/ |
*/ |
52 |
public RDFURI(URI uri) |
public RDFURI(URI uri) |
53 |
{ |
{ |
54 |
this.uri = uri; |
setURI(uri); |
55 |
} |
} |
56 |
|
|
57 |
/** |
/** |
84 |
} |
} |
85 |
} |
} |
86 |
|
|
87 |
|
/** |
88 |
|
* Returns a deep copy of this RDF URI. |
89 |
|
* |
90 |
|
* @return a clone of the RDF URI. |
91 |
|
*/ |
92 |
|
public RDFURI clone() |
93 |
|
{ |
94 |
|
try |
95 |
|
{ |
96 |
|
Object clonedObject = super.clone(); |
97 |
|
RDFURI clone = (RDFURI) clonedObject; |
98 |
|
clone.setURI(getURI()); |
99 |
|
return clone; |
100 |
|
} |
101 |
|
catch (CloneNotSupportedException e) |
102 |
|
{ |
103 |
|
throw new IllegalStateException("Unexpected exception: " + e, e); |
104 |
|
} |
105 |
|
} |
106 |
|
|
107 |
|
/** |
108 |
|
* Sets the URI used by this RDF URI to that specified. |
109 |
|
* |
110 |
|
* @param uri the new URI to use. |
111 |
|
*/ |
112 |
|
public void setURI(URI uri) |
113 |
|
{ |
114 |
|
this.uri = uri; |
115 |
|
} |
116 |
|
|
117 |
} |
} |