Class AlwaysSetWhenPresent

java.lang.Object

org.ek9lang.compiler.support.operators.AlwaysSetWhenPresent

All Implemented Interfaces:

Predicate<IAggregateSymbol>

public final class AlwaysSetWhenPresent
extends Object
implements Predicate<IAggregateSymbol>

THE "is a value of EXACTLY this type always set - its '?' the one synthesised for a field-less type (IsSynthesisedIsSet, Q-COMPONENT-?), answering true?" Read by phase 5's value tracker (F3, Steve 2026-10-07): s <- FieldlessType() then if s? is provably true (E08088), as Integer() is provably unset. Only the type's OWN '?' counts: a type that inherits a '?' from a super or trait was never given one, and that '?' is the author's to define. Hold one and ask it.

Constructor Summary

Constructors

Constructor	Description
AlwaysSetWhenPresent()

Method Summary

Modifier and Type	Method	Description
boolean	test(IAggregateSymbol aggregate)

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

AlwaysSetWhenPresent

public AlwaysSetWhenPresent()

Method Details

test

public boolean test(IAggregateSymbol aggregate)

Specified by:

test in interface Predicate<IAggregateSymbol>