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

Class BooleanConstraintChecker

java.lang.Object

io.github.fablabsmc.fablabs.impl.fiber.constraint.ConstraintChecker<Boolean,BooleanSerializableType>

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

public class BooleanConstraintChecker
extends ConstraintChecker<Boolean,BooleanSerializableType>

Method Summary

Modifier and Type	Method and Description
boolean	comprehends(BooleanSerializableType cfg, BooleanSerializableType cfg2) Returns true if cfg comprehends cfg2.
static BooleanConstraintChecker	instance()
TypeCheckResult<Boolean>	test(BooleanSerializableType cfg, Boolean 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 BooleanConstraintChecker instance()

test

public TypeCheckResult<Boolean> test(BooleanSerializableType cfg,
                                     Boolean 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<Boolean,BooleanSerializableType>

Parameters:

cfg - the type configuration to test against

value - the value

Returns:

true if value satisfies the constraint

comprehends

public boolean comprehends(BooleanSerializableType cfg,
                           BooleanSerializableType 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<Boolean,BooleanSerializableType>

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)