Class DefinitelyKeepsReceiver

java.lang.Object

org.ek9lang.compiler.support.retention.DefinitelyKeepsReceiver

All Implemented Interfaces:

Predicate<ScopedSymbol>

public final class DefinitelyKeepsReceiver
extends Object
implements Predicate<ScopedSymbol>

Does callee say, by an EXPLICIT rule - declared by a built-in (readyHandler <- receiver) or derived for a user method - that it keeps the object it is called ON beyond the call: stores it in an argument or where nothing here can name it? The receiver's half of DefinitelyKeepsArgument: an unnamed closeable that is the RECEIVER of such a call is E81072 (D80 follow-up, 2026-10-21: Tracked("r").registerIn(kept), whose body is items += this, closed the receiver and then the list held a closed object). The unknown opt-out is not enough: the receiver is then only handed on. A rule storing the receiver in its own property (receiver <- receiver) is not a keep, and the receiver handed back is ReturnsReceiverInterior.

Constructor Summary

Constructors

Constructor	Description
DefinitelyKeepsReceiver()

Method Summary

Modifier and Type	Method	Description
boolean	test(ScopedSymbol callee)

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface Predicate

and, negate, or

Constructor Details

DefinitelyKeepsReceiver

public DefinitelyKeepsReceiver()

Method Details

test

public boolean test(ScopedSymbol callee)

Specified by:

test in interface Predicate<ScopedSymbol>