avail/avail.optimizer.annotations/RequiresNot

RequiresNot

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

RequiresNot indicates which StateFlags must be clear for an L2ControlFlowGraph upon starting the annotated optimization phase.

Author

Mark van Gulik

Parameters

value

The StateFlags required to be already clear.

Constructors

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

Construct a RequiresNot

Properties

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

The StateFlags required to be already clear.