Struct CortexPreprocessor

pub struct CortexPreprocessor { /* private fields */ }

Implementations

impl CortexPreprocessor

pub fn new() -> Result<Self, Box<dyn Error>>

pub fn run_top_level( &mut self, top_level: TopLevel, ) -> Result<(), Box<dyn Error>>

pub fn register_module( &mut self, path: &PathIdent, module: Module, ) -> Result<(), Box<dyn Error>>

pub fn preprocess(&mut self, body: BasicBody) -> Result<Program, Box<dyn Error>>

pub fn preprocess_function( &mut self, function: PFunction, ) -> Result<RFunction, Box<dyn Error>>