Struct Checker 

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

Type checker for CEL expressions.

The checker takes raw data (variables, functions, container) rather than a type environment struct, making it independent and reusable.

Implementations

impl<'a> Checker<'a>

pub fn new( variables: &HashMap<String, CelType>, functions: &'a HashMap<String, FunctionDecl>, container: &'a str, ) -> Self

Create a new type checker with the given data.

Arguments

• variables - Variable declarations (name -> type)
• functions - Function declarations indexed by name
• container - Container namespace for qualified name resolution

pub fn with_proto_types(self, registry: &'a ProtoTypeRegistry) -> Self

Set the proto type registry for resolving protobuf types.

pub fn check(self, expr: &SpannedExpr) -> CheckResult

Type check an expression and return the result.