protocol

loopp

Loop control structures protocol.

author:
Paulo Moura
version:
1.1
date:
2006/9/17
compilation:
static

(no dependencies on other files)

Public interface

dowhile/2

Do Action while Condition is true.

compilation:
static
template:
dowhile(Action, Condition)
metapredicate template:
dowhile(::, ::)
mode – number of solutions:
dowhile(+callable, @callable) – zero_or_one

forto/3

Counting from First to Last do Call.

compilation:
static
template:
forto(First, Last, Call)
metapredicate template:
forto(*, *, ::)
mode – number of solutions:
forto(+integer, +integer, @callable) – zero_or_one

forto/4

Do Call counting from First to Last and instantiating Count to each sucessive value.

compilation:
static
template:
forto(Count, First, Last, Call)
metapredicate template:
forto(*, *, *, ::)
mode – number of solutions:
forto(-integer, +integer, +integer, @callable) – zero_or_one

fordownto/3

Counting from First to Last do Call.

compilation:
static
template:
fordownto(First, Last, Call)
metapredicate template:
fordownto(*, *, ::)
mode – number of solutions:
fordownto(+integer, +integer, @callable) – zero_or_one

fordownto/4

Do Call counting from First to Last and instantiating Count to each sucessive value.

compilation:
static
template:
fordownto(Count, First, Last, Call)
metapredicate template:
fordownto(*, *, *, ::)
mode – number of solutions:
fordownto(-integer, +integer, +integer, @callable) – zero_or_one

whiledo/2

While Condition is true do Action.

compilation:
static
template:
whiledo(Condition, Action)
metapredicate template:
whiledo(::, ::)
mode – number of solutions:
whiledo(+callable, @callable) – zero_or_one

Protected interface

(none)

Private predicates

(none)

Remarks

(none)