Class MovedOutOf

java.lang.Object

org.ek9lang.compiler.phase9.MovedOutOf

All Implemented Interfaces:

Function<List<IRInstr>, Set<String>>

final class MovedOutOf
extends Object
implements Function<List<IRInstr>, Set<String>>

THE variables an operation body's ownership form moves out of (the value of a consuming SLOT_ASSIGN). Lowering a move leaves a bare STORE, so the lowered form no longer shows that a variable's last value left it; LoopActivationOwnership has already judged those moves on the ownership form, and OwnershipLowering's V-L check passes them back so it does not re-ask about evidence the lowering legitimately removed. Given an operation body still in the ownership form.

Constructor Summary

Constructors

Constructor	Description
MovedOutOf()

Method Summary

Modifier and Type	Method	Description
Set<String>	apply(List<IRInstr> body)

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

MovedOutOf

MovedOutOf()

Method Details

apply

public Set<String> apply(List<IRInstr> body)

Specified by:

apply in interface Function<List<IRInstr>, Set<String>>