Class SafePointVerifier

java.lang.Object

org.ek9lang.compiler.phase9.SafePointVerifier

All Implemented Interfaces:

Function<IRConstruct, List<String>>

public final class SafePointVerifier
extends Object
implements Function<IRConstruct, List<String>>

V-S (EK9_NATIVE_CYCLE_COLLECTOR_DESIGN.md §14.5): a SAFE_POINT only in an operation that is not callback-reachable - a collection under a runtime frame could free what that frame holds uncounted. Run after SafePointPlacement, beside V-I over the placed IR (OwnershipBorrowVerifier treats a safe point as a call). Stateless: hold one.

Constructor Summary

Constructors

Constructor	Description
SafePointVerifier()

Method Summary

Modifier and Type	Method	Description
List<String>	apply(IRConstruct construct)

Methods inherited from class Object

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

Methods inherited from interface Function

andThen, compose

Constructor Details

SafePointVerifier

public SafePointVerifier()

Method Details

apply

public List<String> apply(IRConstruct construct)

Specified by:

apply in interface Function<IRConstruct, List<String>>