Flow123d  JS_before_hm-1598-g3b021b4
multi_field.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 multi_field.impl.hh
15  * @brief
16  */
17 
18 #ifndef MULTI_FIELD_IMPL_HH_
19 #define MULTI_FIELD_IMPL_HH_
20 
21 
22 #include "multi_field.hh"
24 #include "fields/eval_subset.hh"
25 #include "fields/eval_points.hh"
27 #include "fields/field_set.hh"
28 #include "input/input_exception.hh"
29 #include "io/observe.hh"
30 
31 namespace it = Input::Type;
32 
33 /******************************************************************************************
34  * Implementation of MultiField<...>
35  */
36 
37 template<int spacedim, class Value>
39 : FieldCommon(),
40  no_check_control_field_(nullptr)
41 {
42 // static_assert(Value::NRows_ == 1 && Value::NCols_ == 1, "");
43  this->multifield_ = true;
44  this->shared_->bc_ = bc;
45  this->set_shape( Value::NRows_, Value::NCols_ );
46 }
47 
48 
49 
50 template<int spacedim, class Value>
52 : FieldCommon(other),
53  sub_fields_(other.sub_fields_),
56 {
57  this->multifield_ = true;
58  this->set_shape( Value::NRows_, Value::NCols_ );
59 }
60 
61 
62 
63 template<int spacedim, class Value>
65 {
66  //OLD_ASSERT( flags().match( FieldFlag::input_copy ) , "Try to assign to non-copy field '%s' from the field '%s'.", this->name().c_str(), other.name().c_str());
67  ASSERT_PTR_DBG(other.shared_->mesh_).error("Must call set_mesh before assign to other field.\n");
68  ASSERT_DBG( !shared_->mesh_ || (shared_->mesh_==other.shared_->mesh_))
69  .error("Assignment between multi fields with different meshes.\n");
70  ASSERT_GT_DBG( shared_->comp_names_.size(), 0).error("Vector of component names can't be empty!\n");
71  ASSERT_EQ_DBG( shared_->comp_names_.size(), other.shared_->comp_names_.size())
72  .error("Both multi fields must have same size of vectors of component names.\n");
73 
74  // check for self assignement
75  if (&other == this) return *this;
76 
77  // class members derived from FieldCommon
78  std::vector< std::string > comp_names = shared_->comp_names_; // keep component names
79  shared_ = other.shared_;
80  shared_->comp_names_ = comp_names;
81  shared_->is_fully_initialized_ = false;
83  last_time_ = other.last_time_;
87  this->multifield_ = true;
88  this->shape_ = other.shape_;
89 
90  // class members of Field class
91  if ( size() == 0 ) {
92  // move subfields from other, set correct names
93  sub_fields_.clear();
94  sub_fields_.reserve( other.size() );
95  for (unsigned int i=0; i<other.size(); ++i) {
96  sub_fields_.push_back( other.sub_fields_[i] );
97  if (this->shared_->comp_names_[i].length() == 0)
98  THROW( Input::ExcInputMessage() << EI_Message("The field " + this->input_name()
99  + " has set empty name of component.") );
100  else {
101  sub_fields_[i].name_ = this->shared_->comp_names_[i] + "_" + name();
102  }
103  }
104  } else {
105  THROW( ExcMessage() << EI_Message("Internal error. Assignment operator can't be used after call setup_component() method.") );
106  }
109 
110  return *this;
111 }
112 
113 
114 
115 template<int spacedim, class Value>
117  ASSERT(false).error("This method can't be used for MultiField");
118 
119  it::Abstract abstract = it::Abstract();
121  return inst;
122 }
123 
124 
125 template<int spacedim, class Value>
127  it::Array type = it::Array( SubFieldBaseType::get_input_type_instance(shared_->input_element_selection_), 1);
128  return type;
129 }
130 
131 
132 template<int spacedim, class Value>
134  const MultiField<spacedim, typename FieldValue<spacedim>::Enum > &control_field,
135  const vector<FieldEnum> &value_list) -> MultiField &
136 {
137  no_check_control_field_=&control_field;
138  shared_->no_check_values_=value_list;
139  return *this;
140 }
141 
142 
143 template<int spacedim, class Value>
145  const TimeStep &time, LimitSide limit_side)
146 {
147  // initialization of Multifield for first call
148  if (sub_fields_.size() == 0) {
150  }
151 
152  // set time for sub fields
154  is_jump_time_=false;
155  for( SubFieldType &field : sub_fields_) {
156  if (field.set_time(time, limit_side))
158  is_jump_time_ = is_jump_time_ || field.is_jump_time();
159  }
161 }
162 
163 
164 
165 template<int spacedim, class Value>
167  // test if mesh is not set
168  if (shared_->mesh_ && shared_->mesh_ != &mesh) {
169  THROW(ExcFieldMeshDifference() << EI_Field(name()) );
170  }
171 
172  shared_->mesh_ = &mesh;
173 }
174 
175 
176 template<int spacedim, class Value>
178  ASSERT_DBG( flags().match(FieldFlag::equation_input))(other.name())(this->name())
179  .error("Can not copy to the non-copy field.");
180 
181  // do not use copy if the field have its own input
183  && this->shared_->input_list_.size() != 0 ) return;
184 
185  if (typeid(other) == typeid(*this)) {
186  auto const &other_field = dynamic_cast< MultiField<spacedim, Value> const &>(other);
187  this->operator=(other_field);
188  } else if (typeid(other) == typeid(SubFieldType)) {
189  auto const &other_field = dynamic_cast< SubFieldType const &>(other);
190  sub_fields_.resize(1);
191  sub_fields_[0] = other_field;
192  }
193 }
194 
195 
196 
197 template<int spacedim, class Value>
198 void MultiField<spacedim, Value>::field_output(std::shared_ptr<OutputTime> stream)
199 {
200  // currently we cannot output boundary fields
201  if (!is_bc()) {
202  const OutputTime::DiscreteSpace type = this->get_output_type();
203 
205 
206  for (unsigned long index=0; index < this->size(); index++) {
207  sub_fields_[index].compute_field_data( type, stream );
208  }
209  }
210 }
211 
212 
213 
214 template<int spacedim, class Value>
215 void MultiField<spacedim, Value>::observe_output(std::shared_ptr<Observe> observe)
216 {
217  for(auto &field : sub_fields_) field.observe_output(observe);
218 }
219 
220 
221 
222 
223 template<int spacedim, class Value>
225  bool const_all=true;
226  for(auto &field : sub_fields_) const_all = const_all && field.is_constant(reg);
227  return const_all;
228 }
229 
230 template<int spacedim, class Value>
232 {
233  ASSERT_DBG(true).error("Not used yet. Test it.");
234 
235  FieldResult result_all = result_none;
236  for(auto &field : sub_fields_) {
237  FieldResult sub_result = field.field_result(region_set);
238  if (sub_result == result_none) return result_none;
239 
240  if (result_all == result_none) // first subfield
241  result_all = sub_result;
242  else if (sub_result == result_other || result_all == result_other)
243  result_all = result_other;
244  else if (sub_result != result_all)
245  result_all = result_constant; // all subfields are (possibly different) constants
246  }
247 
248  return result_all;
249 
250 }
251 
252 
253 template<int spacedim, class Value>
255 {
256  int nrows = Value::NRows_;
257  int ncols = Value::NCols_;
258  string type = "Integer";
260  type = "Double";
261 
262  return fmt::format("{{ \"subfields\": true, \"shape\": [ {}, {} ], \"type\": \"{}\", \"limit\": [ {}, {} ] }}",
263  nrows, ncols, type, this->limits().first, this->limits().second);
264 }
265 
266 
267 template<int spacedim, class Value>
269  unsigned int comp_size = this->shared_->comp_names_.size();
270  string full_name;
271  ASSERT_GT(comp_size, 0).error("Vector of component names is empty!\n");
272  ASSERT_PTR(this->shared_->mesh_).error("Mesh is not set!\n");
273 
274  sub_fields_.reserve( comp_size );
275  for(unsigned int i_comp=0; i_comp < comp_size; i_comp++)
276  {
277  if (this->shared_->comp_names_[i_comp].length() == 0)
278  full_name = name();
279  else {
280  full_name = this->shared_->comp_names_[i_comp] + "_" + name();
281  }
282 
283  sub_fields_.push_back( SubFieldType(i_comp, name(), full_name, is_bc()) );
284  sub_fields_[i_comp].units( units() );
285  if (no_check_control_field_ != nullptr && no_check_control_field_->size() == sub_fields_.size())
286  sub_fields_[i_comp].disable_where((*no_check_control_field_)[i_comp], shared_->no_check_values_);
287  sub_fields_[i_comp].set_mesh( *(shared_->mesh_) );
288 // sub_fields_[i_comp].set_limit_side(this->limit_side_);
289  sub_fields_[i_comp].input_selection(shared_->input_element_selection_);
290  sub_fields_[i_comp].add_factory( std::make_shared<MultiFieldFactory>(i_comp) );
291 
292  if (this->shared_->input_default_!="") {
293  sub_fields_[i_comp].shared_->input_default_ = this->shared_->input_default_;
294  }
295 
296  sub_fields_[i_comp].flags_ = this->flags_;
297  sub_fields_[i_comp].set_input_list(this->full_input_list_, *tg_);
298  }
299 }
300 
301 
302 
303 template<int spacedim, class Value>
305  if (! flags().match(FieldFlag::declare_input)) return;
306 
307  // Check sizes of Arrays defined MultiField in field descriptors
309  it != list.end();
310  ++it) {
311  Input::Array mf_array;
312  if ( it->opt_val(this->input_name(), mf_array) ) {
313  unsigned int comp_size = this->shared_->comp_names_.size();
314  if (mf_array.size() != 1 && mf_array.size() != comp_size)
315  THROW( Exc_InvalidMultiFieldSize() << EI_MultiFieldName(this->input_name())
316  << EI_Size(mf_array.size()) << EI_ExpectedSize(comp_size) << list.ei_address() );
317  }
318  }
319 
320  this->full_input_list_ = list;
321  this->tg_ = &tg;
322 
323  // Save the full array for future use in FieldCommon::mark_input_times().
324  list.copy_to(shared_->input_list_);
325 }
326 
327 
328 // template<int spacedim, class Value>
329 // typename MultiField<spacedim, Value>::MultiFieldValue::return_type MultiField<spacedim, Value>::value(const Point &p, const ElementAccessor<spacedim> &elm) const {
330 // typename MultiFieldValue::return_type ret(size(), 1);
331 // for (unsigned int i_comp=0; i_comp < size(); i_comp++) {
332 // ret(i_comp, 0) = sub_fields_[i_comp].value(p,elm);
333 // }
334 //
335 // return ret;
336 // }
337 //
338 //
339 //
340 // template<int spacedim, class Value>
341 // void MultiField<spacedim, Value>::value_list(const std::vector< Point > &point_list, const ElementAccessor<spacedim> &elm,
342 // std::vector<typename MultiFieldValue::return_type> &value_list) const {
343 // OLD_ASSERT_EQUAL( point_list.size(), value_list.size() );
344 // for(unsigned int i=0; i< point_list.size(); i++) {
345 // value_list[i]=this->value(point_list[i], elm);
346 // }
347 // }
348 
349 
350 
351 template<int spacedim, class Value>
353  Input::Array multifield_arr;
354  if (descriptor_rec.opt_val(field.input_name(), multifield_arr))
355  {
356  //OLD_ASSERT(multifield_arr.size() == 1 || multifield_arr.size() == field.n_comp(),
357  // "Invalid size of Array defined for MultiField '%s'!\n", field.input_name().c_str());
358  unsigned int position = 0;
359  auto it = multifield_arr.begin<Input::AbstractRecord>();
360  if (multifield_arr.size() > 1)
361  while (index_ != position) {
362  ++it; ++position;
363  }
364 
365  FieldAlgoBaseInitData init_data(field.input_name(), field.n_comp(), field.units(), field.limits(), field.get_flags());
367  field_algo_base->set_component_idx(index_);
368  return field_algo_base;
369  }
370 
371  return NULL;
372 }
373 
374 
375 
376 template<int spacedim, class Value>
378  return in_rec.find<Input::Array>(input_name);
379 }
380 
381 
382 template<int spacedim, class Value>
384  ASSERT(false).error("Set dependency of MultiField should be performed by individual components!\n");
386 }
387 
388 
389 
390 template<int spacedim, class Value>
391 void MultiField<spacedim, Value>::cache_reallocate(FMT_UNUSED const ElementCacheMap &cache_map, FMT_UNUSED unsigned int region_idx) const {
392  //for(auto &field : sub_fields_) field.cache_reallocate(cache_map);
393  ASSERT(false).error("Cache reallocate of MultiField should be performed by individual components!\n");
394 }
395 
396 
397 template<int spacedim, class Value>
399  FMT_UNUSED unsigned int region_patch_idx) const {
400  ASSERT(false).error("Cache update of MultiField should be performed by individual components!\n");
401 }
402 
403 
404 template<int spacedim, class Value>
407  double time,
408  std::vector<std::string> region_set_names)
409 {
410  unsigned int comp_size = this->shared_->comp_names_.size();
411  ASSERT_GT_DBG(comp_size, 0).error("Vector of component names is empty!\n");
412  ASSERT_EQ_DBG(comp_size, field_vec.size());
413  ASSERT_PTR_DBG(this->shared_->mesh_).error("Mesh is not set!\n");
414 
415  sub_fields_.reserve( comp_size );
416  for(unsigned int i_comp=0; i_comp < comp_size; i_comp++)
417  {
418  sub_fields_.push_back( SubFieldType(i_comp, name(), "", is_bc()) );
419  sub_fields_[i_comp].set_mesh( *(shared_->mesh_) );
420  sub_fields_[i_comp].flags_ = this->flags_;
421  sub_fields_[i_comp].set(field_vec[i_comp], time, region_set_names);
422  }
423 }
424 
425 
426 template<int spacedim, class Value>
429  double time,
430  std::vector<std::string> region_set_names)
431 {
432  ASSERT_EQ_DBG(this->shared_->comp_names_.size(), 1).error("Size of component names vector must be 1!\n");
433  ASSERT_PTR_DBG(this->shared_->mesh_).error("Mesh is not set!\n");
434 
435  sub_fields_.reserve(1);
436  sub_fields_.push_back( SubFieldType(0, name(), "", is_bc()) );
437  sub_fields_[0].set_mesh( *(shared_->mesh_) );
438  sub_fields_[0].flags_ = this->flags_;
439  sub_fields_[0].set(field, time, region_set_names);
440 }
441 
442 
443 
444 #endif /* MULTI_FIELD_IMPL_HH_ */
IT::Instance get_input_type() override
Iterator< ValueType > begin() const
void cache_reallocate(const ElementCacheMap &cache_map, unsigned int region_idx) const override
Implements FieldCommon::cache_reallocate.
std::string get_value_attribute() const override
Common abstract parent of all Field<...> classes.
Definition: field_common.hh:74
Container for various descendants of FieldCommonBase.
Definition: field_set.hh:159
#define ASSERT_EQ_DBG(a, b)
Definition of comparative assert macro (EQual) only for debug mode.
Definition: asserts.hh:332
bool is_jump_time_
Accessor to input data conforming to declared Array.
Definition: accessors.hh:566
EI_Address ei_address() const
Definition: accessors.cc:314
std::vector< const FieldCommon * > set_dependency(FieldSet &field_set, unsigned int i_reg) const override
auto disable_where(const MultiField< spacedim, typename FieldValue< spacedim >::Enum > &control_field, const vector< FieldEnum > &value_list) -> MultiField &
unsigned int size() const
Number of subfields that compose the multi-field.
Definition: multi_field.hh:206
FieldFlag::Flags get_flags() const
static const Input::Type::Instance & get_input_type_instance(Input::Type::Selection value_selection=Input::Type::Selection())
bool is_active_field_descriptor(const Input::Record &in_rec, const std::string &input_name) override
OutputTime::DiscreteSpace get_output_type() const
void copy_from(const FieldCommon &other) override
Class template representing a field with values dependent on: point, element, and region...
Definition: field.hh:94
std::string format(CStringRef format_str, ArgList args)
Definition: format.h:3141
unsigned int component_index_
std::pair< double, double > limits() const
#define ASSERT_GT(a, b)
Definition of comparative assert macro (Greater Than)
Definition: asserts.hh:312
Directing class of FieldValueCache.
Field< spacedim, Value > SubFieldType
Definition: multi_field.hh:90
Definition: mesh.h:77
const MultiField< spacedim, typename FieldValue< spacedim >::Enum > * no_check_control_field_
Definition: multi_field.hh:316
Iterator< Ret > find(const string &key) const
Helper class that stores data of generic types.
Definition: type_generic.hh:89
Helper struct stores data for initizalize descentants of FieldAlgorithmBase.
double last_time_
#define ASSERT(expr)
Allow use shorter versions of macro names if these names is not used with external library...
Definition: asserts.hh:347
MultiField & operator=(const MultiField &other)
#define ASSERT_GT_DBG(a, b)
Definition of comparative assert macro (Greater Than) only for debug mode.
Definition: asserts.hh:316
Basic time management functionality for unsteady (and steady) solvers (class Equation).
FieldCommon & units(const UnitSI &units)
Set basic units of the field.
void set(std::vector< typename Field< spacedim, Value >::FieldBasePtr > field_vec, double time, std::vector< std::string > region_set_names={"ALL"})
void set_input_list(const Input::Array &list, const TimeGovernor &tg) override
Input::Array full_input_list_
Full list of input field descriptors from which the subfields of MultiField are set.
Definition: multi_field.hh:304
Class for declaration of inputs sequences.
Definition: type_base.hh:339
static constexpr bool value
Definition: json.hpp:87
std::vector< uint > shape_
constexpr bool match(Mask mask) const
Definition: flag_array.hh:163
std::shared_ptr< SharedData > shared_
IteratorBase end() const
void setup_components()
bool opt_val(const string &key, Ret &value) const
double time() const
#define FMT_UNUSED
Definition: posix.h:75
const std::string & name() const
std::vector< SubFieldType > sub_fields_
Subfields (items) of MultiField.
Definition: multi_field.hh:301
FieldFlag::Flags & flags()
virtual Field< spacedim, Value >::FieldBasePtr create_field(Input::Record rec, const FieldCommon &field)
const UnitSI & units() const
FieldFlag::Flags flags_
Field flags. Default setting is "an equation input field, that can read from user input...
Accessor to the data with type Type::Record.
Definition: accessors.hh:291
static const unsigned int N_DISCRETE_SPACES
Definition: output_time.hh:107
const TimeGovernor * tg_
TimeGovernor is necessary for set input list in setup_components method.
Definition: multi_field.hh:307
bool set_time(const TimeStep &time, LimitSide limit_side) override
LimitSide last_limit_side_
void set_shape(uint n_rows, uint n_cols)
FieldResult field_result(RegionSet region_set) const override
Indicates special field states.
MultiField(bool bc=false)
void cache_update(ElementCacheMap &cache_map, unsigned int region_patch_idx) const override
Implements FieldCommon::cache_update.
Class for declaration of polymorphic Record.
Accessor to the polymorphic input data of a type given by an AbstracRecord object.
Definition: accessors.hh:458
FieldResult
void field_output(std::shared_ptr< OutputTime > stream) override
static std::shared_ptr< FieldAlgorithmBase< spacedim, Value > > function_factory(const Input::AbstractRecord &rec, const struct FieldAlgoBaseInitData &init_data)
std::shared_ptr< FieldBaseType > FieldBasePtr
Definition: field.hh:98
void copy_to(Container &out) const
bool is_constant(Region reg) override
#define ASSERT_PTR(ptr)
Definition of assert macro checking non-null pointer (PTR)
Definition: asserts.hh:336
IT::Array get_multifield_input_type() override
#define ASSERT_DBG(expr)
const Mesh * mesh() const
FieldCommon & name(const string &name)
unsigned int n_comp() const
unsigned int size() const
Class for representation of a vector of fields of the same physical quantity.
Definition: multi_field.hh:87
const std::string & input_name() const
static constexpr Mask equation_input
The field is data parameter of the owning equation. (default on)
Definition: field_flag.hh:33
bool is_bc() const
#define ASSERT_PTR_DBG(ptr)
Definition of assert macro checking non-null pointer (PTR) only for debug mode.
Definition: asserts.hh:340
#define THROW(whole_exception_expr)
Wrapper for throw. Saves the throwing point.
Definition: exceptions.hh:53
Representation of one time step..
TimeStatus set_time_result_
void observe_output(std::shared_ptr< Observe > observe) override
void set_mesh(const Mesh &mesh) override
LimitSide
Definition: field_common.hh:61
static constexpr Mask declare_input
The field can be set from input. The key in input field descriptor is declared. (default on) ...
Definition: field_flag.hh:35
#define ASSERT_LT_DBG(a, b)
Definition of comparative assert macro (Less Than) only for debug mode.
Definition: asserts.hh:300