How to use

getType

method

in

openllet.core.boxes.abox.Clash

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());
}