Struct ResolvedArrayType 

pub struct ResolvedArrayType { /* private fields */ }

The resolved descriptor for one complete array type annotation.

Implementations

impl ResolvedArrayType

pub fn from_element_type(element_type: ValueType) -> Self

Creates a resolved array type from its already-resolved element descriptor.

• Precondition: element_type retains a concrete canonical factory.

• Postcondition: element_type returns element_type unchanged, so the result describes an array whose elements have exactly that type.

Examples

use cel_parser::ResolvedArrayType;
use cel_runtime::ValueType;

let array = ResolvedArrayType::from_element_type(ValueType::leaf::<i32>());
assert_eq!(array.element_type().type_name(), "i32");

pub fn from_resolved_type( resolved: ResolvedType, span: ExprSpan, ) -> Result<Self>

Creates a resolved array type from a fully resolved recursive type expression.

Errors

Returns Err if resolved is not an array type or its layout is unrepresentable.

pub fn element_type(&self) -> &ValueType

Returns the recursive element descriptor this array annotation resolves to.

pub fn into_element_type(self) -> ValueType

Returns the recursive element descriptor, consuming self.

Trait Implementations

impl Clone for ResolvedArrayType

fn clone(&self) -> ResolvedArrayType

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ResolvedArrayType

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl PartialEq for ResolvedArrayType

fn eq(&self, other: &Self) -> bool

Compares recursive identities independently of optional capabilities.

• Complexity: O(n) in descriptor nodes.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.