Class DefinitelyKeepsArgument

java.lang.Object

org.ek9lang.compiler.support.retention.DefinitelyKeepsArgument

All Implemented Interfaces:

BiPredicate<ScopedSymbol, Integer>

public final class DefinitelyKeepsArgument
extends Object
implements BiPredicate<ScopedSymbol, Integer>

Does callee say, by an EXPLICIT rule - declared by a built-in or derived for a user callable - that it keeps the argument it is given at parameterIndex somewhere other than its result? The narrower question than KeepsArgumentBeyondResult, which also counts the inexpressible unknown opt-out: an unnamed closeable given to a callee that DEFINITELY keeps it is E81072; one given to a callee that may is handed on. The ReturnRetention.UNIMPLEMENTED destination never counts here (MayKeepArgument counts it).

Constructor Summary

Constructors

Constructor	Description
DefinitelyKeepsArgument()

Method Summary

Modifier and Type	Method	Description
boolean	test(ScopedSymbol callee, Integer parameterIndex)

Methods inherited from class Object

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

Methods inherited from interface BiPredicate

and, negate, or

Constructor Details

DefinitelyKeepsArgument

public DefinitelyKeepsArgument()

Method Details

test

public boolean test(ScopedSymbol callee,
 Integer parameterIndex)

Specified by:

test in interface BiPredicate<ScopedSymbol, Integer>