avail/avail.optimizer.annotations/RequiresNot

RequiresNot

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

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.

Properties

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

The StateFlags required to be already clear.