Merge pull request #4368 from diffblue/struct_exprt_API

Daniel Kroening · web-flow · commit 9e5e63b291f1 · 2019-09-04T10:45:44.000+01:00
struct_exprt API [do not merge before 2019-07-12]
diff --git a/src/util/std_expr.h b/src/util/std_expr.h
@@ -1755,14 +1755,7 @@ inline union_exprt &to_union_expr(exprt &expr)
 class struct_exprt : public multi_ary_exprt
 {
 public:
-  DEPRECATED(
-    SINCE(2018, 9, 21, "use struct_exprt(component_name, value, type) instead"))
-  struct_exprt() : multi_ary_exprt(ID_struct)
-  {
-  }
-
-  DEPRECATED(
-    SINCE(2019, 1, 12, "use struct_exprt(component_name, value, type) instead"))
+  DEPRECATED(SINCE(2019, 1, 12, "use struct_exprt(operands, type) instead"))
   explicit struct_exprt(const typet &_type) : multi_ary_exprt(ID_struct, _type)
   {
   }
diff --git a/src/util/string_expr.h b/src/util/string_expr.h
@@ -108,15 +108,6 @@ inline const array_string_exprt &to_array_string_expr(const exprt &expr)
 class refined_string_exprt : public struct_exprt
 {
 public:
-  DEPRECATED(SINCE(
-    2019,
-    1,
-    12,
-    "use refined_string_exprt(length, content, type) instead"))
-  refined_string_exprt() : struct_exprt()
-  {
-  }
-
   refined_string_exprt(
     const exprt &_length,
     const exprt &_content,

Original file line number	Diff line number	Diff line change
`@@ -1755,14 +1755,7 @@ inline union_exprt &to_union_expr(exprt &expr)`
`1755`	`1755`	`class struct_exprt : public multi_ary_exprt`
`1756`	`1756`	`{`
`1757`	`1757`	`public:`
`1758`		`- DEPRECATED(`
`1759`		`- SINCE(2018, 9, 21, "use struct_exprt(component_name, value, type) instead"))`
`1760`		`- struct_exprt() : multi_ary_exprt(ID_struct)`
`1761`		`- {`
`1762`		`- }`
`1763`		`-`
`1764`		`- DEPRECATED(`
`1765`		`- SINCE(2019, 1, 12, "use struct_exprt(component_name, value, type) instead"))`
	`1758`	`+ DEPRECATED(SINCE(2019, 1, 12, "use struct_exprt(operands, type) instead"))`
`1766`	`1759`	`explicit struct_exprt(const typet &_type) : multi_ary_exprt(ID_struct, _type)`
`1767`	`1760`	`{`
`1768`	`1761`	`}`