Skip to contentPackage: ClassAssertion
ClassAssertion
Coverage
1: /**
2: * Copyright (C) 2016 Czech Technical University in Prague
3: *
4: * This program is free software: you can redistribute it and/or modify it under
5: * the terms of the GNU General Public License as published by the Free Software
6: * Foundation, either version 3 of the License, or (at your option) any
7: * later version.
8: *
9: * This program is distributed in the hope that it will be useful, but WITHOUT
10: * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
11: * FOR A PARTICULAR PURPOSE. See the GNU General Public License for more
12: * details. You should have received a copy of the GNU General Public License
13: * along with this program. If not, see <http://www.gnu.org/licenses/>.
14: */
15: package cz.cvut.kbss.ontodriver.model;
16:
17: import cz.cvut.kbss.ontodriver.util.Vocabulary;
18:
19: import java.net.URI;
20:
21: class ClassAssertion extends Assertion {
22:
23: static final URI RDF_TYPE = URI.create(Vocabulary.RDF_TYPE);
24:
25: ClassAssertion(boolean isInferred) {
26: super(RDF_TYPE, isInferred);
27: }
28:
29: /**
30: * Always returns {@code null}, because language is irrelevant for object properties.
31: *
32: * @return {@code null}
33: */
34: @Override
35: public String getLanguage() {
36: return null;
37: }
38:
39: /**
40: * Always returns {@code false}.
41: *
42: * @return {@code false}
43: */
44: @Override
45: public boolean hasLanguage() {
46: return false;
47: }
48:
49: @Override
50: public AssertionType getType() {
51: return AssertionType.CLASS;
52: }
53:
54: @Override
55: public int hashCode() {
56: int prime = 31;
57: return prime * super.hashCode();
58: }
59:
60: @Override
61: public boolean equals(Object obj) {
62:• return this == obj || super.equals(obj) && getClass() == obj.getClass();
63: }
64: }