Reference documentation for deal.II version 9.2.0
\(\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\}}\)
Public Member Functions | Static Public Member Functions | Static Public Attributes | Private Attributes | Static Private Attributes | List of all members
Patterns::Integer Class Reference

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

Inheritance diagram for Patterns::Integer:
[legend]

Public Member Functions

 Integer (const int lower_bound=min_int_value, const int upper_bound=max_int_value)
 
virtual bool match (const std::string &test_string) const override
 
virtual std::string description (const OutputStyle style=Machine) const override
 
virtual std::unique_ptr< PatternBaseclone () const override
 
- Public Member Functions inherited from Patterns::PatternBase
virtual ~PatternBase ()=default
 
virtual std::size_t memory_consumption () const
 

Static Public Member Functions

static std::unique_ptr< Integercreate (const std::string &description)
 

Static Public Attributes

static const int min_int_value = std::numeric_limits<int>::min()
 
static const int max_int_value = std::numeric_limits<int>::max()
 

Private Attributes

const int lower_bound
 
const int upper_bound
 

Static Private Attributes

static const char * description_init = "[Integer"
 

Additional Inherited Members

- Public Types inherited from Patterns::PatternBase
enum  OutputStyle { Machine, Text, LaTeX }
 

Detailed Description

Test for the string being an integer. If bounds are given to the constructor, then the integer given also needs to be within the interval specified by these bounds. Note that unlike common convention in the C++ standard library, both bounds of this interval are inclusive; the reason is that in practice in most cases, one needs closed intervals, but these can only be realized with inclusive bounds for non-integer values. We thus stay consistent by always using closed intervals.

If the upper bound given to the constructor is smaller than the lower bound, then every integer is allowed.

Giving bounds may be useful if for example a value can only be positive and less than a reasonable upper bound (for example the number of refinement steps to be performed), or in many other cases.

Definition at line 190 of file patterns.h.

Constructor & Destructor Documentation

◆ Integer()

Patterns::Integer::Integer ( const int  lower_bound = min_int_value,
const int  upper_bound = max_int_value 
)

Constructor. Bounds can be specified within which a valid parameter has to be. If the upper bound is smaller than the lower bound, then the entire set of integers is implied. The default values are chosen such that no bounds are enforced on parameters.

Note that the range implied by an object of the current type is inclusive of both bounds values, i.e., the upper_bound is an allowed value, rather than indicating a half-open value as is often done in other contexts.

Definition at line 213 of file patterns.cc.

Member Function Documentation

◆ match()

bool Patterns::Integer::match ( const std::string &  test_string) const
overridevirtual

Return true if the string is an integer and its value is within the specified range.

Implements Patterns::PatternBase.

Definition at line 221 of file patterns.cc.

◆ description()

std::string Patterns::Integer::description ( const OutputStyle  style = Machine) const
overridevirtual

Return a description of the pattern that valid strings are expected to match. If bounds were specified to the constructor, then include them into this description.

Implements Patterns::PatternBase.

Definition at line 243 of file patterns.cc.

◆ clone()

std::unique_ptr< PatternBase > Patterns::Integer::clone ( ) const
overridevirtual

Return a copy of the present object, which is newly allocated on the heap. Ownership of that object is transferred to the caller of this function.

Implements Patterns::PatternBase.

Definition at line 304 of file patterns.cc.

◆ create()

std::unique_ptr< Integer > Patterns::Integer::create ( const std::string &  description)
static

Create a new object if the start of description matches description_init. Ownership of that object is transferred to the caller of this function.

Definition at line 312 of file patterns.cc.

Member Data Documentation

◆ min_int_value

const int Patterns::Integer::min_int_value = std::numeric_limits<int>::min()
static

Minimal integer value. If the numeric_limits class is available use this information to obtain the extremal values, otherwise set it so that this class understands that all values are allowed.

Definition at line 198 of file patterns.h.

◆ max_int_value

const int Patterns::Integer::max_int_value = std::numeric_limits<int>::max()
static

Maximal integer value. If the numeric_limits class is available use this information to obtain the extremal values, otherwise set it so that this class understands that all values are allowed.

Definition at line 205 of file patterns.h.

◆ lower_bound

const int Patterns::Integer::lower_bound
private

Value of the lower bound. A number that satisfies the match operation of this class must be equal to this value or larger, if the bounds of the interval for a valid range.

Definition at line 260 of file patterns.h.

◆ upper_bound

const int Patterns::Integer::upper_bound
private

Value of the upper bound. A number that satisfies the match operation of this class must be equal to this value or less, if the bounds of the interval for a valid range.

Definition at line 268 of file patterns.h.

◆ description_init

const char * Patterns::Integer::description_init = "[Integer"
staticprivate

Initial part of description

Definition at line 273 of file patterns.h.


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