World Builder  1.1.0-pre
A geodynamic initial conditions generator
unsigned_int.h
Go to the documentation of this file.
1 /*
2  Copyright (C) 2018-2024 by the authors of the World Builder code.
3 
4  This file is part of the World Builder.
5 
6  This program is free software: you can redistribute it and/or modify
7  it under the terms of the GNU Lesser General Public License as published
8  by the Free Software Foundation, either version 2 of the License, or
9  (at your option) any later version.
10 
11  This program is distributed in the hope that it will be useful,
12  but WITHOUT ANY WARRANTY; without even the implied warranty of
13  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14  GNU Lesser General Public License for more details.
15 
16  You should have received a copy of the GNU Lesser General Public License
17  along with this program. If not, see <https://www.gnu.org/licenses/>.
18 */
19 
20 #ifndef WORLD_BUILDER_TYPES_UNSIGNED_INT_H
21 #define WORLD_BUILDER_TYPES_UNSIGNED_INT_H
22 
23 
25 
26 
27 namespace WorldBuilder
28 {
29  class Parameters;
30 
31  namespace Types
32  {
33 
37  class UnsignedInt final: public Interface
38  {
39  public:
43  UnsignedInt(unsigned int default_value = 0);
44 
48  UnsignedInt(UnsignedInt const &other);
49 
53  ~UnsignedInt() override final;
54 
55 
59  void write_schema(Parameters &prm,
60  const std::string &name,
61  const std::string &documentation) const override final;
62 
63  unsigned int value {0};
64  unsigned int default_value;
65 
66  protected:
70  UnsignedInt *clone_impl() const override final
71  {
72  return new UnsignedInt(*this);
73  };
74  private:
75 
76  };
77  } // namespace Types
78 } // namespace WorldBuilder
79 
80 #endif
UnsignedInt(unsigned int default_value=0)
Definition: unsigned_int.cc:27
void write_schema(Parameters &prm, const std::string &name, const std::string &documentation) const override final
Definition: unsigned_int.cc:49
UnsignedInt * clone_impl() const override final
Definition: unsigned_int.h:70