T
- item-type in the storepublic interface NamedProviderStore<T> extends NamedProvider<T>
NamedProvider
, in which items can also be added.
So as to allow evaluate to be potentially lazy, an item is not directly added, but a Getter is added that can be calculated on demand.
Modifier and Type | Method and Description |
---|---|
void |
add(String identifier,
StoreSupplier<T> supplier)
Adds an element to the store.
|
getArbitraryElement, getException, getOptional, isEmpty, keys
void add(String identifier, StoreSupplier<T> supplier) throws OperationFailedException
identifier
- a unique identifier for the element.supplier
- supplies the element to be added (which may be evaluated immediately, or a
later point lazily).OperationFailedException
- if the identifier already exists, or otherwise the add
operation fails.Copyright © 2010–2023 Owen Feehan, ETH Zurich, University of Zurich, Hoffmann-La Roche. All rights reserved.