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

PopulateMacroCalls ensures that the original call signatures replaced by expanded macros are preserved in the `SourceInfo` of parse result.

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

Abbrevs configures a set of simple names as abbreviations for fully-qualified names. An abbreviation (abbrev for short) is a simple name that expands

Add adds the costs and returns the sum. If add would result in an uint64 overflow for the min or max, the value is set to math.MaxUint64.

AddLetFn adds a let function to the evaluation context.

AddVariables adds one or more variables to the config.

CollectMetadata records the source position information of a given YAML node, and returns the id associated with the source metadata which is returned

EnvironmentFile returns an EnvOption which loads a serialized CEL environment from a file. The file must be in one of the following formats: - Textpro

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

MacroCalls returns a map of expression id to ast.Expr value where the id represents the expression node where the macro was inserted into the AST, and

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

NewContextVariable returns a serializable context variable with a specific type name.

NewFunction creates a serializable function and overload set.

NewImport returns a serializable import value from the qualified type name.

NewParser creates a new Parser object with a set of functional options.

NewString creates a new ValueString from the YAML node.

NewValue creates a new type value from a qualified name and map of field name to value. Note, for each value, the Val.ConvertToNative function will b

PartialVars returns a PartialActivation where all variables not in the input variable set, but which have been configured in the environment, are mark

Receive accepts a function name, overload id, and arguments and returns a value.

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

SourceInfo returns the policy file metadata about expression positions.

TypeDescs adds type declarations from any protoreflect.FileDescriptor, protoregistry.Files, google.protobuf.FileDescriptorProto or google.protobuf.Fil

TypeName returns the type-erased fully qualified runtime type name. TypeName implements the ref.Type interface method.

features sets the given feature flags. See list of Feature constants above.

testEnv initializes the test environment common to all tests.

Attempt to update context in place after an update. This is done eagerly to help avoid introducing an invalid 'let' expression. The planned expression

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

BinaryBinding provides the implementation of a binary overload. The provided function is protected by a runtime type-guard which ensures runtime type

1-based line number within source.

CreateEnv creates a singleton CEL environment with the configured environment options.

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

EagerlyValidateDeclarations ensures that any collisions between configured declarations are caught at the time of the `NewEnv` call. Eagerly validati

FunctionDocs configures documentation from a list of strings separated by newlines.

InferFileFormat infers the file format from the file path.

JSONFieldNames configures the Db to support proto field accesses by their JSON names.

NewComprehension creates a new one-variable comprehension instruction. - iterRange represents the expression that resolves to a list or map where the

NewIdent creates an identifier Expr value.

NewList creates a CreateList instruction where the list is comprised of the optional set of elements provided as arguments.

NewMap creates a CreateStruct instruction for a map where the map is comprised of the optional set of key, value entries.

NewMemberCall creates a function call Expr value for a receiver-style function.

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

NewRefValList returns a traits.Lister with ref.Val elements. This type specialization is used with list literals within CEL expressions.

NewSelect creates an Expr representing a field selection on an operand expression.

NewStringStringMap returns a specialized traits.Mapper with string keys and values.

OffsetRanges returns a map of expression id to OffsetRange values where the range indicates either: the start and end position in the input stream whe

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.

QualString adds a string qualifier pattern to the AttributePattern. The string may be a valid identifier, or string map key including empty string.

ResidualAst takes an Ast and its EvalDetails to produce a new Ast which only contains the attribute references which are unknown. Residual expression

SetConfig sets the set of map key-value pairs associated with this validator's configuration.

SetKindCase replaces the contents of the current expression with the contents of the other. The SetKindCase takes ownership of any expression instanc

StringsVersion configures the version of the string library. The version limits which functions are available. Only functions introduced below or equ

Type returns the type constructed.

ValidateHomogeneousAggregateLiterals checks that all list and map literals entries have the same types, i.e. no mixed list element types or mixed map

eval will evaluate a given program `prg` against a set of variables `vars` and return the output, eval details (optional), or error that results from

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

AddExtensions appends a set of extensions to the config.

AddImports appends a set of imports to the config.

AddIncludedFunctions allow-lists one or more functions from the subset. Note, this option will override any excluded functions.

AddValidators appends one or more validators to the config.

AstToCheckedExpr converts an Ast to an protobuf CheckedExpr value. If the Ast.IsChecked() returns false, this conversion method will return an error.

AttributePattern returns an AttributePattern that matches a top-level variable. The pattern is mutable, and its methods support the specification of o

CollectMetadata records the source position information of a given YAML node, and returns the id associated with the source metadata which is returned

ContextProtoVars uses the fields of the input proto.Messages as top-level variables within an Activation. Consider using with `DeclareContextProto` t

CopyASTAndMetadata copies the input AST and propagates the macro metadata into the AST being optimized.

CostEstimatorOptions configure type-check time options for estimating expression cost.

CostTrackerOptions configures a set of options for cost-tracking. Note, CostTrackerOptions is a no-op unless CostTracking is also enabled.

FromConfig produces and applies a set of EnvOption values derived from an env.Config object. For configuration elements which refer to features outsi

GetE returns the e rule contexts.

GetStartLocation calculates the human-readable 1-based line and 0-based column of the first character of the expression node at the id.

HasBinding indicates whether the overload already has a definition.