Struct ResolvedArrayType 

pub struct ResolvedArrayType { /* private fields */ }

The resolved descriptor for one complete array type annotation.

Examples

See Self::from_resolved_type for conversion and element metadata.

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.

• Complexity: Matches recursive descriptor conversion, or diagnostic name construction when the resolved type is not an array.

Examples

use cel_parser::{CELParser, OpLookup, ResolvedArrayType};
let mut parser = CELParser::new(OpLookup::new());
let syntax = parser.parse_type_expr_str("[i32]").unwrap();
let resolved = parser.resolve_type_expr(&syntax).unwrap();
let array = ResolvedArrayType::from_resolved_type(resolved, syntax.span()).unwrap();
assert_eq!(array.element_type().type_name(), "i32");
assert_eq!(array.into_element_type().type_id(), std::any::TypeId::of::<i32>());

pub fn element_type(&self) -> &ValueType

Returns the recursive element descriptor this array annotation resolves to.

Examples

See Self::from_resolved_type.

pub fn into_element_type(self) -> ValueType

Returns the recursive element descriptor, consuming self.

Examples

See Self::from_resolved_type for transferring the descriptor.

Trait Implementations

impl Clone for ResolvedArrayType

fn clone(&self) -> Self

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 !=.