deal.II version GIT relicensing-1936-ge55124254b 2024-10-04 21:10:00+00:00
\(\newcommand{\dealvcentcolon}{\mathrel{\mathop{:}}}\) \(\newcommand{\dealcoloneq}{\dealvcentcolon\mathrel{\mkern-1.2mu}=}\) \(\newcommand{\jump}[1]{\left[\!\left[ #1 \right]\!\right]}\) \(\newcommand{\average}[1]{\left\{\!\left\{ #1 \right\}\!\right\}}\)
Loading...
Searching...
No Matches
Public Types | Public Member Functions | Static Public Member Functions | Private Types | Private Member Functions | Private Attributes | Static Private Attributes | Friends | List of all members
ParameterHandler Class Reference

#include <deal.II/base/parameter_handler.h>

Inheritance diagram for ParameterHandler:
Inheritance graph
[legend]

Public Types

enum  OutputStyle {
  DefaultStyle = 0x0000 , Short = 0x0001 , KeepDeclarationOrder = 0x0002 , PRM = 0x0010 ,
  LaTeX = 0x0020 , Description = 0x0040 , XML = 0x0080 , JSON = 0x0100 ,
  ShortPRM = PRM | Short , ShortXML = XML | Short , ShortJSON = JSON | Short , ShortLaTeX = LaTeX | Short ,
  KeepOnlyChanged = 0x0200
}
 

Public Member Functions

 ParameterHandler ()
 
virtual ~ParameterHandler () override=default
 
 ParameterHandler (const ParameterHandler &)=delete
 
ParameterHandleroperator= (const ParameterHandler &)=delete
 
virtual void parse_input (std::istream &input, const std::string &filename="input file", const std::string &last_line="", const bool skip_undefined=false)
 
virtual void parse_input (const std::string &filename, const std::string &last_line="", const bool skip_undefined=false, const bool assert_mandatory_entries_are_found=false)
 
virtual void parse_input_from_string (const std::string &s, const std::string &last_line="", const bool skip_undefined=false)
 
virtual void parse_input_from_xml (std::istream &input, const bool skip_undefined=false)
 
virtual void parse_input_from_json (std::istream &input, const bool skip_undefined=false)
 
void clear ()
 
void declare_entry (const std::string &entry, const std::string &default_value, const Patterns::PatternBase &pattern=Patterns::Anything(), const std::string &documentation="", const bool has_to_be_set=false)
 
void mark_as_deprecated (const std::string &entry, const bool is_deprecated=true)
 
void add_action (const std::string &entry, const std::function< void(const std::string &value)> &action, const bool execute_action=true)
 
template<typename ParameterType >
void add_parameter (const std::string &entry, ParameterType &parameter, const std::string &documentation="", const Patterns::PatternBase &pattern= *Patterns::Tools::Convert< ParameterType >::to_pattern(), const bool has_to_be_set=false)
 
void declare_alias (const std::string &existing_entry_name, const std::string &alias_name, const bool alias_is_deprecated=false)
 
void enter_subsection (const std::string &subsection, const bool create_path_if_needed=true)
 
void leave_subsection ()
 
bool subsection_path_exists (const std::vector< std::string > &sub_path) const
 
std::string get_current_path () const
 
std::string get_current_full_path (const std::string &name) const
 
std::string get_current_full_path (const std::vector< std::string > &sub_path, const std::string &name) const
 
std::string get (const std::string &entry_string) const
 
std::string get (const std::vector< std::string > &entry_subsection_path, const std::string &entry_string) const
 
long int get_integer (const std::string &entry_string) const
 
long int get_integer (const std::vector< std::string > &entry_subsection_path, const std::string &entry_string) const
 
double get_double (const std::string &entry_name) const
 
double get_double (const std::vector< std::string > &entry_subsection_path, const std::string &entry_string) const
 
bool get_bool (const std::string &entry_name) const
 
bool get_bool (const std::vector< std::string > &entry_subsection_path, const std::string &entry_string) const
 
void set (const std::string &entry_name, const std::string &new_value)
 
void set (const std::string &entry_name, const char *new_value)
 
void set (const std::string &entry_name, const long int new_value)
 
void set (const std::string &entry_name, const double new_value)
 
void set (const std::string &entry_name, const bool new_value)
 
std::ostream & print_parameters (std::ostream &out, const OutputStyle style) const
 
void print_parameters (const std::string &filename, const OutputStyle style=DefaultStyle) const
 
void log_parameters (LogStream &out, const OutputStyle style=DefaultStyle)
 
void log_parameters_section (LogStream &out, const OutputStyle style=DefaultStyle)
 
std::size_t memory_consumption () const
 
template<class Archive >
void save (Archive &ar, const unsigned int version) const
 
template<class Archive >
void load (Archive &ar, const unsigned int version)
 
template<class Archive >
void serialize (Archive &archive, const unsigned int version)
 
bool operator== (const ParameterHandler &prm2) const
 
std::set< std::string > get_entries_wrongly_not_set () const
 
void assert_that_entries_have_been_set () const
 
Subscriptor functionality

Classes derived from Subscriptor provide a facility to subscribe to this object. This is mostly used by the ObserverPointer class.

void subscribe (std::atomic< bool > *const validity, const std::string &identifier="") const
 
void unsubscribe (std::atomic< bool > *const validity, const std::string &identifier="") const
 
unsigned int n_subscriptions () const
 
template<typename StreamType >
void list_subscribers (StreamType &stream) const
 
void list_subscribers () const
 

Static Public Member Functions

static ::ExceptionBaseExcEntryAlreadyExists (std::string arg1)
 
static ::ExceptionBaseExcEntryIsDeprecated (int arg1, std::string arg2, std::string arg3)
 
static ::ExceptionBaseExcEncounteredDeprecatedEntries (std::string arg1)
 
static ::ExceptionBaseExcValueDoesNotMatchPattern (std::string arg1, std::string arg2)
 
static ::ExceptionBaseExcAlreadyAtTopLevel ()
 
static ::ExceptionBaseExcEntryUndeclared (std::string arg1)
 
static ::ExceptionBaseExcUnbalancedSubsections (std::string arg1, std::string arg2)
 
static ::ExceptionBaseExcNoSubsection (int arg1, std::string arg2, std::string arg3)
 
static ::ExceptionBaseExcCannotParseLine (int arg1, std::string arg2, std::string arg3)
 
static ::ExceptionBaseExcInvalidEntryForPattern (int arg1, std::string arg2, std::string arg3, std::string arg4, std::string arg5)
 
static ::ExceptionBaseExcInvalidXMLParameterFile ()
 
static ::ExceptionBaseExcCannotOpenIncludeStatementFile (int arg1, std::string arg2, std::string arg3)
 
static ::ExceptionBaseExcInUse (int arg1, std::string arg2, std::string arg3)
 
static ::ExceptionBaseExcNoSubscriber (std::string arg1, std::string arg2)
 

Private Types

using map_value_type = decltype(counter_map)::value_type
 
using map_iterator = decltype(counter_map)::iterator
 

Private Member Functions

void scan_line (std::string line, const std::string &input_filename, const unsigned int current_line_n, const bool skip_undefined)
 
void recursively_print_parameters (const boost::property_tree::ptree &tree, const std::vector< std::string > &target_subsection_path, const ParameterHandler::OutputStyle style, const unsigned int indent_level, std::ostream &out) const
 
void check_no_subscribers () const noexcept
 

Private Attributes

std::vector< std::string > subsection_path
 
std::unique_ptr< boost::property_tree::ptree > entries
 
std::map< std::string, std::pair< bool, bool > > entries_set_status
 
std::vector< std::unique_ptr< const Patterns::PatternBase > > patterns
 
std::vector< std::function< void(const std::string &)> > actions
 
std::atomic< unsigned intcounter
 
std::map< std::string, unsigned intcounter_map
 
std::vector< std::atomic< bool > * > validity_pointers
 
const std::type_info * object_info
 

Static Private Attributes

static const char path_separator = '.'
 
static std::mutex mutex
 

Friends

class MultipleParameterLoop
 

Detailed Description

The ParameterHandler class provides a standard interface to an input file which provides at run-time for program parameters such as time step sizes, geometries, right hand sides etc. The input for the program is given in files, streams or strings in memory using text like

set Time step size = 0.3
set Geometry = [0,1]x[0,3]
void set(const std::string &entry_name, const std::string &new_value)

Input may be sorted into subsection trees in order to give the input a logical structure, and input files may include other files.

The ParameterHandler class is discussed in step-29, step-33, and step-34.

Declaring entries

In order to use the facilities of a ParameterHandler object, one first has to make known the different entries the input file may or may not contain. This is done in the following way:

...
ParameterHandler prm;
prm.declare_entry ("Time step size",
"0.2",
"Some documentation");
prm.declare_entry ("Geometry",
"[0,1]x[0,1]",
...

Each entry is declared using the function declare_entry(). The first parameter is the name of the entry (in short: the entry). The second is the default answer to be taken in case the entry is not specified in the input file. The third parameter is a regular expression which the input (and the default answer) has to match. Several such regular expressions are defined in Patterns. This parameter can be omitted, in which case it will default to Patterns::Anything, i.e. a pattern that matches every input string. The fourth parameter can be used to document the intent or expected format of an entry; its value is printed as a comment when writing all entries of a ParameterHandler object using the print_parameters() function to allow for easier understanding of a parameter file. It can be omitted as well, in which case no such documentation will be printed.

Entries may be located in subsections which form a kind of input tree. For example input parameters for linear solver routines should be classified in a subsection named Linear solver or any other suitable name. This is accomplished in the following way:

...
LinEq eq;
eq.declare_parameters (prm);
...
void LinEq::declare_parameters (ParameterHandler &prm)
{
prm.enter_subsection("Linear solver");
{
prm.declare_entry ("Solver",
"CG",
Patterns::Selection("CG|GMRES|GaussElim"),
"Name of a linear solver for the inner iteration");
prm.declare_entry ("Maximum number of iterations", "20",
ParameterHandler::RegularExpressions::Integer());
...
}
}
void enter_subsection(const std::string &subsection, const bool create_path_if_needed=true)
void declare_entry(const std::string &entry, const std::string &default_value, const Patterns::PatternBase &pattern=Patterns::Anything(), const std::string &documentation="", const bool has_to_be_set=false)

Subsections may be nested. For example a nonlinear solver may have a linear solver as member object. Then the function call tree would be something like (if the class NonLinEq has a member variables eq of type LinEq):

void NonLinEq::declare_parameters (ParameterHandler &prm)
{
prm.enter_subsection ("Nonlinear solver");
{
prm.declare_entry ("Nonlinear method",
"Newton-Raphson",
ParameterHandler::RegularExpressions::Anything());
eq.declare_parameters (prm);
}
}

For class member functions which declare the different entries we propose to use the common name declare_parameters. In normal cases this method can be static since the entries will not depend on any previous knowledge. Classes for which entries should logically be grouped into subsections should declare these subsections themselves. If a class has two or more member variables of the same type both of which should have their own parameters, this parent class' method declare_parameters is responsible to group them into different subsections:

void NonLinEq::declare_parameters (ParameterHandler &prm)
{
prm.enter_subsection ("Nonlinear solver");
{
prm.enter_subsection ("Linear solver 1");
{
eq1.declare_parameters (prm);
}
prm.enter_subsection ("Linear solver 2");
{
eq2.declare_parameters (prm);
}
}
}

Input files and special characters

For the first example above the input file would look like the following:

...
subsection Nonlinear solver
set Nonlinear method = Gradient
# this is a comment
subsection Linear solver
set Solver = CG
set Maximum number of iterations = 30
end
end
... # other stuff

The words subsection, set and end may be either written in lowercase or uppercase letters. Leading and trailing whitespace is removed, multiple whitespace is condensed into only one. Since the latter applies also to the name of an entry, an entry name will not be recognized if in the declaration multiple whitespace is used.

In entry names and values the following characters are not allowed: #, {, }, |. Their use is reserved for the MultipleParameterLoop class.

Comments starting with # are skipped.

Continuation lines are allowed by means of the character \, which must be the last character (aside from whitespace, which is ignored) of the line. When a line is a continuation (i.e., the previous line ended in a \), then, unlike the default behavior of the C preprocessor, all whitespace at the beginning of the line is ignored.

We propose to use the following scheme to name entries: start the first word with a capital letter and use lowercase letters further on. The same applies to the possible entry values to the right of the = sign.

The class can also handle json-files and XML-files. The json input file might look like the following for the previous example:

{
"Nonlinear solver" : {
"Nonlinear method" : "Gradient",
"Linear solver" : {
"Solver" : "CG",
"Maximum number of iterations" : 30
}
}
}

The advantage of using json-files is that this format is natively supported by Python, simplifying the running of parameter studies tremendously.

Including other input files

An input file can include other include files using the syntax

...
include some_other_file.prm
...

The file so referenced is searched for relative to the current directory (not relative to the directory in which the including parameter file is located, since this is not known to all three versions of the parse_input() function).

Reading data from input sources

In order to read input there are three possibilities: reading from an std::istream object, reading from a file of which the name is given and reading from a string in memory in which the lines are separated by \n characters. These possibilities are used as follows:

...
// declaration of entries
...
prm.parse_input (std::cin); // read input from standard in,
// or
prm.parse_input ("simulation.prm");
// or
char *in = "set Time step size = 0.3 \n ...";
...
virtual void parse_input(std::istream &input, const std::string &filename="input file", const std::string &last_line="", const bool skip_undefined=false)
virtual void parse_input_from_string(const std::string &s, const std::string &last_line="", const bool skip_undefined=false)

You can use several sources of input successively. Entries which are changed more than once will be overwritten every time they are used.

You should not try to declare entries using declare_entry() and enter_subsection() with as yet unknown subsection names after using parse_input(). The results in this case are unspecified.

If an error occurs upon reading the input, error messages are written to std::cerr and the reader function returns with a return value of false. This is opposed to almost all other functions in deal.II, which would normally throw an exception if an error occurs; this difference in behavior is a relic of the fact that this class predates deal.II and had previously been written for a different project.

Using the ParameterHandler Graphical User Interface

An alternative to using the hand-written input files shown above is to use the graphical user interface (GUI) that accompanies this class.

See the parameter_gui github repository for further details.

Getting entry values out of a ParameterHandler object

Each class gets its data out of a ParameterHandler object by calling the get() member functions like this:

void NonLinEq::get_parameters (ParameterHandler &prm)
{
prm.enter_subsection ("Nonlinear solver");
std::string method = prm.get ("Nonlinear method");
eq.get_parameters (prm);
}
std::string get(const std::string &entry_string) const

get() returns the value of the given entry. If the entry was not specified in the input source(s), the default value is returned. You have to enter and leave subsections exactly as you did when declaring subsections. You may choose the order in which to traverse the subsection tree.

It is possible to avoid calls to enter_subsection() and leave_subsection() by supplying get() with a vector of strings representing the path from which to get a value. For example, the following two versions of get_parameters() will produce the same result:

void NonLinEq::get_parameters (ParameterHandler &prm)
{
prm.enter_subsection ("Equation 1 Settings");
prm.enter_subsection ("Linear solver");
solver_ = prm.get ("Solver");
}
void NonLinEq::get_parameters (const ParameterHandler &prm)
{
std::vector<std::string> path =
{"Equation 1 Settings", "Linear solver"};
solver_ = prm.get (path, "Solver");
}

The latter method allows the ParameterHandler reference to be const.

It is guaranteed that only entries matching the given regular expression are returned, i.e. an input entry value which does not match the regular expression is not stored.

You can use get() to retrieve the parameter in text form, get_integer() to get an integer or get_double() to get a double. You can also use get_bool(). It will cause an internal error if the string could not be converted to an integer, double or a bool. This should, though, not happen if you correctly specified the regular expression for this entry; you should not try to get out an integer or a double from an entry for which no according regular expression was set. The internal error is raised through the Assert() macro family which only works in debug mode.

If you want to print out all user selectable features, use the print_parameters() function. It is generally a good idea to print all parameters at the beginning of a log file, since this way input and output are together in one file which makes matching at a later time easier. Additionally, the function also print those entries which have not been modified in the input file and are thus set to default values; since default values may change in the process of program development, you cannot know the values of parameters not specified in the input file.

Adding Actions to Parameters

It is often convenient to have something happen as soon as a parameter value is read. This could be a check that it is valid – say, that a file that is listed in the parameter file exists – or to initiate something else in response, such as setting a variable outside the ParameterHandler (as in the example shown below). In almost all cases, this "action" could also be initiated once all parameters are read via parse_input(), but it is sometimes convenient to do it right away.

This is facilitated by the add_action() function that can be called after declaring a parameter via declare_entry(). "Actions" are in essence pointers to functions that will be called for parameters that have associated actions. These functions take the value of a parameter as argument, and can then do whatever they want with it – e.g., save it somewhere outside the ParameterHandler object. (Exactly when the action is called is described in the documentation of the add_action() function.) Of course, in C++ one doesn't usually pass around the address of a function, but an action can be a function-like object (taking a string as argument) that results from calling such as a lambda function that has the form

[] (const std::string &value) { ... do something with the value ... }

and that is attached to a specific parameter.

A typical example of such an action would be as follows: let's assume that you have a program that declares a parameter for the number of iterations it is going to run, say

class MyAlgorithm
{
public:
void run ();
private:
unsigned int n_iterations;
};

then one could obtain this parameter from a parameter file using a code snippet in run() as follows:

void MyAlgorithm::run ()
{
prm.declare_entry ("Number of iterations", // name of parameter
"10", // default value
Patterns::Integer(1,100),// allowed values: 1...100
"The number of ..."); // some documentation
// next read the parameter from an input file...
prm.parse_input ("my_algorithm.prm");
// ...and finally get the value for use in the program:
n_iterations = prm.get_integer ("Number of iterations");
... actual code doing something useful follows here...
long int get_integer(const std::string &entry_string) const

This two-step process – first declaring the parameter, and later reading it – is a bit cumbersome because one has to first declare all parameters and at a later time retrieve them from the ParameterHandler object. In large programs, these two things also often happen in different functions.

To avoid this, it would be nice if we could put both the declaration and the retrieval into the same place. This can be done via actions, and the function would then look like this:

void MyAlgorithm::run ()
{
prm.declare_entry ("Number of iterations", // name of parameter
"10", // default value
Patterns::Integer(1,100),// allowed values: 1...100
"The number of ..."); // some documentation
prm.add_action ("Number of iterations",
[&](const std::string &value)
{
this->n_iterations = Utilities::string_to_int(value);
});
// next read the parameter from an input file...
prm.parse_input ("my_algorithm.prm");
... actual code doing something useful follows here...
void add_action(const std::string &entry, const std::function< void(const std::string &value)> &action, const bool execute_action=true)
int string_to_int(const std::string &s)
Definition utilities.cc:605

Here, the action consists of a lambda function that takes the value for this parameter as a string, and then converts it to an integer to store in the variable where it belongs. This action is executed inside the call to prm.parse_input(), and so there is now no longer a need to extract the parameter's value at a later time. Furthermore, the code that sets the member variable is located right next to the place where the parameter is actually declared, so we no longer need to have two separate parts of the code base that deal with input parameters.

Of course, it is possible to execute far more involved actions than just setting a member variable as shown above, even though that is a typical case.

Style guide for data retrieval

We propose that every class which gets data out of a ParameterHandler object provides a function named get_parameters. This should be declared virtual. get_parameters functions in derived classes should call the BaseClass::get_parameters function.

Experience with large parameter lists

Experience has shown that in programs defining larger numbers of parameters (more than, say, fifty) it is advantageous to define an additional class holding these parameters. This class is more like a C-style structure, having a large number of variables, usually public. It then has at least two functions, which declare and parse the parameters. In the main program, the main class has an object of this parameter class and delegates declaration and parsing of parameters to this object.

The advantage of this approach is that you can keep out the technical details (declaration and parsing) out of the main class and additionally don't clutter up your main class with dozens or more variables denoting the parameters.

Worked Example

This is the code:

#include <iostream>
#include <string>
using namespace dealii;
class LinearEquation
{
public:
static void declare_parameters (ParameterHandler &prm);
void get_parameters (ParameterHandler &prm);
private:
std::string method;
int max_iterations;
};
class Problem
{
private:
LinearEquation eq1, eq2;
std::string matrix1, matrix2;
std::string outfile;
public:
static void declare_parameters (ParameterHandler &prm);
void get_parameters (ParameterHandler &prm);
void do_something ();
};
void LinearEquation::declare_parameters (ParameterHandler &prm)
{
// declare parameters for the linear solver in a subsection
prm.enter_subsection ("Linear solver");
{
prm.declare_entry ("Solver",
"CG",
Patterns::Selection("CG|BiCGStab|GMRES"),
"Name of a linear solver for the inner iteration");
prm.declare_entry ("Maximum number of iterations",
"20",
}
}
void LinearEquation::get_parameters (ParameterHandler &prm)
{
prm.enter_subsection ("Linear solver");
{
method = prm.get ("Solver");
max_iterations = prm.get_integer ("Maximum number of iterations");
}
std::cout << " LinearEquation: method=" << method
<< ", max_iterations=" << max_iterations
<< std::endl;
}
void Problem::declare_parameters (ParameterHandler &prm)
{
// first some global parameter entries
"Output file",
"out",
"Name of the output file, either relative or absolute");
prm.declare_entry ("Equation 1", "Laplace",
"String identifying the equation we want to solve");
prm.declare_entry ("Equation 2",
"Elasticity",
// declare parameters for the first equation
prm.enter_subsection ("Equation 1 Settings");
{
prm.declare_entry ("Matrix type",
"Sparse",
Patterns::Selection("Full|Sparse|Diagonal"),
"Type of the matrix to be used, either full, "
"sparse, or diagonal");
LinearEquation::declare_parameters (prm); // for eq1
}
// declare parameters for the second equation
prm.enter_subsection ("Equation 2 Settings");
{
prm.declare_entry ("Matrix type",
"Sparse",
Patterns::Selection("Full|Sparse|Diagonal"));
LinearEquation::declare_parameters (prm); // for eq2
}
}
void Problem::get_parameters (ParameterHandler &prm)
{
// entries of the problem class
outfile = prm.get ("Output file");
std::string equation1 = prm.get ("Equation 1"),
equation2 = prm.get ("Equation 2");
// get parameters for the first equation
prm.enter_subsection ("Equation 1 Settings");
{
matrix1 = prm.get ("Matrix type");
eq1.get_parameters (prm); // for eq1
}
// get parameters for the second equation
prm.enter_subsection ("Equation 2 Settings");
{
matrix2 = prm.get ("Matrix type");
eq2.get_parameters (prm); // for eq2
}
std::cout
<< " Problem: outfile=" << outfile << '\n'
<< " eq1=" << equation1 << ", eq2=" << equation2 << '\n'
<< " matrix1=" << matrix1 << ", matrix2=" << matrix2
<< std::endl;
}
void Problem::do_something ()
{
// While this example does nothing here, at this point in the program
// all of the parameters are known so we can start doing computations.
}
int main ()
{
Problem p;
p.declare_parameters (prm);
// read input from "prmtest.prm"; giving argv[1] would also be a
// good idea
prm.parse_input ("prmtest.prm");
// print parameters to std::cout as ASCII text
std::cout << "\n\n";
prm.print_parameters (std::cout, ParameterHandler::Text);
// get parameters into the program
std::cout << "\n\n" << "Getting parameters:" << std::endl;
p.get_parameters (prm);
// now run the program with these input parameters
p.do_something ();
}
std::ostream & print_parameters(std::ostream &out, const OutputStyle style) const

This is the input file (named "prmtest.prm"):

# first declare the types of equations
set Equation 1 = Poisson
set Equation 2 = Stokes
subsection Equation 1 Settings
set Matrix type = Sparse
subsection Linear solver # parameters for linear solver 1
set Solver = Gauss-Seidel
set Maximum number of iterations = 40
end
end
subsection Equation 2 Settings
set Matrix type = Full
subsection Linear solver
set Solver = CG
set Maximum number of iterations = 100
end
end

And here is the output of the program:

Line <8> of file <prmtest.prm>:
The entry value
Gauss-Seidel
for the entry named
Solver
does not match the given pattern
[Selection CG|BiCGStab|GMRES ]
# Listing of Parameters
# ---------------------
# String identifying the equation we want to solve
set Equation 1 = Poisson # default: Laplace
set Equation 2 = Stokes # default: Elasticity
# Name of the output file, either relative to the present path or absolute
set Output file = out
subsection Equation 1 Settings
# Type of the matrix to be used, either full, sparse, or diagonal
set Matrix type = Sparse
subsection Linear solver
set Maximum number of iterations = 40 # default: 20
# Name of a linear solver for the inner iteration
set Solver = CG
end
end
subsection Equation 2 Settings
set Matrix type = Full # default: Sparse
subsection Linear solver
set Maximum number of iterations = 100 # default: 20
# Name of a linear solver for the inner iteration
set Solver = CG
end
end
Getting parameters:
LinearEquation: method=CG, max_iterations=40
LinearEquation: method=CG, max_iterations=100
Problem: outfile=out
eq1=Poisson, eq2=Stokes
matrix1=Sparse, matrix2=Full

Representation of Parameters

Here is some more internal information about the representation of parameters:

Logically, parameters and the nested sections they are arranged in can be thought of as a hierarchical directory structure, or a tree. Take, for example, the following code declaring a set of parameters and sections they live in:

prm.declare_entry ("Maximal number of iterations",
"10",
Patterns::Integer (1, 1000),
"A parameter that describes the maximal number of "
"iterations the CG method is to take before giving "
"up on a matrix.");
prm.enter_subsection ("Preconditioner");
{
"Kind",
"SSOR",
Patterns::Selection ("SSOR|Jacobi"),
"A string that describes the kind of preconditioner to use.");
"Relaxation factor",
"1.0",
"The numerical value (between zero and one) for the "
"relaxation factor to use in the preconditioner.");
}

We can think of the parameters so arranged as a file system in which every parameter is a directory. The name of this directory is the name of the parameter, and in this directory lie files that describe the parameter. These files are at the time of writing this documentation (other fields, such as those indicating "actions" may also exist in each directory):

Alternatively, a directory in this file system may not have a file called value in it. In that case, the directory represents a subsection as declared above, and the directory's name will correspond to the name of the subsection. It will then have no files in it at all, but it may have further directories in it: some of these directories will be parameters (indicates by the presence of files) or further nested subsections.

Given this explanation, the code above will lead to a hierarchical representation of data that looks like this (the content of files is indicated at the right in a different font):

Once parameters have been read in, the contents of the value "files" may be different while the other files remain untouched.

Using the ParameterHandler::print_parameters() function with ParameterHandler::XML as second argument, we can get a complete representation of this data structure in XML. It will look like this:

<?xml version="1.0" encoding="utf-8"?>
<Maximal_20number_20of_20iterations>
<value>10</value>
<default_value>10</default_value>
<documentation>
A parameter that describes the maximal number of iterations the CG
method is to take before giving up on a matrix.
</documentation>
<pattern>0</pattern>
<pattern_description>
[Integer range 1...1000 (inclusive)]
</pattern_description>
</Maximal_20number_20of_20iterations>
<Preconditioner>
<Kind><value>SSOR</value>
<default_value>SSOR</default_value>
<documentation>
A string that describes the kind of preconditioner to use.
</documentation>
<pattern>1</pattern>
<pattern_description>SSOR|Jacobi</pattern_description>
</Kind>
<Relaxation_20factor>
<value>1.0</value>
<default_value>1.0</default_value>
<documentation>
The numerical value (between zero and one) for the relaxation
factor to use in the preconditioner.
</documentation>
<pattern>2</pattern>
<pattern_description>
[Floating point range 0...1 (inclusive)]
</pattern_description>
</Relaxation_20factor>
</Preconditioner>

This representation closely resembles the directory/file structure discussed above. The only difference is that directory and file names are mangled: since they should only contain letters and numbers, every character in their names that is not a letter or number is replaced by an underscore followed by its two-digit hexadecimal representation. In addition, the special name "value" is mangled when used as the name of a parameter, given that this name is also used to name special files in the hierarchy structure. Finally, the entire tree is wrapped into a tag ParameterHandler to satisfy the XML requirement that there be only a single top-level construct in each file.

The tree structure (and its XML representation) is what the graphical user interface (see above) uses to represent parameters like a directory/file collection.

Definition at line 854 of file parameter_handler.h.

Member Typedef Documentation

◆ map_value_type

using Subscriptor::map_value_type = decltype(counter_map)::value_type
privateinherited

The data type used in counter_map.

Definition at line 230 of file subscriptor.h.

◆ map_iterator

using Subscriptor::map_iterator = decltype(counter_map)::iterator
privateinherited

The iterator type used in counter_map.

Definition at line 235 of file subscriptor.h.

Member Enumeration Documentation

◆ OutputStyle

List of possible output formats used for functions like ParameterHandler::print_parameters(). The options can be categorized into two groups:

  • format options: PRM, LaTeX, Description, XML, JSON
  • stylistic options: Short, KeepDeclarationOrder

Only one format option may be specified at the time. Any function that accepts an OutputStyle as an option will throw if you specify more than one.

A number of shortcuts of commonly used option combinations are provided. E.g., ShortPRM prints the parameters in the PRM format, while skipping the documentation.

Enumerator
DefaultStyle 

Default stylistic style: print documentation and sort all parameters alphabetically.

Short 

Write input for ParameterHandler without comments or changed default values.

KeepDeclarationOrder 

Keep the order of the parameters as they have been declared.

PRM 

Write human readable output suitable to be read by ParameterHandler::parse_input() again.

LaTeX 

Write parameters as a LaTeX table.

Description 

Write out declared parameters with description and possible values.

Note
This format is not suitable to be read back again.
XML 

Write out everything as an XML file suitable to be read by ParameterHandler::parse_input_from_xml() again.

See the general documentation of this class for an example of output.

JSON 

Write out everything as a JSON file suitable to be read by ParameterHandler::parse_input_from_json() again.

ShortPRM 

Write the content of ParameterHandler without comments or changed default values.

ShortXML 

Write the content of ParameterHandler without comments or changed default values as a XML file.

ShortJSON 

Write the content of ParameterHandler without comments or changed default values as a JSON file.

ShortLaTeX 

Write the content of ParameterHandler without comments or changed default values as a LaTeX file.

KeepOnlyChanged 

Write out only parameters with changed values.

Definition at line 872 of file parameter_handler.h.

Constructor & Destructor Documentation

◆ ParameterHandler() [1/2]

ParameterHandler::ParameterHandler ( )

Constructor.

Definition at line 44 of file parameter_handler.cc.

◆ ~ParameterHandler()

virtual ParameterHandler::~ParameterHandler ( )
overridevirtualdefault

Destructor. Declare this only to have a virtual destructor, which is safer as we have virtual functions. It actually does nothing spectacular.

◆ ParameterHandler() [2/2]

ParameterHandler::ParameterHandler ( const ParameterHandler )
delete

Inhibit automatic CopyConstructor.

Member Function Documentation

◆ operator=()

ParameterHandler & ParameterHandler::operator= ( const ParameterHandler )
delete

Inhibit automatic assignment operator.

◆ parse_input() [1/2]

void ParameterHandler::parse_input ( std::istream &  input,
const std::string &  filename = "input file",
const std::string &  last_line = "",
const bool  skip_undefined = false 
)
virtual

Parse each line from a stream until the stream returns the eof condition or error to provide values for known parameter fields. The second argument can be used to denote the name of the file (if that's what the input stream represents) we are reading from; this is only used when creating output for exceptions.

If non-empty last_line is provided, the ParameterHandler object will stop parsing lines after encountering last_line . This is handy when adding extra data that shall be parsed manually.

If skip_undefined is true, the parameter handler will skip undefined sections and entries. This is useful for partially parsing a parameter file, for example to obtain only the spatial dimension of the problem. By default all entries and subsections are expected to be declared.

The function sets the value of all parameters it encounters in the input file to the provided value. Parameters not explicitly listed in the input file are left at the value they previously held, which will be the default value provided to declare_entry() unless one has previously read a different input file.

Each parameter value is matched against the pattern for this parameter that was provided to declare_entry(), and for each parameter all associated actions that may previously have been set by add_action() are executed. If a parameter does not satisfy its pattern, or if an associated action throws an exception, then the value provided for the parameter is not set and the current object reverts to the subsection it was in before the current function was called. No further processing of the input stream occurs, that is everything that comes after the parameter whose value does not satisfy its pattern is ignored.

Reimplemented in MultipleParameterLoop, and MultipleParameterLoop.

Definition at line 433 of file parameter_handler.cc.

◆ parse_input() [2/2]

void ParameterHandler::parse_input ( const std::string &  filename,
const std::string &  last_line = "",
const bool  skip_undefined = false,
const bool  assert_mandatory_entries_are_found = false 
)
virtual

Parse input from a specified parameter file filename independently of the type of input file (prm, xml, json) being used. The code path selected by this function is extracted from the ending of the filename, so the user has to make sure that the content of the input file is consistent with its name.

The parameter last_line will only be used for parameter files of .prm type. See the other parse_input function for documentation.

The user can specify whether parameters in the input file not added to the parameter handler will be skipped by skip_undefined (enables partial parsing), and whether the code will assert that all parameters of the parameter handler declared with flag has_to_be_set=true are indeed found in the input file.

If the function is called with skip_undefined=true, it is recommended to also set assert_mandatory_entries_are_found=true. For example, this ensures that parameters with typos in the input file will not be skipped, while such mistakes would otherwise remain unrecognized.

Reimplemented in MultipleParameterLoop.

Definition at line 581 of file parameter_handler.cc.

◆ parse_input_from_string()

void ParameterHandler::parse_input_from_string ( const std::string &  s,
const std::string &  last_line = "",
const bool  skip_undefined = false 
)
virtual

Parse input from a string to populate known parameter fields. The lines in the string must be separated by \n characters.

The function in essence reads the entire file into a stream and then calls the other parse_input() function with that stream. See there for more information.

Definition at line 611 of file parameter_handler.cc.

◆ parse_input_from_xml()

void ParameterHandler::parse_input_from_xml ( std::istream &  input,
const bool  skip_undefined = false 
)
virtual

Parse input from an XML stream to populate known parameter fields. This could be from a file originally written by the print_parameters() function using the XML output style and then modified by hand as necessary, or from a file written using this method and then modified by the graphical parameter GUI (see the general documentation of this class).

Definition at line 792 of file parameter_handler.cc.

◆ parse_input_from_json()

void ParameterHandler::parse_input_from_json ( std::istream &  input,
const bool  skip_undefined = false 
)
virtual

Parse input from a JSON stream to populate known parameter fields. This could be from a file originally written by the print_parameters() function using the JSON output style and then modified by hand as necessary, or from a separate program that knows how to write JSON format for ParameterHandler input.

Definition at line 848 of file parameter_handler.cc.

◆ clear()

void ParameterHandler::clear ( )

Clear all contents.

Definition at line 884 of file parameter_handler.cc.

◆ declare_entry()

void ParameterHandler::declare_entry ( const std::string &  entry,
const std::string &  default_value,
const Patterns::PatternBase pattern = Patterns::Anything(),
const std::string &  documentation = "",
const bool  has_to_be_set = false 
)

Declare a new entry with name entry, default and for which any input has to match the pattern (default: any pattern).

The function generates an exception of type ExcValueDoesNotMatchPattern if the default value doesn't match the given pattern, using the C++ throw mechanism. However, this exception is only generated after the entry has been created; if you have code where no sensible default value for a parameter is possible, you can then catch and ignore this exception.

The parameter documentation defaulting to an empty string is used to add a documenting text to each entry which will be printed as a comment when this class is asked to write out all declarations to a stream using the print_parameters() function.

The parameter has_to_be_set can be used in order to declare this parameter as a parameter whose default value has to be overwritten by one of the methods provided by this class. Whether a parameter has been set successfully can be queried by the functions get_entries_wrongly_not_set() and assert_that_entries_have_been_set().

Note
An entry can be declared more than once without generating an error, for example to override an earlier default value.

Definition at line 893 of file parameter_handler.cc.

◆ mark_as_deprecated()

void ParameterHandler::mark_as_deprecated ( const std::string &  entry,
const bool  is_deprecated = true 
)

Mark a previously declared parameter as deprecated. This will cause an exception of type ExcEncounteredDeprecatedEntries to be thrown if the parameter is used in an input file that is parsed by the parse_input() function.

The exception message will list the name of the parameter(s) that were encountered in the input file.

Parameters
entryThe name of the parameter to be marked as deprecated.
is_deprecatedAn optional parameter that can be used to set the deprecation status of the parameter. If set to true, the parameter will be marked as deprecated. This is the default behavior. If set to false, the parameter will be marked as not deprecated. This is useful if a parameter is marked as deprecated by one function, but another function wants to keep using it.

Definition at line 1040 of file parameter_handler.cc.

◆ add_action()

void ParameterHandler::add_action ( const std::string &  entry,
const std::function< void(const std::string &value)> &  action,
const bool  execute_action = true 
)

Attach an action to the parameter with name entry in the current section. The action needs to be a function-like object that takes the value of the parameter as a (string) argument. See the general documentation of this class for a longer description of actions, as well as examples.

The action is executed in three different circumstances:

  • With the default value of the parameter with name name, at the end of the current function if execute_action is set to true. This is useful because it allows for the action to execute whatever it needs to do at least once for each parameter, even those that are not actually specified in the input file (and thus remain at their default values). Note that if the action is executed, it converts the default value to a string and back afterwards. This can lead to round-off errors so that the default values might change in the case of floating-point numbers.
  • Within the ParameterHandler::set() functions that explicitly set a value for a parameter.
  • Within the parse_input() function and similar functions such as parse_input_from_string(). Here, the action is executed whenever the parameter with which it is associated is read from the input, after it has been established that the value so read matches the pattern that corresponds to this parameter, and before the value is actually saved.

It is valid to add multiple actions to the same parameter. They will in that case be executed in the same order in which they were added.

Note
Actions may modify all sorts of variables in their scope. The only thing an action should not modify is the ParameterHandler object it is attached to. In other words, it is not allowed to enter or leave sections of the current ParameterHandler object. It is, in principle, acceptable to call ParameterHandler::get() and related functions on other parameters in the current section, but since there is no guarantee about the order in which they will be read from an input file, you will not want to rely on the values these functions would return.
Throwing an exception in an action is generally not a good idea, but yields fundamentally the same result as if one tries to read a parameter from a file for which the value does not satisfy the pattern associated with the parameter. In other words, the value just read is discarded, and ParameterHandler::parse_input() stops to read any further content from the file. See ParameterHandler::parse_input() for more information.

Definition at line 939 of file parameter_handler.cc.

◆ add_parameter()

template<typename ParameterType >
void ParameterHandler::add_parameter ( const std::string &  entry,
ParameterType &  parameter,
const std::string &  documentation = "",
const Patterns::PatternBase pattern = *Patterns::Tools::Convert<ParameterType>::to_pattern(),
const bool  has_to_be_set = false 
)

Declare a new entry name entry, set its default value to the content of the variable parameter, and create an action that will fill parameter with updated values when a file is parsed, or the entry is set to a new value.

By default, the pattern to use is obtained by calling the function Patterns::Tools::Convert<T>::to_pattern(), but a custom one can be used.

The parameter has_to_be_set can be used in order to declare this parameter as a parameter whose default value has to be overwritten by one of the methods provided by this class. Whether a parameter has been set successfully can be queried by the functions get_entries_wrongly_not_set() and assert_that_entries_have_been_set().

Definition at line 2368 of file parameter_handler.h.

◆ declare_alias()

void ParameterHandler::declare_alias ( const std::string &  existing_entry_name,
const std::string &  alias_name,
const bool  alias_is_deprecated = false 
)

Create an alias for an existing entry. This provides a way to refer to a parameter in the input file using an alternate name. The alias will be in the current section, and the referenced entry needs to be an existing entry in the current section.

The primary purpose of this function is to allow for a backward compatible way of changing names in input files of applications for which backward compatibility is important. This can be achieved by changing the name of the parameter in the call to declare_entry(), and then creating an alias that maps the old name to the new name. This way, old input files can continue to refer to parameters under the old name, and they will automatically be mapped to the new parameter name.

It is valid to set the same parameter multiple times in an input file. The value that will ultimately be chosen in such cases is simply the last value set. This rule also applies to aliases, where the final value of a parameter is the last value set either through the current name of the parameter or through any of its possible multiple aliases. For example, if you have an input file that looks like

set parm1 = 1
set parm1_alias = 2

where parm1_alias is an alias declared via

prm.declare_alias ("parm1", "parm1_alias");

then the final value for the parameter called parm1 will be 2, not 1.

Parameters
existing_entry_nameThe name of an existing parameter in the current section that the alias should refer to.
alias_nameAn alternate name for the parameter referenced by the first argument.
alias_is_deprecatedIf true, mark the alias as deprecated. This will then be listed in the description of the alias if you call print_parameters(), and you will get a warning on the screen when reading an input file that contains this deprecated alias. The purpose of this argument is to be able to allow the use of an old name for a parameter (see above) but make it clear that this old name will eventually be removed.

Definition at line 977 of file parameter_handler.cc.

◆ enter_subsection()

void ParameterHandler::enter_subsection ( const std::string &  subsection,
const bool  create_path_if_needed = true 
)

Enter a subsection. If it does not yet exist, create it if requested.

Definition at line 1068 of file parameter_handler.cc.

◆ leave_subsection()

void ParameterHandler::leave_subsection ( )

Leave present subsection.

Definition at line 1092 of file parameter_handler.cc.

◆ subsection_path_exists()

bool ParameterHandler::subsection_path_exists ( const std::vector< std::string > &  sub_path) const

Check whether a subsection or a subsection path exists in current tree. The input parameter sub_path is assumed to be relative to the currently selected path.

Definition at line 1105 of file parameter_handler.cc.

◆ get_current_path()

std::string ParameterHandler::get_current_path ( ) const

Return the string that identifies the current path into the property tree. The path elements are separated by the path_separator, which is a '.'. This is only a path, i.e., it is not terminated by the path_separator character.

This function simply calls collate_path_string() with subsection_path as argument.

Definition at line 392 of file parameter_handler.cc.

◆ get_current_full_path() [1/2]

std::string ParameterHandler::get_current_full_path ( const std::string &  name) const

Given the name of an entry as argument, the function computes a full path into the parameter tree using the current subsection. The path elements are separated by the path_separator, which is a '.'.

Definition at line 400 of file parameter_handler.cc.

◆ get_current_full_path() [2/2]

std::string ParameterHandler::get_current_full_path ( const std::vector< std::string > &  sub_path,
const std::string &  name 
) const

This function computes a full path into the parameter tree given a path from the current subsection and the name of an entry. The path elements are separated by the path_separator, which is a '.'.

Definition at line 414 of file parameter_handler.cc.

◆ get() [1/2]

std::string ParameterHandler::get ( const std::string &  entry_string) const

Return value of entry entry_string. If the entry was changed, then the changed value is returned, otherwise the default value. If the value of an undeclared entry is required, an Assert will fail.

Definition at line 1126 of file parameter_handler.cc.

◆ get() [2/2]

std::string ParameterHandler::get ( const std::vector< std::string > &  entry_subsection_path,
const std::string &  entry_string 
) const

Return value of entry entry_string. If the entry was changed, then the changed value is returned, otherwise the default value. If the value of an undeclared entry is required, an Assert will fail. If entry_subsection_path is non-empty, the value will be gotten from the subsection represented by that path instead of the current subsection. The first string in entry_subsection_path must be the name of a subsection of the current section, and each next string must be the name of a subsection of the one before it.

Definition at line 1143 of file parameter_handler.cc.

◆ get_integer() [1/2]

long int ParameterHandler::get_integer ( const std::string &  entry_string) const

Return value of entry entry_string as long int. (A long int is chosen so that even very large unsigned values can be returned by this function).

Definition at line 1164 of file parameter_handler.cc.

◆ get_integer() [2/2]

long int ParameterHandler::get_integer ( const std::vector< std::string > &  entry_subsection_path,
const std::string &  entry_string 
) const

Return value of entry entry_string as long int. (A long int is chosen so that even very large unsigned values can be returned by this function). If entry_subsection_path is non-empty, the value will be gotten from the subsection represented by that path instead of the current subsection.

Definition at line 1183 of file parameter_handler.cc.

◆ get_double() [1/2]

double ParameterHandler::get_double ( const std::string &  entry_name) const

Return value of entry entry_name as double.

Definition at line 1207 of file parameter_handler.cc.

◆ get_double() [2/2]

double ParameterHandler::get_double ( const std::vector< std::string > &  entry_subsection_path,
const std::string &  entry_string 
) const

Return value of entry entry_name as double. If entry_subsection_path is non-empty, the value will be gotten from the subsection represented by that path instead of the current subsection.

Definition at line 1227 of file parameter_handler.cc.

◆ get_bool() [1/2]

bool ParameterHandler::get_bool ( const std::string &  entry_name) const

Return value of entry entry_name as bool. The entry may be "true" or "yes" for true, "false" or "no" for false respectively.

Definition at line 1252 of file parameter_handler.cc.

◆ get_bool() [2/2]

bool ParameterHandler::get_bool ( const std::vector< std::string > &  entry_subsection_path,
const std::string &  entry_string 
) const

Return value of entry entry_name as bool. The entry may be "true" or "yes" for true, "false" or "no" for false respectively. If entry_subsection_path is non-empty, the value will be gotten from the subsection represented by that path instead of the current subsection.

Definition at line 1269 of file parameter_handler.cc.

◆ set() [1/5]

void ParameterHandler::set ( const std::string &  entry_name,
const std::string &  new_value 
)

Change the value presently stored for entry_name to the one given in the second argument.

The parameter must already exist in the present subsection.

The function throws an exception of type ExcValueDoesNotMatchPattern if the new value does not conform to the pattern for this entry.

Definition at line 1291 of file parameter_handler.cc.

◆ set() [2/5]

void ParameterHandler::set ( const std::string &  entry_name,
const char *  new_value 
)

Same as above, but an overload where the second argument is a character pointer. This is necessary, since otherwise the call to set("abc","def") will be mapped to the function taking one string and a bool as arguments, which is certainly not what is most often intended.

The function throws an exception of type ExcValueDoesNotMatchPattern if the new value does not conform to the pattern for this entry.

Definition at line 1344 of file parameter_handler.cc.

◆ set() [3/5]

void ParameterHandler::set ( const std::string &  entry_name,
const long int  new_value 
)

Change the value presently stored for entry_name to the one given in the second argument.

The parameter must already exist in the present subsection.

The function throws an exception of type ExcValueDoesNotMatchPattern if the new value does not conform to the pattern for this entry.

Definition at line 1366 of file parameter_handler.cc.

◆ set() [4/5]

void ParameterHandler::set ( const std::string &  entry_name,
const double  new_value 
)

Change the value presently stored for entry_name to the one given in the second argument.

The parameter must already exist in the present subsection.

For internal purposes, the new value needs to be converted to a string. This is done using 16 digits of accuracy, so the set value and the one you can get back out using get_double() may differ in the 16th digit.

The function throws an exception of type ExcValueDoesNotMatchPattern if the new value does not conform to the pattern for this entry.

Definition at line 1352 of file parameter_handler.cc.

◆ set() [5/5]

void ParameterHandler::set ( const std::string &  entry_name,
const bool  new_value 
)

Change the value presently stored for entry_name to the one given in the second argument.

The parameter must already exist in the present subsection.

The function throws an exception of type ExcValueDoesNotMatchPattern if the new value does not conform to the pattern for this entry.

Definition at line 1379 of file parameter_handler.cc.

◆ print_parameters() [1/2]

std::ostream & ParameterHandler::print_parameters ( std::ostream &  out,
const OutputStyle  style 
) const

Print all parameters with the given style to out.

Before printing, all current parameters and subsections are sorted alphabetically by default. This behavior can be disabled setting the optional parameter style to KeepDeclarationOrder: in this case entries are printed in the same order as they have been declared.

In PRM, XML, and JSON format, the output is formatted in such a way that it is possible to use it for later input again. This is most useful to record the parameters for a specific run, since if you output the parameters using this function into a log file, you can always recover the results by simply copying the output to your input file.

Besides the name and value of each entry, the output also contains the default value of entries if it is different from the actual value, as well as the documenting string given to the declare_entry() function if available.

By using the flag Short in combination with PRM, XML, JSON, or LaTeX (or by using the shortcuts ShortPRM, ShortXML, ShortJSON, or ShortLaTeX), a reduced output can be generated, only containing the values and skipping the documentation.

In XML format, the output starts with one root element ParameterHandler in order to get a valid XML document and all subsections under it.

In LaTeX format, the output contains the same information but in a format so that the resulting file can be input into a latex document such as a manual for the code for which this object handles run-time parameters. The various sections of parameters are then represented by latex section and subsection commands as well as by nested enumerations.

You can reference specific parameter sections and individual parameters by the labels that are generated automatically for each entry. The labels have the format parameters:section1/subsection1 and parameters:section1/subsection1/someentry. Because special characters can appear in the section and entry names, these will be "mangled". Here, all characters except [a-zA-Z0-9] are replaced by _XX, where XX is the two-digit ascii code of the character in hexadecimal encoding (so a space becomes _20 for example).

While this function escapes special LaTeX-specific characters (backslash, underscore, etc.) in most of the output (names, default values, etc.), the documentation string is passed as-is. This means you can use math environments and other formatting in the description, but you need to escape quotes, backslashes, underscores, etc. yourself.

In addition, all parameter names are listed with \index statements in two indices called prmindex (where the name of each parameter is listed in the index) and prmindexfull where parameter names are listed sorted by the section in which they exist. By default, the LaTeX program ignores these \index commands, but they can be used to generate an index by using the following commands in the preamble of the latex file :

\usepackage{imakeidx}
\makeindex[name=prmindex, title=Index of run-time parameter entries]
\makeindex[name=prmindexfull,
title=Index of run-time parameters with section names]
std::unique_ptr< boost::property_tree::ptree > entries

and at the end of the file this:

\printindex[prmindex]
\printindex[prmindexfull]

Definition at line 1389 of file parameter_handler.cc.

◆ print_parameters() [2/2]

void ParameterHandler::print_parameters ( const std::string &  filename,
const OutputStyle  style = DefaultStyle 
) const

Print all parameters to the file given by filename with the given output style style.

This function deduces the output format from the extension of the specified filename. Supported extensions are prm, xml, tex, and json. Hence, it is not necessary to specify an output format via the style argument as long as one of these extensions is added to the filename. If an output format is specified in the style parameter nevertheless, the output format has to be consistent with the filename extension.

If no extension is specified or the extension is not supported, the output format is deduced from the style argument.

If neither the extension is supported, nor does the style parameter contain a format specification, an assertion is thrown.

Parameters
filenameThe output file name.
styleThe style with which output is produced.

Definition at line 1505 of file parameter_handler.cc.

◆ log_parameters()

void ParameterHandler::log_parameters ( LogStream out,
const OutputStyle  style = DefaultStyle 
)

Print parameters to a logstream. This function allows to print all parameters into a log-file. Sections will be indented in the usual log-file style.

All current parameters and subsections are sorted alphabetically by default. This behavior can be disabled setting the optional parameter style to KeepDeclarationOrder: in this case entries are printed in the same order as they have been declared.

Note
All style settings in style not related to the ordering are ignored.

Definition at line 1919 of file parameter_handler.cc.

◆ log_parameters_section()

void ParameterHandler::log_parameters_section ( LogStream out,
const OutputStyle  style = DefaultStyle 
)

Log parameters in the present subsection. The subsection is determined by the subsection_path member variable. This variable is controlled by entering and leaving subsections through the enter_subsection() and leave_subsection() functions.

All current parameters and subsections are sorted alphabetically by default. This behavior can be disabled setting the optional parameter style to KeepDeclarationOrder: in this case entries are printed in the same order as they have been declared.

Note
All style settings in style not related to the ordering are ignored.

In most cases, you will not want to use this function directly, but have it called recursively by the previous function.

Definition at line 1930 of file parameter_handler.cc.

◆ memory_consumption()

std::size_t ParameterHandler::memory_consumption ( ) const

Determine an estimate for the memory consumption (in bytes) of this object.

Definition at line 2194 of file parameter_handler.cc.

◆ save()

template<class Archive >
void ParameterHandler::save ( Archive &  ar,
const unsigned int  version 
) const
inline

Write the data of this object to a stream for the purpose of serialization using the BOOST serialization library.

Definition at line 2329 of file parameter_handler.h.

◆ load()

template<class Archive >
void ParameterHandler::load ( Archive &  ar,
const unsigned int  version 
)
inline

Read the data of this object from a stream for the purpose of serialization using the BOOST serialization library.

Definition at line 2349 of file parameter_handler.h.

◆ serialize()

template<class Archive >
void ParameterHandler::serialize ( Archive &  archive,
const unsigned int  version 
)

Write and read the data of this object from a stream for the purpose of serialization using the BOOST serialization library.

◆ operator==()

bool ParameterHandler::operator== ( const ParameterHandler prm2) const

Test for equality.

Definition at line 2203 of file parameter_handler.cc.

◆ get_entries_wrongly_not_set()

std::set< std::string > ParameterHandler::get_entries_wrongly_not_set ( ) const

Return a set of parameter names (including subsection names) corresponding to those entries of the parameter handler that have not been set by one of the functions parsing parameters from an input file or by an explicit call to one of the set() functions, but that have been declared as mandatory parameters that must be set (through the last argument of the declare_entry() function or add_parameter() function).

Definition at line 2228 of file parameter_handler.cc.

◆ assert_that_entries_have_been_set()

void ParameterHandler::assert_that_entries_have_been_set ( ) const

Asserts that those entries of the parameter handler with flag has_to_be_set = true have been set. An exception is invoked if at least one of these parameters has not been set.

Definition at line 2242 of file parameter_handler.cc.

◆ scan_line()

void ParameterHandler::scan_line ( std::string  line,
const std::string &  input_filename,
const unsigned int  current_line_n,
const bool  skip_undefined 
)
private

Scan one line of input. input_filename and current_line_n are the name of the input file and the number of the line presently scanned (these are used in exception messages to show where parse errors occurred). This function will raise an exception if the line contains an undeclared subsection or entry, if the line's entry does not match its given pattern, or if the line could not be understood as a valid parameter file expression.

The function modifies its argument, but also takes it by value, so the caller's variable is not changed.

If skip_undefined is true, the parser will skip undefined sections and entries. This is useful for partially parsing a parameter file, for example to obtain only the spatial dimension of the problem. By default all entries and subsections are expected to be declared.

Definition at line 1976 of file parameter_handler.cc.

◆ recursively_print_parameters()

void ParameterHandler::recursively_print_parameters ( const boost::property_tree::ptree &  tree,
const std::vector< std::string > &  target_subsection_path,
const ParameterHandler::OutputStyle  style,
const unsigned int  indent_level,
std::ostream &  out 
) const
private

Print out the parameters of the subsection given by the target_subsection_path argument, as well as all subsections within it recursively. This function is called from the print_parameters() function, and is implemented for all style arguments other than XML and JSON (where we can output the entire set of parameters via BOOST functions). The indent_level argument indicates how many spaces the output should be indented, so that subsections properly nest inside the output of higher sections.

Definition at line 1530 of file parameter_handler.cc.

◆ subscribe()

void Subscriptor::subscribe ( std::atomic< bool > *const  validity,
const std::string &  identifier = "" 
) const
inherited

Subscribes a user of the object by storing the pointer validity. The subscriber may be identified by text supplied as identifier.

Definition at line 130 of file subscriptor.cc.

◆ unsubscribe()

void Subscriptor::unsubscribe ( std::atomic< bool > *const  validity,
const std::string &  identifier = "" 
) const
inherited

Unsubscribes a user from the object.

Note
The identifier and the validity pointer must be the same as the one supplied to subscribe().

Definition at line 150 of file subscriptor.cc.

◆ n_subscriptions()

unsigned int Subscriptor::n_subscriptions ( ) const
inlineinherited

Return the present number of subscriptions to this object. This allows to use this class for reference counted lifetime determination where the last one to unsubscribe also deletes the object.

Definition at line 301 of file subscriptor.h.

◆ list_subscribers() [1/2]

template<typename StreamType >
void Subscriptor::list_subscribers ( StreamType &  stream) const
inlineinherited

List the subscribers to the input stream.

Definition at line 318 of file subscriptor.h.

◆ list_subscribers() [2/2]

void Subscriptor::list_subscribers ( ) const
inherited

List the subscribers to deallog.

Definition at line 198 of file subscriptor.cc.

◆ check_no_subscribers()

void Subscriptor::check_no_subscribers ( ) const
privatenoexceptinherited

Check that there are no objects subscribing to this object. If this check passes then it is safe to destroy the current object. It this check fails then this function will either abort or print an error message to deallog (by using the AssertNothrow mechanism), but will not throw an exception.

Note
Since this function is just a consistency check it does nothing in release mode.
If this function is called when there is an uncaught exception then, rather than aborting, this function prints an error message to the standard error stream and returns.

Definition at line 52 of file subscriptor.cc.

Friends And Related Symbol Documentation

◆ MultipleParameterLoop

friend class MultipleParameterLoop
friend

Definition at line 1889 of file parameter_handler.h.

Member Data Documentation

◆ path_separator

const char ParameterHandler::path_separator = '.'
staticprivate

The separator used when accessing elements of a path into the parameter tree.

Definition at line 1804 of file parameter_handler.h.

◆ subsection_path

std::vector<std::string> ParameterHandler::subsection_path
private

Path of presently selected subsections; empty list means top level

Definition at line 1809 of file parameter_handler.h.

◆ entries

std::unique_ptr<boost::property_tree::ptree> ParameterHandler::entries
private

The complete tree of sections and entries. See the general documentation of this class for a description how data is stored in this variable.

The variable is a pointer so that we can use an incomplete type, rather than having to include all of the property_tree stuff from boost. This works around a problem with gcc 4.5.

Definition at line 1819 of file parameter_handler.h.

◆ entries_set_status

std::map<std::string, std::pair<bool, bool> > ParameterHandler::entries_set_status
private

A map that stores a pair of boolean variables for each entry added to the parameter handler. The first bool describes whether the parameter has to be set according to the last argument of the functions declare_entry() or add_parameter(), and the second bool contains the information whether the parameter has been set by any of the functions parsing input parameters or by a set function of this class.

Definition at line 1829 of file parameter_handler.h.

◆ patterns

std::vector<std::unique_ptr<const Patterns::PatternBase> > ParameterHandler::patterns
private

A list of patterns that are used to describe the parameters of this object. Every nodes in the property tree corresponding to a parameter stores an index into this array.

Definition at line 1836 of file parameter_handler.h.

◆ actions

std::vector<std::function<void(const std::string &)> > ParameterHandler::actions
private

A list of actions that are associated with parameters. These are added by the add_action() function. Nodes in the property tree corresponding to individual parameters store indices into this array in order to reference specific actions.

Definition at line 1844 of file parameter_handler.h.

◆ counter

std::atomic<unsigned int> Subscriptor::counter
mutableprivateinherited

Store the number of objects which subscribed to this object. Initially, this number is zero, and upon destruction it shall be zero again (i.e. all objects which subscribed should have unsubscribed again).

The creator (and owner) of an object is counted in the map below if HE manages to supply identification.

We use the mutable keyword in order to allow subscription to constant objects also.

This counter may be read from and written to concurrently in multithreaded code: hence we use the std::atomic class template.

Definition at line 219 of file subscriptor.h.

◆ counter_map

std::map<std::string, unsigned int> Subscriptor::counter_map
mutableprivateinherited

In this map, we count subscriptions for each different identification string supplied to subscribe().

Definition at line 225 of file subscriptor.h.

◆ validity_pointers

std::vector<std::atomic<bool> *> Subscriptor::validity_pointers
mutableprivateinherited

In this vector, we store pointers to the validity bool in the ObserverPointer objects that subscribe to this class.

Definition at line 241 of file subscriptor.h.

◆ object_info

const std::type_info* Subscriptor::object_info
mutableprivateinherited

Pointer to the typeinfo object of this object, from which we can later deduce the class name. Since this information on the derived class is neither available in the destructor, nor in the constructor, we obtain it in between and store it here.

Definition at line 249 of file subscriptor.h.

◆ mutex

std::mutex Subscriptor::mutex
staticprivateinherited

A mutex used to ensure data consistency when accessing the mutable members of this class. This lock is used in the subscribe() and unsubscribe() functions, as well as in list_subscribers().

Definition at line 272 of file subscriptor.h.


The documentation for this class was generated from the following files: