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

Print returns a string representation of the Expr message, annotated with types from the CheckedExpr. The Expr must be a sub-expression embedded in t

ProtoAsDeclaration converts a canonical celpb.Decl value describing a variable or function into an EnvOption.

ProtoConstantAsVal converts a canonical celpb.Constant protobuf to a CEL-native ref.Val.

ProtoToEntryExpr converts a protobuf struct/map entry to an ast.EntryExpr

ProtoToReferenceInfo converts a protobuf Reference into a CEL-native ReferenceInfo instance.

ProtosVersion sets the library version for extensions for protobuf utilities.

TODO Consider having a separate walk of the AST that finds common subexpressions. This can be called before or after constant folding to find common s

Qualifiers returns the list of qualifiers associated with the Attribute.

Qualify performs a qualification, e.g. field selection, on the input object and returns the value of the access and whether the value was set. A non-n

RangeList iterates over the list and calls the provided function for each element. If the function returns false, the iteration will stop.

ReferenceInfoToProto converts a ReferenceInfo instance to a protobuf Reference suitable for serialization.

RegexProgramSizeLimit caps the maximum regex program plan size permitted during evaluation.

RegexProgramSizeLimit caps the maximum regex program plan size permitted for regular expressions. A negative or zero value means unbounded.

RegexVersion configures the version of the Regex library definitions to use. See [Regex] for supported values.

Release releases a concurrency slot and decrements the active calls count (used for defensive recovery).

ReportErrorAtID records an error at a source location and expression id.

ResultOrUnknown returns the cached result if the call has completed, an Unknown with the call ID if pending, or nil if the call has not been started.

ResultType returns the output type of the expression if the Ast has been type-checked, else returns chkdecls.Dyn as the parse step cannot infer the ty

SafeCeil returns the smallest integer value greater than or equal to the input, saturating at math.MaxUint64 and flooring at zero. Negative and NaN i

Semantic returns the evaluation semantic for the rule.

SetCondition sets the CEL condition for the match.

SetExpression sets the variable expression.

SetOutput sets the output expression for the match.

SetRule sets the rule for the match.

SetSemantic configures the evaluation semantic for the rule.

SetType sets the type of the expression node at the given id.

SetsVersion sets the library version for set extensions.

SingletonFunctionBinding creates a singleton function definition to be used with all function overloads. Note, this approach works well if operand is

Size implements the traits.Sizer interface method.

SizeCalculatorMaxDepth sets the maximum object depth limit before saturating to math.MaxUint32.

Sort is a convenience method: x.Sort() calls Sort(x).

Sort is a convenience method: x.Sort() calls Sort(x).

SourceID returns the source identifier associated with the rule.

String takes a ref.Val and a string representing the current locale identifier and returns the Val formatted as a string, or an error if one occurred.

String implements the fmt.Stringer interface method.

StringsLocale configures the library with the given locale. The locale tag will be checked for validity at the time that EnvOptions are configured. If

StringsValidateFormatCalls validates type-checked ASTs to ensure that string.format() calls have valid formatting clauses and valid argument types for

SubsetFunction produces a function declaration which matches the supported subset, or nil if the function is not supported by the LibrarySubset. For

SubsetMacro indicates whether the macro function should be included in the library subset.

TestRunnerOptionsFromFlags returns a TestRunnerOption which configures the following attributes of the test runner using the parsed flags and the opti

ToConfig produces a YAML-serializable env.Config object from the given environment. The serialized configuration value is intended to represent a bas

ToFoldableList will create a Foldable version of a list suitable for key-value pair iteration. For values which are already Foldable, this call is a

ToFoldableMap will create a Foldable version of a map suitable for key-value pair iteration. For values which are already Foldable, this call is a no

TwoVarComprehensionsVersion sets the library version for two-variable comprehensions.

Type of the expression. If the expression is type-checked, the type check metadata is returned. If the expression has not been type-checked, the type

TypeProvider returns the `ref.TypeProvider` configured for the environment. Deprecated: use CELTypeProvider()

TypeToExprType converts a CEL-native type representation to a protobuf CEL Type representation.

TypeVariable creates a new type identifier for use within a types.Provider

UnknownAttributePaths returns a set of AttributePattern values which match Attribute expressions for data accesses whose values are not yet known.

UnknownCostEstimate returns a cost with an unknown impact.

UnknownSizeEstimate returns a size between 0 and max uint

UnparseExprType pretty-prints a type (proto representation) for the REPL.

UnsupportedRefValConversionErr returns a types.NewErr instance with a no such conversion message that indicates that the native value could not be con

ValidateTimes enables automatic time validation (iat, nbf, exp) during token parsing with an optional clock leeway.

Validators returns a shallow copy of the set of ASTValidators configured on the environment.

Value returns the constant value of the instruction.

Value implements the ref.Val interface method.

VariableDeclToExprDecl converts a go-native variable declaration into a protobuf-type variable declaration.

VariableWithDoc creates an instance of a variable declaration with a variable name, type, and doc string.

Variables returns a shallow copy of the variables associated with the environment.

WrapOnOperators specifies which operators to perform word wrapping on an output expression when its string length exceeds the column limit set by Wrap

actualSize returns the size of the value for all traits.Sizer values, a fixed size for all proto-based objects, and a size of 1 for all other value ty

adaptLiteral converts a runtime CEL value to its equivalent literal expression. For strongly typed values, the type-provider will be used to reconstr

Add or update an existing let then invalidate any computed plans.

Add or update an existing let then invalidate any computed plans.

addTerm adds an operation identifier and term to the set of terms to be balanced.

addDurationChecked performs addition with overflow detection of a time.Time and time.Duration. If the operation fails due to overflow the error retur

awaitResult re-evaluates ComputeResult until it returns a non-Unknown value or the deadline fires.

helper routines for reporting common errors during string formatting static validation and runtime execution.

helper routines for reporting common errors during string formatting static validation and runtime execution.

cacheableAggregateSize reports whether a size computed with the given sizer is safe to memoize on the value. Only totals from computations which verif

checkLoadedASTDepth guards ASTs that enter through the proto conversion helpers (ParsedExprToAst / CheckedExprToAst) against nesting deeper than the p

collectEnumValues accumulates the enum values within an enum declaration.

combine assembles two output expressions into a single output step.