View Source RDF.XSD.Facets.MaxInclusive behaviour (RDF.ex v2.0.1)

RDF.XSD.Facet for maxInclusive.

maxInclusive is the inclusive upper bound of the value space for a datatype with the ordered property. The value of maxInclusive must be equal to some value in the value space of the base type.

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

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_inclusive_conform?/3 implementation on the datatype RDF.XSD.Datatype.

Callbacks

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

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

Link to this callback

max_inclusive_conform?(facet_constraint_value, value, uncanonical_lexical)

View Source
@callback max_inclusive_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_inclusive_conform?/3 implementation on the datatype RDF.XSD.Datatype.