built-in method

current_op/3

Description

current_op(Priority, Specifier, Operator)

Enumerates, by backtracking, the visible operators declared for an object. Operators not declared using a scope directive are not enumerated.

Modes and number of proofs

current_op(?operator_priority, ?operator_specifier, ?atom) - zero_or_more

Errors

Priority is neither a variable nor an integer:

type_error(integer, Priority)

Priority is an integer but not a valid operator priority:

domain_error(operator_priority, Priority)

Specifier is neither a variable nor an atom:

type_error(atom, Specifier)

Specifier is an atom but not a valid operator specifier:

domain_error(operator_specifier, Specifier)

Operator is neither a variable nor an atom:

type_error(atom, Operator)

Examples

To enumerate, by backtracking, the local operators or the operators visible in this:

current_op(Priority, Specifier, Operator)

To enumerate, by backtracking, the public and protected operators visible in self:

::current_op(Priority, Specifier, Operator)

To enumerate, by backtracking, the public operators visible for an explicit object:

Object::current_op(Priority, Specifier, Operator)

See also

current_predicate/1, predicate_property/2, op/3