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)