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 files)

Public interface

validate/0

compilation flags:
static

validate/1

Validates a flag value.

compilation flags:
static
template:
validate(Value)
mode – number of proofs:
validate(@term) – zero_or_one

Protected interface

(none)

Private predicates

(none)

Operators

(none)

Remarks

(none)