GCC Code Coverage Report
Directory: . Exec Total Coverage
File: build-coverage/src/options/base_options.cpp Lines: 51 84 60.7 %
Date: 2021-03-22 Branches: 2 4 50.0 %

Line Exec Source
1
/*********************                                                        */
2
/*! \file module_template.cpp
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 Option template for option modules.
13
 **
14
 ** For each <module>_options.toml configuration file, mkoptions.py
15
 ** expands this template and generates a <module>_options.cpp file.
16
 **/
17
18
#include "options/options_holder.h"
19
#include "base/check.h"
20
21
namespace CVC4 {
22
23
template <> void Options::set(
24
    options::binary_name__option_t,
25
    const options::binary_name__option_t::type& x)
26
{
27
  d_holder->binary_name = x;
28
}
29
5456
template <> const options::binary_name__option_t::type& Options::operator[](
30
    options::binary_name__option_t) const
31
{
32
5456
  return d_holder->binary_name;
33
}
34
template <> bool Options::wasSetByUser(options::binary_name__option_t) const
35
{
36
  return d_holder->binary_name__setByUser__;
37
}
38
template <> void Options::set(
39
    options::err__option_t,
40
    const options::err__option_t::type& x)
41
{
42
  d_holder->err = x;
43
}
44
30072
template <> const options::err__option_t::type& Options::operator[](
45
    options::err__option_t) const
46
{
47
30072
  return d_holder->err;
48
}
49
template <> bool Options::wasSetByUser(options::err__option_t) const
50
{
51
  return d_holder->err__setByUser__;
52
}
53
12
template <> void Options::set(
54
    options::in__option_t,
55
    const options::in__option_t::type& x)
56
{
57
12
  d_holder->in = x;
58
12
}
59
12
template <> const options::in__option_t::type& Options::operator[](
60
    options::in__option_t) const
61
{
62
12
  return d_holder->in;
63
}
64
template <> bool Options::wasSetByUser(options::in__option_t) const
65
{
66
  return d_holder->in__setByUser__;
67
}
68
5734
template <> void Options::set(
69
    options::inputLanguage__option_t,
70
    const options::inputLanguage__option_t::type& x)
71
{
72
5734
  d_holder->inputLanguage = x;
73
5734
}
74
935108
template <> const options::inputLanguage__option_t::type& Options::operator[](
75
    options::inputLanguage__option_t) const
76
{
77
935108
  return d_holder->inputLanguage;
78
}
79
2925
template <> bool Options::wasSetByUser(options::inputLanguage__option_t) const
80
{
81
2925
  return d_holder->inputLanguage__setByUser__;
82
}
83
template <> void Options::set(
84
    options::languageHelp__option_t,
85
    const options::languageHelp__option_t::type& x)
86
{
87
  d_holder->languageHelp = x;
88
}
89
5456
template <> const options::languageHelp__option_t::type& Options::operator[](
90
    options::languageHelp__option_t) const
91
{
92
5456
  return d_holder->languageHelp;
93
}
94
template <> bool Options::wasSetByUser(options::languageHelp__option_t) const
95
{
96
  return d_holder->languageHelp__setByUser__;
97
}
98
12
template <> void Options::set(
99
    options::out__option_t,
100
    const options::out__option_t::type& x)
101
{
102
12
  d_holder->out = x;
103
12
}
104
301065
template <> const options::out__option_t::type& Options::operator[](
105
    options::out__option_t) const
106
{
107
301065
  return d_holder->out;
108
}
109
template <> bool Options::wasSetByUser(options::out__option_t) const
110
{
111
  return d_holder->out__setByUser__;
112
}
113
5459
template <> void Options::set(
114
    options::outputLanguage__option_t,
115
    const options::outputLanguage__option_t::type& x)
116
{
117
5459
  d_holder->outputLanguage = x;
118
5459
}
119
624909
template <> const options::outputLanguage__option_t::type& Options::operator[](
120
    options::outputLanguage__option_t) const
121
{
122
624909
  return d_holder->outputLanguage;
123
}
124
2924
template <> bool Options::wasSetByUser(options::outputLanguage__option_t) const
125
{
126
2924
  return d_holder->outputLanguage__setByUser__;
127
}
128
16
template <> void Options::set(
129
    options::parseOnly__option_t,
130
    const options::parseOnly__option_t::type& x)
131
{
132
16
  d_holder->parseOnly = x;
133
16
}
134
292338
template <> const options::parseOnly__option_t::type& Options::operator[](
135
    options::parseOnly__option_t) const
136
{
137
292338
  return d_holder->parseOnly;
138
}
139
template <> bool Options::wasSetByUser(options::parseOnly__option_t) const
140
{
141
  return d_holder->parseOnly__setByUser__;
142
}
143
12420
template <> const options::preprocessOnly__option_t::type& Options::operator[](
144
    options::preprocessOnly__option_t) const
145
{
146
12420
  return d_holder->preprocessOnly;
147
}
148
template <> bool Options::wasSetByUser(options::preprocessOnly__option_t) const
149
{
150
  return d_holder->preprocessOnly__setByUser__;
151
}
152
32
template <> const options::printSuccess__option_t::type& Options::operator[](
153
    options::printSuccess__option_t) const
154
{
155
32
  return d_holder->printSuccess;
156
}
157
9619
template <> bool Options::wasSetByUser(options::printSuccess__option_t) const
158
{
159
9619
  return d_holder->printSuccess__setByUser__;
160
}
161
5455
template <> const options::statistics__option_t::type& Options::operator[](
162
    options::statistics__option_t) const
163
{
164
5455
  return d_holder->statistics;
165
}
166
template <> bool Options::wasSetByUser(options::statistics__option_t) const
167
{
168
  return d_holder->statistics__setByUser__;
169
}
170
13120
template <> const options::statsEveryQuery__option_t::type& Options::operator[](
171
    options::statsEveryQuery__option_t) const
172
{
173
13120
  return d_holder->statsEveryQuery;
174
}
175
template <> bool Options::wasSetByUser(options::statsEveryQuery__option_t) const
176
{
177
  return d_holder->statsEveryQuery__setByUser__;
178
}
179
template <> const options::statsHideZeros__option_t::type& Options::operator[](
180
    options::statsHideZeros__option_t) const
181
{
182
  return d_holder->statsHideZeros;
183
}
184
template <> bool Options::wasSetByUser(options::statsHideZeros__option_t) const
185
{
186
  return d_holder->statsHideZeros__setByUser__;
187
}
188
181
template <> void Options::set(
189
    options::verbosity__option_t,
190
    const options::verbosity__option_t::type& x)
191
{
192
181
  d_holder->verbosity = x;
193
181
}
194
579056
template <> const options::verbosity__option_t::type& Options::operator[](
195
    options::verbosity__option_t) const
196
{
197
579056
  return d_holder->verbosity;
198
}
199
template <> bool Options::wasSetByUser(options::verbosity__option_t) const
200
{
201
  return d_holder->verbosity__setByUser__;
202
}
203
204
205
namespace options {
206
207
thread_local struct binary_name__option_t binary_name;
208
thread_local struct err__option_t err;
209
thread_local struct in__option_t in;
210
thread_local struct inputLanguage__option_t inputLanguage;
211
thread_local struct languageHelp__option_t languageHelp;
212
thread_local struct out__option_t out;
213
thread_local struct outputLanguage__option_t outputLanguage;
214
thread_local struct parseOnly__option_t parseOnly;
215
thread_local struct preprocessOnly__option_t preprocessOnly;
216
thread_local struct printSuccess__option_t printSuccess;
217
thread_local struct statistics__option_t statistics;
218
thread_local struct statsEveryQuery__option_t statsEveryQuery;
219
thread_local struct statsHideZeros__option_t statsHideZeros;
220
thread_local struct verbosity__option_t verbosity;
221
222
223
224
}  // namespace options
225
26676
}  // namespace CVC4