Trait Pass

pub trait Pass {
    type Input;
    type Output;

    const NAME: &str;

    // Required method
    fn do_pass(
        input: Self::Input,
        state: &mut CompilerState,
    ) -> Result<Self::Output>;
}

A compiler pass.

Every pass has access to CompilerState, and may also specify an Input and Output.

Required Associated Constants

const NAME: &str

Required Associated Types

type Input

type Output

Required Methods

fn do_pass( input: Self::Input, state: &mut CompilerState, ) -> Result<Self::Output>

Runs the compiler pass.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl Pass for CodeGenerating

const NAME: &str = "CodeGenerating"

type Input = ()

type Output = String

impl Pass for ConstPropagation

const NAME: &str = "ConstPropagation"

type Input = ()

type Output = ConstPropagationOutput

impl Pass for ConstPropagationAndUnrolling

const NAME: &str = "ConstPropagationAndUnrolling"

type Input = TypeCheckingInput

type Output = ()

impl Pass for DeadCodeEliminating

const NAME: &str = "DeadCodeEliminating"

type Input = ()

type Output = DeadCodeEliminatingOutput

impl Pass for Destructuring

const NAME: &str = "Destructuring"

type Input = ()

type Output = ()

impl Pass for Flattening

const NAME: &str = "Flattening"

type Input = ()

type Output = ()

impl Pass for FunctionInlining

const NAME: &str = "FunctionInlining"

type Input = ()

type Output = ()

impl Pass for Monomorphization

const NAME: &str = "Monomorphization"

type Input = ()

type Output = MonomorphizationOutput

impl Pass for ProcessingScript

const NAME: &'static str = "ProcessingScript"

type Input = ()

type Output = ()

impl Pass for SsaForming

const NAME: &str = "SsaForming"

type Input = SsaFormingInput

type Output = ()

impl Pass for StaticAnalyzing

const NAME: &str = "StaticAnalyzing"

type Input = ()

type Output = ()

impl Pass for SymbolTableCreation

const NAME: &'static str = "SymbolTableCreation"

type Input = ()

type Output = ()

impl Pass for TypeChecking

const NAME: &'static str = "TypeChecking"

type Input = TypeCheckingInput

type Output = ()

impl Pass for Unrolling

const NAME: &str = "Unrolling"

type Input = ()

type Output = UnrollingOutput

impl Pass for WriteTransforming

const NAME: &str = "WriteTransforming"

type Input = ()

type Output = ()