forked from M-Labs/nac3
1
0
Fork 0

LenKind -> ArrayLen

This commit is contained in:
lyken 2024-08-27 16:32:58 +08:00
parent eb34b99ee9
commit 5c4ba09e2f
No known key found for this signature in database
GPG Key ID: 3BD5FC6AC8325DD8
1 changed files with 5 additions and 5 deletions

View File

@ -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<const N: u32>;
#[derive(Debug, Clone, Copy)]
pub struct AnyLen(pub u32);
impl<const N: u32> LenKind for Len<N> {
impl<const N: u32> ArrayLen for Len<N> {
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<Len, Item> {
pub item: Item,
}
impl<'ctx, Len: LenKind, Item: Model<'ctx>> Model<'ctx> for Array<Len, Item> {
impl<'ctx, Len: ArrayLen, Item: Model<'ctx>> Model<'ctx> for Array<Len, Item> {
type Value = ArrayValue<'ctx>;
type Type = ArrayType<'ctx>;
@ -81,7 +81,7 @@ impl<'ctx, Len: LenKind, Item: Model<'ctx>> Model<'ctx> for Array<Len, Item> {
}
}
impl<'ctx, Len: LenKind, Item: Model<'ctx>> Instance<'ctx, Ptr<Array<Len, Item>>> {
impl<'ctx, Len: ArrayLen, Item: Model<'ctx>> Instance<'ctx, Ptr<Array<Len, Item>>> {
/// Get the pointer to the `i`-th (0-based) array element.
pub fn gep(
&self,