Struct CtfeInterpreter 

pub struct CtfeInterpreter { /* private fields */ }

The CTFE interpreter evaluates LCNF expressions at compile time.

Implementations

impl CtfeInterpreter

pub fn new(decls: &[LcnfFunDecl]) -> Self

Create a new interpreter with access to a module’s declarations.

pub fn eval_lit(&self, lit: &LcnfLit) -> CtfeValue

Evaluate a literal to a CtfeValue.

pub fn eval_arg(&self, arg: &LcnfArg, ctx: &CtfeContext) -> CtfeResult

Evaluate an argument in the given context.

pub fn eval_binop( &self, op: BinOp, lhs: &CtfeValue, rhs: &CtfeValue, ) -> CtfeResult

Evaluate a binary operation.

pub fn eval_call( &mut self, func_name: &str, args: Vec<CtfeValue>, ctx: &mut CtfeContext, ) -> CtfeResult

Evaluate a function call to a (possibly known) function.

pub fn eval_expr( &mut self, expr: &LcnfExpr, ctx: &mut CtfeContext, ) -> CtfeResult

Evaluate a full LCNF expression.