Logtalk reference manual
Built-in method: current_op/3
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 found.
Template and modes
current_op(?operator_priority, ?operator_specifier, ?atom)
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