Uses of Interface
science.aist.gtf.verification.syntactic.constraint.Constraint

Packages that use Constraint

Package	Description
science.aist.gtf.verification.syntactic
science.aist.gtf.verification.syntactic.constraint.impl

Uses of Constraint in science.aist.gtf.verification.syntactic

Methods in science.aist.gtf.verification.syntactic with parameters of type Constraint

Modifier and Type	Method	Description
<T> void	PropertyRestrictor.addClassConstraint(Class<T> clazz, Constraint<T> c)	Add a constraint for a given class (takes the next possible priority)
<T> void	PropertyRestrictor.addClassConstraint(Class<T> clazz, Constraint<T> c, Integer priority)	Add a constraint for a given class with a given priority Attention: Only one constraint per priority! Calling multiple times with same priority will always replace the constraint.
void	PropertyRestrictor.addFieldConstraint(Class<?> clazz, String fieldName, Constraint<?> c)	Add a constraint for a given field (takes the next possible priority)
void	PropertyRestrictor.addFieldConstraint(Field f, Constraint<?> c)	Add a constraint for a given field (takes the next possible priority)
void	PropertyRestrictor.addFieldConstraint(Field f, Constraint<?> c, Integer priority)	Add a constraint for a given field with a given priority Attention: Only one constraint per priority! Calling multiple times with same priority will always replace the constraint.
void	PropertyRestrictor.addGeneralConstraint(Integer priority, Constraint<?> c)	Adds a general constraint checked for every field if suitable

Method parameters in science.aist.gtf.verification.syntactic with type arguments of type Constraint

Modifier and Type	Method	Description
void	PropertyRestrictor.setFieldConstraints(Map<science.aist.jack.data.Pair<Class<?>,String>,Map<Integer,Constraint<?>>> fieldConstraints)

Uses of Constraint in science.aist.gtf.verification.syntactic.constraint.impl

Classes in science.aist.gtf.verification.syntactic.constraint.impl that implement Constraint

Modifier and Type	Class	Description
class	BooleanConstraint	Constraint for checking if a boolean value is of given value
class	DefaultInitializedConstraint	Constraint which checks if an object is default initialized
class	EmptyContainerConstraint	Constraint for checking if a collection is empty
class	IntegerRangeConstraint	Constraint for checking if an integer is in between the bounds (inclusive)
class	NullConstraint	Constraint which checks if an object is null