Class CancelPointVerifier

java.lang.Object

org.ek9lang.compiler.phase9.CancelPointVerifier

All Implemented Interfaces:

Function<IRConstruct, List<String>>

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

V-C (EK9_BACKEND_IR_CONTRACTS.md Contract 24), over the placed IR beside V-S: a CANCEL_POINT only in an operation CancelPointPlacement.isPlacedIn(OperationInstr) accepts - never in code no async task can run, nor in a class initialiser - and in every such operation at the end of every loop body (BackEdgePoints.isLoopBody(CompositeInstr.NestedList)), so no loop a task runs can keep it from stopping. A finding is a compiler defect. Stateless: hold one.

Constructor Summary

Constructors

Constructor	Description
CancelPointVerifier()

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

CancelPointVerifier

public CancelPointVerifier()

Method Details

apply

public List<String> apply(IRConstruct construct)

Specified by:

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