string_constantt: C++ style accessors

This adds C++ style (as opposed to Java style) accessors to
string_constantt.

Author: kroening

src/util/string_constant.cpp

@@ -21,10 +21,10 @@ static array_typet make_type(const irep_idt &value)
 string_constantt::string_constantt(const irep_idt &_value)
   : nullary_exprt(ID_string_constant, make_type(_value))
 {
-  set_value(_value);
+  value(_value);
 }
 
-void string_constantt::set_value(const irep_idt &_value)
+void string_constantt::value(const irep_idt &_value)
 {
   exprt::type() = make_type(_value);
   set(ID_value, _value);

src/util/string_constant.h

@@ -16,9 +16,21 @@ class string_constantt : public nullary_exprt
 public:
   explicit string_constantt(const irep_idt &);
 
-  void set_value(const irep_idt &);
+  DEPRECATED(SINCE(2023, 10, 31, "use value(...)"))
+  void set_value(const irep_idt &_value)
+  {
+    value(_value);
+  }
+
+  void value(const irep_idt &);
 
+  DEPRECATED(SINCE(2023, 10, 31, "use value()"))
   const irep_idt &get_value() const
+  {
+    return value();
+  }
+
+  const irep_idt &value() const
   {
     return get(ID_value);
   }