GCC Code Coverage Report
Directory: . Exec Total Coverage
File: build-coverage/src/options/parser_options.h Lines: 0 12 0.0 %
Date: 2021-03-23 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__PARSER_H
21
#define CVC4__OPTIONS__PARSER_H
22
23
#include "options/options.h"
24
25
26
27
28
#define CVC4_OPTIONS__PARSER__FOR_OPTION_HOLDER \
29
  filesystemAccess__option_t::type filesystemAccess;\
30
  bool filesystemAccess__setByUser__; \
31
  forceLogicString__option_t::type forceLogicString;\
32
  bool forceLogicString__setByUser__; \
33
  globalDeclarations__option_t::type globalDeclarations;\
34
  bool globalDeclarations__setByUser__; \
35
  memoryMap__option_t::type memoryMap;\
36
  bool memoryMap__setByUser__; \
37
  semanticChecks__option_t::type semanticChecks;\
38
  bool semanticChecks__setByUser__; \
39
  strictParsing__option_t::type strictParsing;\
40
  bool strictParsing__setByUser__;
41
42
43
namespace CVC4 {
44
45
namespace options {
46
47
48
49
extern struct filesystemAccess__option_t
50
{
51
  typedef bool type;
52
  type operator()() const;
53
  bool wasSetByUser() const;
54
  const char* getName() const;
55
} thread_local filesystemAccess;
56
extern struct forceLogicString__option_t
57
{
58
  typedef std::string type;
59
  type operator()() const;
60
  bool wasSetByUser() const;
61
  const char* getName() const;
62
} thread_local forceLogicString;
63
extern struct globalDeclarations__option_t
64
{
65
  typedef bool type;
66
  type operator()() const;
67
  bool wasSetByUser() const;
68
  const char* getName() const;
69
} thread_local globalDeclarations;
70
extern struct memoryMap__option_t
71
{
72
  typedef bool type;
73
  type operator()() const;
74
  bool wasSetByUser() const;
75
  const char* getName() const;
76
} thread_local memoryMap;
77
extern struct semanticChecks__option_t
78
{
79
  typedef bool type;
80
  type operator()() const;
81
  bool wasSetByUser() const;
82
  const char* getName() const;
83
} thread_local semanticChecks;
84
extern struct strictParsing__option_t
85
{
86
  typedef bool type;
87
  type operator()() const;
88
  bool wasSetByUser() const;
89
  const char* getName() const;
90
} thread_local strictParsing;
91
92
}  // namespace options
93
94
template <> const options::filesystemAccess__option_t::type& Options::operator[](
95
    options::filesystemAccess__option_t) const;
96
template <> bool Options::wasSetByUser(options::filesystemAccess__option_t) const;
97
template <> void Options::assignBool(
98
    options::filesystemAccess__option_t,
99
    std::string option,
100
    bool value);
101
template <> const options::forceLogicString__option_t::type& Options::operator[](
102
    options::forceLogicString__option_t) const;
103
template <> bool Options::wasSetByUser(options::forceLogicString__option_t) const;
104
template <> void Options::assign(
105
    options::forceLogicString__option_t,
106
    std::string option,
107
    std::string value);
108
template <> const options::globalDeclarations__option_t::type& Options::operator[](
109
    options::globalDeclarations__option_t) const;
110
template <> bool Options::wasSetByUser(options::globalDeclarations__option_t) const;
111
template <> void Options::assignBool(
112
    options::globalDeclarations__option_t,
113
    std::string option,
114
    bool value);
115
template <> const options::memoryMap__option_t::type& Options::operator[](
116
    options::memoryMap__option_t) const;
117
template <> bool Options::wasSetByUser(options::memoryMap__option_t) const;
118
template <> void Options::assignBool(
119
    options::memoryMap__option_t,
120
    std::string option,
121
    bool value);
122
template <> const options::semanticChecks__option_t::type& Options::operator[](
123
    options::semanticChecks__option_t) const;
124
template <> bool Options::wasSetByUser(options::semanticChecks__option_t) const;
125
template <> void Options::assignBool(
126
    options::semanticChecks__option_t,
127
    std::string option,
128
    bool value);
129
template <> const options::strictParsing__option_t::type& Options::operator[](
130
    options::strictParsing__option_t) const;
131
template <> bool Options::wasSetByUser(options::strictParsing__option_t) const;
132
template <> void Options::assignBool(
133
    options::strictParsing__option_t,
134
    std::string option,
135
    bool value);
136
137
138
namespace options {
139
140
inline filesystemAccess__option_t::type filesystemAccess__option_t::operator()() const
141
{
142
  return (*Options::current())[*this];
143
}
144
inline bool filesystemAccess__option_t::wasSetByUser() const
145
{
146
  return Options::current()->wasSetByUser(*this);
147
}
148
inline const char* filesystemAccess__option_t::getName() const
149
{
150
  return "filesystem-access";
151
}
152
inline forceLogicString__option_t::type forceLogicString__option_t::operator()() const
153
{
154
  return (*Options::current())[*this];
155
}
156
inline bool forceLogicString__option_t::wasSetByUser() const
157
{
158
  return Options::current()->wasSetByUser(*this);
159
}
160
inline const char* forceLogicString__option_t::getName() const
161
{
162
  return "force-logic";
163
}
164
inline globalDeclarations__option_t::type globalDeclarations__option_t::operator()() const
165
{
166
  return (*Options::current())[*this];
167
}
168
inline bool globalDeclarations__option_t::wasSetByUser() const
169
{
170
  return Options::current()->wasSetByUser(*this);
171
}
172
inline const char* globalDeclarations__option_t::getName() const
173
{
174
  return "";
175
}
176
inline memoryMap__option_t::type memoryMap__option_t::operator()() const
177
{
178
  return (*Options::current())[*this];
179
}
180
inline bool memoryMap__option_t::wasSetByUser() const
181
{
182
  return Options::current()->wasSetByUser(*this);
183
}
184
inline const char* memoryMap__option_t::getName() const
185
{
186
  return "mmap";
187
}
188
inline semanticChecks__option_t::type semanticChecks__option_t::operator()() const
189
{
190
  return (*Options::current())[*this];
191
}
192
inline bool semanticChecks__option_t::wasSetByUser() const
193
{
194
  return Options::current()->wasSetByUser(*this);
195
}
196
inline const char* semanticChecks__option_t::getName() const
197
{
198
  return "";
199
}
200
inline strictParsing__option_t::type strictParsing__option_t::operator()() const
201
{
202
  return (*Options::current())[*this];
203
}
204
inline bool strictParsing__option_t::wasSetByUser() const
205
{
206
  return Options::current()->wasSetByUser(*this);
207
}
208
inline const char* strictParsing__option_t::getName() const
209
{
210
  return "strict-parsing";
211
}
212
213
}  // namespace options
214
}  // namespace CVC4
215
216
#endif /* CVC4__OPTIONS__PARSER_H */