Interface Datatype<T>

    • Method Summary

      All Methods Instance Methods Abstract Methods 
      Modifier and Type Method Description
      RestrictedDatatype<T> asDataRange()
      Get the canonical _data range for a datatype
      openllet.aterm.ATermAppl getCanonicalRepresentation​(openllet.aterm.ATermAppl input)
      Get the canonical representation of a lexical form
      openllet.aterm.ATermAppl getLiteral​(java.lang.Object value)
      Get the canonical ATermAppl literal representation for a value space object.
      openllet.aterm.ATermAppl getName()
      Get the datatype identifier
      Datatype<?> getPrimitiveDatatype()
      Get the primitive datatype associated with this datatype.
      T getValue​(openllet.aterm.ATermAppl literal)
      Get the Java object representation of a _data value
      boolean isPrimitive()
      Check if a datatype is primitive.
    • Method Detail

      • asDataRange

        RestrictedDatatype<T> asDataRange()
        Get the canonical _data range for a datatype
        Returns:
        a DataRange representation of the datatype value space
      • getCanonicalRepresentation

        openllet.aterm.ATermAppl getCanonicalRepresentation​(openllet.aterm.ATermAppl input)
                                                     throws InvalidLiteralException
        Get the canonical representation of a lexical form
        Parameters:
        input - a lexical form of the literal
        Returns:
        the canonical representation of the lexical form
        Throws:
        InvalidLiteralException - if input is invalid
      • getLiteral

        openllet.aterm.ATermAppl getLiteral​(java.lang.Object value)
        Get the canonical ATermAppl literal representation for a value space object. This may be unsupported by datatypes for which isPrimitive() returns false.
        Parameters:
        value - Element of the value space for some datatype
        Returns:
        The ATermAppl representation of value
        Throws:
        java.lang.IllegalArgumentException - if value is not contained in the value space of the datatype
      • getName

        openllet.aterm.ATermAppl getName()
        Get the datatype identifier
        Returns:
        ATermAppl of URI for datatype
      • getPrimitiveDatatype

        Datatype<?> getPrimitiveDatatype()
        Get the primitive datatype associated with this datatype.
        Returns:
        this if isPrimitive() == true, else a primitive datatype that is a superset of the value space of this datatype.
      • getValue

        T getValue​(openllet.aterm.ATermAppl literal)
            throws InvalidLiteralException
        Get the Java object representation of a _data value
        Parameters:
        literal - the literal
        Returns:
        the Java object representation of the lexical form
        Throws:
        InvalidLiteralException - if literal is invalid
      • isPrimitive

        boolean isPrimitive()
        Check if a datatype is primitive. All datatypes are either primitive or derived. Derived datatypes are names for subsets of the value spaces of primitive datatypes, defined using specific constraining facet values.
        Returns:
        true if the datatype is primitive, false else