NewVariable creates a new variable declaration.

Resolve returns the value of the Attribute and whether it was present given an Activation. For objects which support safe traversal, the value may be

Target returns the target of the expression if one is present.

AbsoluteAttribute creates an attribute that refers to a top-level variable name. Checked expressions generate absolute attribute with a single name.

NewAST creates a base AST instance with an ast.Expr and ast.SourceInfo value.

NewCall creates a function call Expr value for a global (free) function.

AddQualifier adds a qualifier on the Attribute or error if the qualification is not a valid qualifier type.

AstToString converts an Ast back to a string if possible. Note, the conversion may not be an exact replica of the original expression, but will produ

HasValue returns true if the optional has a value.

IsUnknownOrError returns whether the input element ref.Val is an ErrType or UnknownType.

NavigateAST converts an AST to a NavigableExpr

NewDb creates a new `pb.Db` with an empty type name to file description map.

NewDynamicMap returns a traits.Mapper value with dynamic key, value pairs.

NewEvaluator returns an inialized evaluator

Parameters returns the list of type parameters if set. For ListKind, Parameters()[0] represents the list element type For MapKind, Parameters()[0] re

ToDisplayString decorates the error message with the source location.

DescribeType returns a `TypeDescription` for the `typeName` if it exists in the `pb.Db`.

Entries returns the map key value pairs as EntryExpr values.

FieldName returns the field name being selected from the operand.

IsOptional indicates whether the given element index is optional.

MemberOverload defines a new receiver-style overload (or member function) with an overload id, argument types, and result type. Through the use of Ove

Strings returns a cel.EnvOption to configure extended functions for string manipulation. As a general note, all indices are zero-based. # CharAt Int

AsMapEntry casts the EntryExpr to a MapEntry. The Kind() must be equal to MapEntryKind for the conversion to be well-defined.

AsStruct adapts the expr into a StructExpr. The Kind() must be equal to a StructKind for the conversion to be well-defined.

EnableMacroCallTracking ensures that call expressions which are replaced by macros are tracked in the `SourceInfo` of parsed and checked expressions.

GetText implements (antlr.CharStream).GetText.

IterRange returns the iteration range expression.

NewOpaqueType creates an abstract parameterized type with a given name.

RenumberIDs performs an in-place update of the expression and all of its descendents numeric ids.

Close releases the resources held by the execution frame and returns it to the pool.

IsUnknown returns whether the element ref.Val is in instance of *types.Unknown

Macros adds the given macros to the parser.

MemberOverload defines a new receiver-style overload (or member function) with an overload id, argument types, and result type. Through the use of Ove

NewParser builds and returns a new Parser using the provided options.

Value returns the observed value of the given expression id if found, and a nil false result if not.

AccuInit returns the accumulation variable initialization expression.

IsTestOnly indicates whether the select expression is a presence test generated by a macro.

LoopCondition returns the loop condition expression.

Literal creates an Expr value for a scalar literal value.

NewUnknown creates a new unknown at a given expression id for an attribute. If the attribute is nil, the attribute value will be the `unspecifiedAttr

OptionalOf returns an optional value which wraps a concrete CEL value.

Result returns the comprehension result expression.

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

AsStructField casts the EntryExpr to a StructField The Kind() must be equal to StructFieldKind for the conversion to be well-defined.

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

Bindings returns a cel.EnvOption to configure support for local variable bindings in expressions. # Cel.Bind Binds a simple identifier to an initial

LabelErrNode returns val unaltered it is not an Err or if the error has a non-zero AST node ID already present. Otherwise the id is added to the error

LoopStep returns the loop step expression.

SourceInfo returns character offset and newline position information about expression elements.

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

Eval evaluates an Activation and produces an output.

FieldByName returns (FieldDescription, true) if the field name is declared within the type.

MatchDescendants takes a NavigableExpr and ExprMatcher and produces a list of NavigableExpr values matching the input criteria in post-order (bottom u

NewStringSource creates a new Source from the given contents and description.

NewTypeTypeWithParam creates a type with a type parameter. Used for type-checking purposes, but equivalent to TypeType otherwise.

Parse generates an internal parsed policy representation from a YAML input file. The internal representation ensures that CEL expressions are tracked

Parse parses the input expression value `txt` to a Ast and/or a set of Issues. This form of Parse creates a Source value for the input `txt` and forw

ASTValidators configures a set of ASTValidator instances into the target environment. Validators are applied in the order in which the are specified

Compare this value to the input other value, returning an Int: this < other -> Int(-1) this == other -> Int(0) this > other -> Int(1) If the com

Copy the input expression with a brand new set of identifiers.

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

Name sets the fully-qualified name of the Container.

NewEnv returns a new *Env with the given parameters.

NewErrFromString creates a new Err with the provided message. TODO: Audit the use of this function and standardize the error messages and codes.

NewStringList returns a traits.Lister containing only strings.

Visitor implementations.

Check performs type checking, giving a typed AST. The input is a parsed AST and an env which encapsulates type binding of variables, declarations of

Error implements the error interface method.

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

GetType returns the type for the expression at the given id, if one exists, else types.DynType.

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

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

NewProtoRegistry creates a proto-based registry with a set of configurable options.

NewTypeDesc describes a simple or complex type with parameters.

Size returns the length of the argument list.

AccuVar returns the accumulation variable name.

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.

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.

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

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

NewAttributeTrail creates a new simple attribute from a variable name.

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

NewStaticOptimizer creates a StaticOptimizer with a sequence of ASTOptimizer's to be applied to a checked expression.

Optimize applies a sequence of optimizations to an Ast within a given environment. If issues are encountered, the Issues.Err() return value will be n