@Override public Datatype<?> getDatatype(final ATermAppl uri) { try { Datatype<?> dt = _coreDatatypes.get(uri); if (dt == null) { final ATermAppl definition = namedDataRanges.get(uri); if (definition != null) if (ATermUtils.isRestrictedDatatype(definition)) { final RestrictedDatatype<?> dataRange = (RestrictedDatatype<?>) getDataRange(definition); final NamedDatatype<?> namedDatatype = new NamedDatatype<>(uri, dataRange); dt = namedDatatype; } } return dt; } catch (final Exception e) { throw new OpenError(e); } }
@Override public Datatype<?> getDatatype(final ATermAppl uri) { try { Datatype<?> dt = _coreDatatypes.get(uri); if (dt == null) { final ATermAppl definition = namedDataRanges.get(uri); if (definition != null) if (ATermUtils.isRestrictedDatatype(definition)) { final RestrictedDatatype<?> dataRange = (RestrictedDatatype<?>) getDataRange(definition); final NamedDatatype<?> namedDatatype = new NamedDatatype<>(uri, dataRange); dt = namedDatatype; } } return dt; } catch (final Exception e) { throw new OpenError(e); } }
private boolean containedIn(final Object value, final ATermAppl dconjunction) throws InvalidConstrainingFacetException, InvalidLiteralException, UnrecognizedDatatypeException { if (ATermUtils.isAnd(dconjunction)) { for (ATermList l = (ATermList) dconjunction.getArgument(0); !l.isEmpty(); l = l.getNext()) if (!getDataRange((ATermAppl) l.getFirst()).contains(value)) return false; return true; } else return getDataRange(dconjunction).contains(value); }
private boolean containedIn(final Object value, final ATermAppl dconjunction) throws InvalidConstrainingFacetException, InvalidLiteralException, UnrecognizedDatatypeException { if (ATermUtils.isAnd(dconjunction)) { for (ATermList l = (ATermList) dconjunction.getArgument(0); !l.isEmpty(); l = l.getNext()) if (!getDataRange((ATermAppl) l.getFirst()).contains(value)) return false; return true; } else return getDataRange(dconjunction).contains(value); }
for (ATermList l = (ATermList) dconjunction.getArgument(0); !l.isEmpty(); l = l.getNext()) final DataRange<?> dr = getDataRange((ATermAppl) l.getFirst()); if (dr.isEmpty()) return EMPTY_RANGE; ret = getDataRange(dconjunction);
for (ATermList l = (ATermList) dconjunction.getArgument(0); !l.isEmpty(); l = l.getNext()) final DataRange<?> dr = getDataRange((ATermAppl) l.getFirst()); if (dr.isEmpty()) return EMPTY_RANGE; ret = getDataRange(dconjunction);
final DataRange<?> dt = getDataRange(dtTerm); if (!(dt instanceof RestrictedDatatype<?>)) throw new InvalidConstrainingFacetException(dtTerm, dt); final DataRange<?> ndr = getDataRange(n); final DataRange<?> dr = new NegatedDataRange<Object>(ndr);
final DataRange<?> dt = getDataRange(dtTerm); if (!(dt instanceof RestrictedDatatype<?>)) throw new InvalidConstrainingFacetException(dtTerm, dt); final DataRange<?> ndr = getDataRange(n); final DataRange<?> dr = new NegatedDataRange<Object>(ndr);