Deprecate nil_typet

svorenova · svorenova · commit 426debe22737 · 2018-09-11T17:45:47.000+01:00
diff --git a/src/util/std_types.h b/src/util/std_types.h
@@ -32,9 +32,10 @@ class bool_typet:public typet
   }
 };
 
-/// The NIL type, i.e., an invalid type, no value. Use `optional<typet>`
-/// instead where possible.
-class nil_typet:public typet
+/// The NIL type, i.e., an invalid type, no value.
+/// \deprecated Use `optional<typet>` instead.
+// NOLINTNEXTLINE
+class DEPRECATED("Use `optional<typet>` instead.") nil_typet : public typet
 {
 public:
   nil_typet():typet(static_cast<const typet &>(get_nil_irep()))

Original file line number	Diff line number	Diff line change
`@@ -32,9 +32,10 @@ class bool_typet:public typet`
`32`	`32`	`}`
`33`	`33`	`};`
`34`	`34`
`35`		-/// The NIL type, i.e., an invalid type, no value. Use `optional<typet>`
`36`		`-/// instead where possible.`
`37`		`-class nil_typet:public typet`
	`35`	`+/// The NIL type, i.e., an invalid type, no value.`
	`36`	+/// \deprecated Use `optional<typet>` instead.
	`37`	`+// NOLINTNEXTLINE`
	`38`	+class DEPRECATED("Use `optional<typet>` instead.") nil_typet : public typet
`38`	`39`	`{`
`39`	`40`	`public:`
`40`	`41`	`nil_typet():typet(static_cast<const typet &>(get_nil_irep()))`