deprecate goto_instructiont::get_ and set_condition()

kroening · kroening · commit d2801ee2714d · 2021-10-19T15:36:10.000+01:00
diff --git a/src/goto-programs/goto_program.h b/src/goto-programs/goto_program.h
@@ -345,13 +345,15 @@ class goto_programt
     }
 
     /// Get the condition of gotos, assume, assert
+    DEPRECATED(SINCE(2021, 10, 12, "Use condition() instead"))
     const exprt &get_condition() const
     {
       PRECONDITION(has_condition());
       return guard;
     }
 
     /// Set the condition of gotos, assume, assert
+    DEPRECATED(SINCE(2021, 10, 12, "Use condition_nonconst() instead"))
     void set_condition(exprt c)
     {
       PRECONDITION(has_condition());

Original file line number	Diff line number	Diff line change
`@@ -345,13 +345,15 @@ class goto_programt`
`345`	`345`	`}`
`346`	`346`
`347`	`347`	`/// Get the condition of gotos, assume, assert`
	`348`	`+ DEPRECATED(SINCE(2021, 10, 12, "Use condition() instead"))`
`348`	`349`	`const exprt &get_condition() const`
`349`	`350`	`{`
`350`	`351`	`PRECONDITION(has_condition());`
`351`	`352`	`return guard;`
`352`	`353`	`}`
`353`	`354`
`354`	`355`	`/// Set the condition of gotos, assume, assert`
	`356`	`+ DEPRECATED(SINCE(2021, 10, 12, "Use condition_nonconst() instead"))`
`355`	`357`	`void set_condition(exprt c)`
`356`	`358`	`{`
`357`	`359`	`PRECONDITION(has_condition());`