From 5c4ba09e2feb5a8ace8c195a9593798777aca0d6 Mon Sep 17 00:00:00 2001 From: lyken Date: Tue, 27 Aug 2024 16:32:58 +0800 Subject: [PATCH] LenKind -> ArrayLen --- nac3core/src/codegen/model/array.rs | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/nac3core/src/codegen/model/array.rs b/nac3core/src/codegen/model/array.rs index be8dc0be..19ebd5ce 100644 --- a/nac3core/src/codegen/model/array.rs +++ b/nac3core/src/codegen/model/array.rs @@ -11,7 +11,7 @@ use crate::codegen::{CodeGenContext, CodeGenerator}; use super::*; /// Trait for Rust structs identifying length values for [`Array`]. -pub trait LenKind: fmt::Debug + Clone + Copy { +pub trait ArrayLen: fmt::Debug + Clone + Copy { fn get_length(&self) -> u32; } @@ -23,13 +23,13 @@ pub struct Len; #[derive(Debug, Clone, Copy)] pub struct AnyLen(pub u32); -impl LenKind for Len { +impl ArrayLen for Len { fn get_length(&self) -> u32 { N } } -impl LenKind for AnyLen { +impl ArrayLen for AnyLen { fn get_length(&self) -> u32 { self.0 } @@ -46,7 +46,7 @@ pub struct Array { pub item: Item, } -impl<'ctx, Len: LenKind, Item: Model<'ctx>> Model<'ctx> for Array { +impl<'ctx, Len: ArrayLen, Item: Model<'ctx>> Model<'ctx> for Array { type Value = ArrayValue<'ctx>; type Type = ArrayType<'ctx>; @@ -81,7 +81,7 @@ impl<'ctx, Len: LenKind, Item: Model<'ctx>> Model<'ctx> for Array { } } -impl<'ctx, Len: LenKind, Item: Model<'ctx>> Instance<'ctx, Ptr>> { +impl<'ctx, Len: ArrayLen, Item: Model<'ctx>> Instance<'ctx, Ptr>> { /// Get the pointer to the `i`-th (0-based) array element. pub fn gep( &self,