@Override public ATermAppl getCanonicalRepresentation(final ATermAppl input) throws InvalidLiteralException { return _range.getDatatype().getCanonicalRepresentation(input); }
@Override public ATermAppl getCanonicalRepresentation(final ATermAppl input) throws InvalidLiteralException { return _range.getDatatype().getCanonicalRepresentation(input); }
@Override public ATermAppl getCanonicalRepresentation(final ATermAppl literal) throws InvalidLiteralException, UnrecognizedDatatypeException { final ATermAppl dtName = getDatatypeName(literal); final Datatype<?> dt = getDatatype(dtName); if (dt == null) switch (OpenlletOptions.UNDEFINED_DATATYPE_HANDLING) { 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 return dt.getCanonicalRepresentation(literal); }
@Override public ATermAppl getCanonicalRepresentation(final ATermAppl literal) throws InvalidLiteralException, UnrecognizedDatatypeException { final ATermAppl dtName = getDatatypeName(literal); final Datatype<?> dt = getDatatype(dtName); if (dt == null) switch (OpenlletOptions.UNDEFINED_DATATYPE_HANDLING) { 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 return dt.getCanonicalRepresentation(literal); }