UnCoVer (Using Coverability for Verification)
|
Use this Scenario to create a graphical representation of the given GTXL file. More...
#include <GTXLtoLatexConverter.h>
Public Member Functions | |
GTXLtoLatexConverter () | |
Creates a new instance of this Scenario. | |
virtual | ~GTXLtoLatexConverter () |
Destroys the this instance of this Scenario. | |
virtual void | run () override |
Executes the scenario and converts the given GTXL file into a pdf, drawing all rules and initial graphs using Graphviz. | |
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 | |
graphs::GTS_sp | gts |
Stores the GTS read from the given source file. | |
string | targetName |
Stores the filename of the Latex file used as target of the conversion. | |
io::LatexExporter::TargetType | type |
Stores in which type the target Latex file will be compiled. | |
bool | compile |
Stores whether the Latex file should be compiled or not. | |
unordered_map< IDType, IDType > * | ruleIDSubs |
Stores any ID substitutions for rules, if specified in the GTS file. | |
unordered_map< IDType, IDType > * | graphIDSubs |
Stores any ID substitutions for graphs, if specified in the GTS file. | |
Use this Scenario to create a graphical representation of the given GTXL file.
The GTS in the GTXL file is read, converted into a '.tex' file and then compiled. The compilation can produce either postscript or a pdf file. The compilation can also be suppressed.
|
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.