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

Class ListConstraintChecker<E>

java.lang.Object

io.github.fablabsmc.fablabs.impl.fiber.constraint.ConstraintChecker<List<E>,ListSerializableType<E>>

io.github.fablabsmc.fablabs.impl.fiber.constraint.ListConstraintChecker<E>

Type Parameters:

E - the type of elements V holds

public final class ListConstraintChecker<E>
extends ConstraintChecker<List<E>,ListSerializableType<E>>

A component constraints is satisfied only if all elements in the aggregate type it checks satisfy the constraint.

Method Summary

Modifier and Type	Method and Description
boolean	comprehends(ListSerializableType<E> cfg, ListSerializableType<E> cfg2) Returns true if cfg comprehends cfg2.
static <E> ListConstraintChecker<E>	instance()
TypeCheckResult<List<E>>	test(ListSerializableType<E> cfg, List<E> values) 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 <E> ListConstraintChecker<E> instance()

test

public TypeCheckResult<List<E>> test(ListSerializableType<E> cfg,
                                     List<E> values)

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<List<E>,ListSerializableType<E>>

Parameters:

cfg - the type configuration to test against

values - the value

Returns:

true if value satisfies the constraint

comprehends

public boolean comprehends(ListSerializableType<E> cfg,
                           ListSerializableType<E> 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<List<E>,ListSerializableType<E>>

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)