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
Dependencies:
(none)
Remarks:
(none)

Public predicates

validate/1

Validates a flag value.

Compilation flags:
static
Template:
validate(Value)
Mode and number of proofs:
validate(@term) - zero_or_one

Operators

(none)