@Override public ATermAppl getCanonicalRepresentation(final ATermAppl input) throws InvalidLiteralException { return _range.getDatatype().getCanonicalRepresentation(input); }
@Override public Datatype<?> getPrimitiveDatatype() { return _range.getDatatype().getPrimitiveDatatype(); }
@Override public Datatype<?> getPrimitiveDatatype() { return _range.getDatatype().getPrimitiveDatatype(); }
@Override public ATermAppl getCanonicalRepresentation(final ATermAppl input) throws InvalidLiteralException { return _range.getDatatype().getCanonicalRepresentation(input); }
final Datatype<?> pd = rd.getDatatype().getPrimitiveDatatype(); Set<RestrictedDatatype<?>> others = byPrimitive.get(pd); if (others == null)
final Datatype<?> pd = rd.getDatatype().getPrimitiveDatatype(); Set<RestrictedDatatype<?>> others = byPrimitive.get(pd); if (others == null)
@Override public T getValue(final ATermAppl literal) throws InvalidLiteralException { final T value = _range.getDatatype().getValue(literal); if (!_range.contains(value)) throw new InvalidLiteralException(_name, literal.getArgument(ATermUtils.LIT_VAL_INDEX).toString()); return value; }
@Override public T getValue(final ATermAppl literal) throws InvalidLiteralException { final T value = _range.getDatatype().getValue(literal); if (!_range.contains(value)) throw new InvalidLiteralException(_name, literal.getArgument(ATermUtils.LIT_VAL_INDEX).toString()); return value; }
for (final RestrictedDatatype<?> pr : positiveRestrictions) final Datatype<?> dt = pr.getDatatype().getPrimitiveDatatype(); continue; final Datatype<?> dt = other.getDatatype().getPrimitiveDatatype();
for (final RestrictedDatatype<?> pr : positiveRestrictions) final Datatype<?> dt = pr.getDatatype().getPrimitiveDatatype(); continue; final Datatype<?> dt = other.getDatatype().getPrimitiveDatatype();