Add one or more overloads, returning an error if any Overload has the same Overload#Name.

Args returns the normalized arguments to the function overload. For receiver-style functions, the receiver target is arg 0.

CELTypeProvider returns the `types.Provider` configured for the environment.

Find returns a value, if one exists, for the input key. If the key is not found the function returns (nil, false).

Lib creates an EnvOption out of a Library, allowing libraries to be provided as functional args, and to be linked to each other.

Macros option extends the macro set configured in the environment. Note: This option must be specified after ClearMacros if used together.

NewAttributePattern produces a new mutable AttributePattern based on a variable name.

NewContainer creates a new Container with the fully-qualified name.

NewTypeDesc describes a simple or complex type with parameters.

OptionalIndicies returns the list of optional indices in the list literal.

StdLib returns an EnvOption for the standard library of CEL functions and macros.

AddLetVar adds a let variable to the evaluation context. The expression is planned but evaluated lazily.

ArgTypes contains the set of argument types expected by the overload. For member functions ArgTypes[0] represents the member operand type.

ComposeTypes accepts a provider, adapter, and a list of types (ref.Type, proto.Message, protoreflect.FileDescriptor, or RegistryOption) and either: -

Description gives a brief description of the source. Example descriptions are a file name or ui element.

Function name to match.

Functions returns the set of standard library function declarations and definitions for CEL.

GetId returns the id rule contexts.

IterVar returns the iteration variable name. For one-variable comprehensions, the iter var refers to the element value when iterating over a list, or

Merge combines an existing function declaration with another. If a function is extended, by say adding new overloads to an existing function, then it

NewInterpretable creates an InterpretableV2 from a checked expression and an optional list of PlannerOption values.

NewList creates a list literal instruction with an optional set of elements.

NewOptionalType creates an abstract parameterized type instance corresponding to CEL's notion of optional.

NewSourceInfo creates a simple SourceInfo object from an input common.Source value.

ParseStructTag configures the struct tag to parse. The 0th item in the tag is used as the name of the CEL field.

RegisterMessage produces a `FileDescription` from a `message` and registers the message and all other definitions within the message file into the `pb

ResolveName returns a value from the activation by qualified name, or false if the name could not be found.

Clone makes a shallow copy of the tracker. The different clones can be used independently from each other.

CostTracking enables cost tracking and registers a ActualCostEstimator that can optionally provide a runtime cost estimate for any function calls.

FunctionBinding provides the implementation of a variadic overload. The provided function is protected by a runtime type-guard which ensures runtime t

IsAssignableType determines whether the current type is type-check assignable from the input fromType.

IterVar2 returns the second iteration variable name. When the value is non-empty, the comprehension is a two-variable comprehension.

NewErrors creates a new instance of the Errors type.

NewPartialActivation returns an Activation which contains a list of AttributePattern values representing field and index operations that should result

NewStruct creates an Expr value representing a struct literal with a given type name and a set of field initializers.

NewValidator returns a named Validator instance.

PostOrderVisit walks the expression graph and calls the visitor in post-order (bottom-up).

ValOrErr either returns the existing error or creates a new one. TODO: Audit the use of this function and standardize the error messages and codes.

AsyncBinding provides the implementation of an asynchronous overload. The provided function is called in its own goroutine with the provided context.

Evaluate sets up a CEL evaluation using the current REPL context.

ExprToProto serializes an ast.Expr value to a protobuf Expr representation.

ID value corresponding to the expression node.

IsZeroValue indicates whether the object is the zero value for the type.

MaybeMergeUnknowns determines whether an input value and another, possibly nil, unknown will produce an unknown result. If the input `val` is another

NewJSONList returns a traits.Lister based on structpb.ListValue instance.

NewLibrarySubset returns an empty library subsetting config which permits all library features.

NewList creates an Expr value representing a list literal expression with optional indices. Optional indices will typically be empty unless the CEL o

NewNullableType creates an instance of a nullable type with the provided wrapped type. Note: only primitive types are supported as wrapped types.

NoSuchOverloadErr returns a new types.Err instance with a no such overload message.

OutputType returns the output type of the expression if the Ast has been type-checked, else returns cel.DynType as the parse step cannot infer types.

Path returns a field path through the provided type declarations to the type of the AstNode, or nil if the AstNode does not represent type directly re

ReferenceMap returns the map of expression id to identifier, constant, and function references.

ResolveCandidateNames returns the candidates name of namespaced identifiers in C++ resolution order. Names which shadow other names are returned firs

SourceInfo returns the source metadata associated with the parse / type-check passes.

UpdateExpr updates the target expression with the updated content while preserving macro metadata. There are four scenarios during the update to cons

Validate validates a given Ast within an Environment and collects a set of potential issues. The ValidatorConfig is generated from the set of ASTVali

ActualCost returns the tracked cost through the course of execution when `CostTracking` is enabled. Otherwise, returns nil if the cost was not enabled

AddIdents configures the checker with a list of variable declarations. If there are overlapping declarations, the method will error.

EnableOptionalSyntax enables syntax for optional field and index selection.

HasTrait returns whether the type has a given trait associated with it. See common/types/traits/traits.go for a list of supported traits.

NewConstantFoldingOptimizer creates an optimizer which inlines constant scalar an aggregate literal values within function calls and select statements

NewError associates an error message with a given expression id.

NewMemberCall creates an Expr value representing a member function call.

OverloadDecls returns the overload declarations in the order in which they were declared.

Parent returns the parent expression node, if one exists.

PartialVars returns a PartialActivation which contains variables and a set of AttributePattern values that indicate variables or parts of variables wh

SpecifierFormat returns the short text representation of the type. e.g. "map<string, int>"

TypeMap returns the map of expression ids to type-checked types. If the AST is not type-checked, the map will be empty.

asyncReturning returns an AsyncOp that immediately produces the given value, while counting the number of times the implementation is invoked.

mustProgram compiles an expression and constructs a Program, separating EnvOptions and ProgramOptions.

testEnv initializes the test environment common to all tests.

testEnv initializes the test environment common to all tests.

AccuIdentName returns the name of the accumulator identifier.

AsCELType converts the serializable object to a *types.Type value.

ExprTypeToType converts a protobuf CEL type representation to a CEL-native type representation.

FieldFieldType returns the field type for a checked type value. Returns false if the field could not be found.

FindStructFieldType returns the field type for a checked type value. Returns false if the field could not be found.

GetMacroCall returns the original ast.Expr value for the given expression if it was generated via a macro replacement. Note, parsing options must be

GetName returns the fully qualified file path for the file.

IsExactType indicates whether the two types are exactly the same. This check also verifies type parameter type names.

MaybeAttribute creates an attribute that refers to either a field selection or a namespaced variable name. Only expressions which have not been type-

MultilineDescription combines multiple lines into a newline separated string.

NewConfig creates an instance of a YAML serializable CEL environment configuration.

NewJSONStruct creates a traits.Mapper implementation backed by a JSON struct that has been encoded in protocol buffer form. The `adapter` argument pr

NewLocation creates a new location.

NewPartialAttributeFactory returns an AttributeFactory implementation capable of performing AttributePattern matches with PartialActivation inputs.