protocol
flags_validator¶
Flag validation protocol. Must be implemented by validator objects.
Author: Theofrastos Mantadelis
Version: 1.0
Date: 2010/11/27
Compilation flags:
staticDependencies:
(none)
Remarks:
(none)
Inherited public predicates:
(none)
Public predicates¶
print_flags/0¶
Validates the validator object itself.
Compilation flags:
staticMode and number of proofs:
print_flags - zero_or_onevalidate/1¶
Validates a flag value.
Compilation flags:
staticTemplate:
validate(Value)Mode and number of proofs:
validate(@term) - zero_or_oneProtected predicates¶
(none)
Private predicates¶
(none)