1#ifndef BPMNOS_Model_StaticDataProvider_H
2#define BPMNOS_Model_StaticDataProvider_H
25 StaticDataProvider(
const std::string& modelFile,
const std::string& instanceFileOrString);
33 StaticDataProvider(
const std::string& modelFile,
const std::vector<std::string>& folders,
const std::string& instanceFileOrString);
35 std::unique_ptr<Scenario>
createScenario(
unsigned int scenarioId = 0)
override;
38 StaticDataProvider(
const std::string& modelFile,
const std::vector<std::string>& folders);
47 std::unordered_map< const Attribute*, BPMNOS::number >
data;
49 std::unordered_map< long unsigned int, StaticInstanceData >
instances;
55 std::pair<std::string, std::string>
parseInitialization(
const std::string& initialization)
const;
Abstract base class representing a data provider for BPMN instance data.
Class representing a data provider for static BPMN instance data.
std::pair< std::string, std::string > parseInitialization(const std::string &initialization) const
std::unordered_map< const Attribute *, BPMNOS::number > globalValueMap
BPMNOS::number latestInstantiation
virtual BPMNOS::number evaluateExpression(const std::string &expression) const
~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::unique_ptr< CSVReader > reader
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