io.github.fablabsmc.fablabs.impl.fiber.constraint

Class RecordConstraintChecker

java.lang.Object

io.github.fablabsmc.fablabs.impl.fiber.constraint.ConstraintChecker<Map<String,Object>,RecordSerializableType>

io.github.fablabsmc.fablabs.impl.fiber.constraint.RecordConstraintChecker

public class RecordConstraintChecker
extends ConstraintChecker<Map<String,Object>,RecordSerializableType>

Method Summary

Modifier and Type	Method and Description
boolean	comprehends(RecordSerializableType cfg, RecordSerializableType cfg2) Returns true if cfg comprehends cfg2.
static RecordConstraintChecker	instance()
TypeCheckResult<Map<String,Object>>	test(RecordSerializableType cfg, Map<String,Object> value) Tests a value against this Constraint.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

instance

public static RecordConstraintChecker instance()

test

public TypeCheckResult<Map<String,Object>> test(RecordSerializableType cfg,
                                                Map<String,Object> value)

Description copied from class: ConstraintChecker

Tests a value against this Constraint.

This method may provide a corrected value that can be used if the input value is invalid.

Specified by:

test in class ConstraintChecker<Map<String,Object>,RecordSerializableType>

Parameters:

cfg - the type configuration to test against

value - the value

Returns:

true if value satisfies the constraint

comprehends

public boolean comprehends(RecordSerializableType cfg,
                           RecordSerializableType cfg2)

Description copied from class: ConstraintChecker

Returns true if cfg comprehends cfg2.

A type configuration comprehends another if it accepts every value that the other does.

forall x, cfg2.accepts(x) => cfg.accepts(x)

Specified by:

comprehends in class ConstraintChecker<Map<String,Object>,RecordSerializableType>

Parameters:

cfg - the tested comprehensive type configuration

cfg2 - the tested comprehended type configuration

Returns:

true if cfg comprehends cfg2, otherwise false.

See Also:

SerializableType.isAssignableFrom(SerializableType)