avail/avail.optimizer.annotations

Package avail.optimizer.annotations

Types

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

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>)
Content copied to clipboard

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>)
Content copied to clipboard

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>)
Content copied to clipboard

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