pub fn register_memory(&self, label: &MemoryLabel, global_state: &mut GlobalState) {
        for inst_map in self.saved_memory.get(label).unwrap().values() {
            for (inst, account_map) in inst_map {
                for (addr, val) in account_map {
                    let typed_val = TypedValue {
                        ty: Type::mk_struct(inst.clone()),
                        val: val.clone(),
                        ptr: Pointer::None,
                    };
                    let exists = global_state.put_resource(*addr, inst.clone(), typed_val);
                    if cfg!(debug_assertions) {
                        assert!(exists.is_none());
                    }
                }
            }
        }
    }
/// Populate a global state with the resources saved by the given memmory label
Populate a global state with the resources saved by the given memmory label
Populate a global state with the resources saved by the given memmory label
pub fn register_memory(&self, label: &MemoryLabel, global_state: &mut GlobalState) {
        for inst_map in self.saved_memory.get(label).unwrap().values() {
            for (inst, account_map) in inst_map {
                for (addr, val) in account_map {
                    let typed_val = TypedValue {
                        ty: Type::mk_struct(inst.clone()),
                        val: val.clone(),
                        ptr: Pointer::None,
                    };
                    let exists = global_state.put_resource(*addr, inst.clone(), typed_val);
                    if cfg!(debug_assertions) {
                        assert!(exists.is_none());
                    }
                }
            }
        }
    }
pub fn register_memory ( & self , label : & MemoryLabel , global_state : & mut GlobalState ) { for inst_map in self . saved_memory . get ( label ) . unwrap ( ) . values ( ) { for ( inst , account_map ) in inst_map { for ( addr , val ) in account_map { let typed_val = TypedValue { ty : Type :: mk_struct ( inst . clone ( ) ) , val : val . clone ( ) , ptr : Pointer :: None , } ; let exists = global_state . put_resource ( * addr , inst . clone ( ) , typed_val ) ; if cfg ! ( debug_assertions ) { assert ! ( exists is_none ( ) ) ; } } } } }
Populate a global state with the resources saved by the given memmory label
Populate a global state with the resources saved by the given memmory label
&self
label
&MemoryLabel
global_state
&mut GlobalState