1#ifndef BPMNOS_Model_StaticDataProvider_H
2#define BPMNOS_Model_StaticDataProvider_H
24 StaticDataProvider(
const std::string& modelFile,
const std::string& instanceFileOrString);
32 StaticDataProvider(
const std::string& modelFile,
const std::vector<std::string>& folders,
const std::string& instanceFileOrString);
34 std::unique_ptr<Scenario>
createScenario(
unsigned int scenarioId = 0)
override;
42 std::unordered_map< const Attribute*, BPMNOS::number >
data;
44 std::unordered_map< long unsigned int, StaticInstanceData >
instances;
Abstract base class representing a data provider for BPMN instance data.
Class representing a data provider for static BPMN instance data.
std::unordered_map< const Attribute *, BPMNOS::number > globalValueMap
BPMNOS::number latestInstantiation
~StaticDataProvider() override=default
std::unique_ptr< Scenario > createScenario(unsigned int scenarioId=0) override
StaticDataProvider(const std::string &modelFile, const std::string &instanceFileOrString)
Constructor for StaticDataProvider.
BPMNOS::number earliestInstantiation
std::unordered_map< long unsigned int, StaticInstanceData > instances
void ensureDefaultValue(StaticInstanceData &instance, const std::string attributeId, std::optional< BPMNOS::number > value=std::nullopt)
BPMNOS_NUMBER_TYPE number
std::unordered_map< const Attribute *, BPMNOS::number > data
BPMNOS::number instantiation
const BPMN::Process * process