Key returns the map entry key expression.

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

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

Container sets the container for resolving variable names. Defaults to an empty container. If all references within an expression are relative to a p

NewConstValue creates a new constant valued Interpretable.

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

Size returns the number of elements or length of the value.

MultiplyByCostFactor multiplies a SizeEstimate by a cost factor and returns the CostEstimate with the nearest integer of the result, rounded up.

NavigateAST converts an AST to a NavigableExpr

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

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

ToDisplayString decorates the error message with the source location.

AsMap adapts the expr into a MapExpr. The Kind() must be equal to a MapKind for the conversion to be well-defined.

Error implements the error interface method.

HasNext returns true if there are unvisited elements in the Iterator.

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

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

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

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

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

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

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

HasValue returns true if the optional has a value.

IDs returns the list of ids with recorded values.

Macros adds the given macros to the parser.

NewEvaluator returns an inialized evaluator

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

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

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.

IterRange returns the iteration range expression.

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

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.

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

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.

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

GetText implements (antlr.CharStream).GetText.

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

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

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

AccuInit returns the accumulation variable initialization expression.

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

LoopCondition returns the loop condition expression.

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

Literal creates an Expr value for a scalar literal value.

NewOpaqueType creates an abstract parameterized type with a given name.

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

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

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

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.

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

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

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

Result returns the comprehension result expression.

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

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

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

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

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

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

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.

Bindings produces a set of function bindings, if any are defined.

CELTypeAdapter returns the `types.Adapter` configured for the environment.

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

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

Eval evaluates an Activation and produces an output.

FindIdent takes a qualified identifier name and returns a ref.Val if one exists.

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

Multiply returns the result of multiplying the current and input value.

NewAttributeTrail creates a new simple attribute from a variable name.

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

AccuVar returns the accumulation variable name.

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

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

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

Name sets the fully-qualified name of the Container.

NewEnv returns a new *Env with the given parameters.

NewStringList returns a traits.Lister containing only strings.

Size returns the length of the argument list.

Visitor implementations.