Merge pull request diffblue#4572 from jeannielynnmoulton/jeannie/java_is_enumeration

Add getter/setter for ID_enumeration in java_class_typet

Author: jeannielynnmoulton

jbmc/src/java_bytecode/java_bytecode_convert_class.cpp

@@ -332,7 +332,7 @@ void java_bytecode_convert_classt::convert(
     class_type.set(
       ID_java_enum_static_unwind,
       std::to_string(c.enum_elements+1));
-    class_type.set(ID_enumeration, true);
+    class_type.set_is_enumeration(true);
   }
 
   if(c.is_public)

jbmc/src/java_bytecode/java_types.h

@@ -248,6 +248,18 @@ class java_class_typet:public class_typet
     return get_bool(ID_incomplete_class);
   }
 
+  /// is class an enumeration?
+  bool get_is_enumeration() const
+  {
+    return get_bool(ID_enumeration);
+  }
+
+  /// marks class as an enumeration
+  void set_is_enumeration(const bool is_enumeration)
+  {
+    set(ID_enumeration, is_enumeration);
+  }
+
   // it may be better to introduce a class like
   // class java_lambda_method_handlet : private irept
   // {