GCC Code Coverage Report
Directory: . Exec Total Coverage
File: build-coverage/src/options/main_options.h Lines: 2 16 12.5 %
Date: 2021-03-22 Branches: 0 0 0.0 %

Line Exec Source
1
/*********************                                                        */
2
/*! \file module_template.h
3
 ** \verbatim
4
 ** Top contributors (to current version):
5
 **   Mathias Preiner
6
 ** This file is part of the CVC4 project.
7
 ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS
8
 ** in the top-level source directory and their institutional affiliations.
9
 ** All rights reserved.  See the file COPYING in the top-level source
10
 ** directory for licensing information.\endverbatim
11
 **
12
 ** \brief Contains code for handling command-line options.
13
 **
14
 ** For each <module>_options.toml configuration file, mkoptions.py
15
 ** expands this template and generates a <module>_options.h file.
16
 **/
17
18
#include "cvc4_private.h"
19
20
#ifndef CVC4__OPTIONS__DRIVER_H
21
#define CVC4__OPTIONS__DRIVER_H
22
23
#include "options/options.h"
24
25
26
27
28
#define CVC4_OPTIONS__DRIVER__FOR_OPTION_HOLDER \
29
  earlyExit__option_t::type earlyExit;\
30
  bool earlyExit__setByUser__; \
31
  help__option_t::type help;\
32
  bool help__setByUser__; \
33
  interactive__option_t::type interactive;\
34
  bool interactive__setByUser__; \
35
  interactivePrompt__option_t::type interactivePrompt;\
36
  bool interactivePrompt__setByUser__; \
37
  seed__option_t::type seed;\
38
  bool seed__setByUser__; \
39
  segvSpin__option_t::type segvSpin;\
40
  bool segvSpin__setByUser__; \
41
  tearDownIncremental__option_t::type tearDownIncremental;\
42
  bool tearDownIncremental__setByUser__; \
43
  version__option_t::type version;\
44
  bool version__setByUser__;
