validate
public abstract boolean validate(Type type,
Type... types)
Validate the constraint against the type against this constraint in
the context of a relation. The
types (...) parameter should contain the vector of parameters the relation to
allow a complete context for the validation (e.g. for a binary relation, the first element
if types should be the domain, and the second element should be the range.
- Parameters:
type
- The type under examination.
types
- The types involved in the relation (in order).
- Returns: