public ClashType getClashType() { return getType(); }
public ClashType getClashType() { return getType(); }
/** * Equals method */ @Override public boolean equals(final Object other) { if (other instanceof ClashDependency) return _assertion.equals(((ClashDependency) other)._assertion) && _clash.getNode().equals(((ClashDependency) other)._clash.getNode()) && _clash.getType() == ((ClashDependency) other)._clash.getType() && _clash.getDepends().equals(((ClashDependency) other)._clash.getDepends()); else return false; }
/** * Equals method */ @Override public boolean equals(final Object other) { if (other instanceof ClashDependency) return _assertion.equals(((ClashDependency) other)._assertion) && _clash.getNode().equals(((ClashDependency) other)._clash.getNode()) && _clash.getType() == ((ClashDependency) other)._clash.getType() && _clash.getDepends().equals(((ClashDependency) other)._clash.getDepends()); else return false; }
str = _clashExplanation; else if (getType() == ClashType.UNEXPLAINED) str = "No _explanation was generated."; else if (_args == null) str = "No specific _explanation was generated. Generic _explanation: " + getType().getExplanation(); else if (getType() == ClashType.ATOMIC) str = atomicExplanation(); else if (getType() == ClashType.BOTTOM_PROP) str = bottomExplanation(); else if (getType() == ClashType.MAX_CARD) str = maxCardinalityExplanation(); else if (getType() == ClashType.FUNC_MAX_CARD) str = functionalCardinalityExplanation(); else if (getType() == ClashType.NOMINAL) str = nominalExplanation(); else if (getType() == ClashType.MISSING_DATATYPE) str = missingDatatypeExplanation(); else if (getType() == ClashType.VALUE_DATATYPE) str = valueDatatypeExplanation(); else
str = _clashExplanation; else if (getType() == ClashType.UNEXPLAINED) str = "No _explanation was generated."; else if (_args == null) str = "No specific _explanation was generated. Generic _explanation: " + getType().getExplanation(); else if (getType() == ClashType.ATOMIC) str = atomicExplanation(); else if (getType() == ClashType.BOTTOM_PROP) str = bottomExplanation(); else if (getType() == ClashType.MAX_CARD) str = maxCardinalityExplanation(); else if (getType() == ClashType.FUNC_MAX_CARD) str = functionalCardinalityExplanation(); else if (getType() == ClashType.NOMINAL) str = nominalExplanation(); else if (getType() == ClashType.MISSING_DATATYPE) str = missingDatatypeExplanation(); else if (getType() == ClashType.VALUE_DATATYPE) str = valueDatatypeExplanation(); else
@Override public String toString() { return "[Clash " + getNode() + " " + getType() + " " + getDepends().toString() + (_args == null ? "" : " " + Arrays.asList(_args)) + "]"; }
@Override public String toString() { return "[Clash " + getNode() + " " + getType() + " " + getDepends().toString() + (_args == null ? "" : " " + Arrays.asList(_args)) + "]"; }
/** * Hashcode method TODO: this may not be sufficient */ @Override public int hashCode() { return _clash.getType().hashCode() + _clash.getDepends().hashCode() + _clash.getNode().hashCode() + _assertion.hashCode(); }
/** * Hashcode method TODO: this may not be sufficient */ @Override public int hashCode() { return _clash.getType().hashCode() + _clash.getDepends().hashCode() + _clash.getNode().hashCode() + _assertion.hashCode(); }
public Clash copyTo(final ABoxImpl abox) { return new Clash(abox.getNode(getNode().getName()), getType(), getDepends(), _clashExplanation); }
public Clash copyTo(final ABoxImpl abox) { return new Clash(abox.getNode(getNode().getName()), getType(), getDepends(), _clashExplanation); }
@Test public void test484() { dataProperties(_p); individuals(_a); final ATermAppl dt = restrict(Datatypes.INTEGER, minExclusive(literal(0)), maxExclusive(literal(0))); _kb.addType(_a, some(_p, dt)); assertFalse(_kb.isConsistent()); assertEquals(Clash.ClashType.EMPTY_DATATYPE, _kb.getABox().getLastClash().getType()); }