cprover
variable_sensitivity_configuration.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3  Module: variable sensitivity configuration
4 
5  Author: Jez Higgins
6 
7 \*******************************************************************/
11 #ifndef CPROVER_ANALYSES_VARIABLE_SENSITIVITY_VARIABLE_SENSITIVITY_CONFIGURATION_H
12 #define CPROVER_ANALYSES_VARIABLE_SENSITIVITY_VARIABLE_SENSITIVITY_CONFIGURATION_H
13 
14 #include <util/exception_utils.h>
15 #include <util/options.h>
16 
18 {
29  // TODO: plug in UNION_SENSITIVE HERE
31  VALUE_SET
32 };
33 
35 {
36  sensitive,
38 };
39 
41 {
47 
49 
50  struct
51  {
55 
56  struct
57  {
60 
61  static vsd_configt from_options(const optionst &options);
62 
64  static vsd_configt value_set();
65  static vsd_configt intervals();
66 
74  context_tracking{false, true},
76  {
77  }
78 
79 private:
80  using option_mappingt = std::map<std::string, ABSTRACT_OBJECT_TYPET>;
81 
83  const optionst &options,
84  const std::string &option_name,
85  const option_mappingt &mapping,
86  ABSTRACT_OBJECT_TYPET default_type);
87 
89  const std::string &option_name,
90  const std::string &bad_argument,
91  const option_mappingt &mapping);
92 
98 };
99 
100 #endif // CPROVER_ANALYSES_VARIABLE_SENSITIVITY_VARIABLE_SENSITIVITY_CONFIGURATION_H // NOLINT(*)
Thrown when users pass incorrect command line arguments, for example passing no files to analysis or ...
Options.
std::map< std::string, ABSTRACT_OBJECT_TYPET > option_mappingt
static vsd_configt value_set()
static const option_mappingt array_option_mappings
static ABSTRACT_OBJECT_TYPET option_to_abstract_type(const optionst &options, const std::string &option_name, const option_mappingt &mapping, ABSTRACT_OBJECT_TYPET default_type)
ABSTRACT_OBJECT_TYPET union_abstract_type
struct vsd_configt::@0 context_tracking
struct vsd_configt::@1 advanced_sensitivities
ABSTRACT_OBJECT_TYPET pointer_abstract_type
static const option_mappingt struct_option_mappings
flow_sensitivityt flow_sensitivity
static const option_mappingt value_option_mappings
static const option_mappingt pointer_option_mappings
static const option_mappingt union_option_mappings
static vsd_configt intervals()
static vsd_configt from_options(const optionst &options)
ABSTRACT_OBJECT_TYPET struct_abstract_type
static vsd_configt constant_domain()
static invalid_command_line_argument_exceptiont invalid_argument(const std::string &option_name, const std::string &bad_argument, const option_mappingt &mapping)
ABSTRACT_OBJECT_TYPET array_abstract_type
ABSTRACT_OBJECT_TYPET value_abstract_type