Class MarkOverriddenBy

java.lang.Object

org.ek9lang.compiler.support.retention.MarkOverriddenBy

All Implemented Interfaces:

BiPredicate<ScopedSymbol, ScopedSymbol>

public final class MarkOverriddenBy
extends Object
implements BiPredicate<ScopedSymbol, ScopedSymbol>

THE dispatch union (Steve, 2026-10-21, D61): a call through declaration may run override - a method that overrides it, or a function (dynamic functions included) whose super function it is - so the declaration also returns whatever the override does, and keeps whatever the override keeps (the lane callee-keep, 2026-10-21: receiver <- item, <otherParam> <- item, ambient <- item). Every rule of the override is recorded on the declaration, a parameter named by the declaration's own parameter at the same position. Marks only add. Answers true when the declaration gained a rule.

Constructor Summary

Constructors

Constructor	Description
MarkOverriddenBy()

Method Summary

Modifier and Type	Method	Description
boolean	test(ScopedSymbol declaration, ScopedSymbol override)	Record every rule of the override on the declaration.

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

MarkOverriddenBy

public MarkOverriddenBy()

Method Details

test

public boolean test(ScopedSymbol declaration,
 ScopedSymbol override)

Record every rule of the override on the declaration.

Specified by:

test in interface BiPredicate<ScopedSymbol, ScopedSymbol>

Returns:

true when the declaration gained a rule