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

validate/1

Validates a flag value.

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

Protected interface

(none)

Private predicates

(none)

Operators

(none)

Remarks

(none)