@Override public ATermAppl getLiteral(final Object value) { for (final Datatype<?> dt : _coreDatatypes.values()) if (dt.isPrimitive()) if (dt.asDataRange().contains(value)) return dt.getLiteral(value); final String msg = "Value is not in the value space of any recognized datatypes: " + value.toString(); _logger.severe(msg); throw new IllegalArgumentException(msg); }
@Override public ATermAppl getLiteral(final Object value) { for (final Datatype<?> dt : _coreDatatypes.values()) if (dt.isPrimitive()) if (dt.asDataRange().contains(value)) return dt.getLiteral(value); final String msg = "Value is not in the value space of any recognized datatypes: " + value.toString(); _logger.severe(msg); throw new IllegalArgumentException(msg); }