this/1

Description

this(This)

Unifies its argument with the identifier of the object that contains the predicate clause whose body is being executed (or the object importing the category that contains the predicate clause). This predicate implies an instantiation between its argument and the corresponding implicit context argument in the predicate containing the call. This instantiation occurs at the clause head, not at the clause body. This method is useful in avoiding problems when an object is renamed or when using parametric objects (e.g. for retrieving runtime parametric object parameters through unification; see also parameter/2).

Template and modes

this(?object_identifier)

Errors

(none)

Examples

% after compilation, the write/1 call will be the first goal on the clause body:

test :-
    this(This),
    write('executing a definition contained in '),
    writeq(This), nl.