NewTypeDesc describes a simple or complex type with parameters.

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.

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

Compare compares two strings, a for actual, e for expected, and returns true or false. The comparison is done, by filtering out whitespace (i.e. space

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.

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

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.

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

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.

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

NativeTypes creates a type provider which uses reflect.Type and reflect.Value instances to produce type definitions that can be used within CEL. All

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.

NewValidator returns a named Validator instance.

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

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

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

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.

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

TypeName returns the qualified type name of the type. The type name is also used as the type's identifier name at type-check and interpretation time.

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

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.

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.

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.

AccuIdentName returns the name of the accumulator identifier.

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

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

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

FindStructType returns the Type give a qualified type name. For historical reasons, only struct types are expected to be returned through this method

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.

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.

NewQualifier creates a qualifier on the target object with a given value. The 'val' may be an Attribute or any proto-supported map key type: bool, in

NewTypeParam describe a type-param type.

OverloadCostEstimate binds a FunctionCoster to a specific function overload ID. When a OverloadCostEstimate is provided, it will override the cost ca

OverloadCostTracker binds an overload ID to a runtime FunctionTracker implementation. OverloadCostTracker instances augment or override ActualCostEst

Pop returns the parent frame, releasing the current frame back to the pool.

SetContext sets the context for the execution frame.

UnaryBinding provides the implementation of a unary overload. The provided function is protected by a runtime type-guard which ensures runtime type ag

newStandardInterpreter builds a Dispatcher and TypeProvider with support for all of the CEL builtins defined in the language definition.