354355356357358359360361362363364
case INFINITE_STRING: return literal; case EMPTY: throw new InvalidLiteralException(dtName, ATermUtils.getLiteralValue(literal)); case EXCEPTION: throw new UnrecognizedDatatypeException(dtName); default: throw new IllegalStateException(); } } else {
395396397398399400401402403404405
dt = InfiniteNamedDatatype.get(a); break; case EMPTY: return EMPTY_RANGE; case EXCEPTION: throw new UnrecognizedDatatypeException(a); default: throw new IllegalStateException(); } } return dt.asDataRange();
585586587588589590591592593594595
11781179118011811182118311841185118611871188
if (dtTerm == null) { throw new IllegalArgumentException(); } final Datatype<?> dt = getDatatype(dtTerm); if (dt == null) { throw new UnrecognizedDatatypeException(dtTerm); } try { dt.getValue(typedLiteral); } catch (InvalidLiteralException e) {