Struct CheckResult 

pub struct CheckResult {
    pub type_map: HashMap<i64, CelType>,
    pub reference_map: HashMap<i64, ReferenceInfo>,
    pub errors: Vec<CheckError>,
}

Result of type checking an expression.

Fields

type_map: HashMap<i64, CelType>

Map from expression ID to inferred type.

reference_map: HashMap<i64, ReferenceInfo>

Map from expression ID to resolved reference.

errors: Vec<CheckError>

Errors encountered during type checking.

Implementations

impl CheckResult

pub fn is_ok(&self) -> bool

Check if type checking was successful (no errors).

pub fn get_type(&self, expr_id: i64) -> Option<&CelType>

Get the type for an expression ID.

pub fn get_reference(&self, expr_id: i64) -> Option<&ReferenceInfo>

Get the reference for an expression ID.

Trait Implementations

impl Clone for CheckResult

fn clone(&self) -> CheckResult

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for CheckResult

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

Formats the value using the given formatter.