Class RangeRunsProgramCode

java.lang.Object

org.ek9lang.compiler.support.sharing.RangeRunsProgramCode

All Implemented Interfaces:

Predicate<ISymbol>

public final class RangeRunsProgramCode
extends Object
implements Predicate<ISymbol>

D66 gap (verifier, 2026-10-21): does a for range over values of this type run code of the program's own? The range builds its counter and each loop value with the type's copy constructor and moves the counter with ++/-- (or +=/-= by a step), comparing with <=>: a program type with any of those not pure runs that code, which may change what it can reach (a copy shares its fields). A built-in, a constrained type (it counts in its built-in base) and an enumeration run nothing of the program's; a generic's bare T may be anything.

Constructor Summary

Constructors

Constructor	Description
RangeRunsProgramCode()

Method Summary

Modifier and Type	Method	Description
boolean	test(ISymbol type)

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

RangeRunsProgramCode

public RangeRunsProgramCode()

Method Details

test

public boolean test(ISymbol type)

Specified by:

test in interface Predicate<ISymbol>