Class MayKeepArgument

java.lang.Object

org.ek9lang.compiler.support.retention.MayKeepArgument

All Implemented Interfaces:

BiPredicate<ScopedSymbol, Integer>

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

The MAY half of DefinitelyKeepsArgument: does callee say, by an EXPLICIT rule, that it keeps the argument - or is it an abstract declaration nothing implements, which MAY keep any argument (ReturnRetention.UNIMPLEMENTED)? An unnamed closeable given to such a callee is E81072 (nothing could close it); a named try resource given to it is allowed. Still narrower than KeepsArgumentBeyondResult: the inexpressible unknown opt-out does not answer here.

Constructor Summary

Constructors

Constructor	Description
MayKeepArgument()

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

MayKeepArgument

public MayKeepArgument()

Method Details

test

public boolean test(ScopedSymbol callee,
 Integer parameterIndex)

Specified by:

test in interface BiPredicate<ScopedSymbol, Integer>