diff options
| author | yzhou <yujiao.zhou@gmail.com> | 2015-04-21 10:34:27 +0100 |
|---|---|---|
| committer | yzhou <yujiao.zhou@gmail.com> | 2015-04-21 10:34:27 +0100 |
| commit | 9ce65c5a963b03ee97fe9cb6c5aa65a3c04a80a8 (patch) | |
| tree | 47511c0fb89dccff0db4b5990522e04f294d795b /src/uk/ac/ox/cs/pagoda/model/IRI.java | |
| parent | b1ac207612ee8b045244253fb94b866104bc34f2 (diff) | |
| download | ACQuA-9ce65c5a963b03ee97fe9cb6c5aa65a3c04a80a8.tar.gz ACQuA-9ce65c5a963b03ee97fe9cb6c5aa65a3c04a80a8.zip | |
initial version
Diffstat (limited to 'src/uk/ac/ox/cs/pagoda/model/IRI.java')
| -rw-r--r-- | src/uk/ac/ox/cs/pagoda/model/IRI.java | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/src/uk/ac/ox/cs/pagoda/model/IRI.java b/src/uk/ac/ox/cs/pagoda/model/IRI.java new file mode 100644 index 0000000..7dc5242 --- /dev/null +++ b/src/uk/ac/ox/cs/pagoda/model/IRI.java | |||
| @@ -0,0 +1,28 @@ | |||
| 1 | package uk.ac.ox.cs.pagoda.model; | ||
| 2 | |||
| 3 | import uk.ac.ox.cs.pagoda.util.Namespace; | ||
| 4 | |||
| 5 | public class IRI extends AnswerTerm { | ||
| 6 | |||
| 7 | int id; | ||
| 8 | String iri; | ||
| 9 | |||
| 10 | private IRI(String iri, int id) { | ||
| 11 | this.iri = iri; | ||
| 12 | this.id = id; | ||
| 13 | } | ||
| 14 | |||
| 15 | public IRI create(String iri) { | ||
| 16 | IRI instance = (IRI) instances.find(iri); | ||
| 17 | if (instance != null) return instance; | ||
| 18 | instance = new IRI(iri, iri.startsWith(Namespace.PAGODA_ANONY) ? --SkolemCounter : ++OriginalCounter); | ||
| 19 | instances.insert(iri, instance); | ||
| 20 | return instance; | ||
| 21 | } | ||
| 22 | |||
| 23 | @Override | ||
| 24 | public String toString() { | ||
| 25 | return "<" + iri + ">"; | ||
| 26 | } | ||
| 27 | |||
| 28 | } | ||
