Flow123d  JS_before_hm-1575-ga41e096
field_algo_base.impl.hh
Go to the documentation of this file.
1 /*!
2  *
3  * Copyright (C) 2015 Technical University of Liberec. All rights reserved.
4  *
5  * This program is free software; you can redistribute it and/or modify it under
6  * the terms of the GNU General Public License version 3 as published by the
7  * Free Software Foundation. (http://www.gnu.org/licenses/gpl-3.0.en.html)
8  *
9  * This program is distributed in the hope that it will be useful, but WITHOUT
10  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
11  * FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.
12  *
13  *
14  * @file field_algo_base.impl.hh
15  * @brief
16  */
17 
18 #ifndef field_algo_base_IMPL_HH_
19 #define field_algo_base_IMPL_HH_
20 
21 #include <string>
22 #include <limits>
23 #include <memory>
24 using namespace std;
25 
27 
28 #include "fields/field_values.hh"
29 
30 #include "tools/unit_converter.hh"
31 
32 #include "tools/time_governor.hh"
33 #include "input/factory.hh"
34 #include "input/accessors.hh"
36 
37 namespace it = Input::Type;
38 
39 
40 
41 
42 /******************************************************************************************
43  * Implementation of FieldBase<...>
44  */
45 
46 template <int spacedim, class Value>
48 : value_(r_value_),
49  field_result_(result_other),
50  component_idx_(std::numeric_limits<unsigned int>::max()),
51  unit_conversion_coefficient_(1.0)
52 {
53  value_.set_n_comp(n_comp);
54 }
55 
56 
57 
58 template <int spacedim, class Value>
60  return fmt::format("R{:d}_to_{}", spacedim, Value::type_name() );
61 }
62 
63 
64 
65 template <int spacedim, class Value>
67  stringstream ss;
68  ss << "[" << Value::NRows_ << ", " << Value::NCols_ << "]";
69  return it::Abstract("Field_"+template_name(), "Abstract for all time-space functions.")
70  .allow_auto_conversion("FieldConstant")
73  .close();
74 }
75 
76 
77 template <int spacedim, class Value>
80  if (is_enum_valued) {
81  ASSERT( !(value_selection==Input::Type::Selection()) ).error("Not defined 'value_selection' for enum element type.\n");
82  param_vec.push_back( std::make_pair("element_input_type", std::make_shared<it::Selection>(value_selection)) );
83  } else {
84  param_vec.push_back( std::make_pair("element_input_type", std::make_shared<typename Value::ElementInputType>()) );
85  }
86 
87  return it::Instance(get_input_type(), param_vec).close();
88 }
89 
90 template <int spacedim, class Value>
92  auto unit_record = it::Record("Unit",
93  "Specify unit of an input value. "
94  "Evaluation of the unit formula results into a coeficient and a "
95  "unit in terms of powers of base SI units. The unit must match "
96  "expected SI unit of the value, while the value provided on the input "
97  "is multiplied by the coefficient before further processing. "
98  "The unit formula have a form:\n"
99  "```\n"
100  "<UnitExpr>;<Variable>=<Number>*<UnitExpr>;...,\n"
101  "```\n"
102  "where ```<Variable>``` is a variable name and ```<UnitExpr>``` is a units expression "
103  "which consists of products and divisions of terms.\n\n"
104  "A term has a form: "
105  "```<Base>^<N>```, where ```<N>``` is an integer exponent and ```<Base>``` "
106  "is either a base SI unit, a derived unit, or a variable defined in the same unit formula. "
107  "Example, unit for the pressure head:\n\n"
108  "```MPa/rho/g_; rho = 990*kg*m^-3; g_ = 9.8*m*s^-2```"
109  )
110  .allow_auto_conversion("unit_formula")
111  .declare_key("unit_formula", it::String(), it::Default::obligatory(),
112  "Definition of unit." )
113  .close();
114 
115  return it::Record("FieldAlgorithmBase_common_aux", "")
116  .declare_key("unit", unit_record, it::Default::optional(),
117  "Unit of the field values provided in the main input file, in the external file, or "
118  "by a function (FieldPython).")
119  .close();
120 }
121 
122 template <int spacedim, class Value>
123 shared_ptr< FieldAlgorithmBase<spacedim, Value> >
125 {
126  shared_ptr< FieldAlgorithmBase<spacedim, Value> > func;
127  func = rec.factory< FieldAlgorithmBase<spacedim, Value> >(init_data.n_comp_);
128  func->init_from_input(rec, init_data);
129  return func;
130 }
131 
132 
133 
134 template <int spacedim, class Value>
136  xprintf(PrgErr, "The field '%s' do not support initialization from input.\n",
137  typeid(this).name());
138 }
139 
140 
141 
142 template <int spacedim, class Value>
144  time_ = time;
145  return false; // no change
146 }
147 
148 
149 
150 template <int spacedim, class Value>
152 }
153 
154 
155 
156 template<int spacedim, class Value>
158  return (Value::NRows_ ? 0 : value_.n_rows());
159 }
160 
161 
162 template<int spacedim, class Value>
165  FMT_UNUSED ElementCacheMap &cache_map,
166  FMT_UNUSED unsigned int region_patch_idx)
167 {
168  ASSERT_DBG(false).error("Must be implemented in descendants!\n");
169 }
170 
171 
172 template<int spacedim, class Value>
174 {}
175 
176 
177 template<int spacedim, class Value>
179  const Armor::array &point_list,
180  const ElementAccessor<spacedim> &elm,
182 {
183  ASSERT_EQ( point_list.size(), value_list.size() ).error();
184  ASSERT_DBG(point_list.n_rows() == spacedim && point_list.n_cols() == 1).error("Invalid point size.\n");
185  for(unsigned int i=0; i< point_list.size(); i++) {
186  ASSERT( Value(value_list[i]).n_rows()==this->value_.n_rows() )(i)(Value(value_list[i]).n_rows())(this->value_.n_rows())
187  .error("value_list has wrong number of rows");
188  value_list[i]=this->value(point_list.vec<spacedim>(i), elm);
189  }
190 
191 }
192 
193 template<int spacedim, class Value>
195  const struct FieldAlgoBaseInitData& init_data)
196 {
197  Input::Record unit_record;
198  if ( rec.opt_val("unit", unit_record) ) {
199  if (!Value::is_scalable()) {
200  WarningOut().fmt("Setting unit conversion coefficient of non-floating point field at address {}\nCoefficient will be skipped.\n",
201  rec.address_string());
202  }
203  std::string unit_str = unit_record.val<std::string>("unit_formula");
204  try {
205  this->unit_conversion_coefficient_ = init_data.unit_si_.convert_unit_from(unit_str);
206  } catch (ExcInvalidUnit &e) {
207  e << rec.ei_address();
208  throw;
209  } catch (ExcNoncorrespondingUnit &e) {
210  e << rec.ei_address();
211  throw;
212  }
213  }
214 }
215 
216 
217 
218 
219 #endif //FUNCTION_BASE_IMPL_HH_
TimeStep time_
Actual time level; initial value is -infinity.
void init_unit_conversion_coefficient(const Input::Record &rec, const struct FieldAlgoBaseInitData &init_data)
Init value of unit_conversion_coefficient_ from input.
Abstract & allow_auto_conversion(const string &type_default)
Allows shorter input of the Abstract providing the default value to the "TYPE" key.
unsigned int size() const
Definition: armor.hh:728
virtual void cache_update(FieldValueCache< typename Value::element_type > &data_cache, ElementCacheMap &cache_map, unsigned int region_patch_idx)
static const Input::Type::Instance & get_input_type_instance(Input::Type::Selection value_selection=Input::Type::Selection())
virtual bool set_time(const TimeStep &time)
double convert_unit_from(std::string actual_unit) const
Convert and check user-defined unit.
Definition: unit_si.cc:217
const Instance & close() const
Used for set Instance to TypeRepository.
std::string format(CStringRef format_str, ArgList args)
Definition: format.h:3141
static Default obligatory()
The factory function to make an empty default value which is obligatory.
Definition: type_record.hh:110
Directing class of FieldValueCache.
Definition: mesh.h:77
Helper class that stores data of generic types.
Definition: type_generic.hh:89
Helper struct stores data for initizalize descentants of FieldAlgorithmBase.
uint n_cols() const
Definition: armor.hh:720
#define ASSERT(expr)
Allow use shorter versions of macro names if these names is not used with external library...
Definition: asserts.hh:347
virtual void value_list(const Armor::array &point_list, const ElementAccessor< spacedim > &elm, std::vector< typename Value::return_type > &value_list)=0
ArmaVec< Type, nr > vec(uint mat_index) const
Definition: armor.hh:821
virtual Value::return_type const & value(const Point &p, const ElementAccessor< spacedim > &elm)=0
Abstract & add_attribute(std::string key, TypeBase::json_string value)
Frontend to TypeBase::add_attribute_.
Record & close() const
Close the Record for further declarations of keys.
Definition: type_record.cc:304
Basic time management class.
static constexpr bool is_enum_valued
double unit_conversion_coefficient_
Coeficient of conversion of user-defined unit.
EI_Address ei_address() const
Definition: accessors.cc:178
static Default optional()
The factory function to make an empty default value which is optional.
Definition: type_record.hh:124
bool opt_val(const string &key, Ret &value) const
virtual Record & allow_auto_conversion(const string &from_key)
Allows shorter input of the Record providing only value of the from_key given as the parameter...
Definition: type_record.cc:133
#define FMT_UNUSED
Definition: posix.h:75
virtual void init_from_input(const Input::Record &rec, const struct FieldAlgoBaseInitData &init_data)
Accessor to the data with type Type::Record.
Definition: accessors.hh:291
const Ret val(const string &key) const
#define xprintf(...)
Definition: system.hh:93
static string field_value_shape()
Record & declare_key(const string &key, std::shared_ptr< TypeBase > type, const Default &default_value, const string &description, TypeBase::attribute_map key_attributes=TypeBase::attribute_map())
Declares a new key of the Record.
Definition: type_record.cc:503
uint n_rows() const
Definition: armor.hh:715
Class for declaration of polymorphic Record.
Accessor to the polymorphic input data of a type given by an AbstracRecord object.
Definition: accessors.hh:458
Abstract & root_of_generic_subtree()
static std::shared_ptr< FieldAlgorithmBase< spacedim, Value > > function_factory(const Input::AbstractRecord &rec, const struct FieldAlgoBaseInitData &init_data)
const UnitSI & unit_si_
FieldAlgorithmBase(unsigned int n_comp=0)
Value value_
Last value, prevents passing large values (vectors) by value.
Definition: system.hh:65
static Input::Type::Abstract & get_input_type()
#define ASSERT_DBG(expr)
virtual void set_mesh(const Mesh *mesh, bool boundary_domain)
#define WarningOut()
Macro defining &#39;warning&#39; record of log.
Definition: logger.hh:270
virtual void cache_reinit(const ElementCacheMap &cache_map)
Allows reinit data members or structures in descendants during reinit of FieldValueCache of &#39;parental...
Record type proxy class.
Definition: type_record.hh:182
const std::shared_ptr< Type > factory(Arguments...arguments) const
static const Input::Type::Record & get_field_algo_common_keys()
static std::string template_name()
Class for declaration of the input data that are in string format.
Definition: type_base.hh:582
Representation of one time step..
Template for classes storing finite set of named values.
#define ASSERT_EQ(a, b)
Definition of comparative assert macro (EQual)
Definition: asserts.hh:328
unsigned int n_comp() const
string address_string() const
Definition: accessors.cc:184