pymor.playground.core package

Submodules

network_cache module

class pymor.playground.core.network_cache.NetworkFilesystemRegion(server_path, secret='')[source]

Bases: pymor.core.cache.CacheRegion

Methods

NetworkFilesystemRegion clear, get, set

Attributes

NetworkFilesystemRegion persistent
clear()[source]

Clear the entire cache region.

get(key)[source]

Return cache entry for given key.

Parameters

key
The key for the cache entry.

Returns

(True, entry)
in case the key has been found in the cache region.
(False, None)
in case the key is not present in the cache region.
set(key, value)[source]

Set cache entry for key to given value.

This method is usually called only once for any given key (with the exemption of issues due to concurrency).

class pymor.playground.core.network_cache.NetworkFilesystemRegionServer(addr, path, secret=None)[source]

Bases: pymor.core.interfaces.BasicInterface

Methods

NetworkFilesystemRegionServer serve_forever
BasicInterface disable_logging, enable_logging, has_interface_name, implementor_names, implementors

Attributes

BasicInterface logger, logging_disabled, name, uid