avail/avail.optimizer.annotations/Requires

Requires

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

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.

Constructors

Link copied to clipboard
fun Requires(vararg value: KClass<out L2ControlFlowGraph.StateFlag>)
Content copied to clipboard

Construct a Requires

Properties

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

The StateFlags required to be already set.