From 9299bc813d5189ef046a5b4790d43a5ae9862300 Mon Sep 17 00:00:00 2001 From: Fotis Koutoulakis Date: Tue, 7 Nov 2023 15:39:00 +0000 Subject: [PATCH] [CLEANUP] Remove `string_constantt::get_value` and `string_constantt::set_value`. Marked `DEPRECATED` over the `value()` calls (they were already working by dispatching to `value()`, so they were kind of a useless indirection/duplication). --- src/util/string_constant.h | 12 ------------ 1 file changed, 12 deletions(-) diff --git a/src/util/string_constant.h b/src/util/string_constant.h index 37bf42ef395..05d8ee7b9c9 100644 --- a/src/util/string_constant.h +++ b/src/util/string_constant.h @@ -16,20 +16,8 @@ class string_constantt : public nullary_exprt public: explicit string_constantt(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);