CBMC
optional.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: typedef for optional class template. New code should directly
4  use std::optional.
5 
6 Author: Diffblue Ltd.
7 
8 \*******************************************************************/
9 
10 #ifndef CPROVER_UTIL_OPTIONAL_H
11 #define CPROVER_UTIL_OPTIONAL_H
12 
13 #include "deprecate.h"
14 
15 #include <optional>
16 
17 template <typename T>
18 using optionalt
19 #ifndef _WIN32
20  // Visual Studio doesn't support [deprecated] in this place
21  DEPRECATED(SINCE(2023, 11, 17, "directly use std::optional instead")) =
22 #else
23  =
24 #endif
25  std::optional<T>; // NOLINT template typedef
26 
27 #endif // CPROVER_UTIL_OPTIONAL_H
SINCE
#define SINCE(year, month, day, msg)
Definition: deprecate.h:26
DEPRECATED
#define DEPRECATED(msg)
Definition: deprecate.h:23