Logtalk control construct: ^^/1

contents > reference manual > control constructs

## `^^/1`

#### Description

>     ^^Predicate

> Calls a redefined/inherited definition for a message. Normally only used in the body of a predicate definition for the message. Predicate should match a public or protected predicate of self or be within the scope of this.

#### Template and modes

>     ^^+message

#### Errors

> Predicate is a variable:
>   `instantiation_error`
> Predicate is declared private:
>   `permission_error(access, private_predicate, Predicate)`
> Predicate is not declared:
>   `existence_error(predicate_declaration, Predicate)`
> Container of the inherited predicate definition is the same object that contains the `^^/1` call:
>   `endless_loop(Predicate)`

#### Examples

>     init :-
>             assertz(counter(0)),
>             ^^init.

previous | glossary | next
Copyright © Paulo Moura — Logtalk.org