Return true if the value at the specified variable satisfies the constraint of the specified typeInfo object (if any), and false otherwise. Optionally specify a stream; if stream is specified and validation fails, a descriptive error message indicating the reason for the failure is written to stream. If typeInfo holds no constraint, this method returns true. The behavior is undefined unless variable can be (validly) cast to OptionType<ENUM>::EnumToType::type * where ENUM matches typeInfo.type().
Declared in <balcl_typeinfo.h>
static
bool
satisfiesConstraint(
void const* variable,
TypeInfo const& typeInfo);