avail/avail.interpreter.effects/LoadingEffect

LoadingEffect

abstract class LoadingEffect
Content copied to clipboard

A LoadingEffect is a summarized activity that took place during execution of a top-level statement during module compilation. If certain criteria are met, what gets recorded for replay is not a zero-argument function containing that top-level statement, but instead is a summarized function that has an equivalent effect on the currently module, although it may be much more efficient.

Author

Mark van Gulik

Constructors

Link copied to clipboard
fun LoadingEffect()
Content copied to clipboard

Functions

Link copied to clipboard
abstract fun writeEffectTo(writer: L1InstructionWriter, startLine: Int)
Content copied to clipboard

Write to the L1InstructionWriter a statement capable of reproducing this effect upon subsequent loading. The generated code should leave one (ignored) value on the stack.