avail/avail.optimizer.annotations/Requires

Requires

@Target(allowedTargets = [AnnotationTarget.FIELD])
annotation class Requires(val value: KClass<out L2ControlFlowGraph.StateFlag>)

Requires indicates which StateFlags must already be set for an L2ControlFlowGraph upon starting the annotated optimization phase.

Author

Mark van Gulik

Parameters

value

The StateFlags required to be already set.

Properties

Link copied to clipboard
val value: Array<out KClass<out L2ControlFlowGraph.StateFlag>>

The StateFlags required to be already set.