Struct preserves_schema::compiler::context::FunctionContext

pub struct FunctionContext<'a, 'm> {
    pub error_context: String,
    pub m: &'a mut ModuleContext<'m>,
    pub temp_counter: usize,
    pub captures: Vec<Capture>,
    pub capture_mode: CaptureMode,
}

Fields

error_context: String

m: &'a mut ModuleContext<'m>

temp_counter: usize

captures: Vec<Capture>

capture_mode: CaptureMode

Implementations

impl<'a, 'm> FunctionContext<'a, 'm>

pub fn new(m: &'a mut ModuleContext<'m>, error_context: &str) -> Self

pub fn capture(&mut self, field_name: String, ty: TField, source_expr: String)

pub fn lookup_capture(&self, field_name: &str) -> &Capture

pub fn gentempname(&mut self) -> String

pub fn declare_compound(
    &self,
    body: &mut Vec<Item>,
    name: &str,
    init_expr: Item
)

pub fn define_atom(&mut self, body: &mut Vec<Item>, name: &str, val_expr: Item)

pub fn with_indefinite_mode<F: FnOnce(&mut Self)>(&mut self, f: F) -> Vec<Item>

pub fn branch<R, F: FnOnce(&mut Self) -> R>(&mut self, f: F) -> R

pub fn err_code(&self) -> Item

pub fn conformance_err_code(&self) -> Item