Method persistent_load

source/python.js:9923–9946

(saved_id)

                }
                const loaded_storages = new Map();
                const persistent_load = (saved_id) => {
                    switch (saved_id[0]) {
                        case 'storage': {
                            const [, storage_type, key, , numel] = saved_id;
                            if (!loaded_storages.has(key)) {
                                const storage = new storage_type(numel);
                                if (!storage._set_cdata) {
                                    throw new python.Error(`'${storage_type.__name__}._set_cdata' is not a function.`);
                                }
                                const name = `data/${key}`;
                                const stream = entries.get(name);
                                if (!stream) {
                                    throw new python.Error(`Record '${name}' not found.`);
                                }
                                storage._set_cdata(stream);
                                loaded_storages.set(key, storage);
                            }
                            return loaded_storages.get(key);
                        }
                        default: {
                            throw new python.Error(`Unsupported persistent load type '${saved_id[0]}'.`);
                        }
                    }
                };
                const data_file = entries.get('data.pkl');
                const unpickler = new pickle.Unpickler(data_file);
                unpickler.persistent_load = persistent_load;