UnCoVer (Using Coverability for Verification)
|
When called this Scenario generates the GTS for the leader election example. More...
#include <LeaderElectionRuleCreater.h>
Public Member Functions | |
LeaderElectionRuleCreater () | |
Creates a new instance of this scenario. More... | |
virtual | ~LeaderElectionRuleCreater () |
Destroys this instance of the LeaderElectionRuleCreater. | |
virtual void | run () override |
Creates a GTS for the leader election example with the given number of processes and writes it to the filesystem as a GTXL file. | |
void | initialize (vector< string > ¶ms) |
Initializes the current Scenario with the given vector of parameters. More... | |
string | getName () const |
Returns the name of this Scenario, which is a string beginning with 'scn_'. More... | |
bool | isInitialized () const |
Check whether the Scenario was already initialized or not. More... | |
string | getScenarioDesciption () const |
Returns a full description of the given Scenario. More... | |
Protected Member Functions | |
virtual void | initialize (unordered_map< string, string > ¶meters) override |
Initializes the scenario with the given mapping, where the keys are parameter names. More... | |
void | addParameter (string paramName, string description, bool mandatory=true) |
Defined a new input parameter with the name 'paramName' the description 'description'. More... | |
void | addSynonymFor (string original, string synonym) |
Stores that the parameter 'original' is also meant if 'synonym' was given as parameter. More... | |
void | checkInitializationAndThrow () const |
Check if the Scenario was initialized and throws a RunException if it was not. More... | |
Protected Attributes | |
const string | scenarioName |
A unique name of this scenario starting with "scn_". | |
const vector< string > | alternateNames |
A vector containing all names for this Scenario, beyond scenarioName. | |
const string | scenarioDescriptor |
Contains a description of how a call of this scenario may look like. More... | |
Private Attributes | |
unsigned int | processCount |
Stores the number of processes for which GTS will be created. | |
string | name |
Stores the filename to which the GTS will be written. | |
When called this Scenario generates the GTS for the leader election example.
For this the number of processes must be set to some natural number and the filename must be given, to which the GTS will be written (as a GTXL file).
Creates a new instance of this scenario.
The scenario still has to be initialized before it can be executed.
|
protectedinherited |
Defined a new input parameter with the name 'paramName' the description 'description'.
The boolean specifies whether the parameter is mandatory or not. The order in which the parameters are defined using this method also specifies the order in which the parameters are expected if this scenario is called without parameter names, i.e. if the i-th input has only a value and no name, the name given at the i-th call of this method is used.
paramName | a unique name for this parameter |
description | a description of the defines parameter (for documentary purposes) |
mandatory | true if and only if the parameter should be mandatory |
|
protectedinherited |
Stores that the parameter 'original' is also meant if 'synonym' was given as parameter.
Using a defined parameter as 'synonym' will lead to undefined behavior.
original | an already defined parameter name |
synonym | a name which will from now on be handled as if 'original' was given |
|
protectedinherited |
Check if the Scenario was initialized and throws a RunException if it was not.
|
inherited |
|
inherited |
|
inherited |
Initializes the current Scenario with the given vector of parameters.
Each element of 'params' must be of the form 'key=value' and 'key' has to be a defined parameter of the scenario.
params | a key-value vector of the scenario parameters |
|
overrideprotectedvirtual |
Initializes the scenario with the given mapping, where the keys are parameter names.
May throw a uncover::basic_types::InitialisationException if parameters are invalid.
parameters | a mapping containing parameter names as keys and their values |
Implements Scenario.
|
inherited |
|
protectedinherited |
Contains a description of how a call of this scenario may look like.
This does not include detailed description of the parameters.