45
46
47
namespace CVC4 {
48
49
namespace options {
50
51
52
53
extern struct earlyExit__option_t
54
{
55
  typedef bool type;
56
  type operator()() const;
57
  bool wasSetByUser() const;
58
  const char* getName() const;
59
} thread_local earlyExit;
60
extern struct help__option_t
61
{
62
  typedef bool type;
63
  type operator()() const;
64
  bool wasSetByUser() const;
65
  const char* getName() const;
66
} thread_local help;
67
extern struct interactive__option_t
68
{
69
  typedef bool type;
70
  type operator()() const;
71
  bool wasSetByUser() const;
72
  void set(const type& v);
73
  const char* getName() const;
74
} thread_local interactive;
75
extern struct interactivePrompt__option_t
76
{
77
  typedef bool type;
78
  type operator()() const;
79
  bool wasSetByUser() const;
80
  const char* getName() const;
81
} thread_local interactivePrompt;
82
extern struct seed__option_t
83
{
84
  typedef uint64_t type;
85
  type operator()() const;
86
  bool wasSetByUser() const;
87
  const char* getName() const;
88
} thread_local seed;
89
extern struct segvSpin__option_t
90
{
91
  typedef bool type;
92
  type operator()() const;
93
  bool wasSetByUser() const;
94
  const char* getName() const;
95
} thread_local segvSpin;
96
extern struct tearDownIncremental__option_t
97
{
98
  typedef int type;
99
  type operator()() const;
100
  bool wasSetByUser() const;
101
  const char* getName() const;
102
} thread_local tearDownIncremental;
103
extern struct version__option_t
104
{
105
  typedef bool type;
106
  type operator()() const;
107
  bool wasSetByUser() const;
108
  const char* getName() const;
109
} thread_local version;
110
111
}  // namespace options
112
113
template <> const options::earlyExit__option_t::type& Options::operator[](
114
    options::earlyExit__option_t) const;
115
template <> bool Options::wasSetByUser(options::earlyExit__option_t) const;
116
template <> void Options::assignBool(
117
    options::earlyExit__option_t,
118
    std::string option,
119
    bool value);
120
template <> const options::help__option_t::type& Options::operator[](
121
    options::help__option_t) const;
122
template <> bool Options::wasSetByUser(options::help__option_t) const;
123
template <> void Options::assignBool(
124
    options::help__option_t,
125
    std::string option,
126
    bool value);
127
template <> void Options::set(
128
    options::interactive__option_t,
129
    const options::interactive__option_t::type& x);
130
template <> const options::interactive__option_t::type& Options::operator[](
131
    options::interactive__option_t) const;
132
template <> bool Options::wasSetByUser(options::interactive__option_t) const;
133
template <> void Options::assignBool(
134
    options::interactive__option_t,
135
    std::string option,
136
    bool value);
137
template <> const options::interactivePrompt__option_t::type& Options::operator[](
138
    options::interactivePrompt__option_t) const;
139
template <> bool Options::wasSetByUser(options::interactivePrompt__option_t) const;
140
template <> void Options::assignBool(
141
    options::interactivePrompt__option_t,
142
    std::string option,
143
    bool value);
144
template <> const options::seed__option_t::type& Options::operator[](
145
    options::seed__option_t) const;
146
template <> bool Options::wasSetByUser(options::seed__option_t) const;
147
template <> void Options::assign(
148
    options::seed__option_t,
149
    std::string option,
150
    std::string value);
151
template <> const options::segvSpin__option_t::type& Options::operator[](
152
    options::segvSpin__option_t) const;
153
template <> bool Options::wasSetByUser(options::segvSpin__option_t) const;
154
template <> void Options::assignBool(
155
    options::segvSpin__option_t,
156
    std::string option,
157
    bool value);
158
template <> const options::tearDownIncremental__option_t::type& Options::operator[](
159
    options::tearDownIncremental__option_t) const;
160
template <> bool Options::wasSetByUser(options::tearDownIncremental__option_t) const;
161
template <> void Options::assign(
162
    options::tearDownIncremental__option_t,
163
    std::string option,
164
    std::string value);
165
template <> const options::version__option_t::type& Options::operator[](
166
    options::version__option_t) const;
167
template <> bool Options::wasSetByUser(options::version__option_t) const;
168
template <> void Options::assignBool(
169
    options::version__option_t,
170
    std::string option,
171
    bool value);
172
173
174
namespace options {
175
176
inline earlyExit__option_t::type earlyExit__option_t::operator()() const
177
{
178
  return (*Options::current())[*this];
179
}
180
inline bool earlyExit__option_t::wasSetByUser() const
181
{
182
  return Options::current()->wasSetByUser(*this);
183
}
184
inline const char* earlyExit__option_t::getName() const
185
{
186
  return "early-exit";
187
}
188
inline help__option_t::type help__option_t::operator()() const
189
{
190
  return (*Options::current())[*this];
191
}
192
inline bool help__option_t::wasSetByUser() const
193
{
194
  return Options::current()->wasSetByUser(*this);
195
}
196
inline const char* help__option_t::getName() const
197
{
198
  return "help";
199
}
200
inline interactive__option_t::type interactive__option_t::operator()() const
201
{
202
  return (*Options::current())[*this];
203
}
204
inline bool interactive__option_t::wasSetByUser() const
205
{
206
  return Options::current()->wasSetByUser(*this);
207
}
208
inline void interactive__option_t::set(const interactive__option_t::type& v)
209
{
210
  Options::current()->set(*this, v);
211
}
212
inline const char* interactive__option_t::getName() const
213
{
214
  return "interactive";
215
}
216
inline interactivePrompt__option_t::type interactivePrompt__option_t::operator()() const
217
{
218
  return (*Options::current())[*this];
219
}
220
inline bool interactivePrompt__option_t::wasSetByUser() const
221
{
222
  return Options::current()->wasSetByUser(*this);
223
}
224
inline const char* interactivePrompt__option_t::getName() const
225
{
226
  return "interactive-prompt";
227
}
228
8995
inline seed__option_t::type seed__option_t::operator()() const
229
{
230
8995
  return (*Options::current())[*this];
231
}
232
inline bool seed__option_t::wasSetByUser() const
233
{
234
  return Options::current()->wasSetByUser(*this);
235
}
236
inline const char* seed__option_t::getName() const
237
{
238
  return "seed";
239
}
240
inline segvSpin__option_t::type segvSpin__option_t::operator()() const
241
{
242
  return (*Options::current())[*this];
243
}
244
inline bool segvSpin__option_t::wasSetByUser() const
245
{
246
  return Options::current()->wasSetByUser(*this);
247
}
248
inline const char* segvSpin__option_t::getName() const
249
{
250
  return "segv-spin";
251
}
252
inline tearDownIncremental__option_t::type tearDownIncremental__option_t::operator()() const
253
{
254
  return (*Options::current())[*this];
255
}
256
inline bool tearDownIncremental__option_t::wasSetByUser() const
257
{
258
  return Options::current()->wasSetByUser(*this);
259
}
260
inline const char* tearDownIncremental__option_t::getName() const
261
{
262
  return "tear-down-incremental";
263
}
264
inline version__option_t::type version__option_t::operator()() const
265
{
266
  return (*Options::current())[*this];
267
}
268
inline bool version__option_t::wasSetByUser() const
269
{
270
  return Options::current()->wasSetByUser(*this);
271
}
272
inline const char* version__option_t::getName() const
273
{
274
  return "version";
275
}
276
277
}  // namespace options
278
}  // namespace CVC4
279
280
#endif /* CVC4__OPTIONS__DRIVER_H */