protocol
flags_validator¶
Flag validation protocol. Must be implemented by validator objects.
Author: Theofrastos Mantadelis
Version: 1.0
Date: 2010/11/27
Compilation flags:
static(no dependencies on other entities)
Public interface¶
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 interface¶
(none)
Private predicates¶
(none)
Operators¶
(none)
Remarks¶
(none)