cprover
Loading...
Searching...
No Matches
deprecate.h File Reference
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Macros

#define DEPRECATED(msg)
#define SINCE(year, month, day, msg)

Macro Definition Documentation

◆ DEPRECATED

#define DEPRECATED ( msg)

Definition at line 23 of file deprecate.h.

◆ SINCE

#define SINCE ( year,
month,
day,
msg )
Value:
"deprecated since " #year "-" #month "-" #day "; " msg

Definition at line 26 of file deprecate.h.