memory manager: add get_array method

tcoratger · tcoratger · commit a38f1d33622e · 2025-07-29T22:57:03.000+02:00
diff --git a/crates/leanVm/src/memory/manager.rs b/crates/leanVm/src/memory/manager.rs
@@ -104,6 +104,17 @@ impl MemoryManager {
     {
         self.memory.get(address)
     }
+
+    /// Retrieves an array of values stored from a given memory address.
+    pub fn get_array<F, const DIM: usize>(
+        &self,
+        start_address: MemoryAddress,
+    ) -> Result<[MemoryValue<F>; DIM], MemoryError<F>>
+    where
+        F: PrimeField64,
+    {
+        self.memory.get_array(start_address)
+    }
 }
 
 #[cfg(test)]

Original file line number	Diff line number	Diff line change
`@@ -104,6 +104,17 @@ impl MemoryManager {`
`104`	`104`	`{`
`105`	`105`	`self.memory.get(address)`
`106`	`106`	`}`
	`107`	`+`
	`108`	`+ /// Retrieves an array of values stored from a given memory address.`
	`109`	`+ pub fn get_array<F, const DIM: usize>(`
	`110`	`+ &self,`
	`111`	`+ start_address: MemoryAddress,`
	`112`	`+ ) -> Result<[MemoryValue<F>; DIM], MemoryError<F>>`
	`113`	`+ where`
	`114`	`+ F: PrimeField64,`
	`115`	`+ {`
	`116`	`+ self.memory.get_array(start_address)`
	`117`	`+ }`
`107`	`118`	`}`
`108`	`119`
`109`	`120`	`#[cfg(test)]`