Struct preserves_schema::compiler::context::FunctionContext

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

Fields

error_context: String

m: &'a mut ModuleContext<'m, 'b>

temp_counter: usize

captures: Vec<Capture>

capture_mode: CaptureMode

Implementations

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

pub fn new(m: &'a mut ModuleContext<'m, 'b>, 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_definite_mode<R, F: FnOnce(&mut Self) -> R>(&mut self, f: F) -> R

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 fully_qualified_error_context(&self) -> String

pub fn conformance_err_code(&self) -> Item