Get pointer selection strategy from java_languaget in unit tests

Author: Matthias Güdemann

jbmc/unit/java-testing-utils/java_select.cpp

@@ -0,0 +1,18 @@
+/*******************************************************************\
+
+ Module: Unit test utilities
+
+ Author: Diffblue Ltd.
+
+\*******************************************************************/
+
+#include "java_select_pointer.h"
+
+/// Returns the pointer seletion strategy for the given java_bytecode language.
+/// \param java_lang The java bytecode language specific
+/// \return The language specific pointer selection strategy
+const select_pointer_typet &
+get_pointer_type_selector_unit(const java_bytecode_languaget &java_lang)
+{
+  return java_lang.get_pointer_type_selector();
+}

jbmc/unit/java-testing-utils/java_select_pointer.h

@@ -0,0 +1,20 @@
+/*******************************************************************\
+
+ Module: Unit test utilities
+
+ Author: Diffblue Ltd.
+
+\*******************************************************************/
+
+/// \file
+/// Utility for getting the pointer selection strategy from java_languaget
+
+#ifndef CPROVER_JAVA_TESTING_UTILS_JAVA_SELECT_POINTER
+#define CPROVER_JAVA_TESTING_UTILS_JAVA_SELECT_POINTER
+
+#include <java_bytecode/java_bytecode_language.h>
+
+const select_pointer_typet &
+get_pointer_type_selector_unit(const java_bytecode_languaget &java_lang);
+
+#endif //CPROVER_JAVA_TESTING_UTILS_JAVA_SELECT_POINTER