View Source RDF.XSD.Facets.MaxExclusive behaviour (RDF.ex v1.0.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
Link to this section 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_constaint_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.
Link to this section Callbacks
@callback max_exclusive() :: integer() | nil
Returns the value of this RDF.XSD.Facet on specific RDF.XSD.Datatype.
max_exclusive_conform?(facet_constaint_value, value, uncanonical_lexical)
View Source@callback max_exclusive_conform?( facet_constaint_value :: any(), value :: any(), RDF.XSD.Datatype.uncanonical_lexical() ) :: boolean()
Validates if a value and lexical conforms with a concrete facet_constaint_value for this RDF.XSD.Facet.
This function must be implemented on a RDF.XSD.Datatype using this RDF.XSD.Facet.
Link to this section Functions
@spec conform?(RDF.XSD.Datatype.t(), any(), RDF.XSD.Datatype.uncanonical_lexical()) :: boolean()
Checks if a value and lexical conforms with the max_exclusive_conform?/3 implementation on the datatype RDF.XSD.Datatype.