View Source RDF.XSD.Facets.MaxExclusive behaviour (RDF.ex v1.2.0)

RDF.XSD.Facet for maxExclusive.

maxExclusive is the exclusive upper bound of the value space for a datatype with the ordered property. The value of maxExclusive must be equal to some value in the value space of the base type or be equal to {value} in {base type definition}.

see https://www.w3.org/TR/xmlschema11-2/datatypes.html#rf-maxExclusive

Summary

Callbacks

Returns the value of this RDF.XSD.Facet on specific RDF.XSD.Datatype.

Validates if a value and lexical conforms with a concrete facet_constraint_value for this RDF.XSD.Facet.

Functions

Checks if a value and lexical conforms with the max_exclusive_conform?/3 implementation on the datatype RDF.XSD.Datatype.

Callbacks

@callback max_exclusive() :: integer() | nil

Returns the value of this RDF.XSD.Facet on specific RDF.XSD.Datatype.

Link to this callback

max_exclusive_conform?(facet_constraint_value, value, uncanonical_lexical)

View Source
@callback max_exclusive_conform?(
  facet_constraint_value :: any(),
  value :: any(),
  RDF.XSD.Datatype.uncanonical_lexical()
) :: boolean()

Validates if a value and lexical conforms with a concrete facet_constraint_value for this RDF.XSD.Facet.

This function must be implemented on a RDF.XSD.Datatype using this RDF.XSD.Facet.

Functions

Link to this function

conform?(datatype, value, lexical)

View Source

Checks if a value and lexical conforms with the max_exclusive_conform?/3 implementation on the datatype RDF.XSD.Datatype.