Struct Eval 

pub struct Eval<'a> { /* private fields */ }

The constant folder, over one typed tree.

Implementations

impl<'a> Eval<'a>

pub fn new( tast: &'a Tast, types: &'a Types, target: &'a TargetInfo, names: &'a Interner, ) -> Eval<'a>

A folder over a tree, the types it points into, and the target it is being compiled for.

pub fn constant(&mut self, expr: ExprId) -> Result<Const, NotConstant>

The value of an expression.

Errors

NotConstant when the expression is not one, which is an ordinary answer rather than a failure: whether it is a diagnostic depends on where the expression was.

pub fn integer(&mut self, expr: ExprId) -> Result<i128, NotConstant>

The value of an expression that has to be an integer constant expression, 6.6p6.

The type has to be an integer type as well as the value being one, which is what rejects enum { a = nullptr };: the value folds to zero and the expression is still not an integer constant expression.

Errors

NotConstant when the expression is not one, or is a constant of some other type.

pub fn finish(self) -> Vec<Diagnostic>

What the folding reported, in the order it was found.

Trait Implementations

impl<'a> Debug for Eval<'a>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.