avail/avail.optimizer.annotations

Package-level declarations

Types

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

Sets indicates which StateFlags to clear automatically in the L2ControlFlowGraph upon completion of the annotated optimization phase.

Link copied to clipboard
@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.

Link copied to clipboard
@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.

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

Sets indicates which StateFlags to set automatically in the L2ControlFlowGraph upon completion of the annotated optimization phase.