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
deprecate.h
SINCE
#define SINCE(year, month, day, msg)
Definition:
deprecate.h:26
DEPRECATED
#define DEPRECATED(msg)
Definition:
deprecate.h:23
src
util
optional.h
Generated by
1.9.1