Package decls provides helpers for creating variable and function declarations.

Check performs type checking, giving a typed AST.

Cost estimates the cost of the parsed and type checked CEL expression.

CrossTypeNumericComparisons toggles type-checker support for numeric comparisons across type See https://github.com/google/cel-spec/wiki/proposal-210 for more details.

FixedCostEstimate returns a cost with a fixed min and max range.

FixedSizeEstimate returns a size estimate with a fixed min and max range.

FormatCELType formats a types.Type value to a string representation.

FormatCheckedType converts a type message into a string representation.

NewEnv returns a new *Env with the given parameters.

OverloadCostEstimate binds a FunctionCoster to a specific function overload ID.

PresenceTestHasCost determines whether presence testing has a cost of one or zero.

Print returns a string representation of the Expr message, annotated with types from the CheckedExpr.

UnknownCostEstimate returns a cost with an unknown impact.

UnknownSizeEstimate returns a size between 0 and max uint.

ValidatedDeclarations provides a references to validated declarations which will be copied into new checker instances.

CallEstimate includes a CostEstimate for the call, and an optional estimate of the result object size.

CostEstimate represents an estimated cost range and provides add and multiply operations that do not overflow.

Env is the environment for type checking.

Group is a set of Decls that is pushed on or popped off a Scopes as a unit.

Scopes represents nested Decl sets where the Scopes value contains a Groups containing all identifiers in scope and an optional parent representing outer scopes.

SizeEstimate represents an estimated size of a variable length string, bytes, map or list.

AstNode represents an AST node for the purpose of cost estimations.

CostEstimator estimates the sizes of variable length input data and the costs of functions.

CostOption configures flags which affect cost computations.

FunctionEstimator provides a CallEstimate given the target and arguments for a specific function, overload pair.

Option is a functional option for configuring the type-checker.