Add unit tests for nonstd::optional

Author: Lukasz A.J. Wrona

unit/Makefile

@@ -5,6 +5,10 @@ SRC = src/expr/require_expr.cpp \
       src/ansi-c/c_to_expr.cpp \
       unit_tests.cpp \
       catch_example.cpp \
+      util/expr_iterator.cpp \
+      optional.cpp \
+      analyses/call_graph.cpp \
+      java_bytecode/java_bytecode_convert_class/convert_abstract_class.cpp \
       # Empty last line
 
 # Test source files

unit/optional.cpp

@@ -0,0 +1,32 @@
+/*******************************************************************\
+
+ Module: nonstd::optional unit tests
+
+ Author: Diffblue Limited. All rights reserved.
+
+\*******************************************************************/
+
+#include "catch.hpp"
+#include <util/optional.h>
+
+TEST_CASE("Optional without a value", "[core][util][optional]")
+{
+  optionalt<bool> maybe_value;
+  REQUIRE(maybe_value.has_value()==false);
+  REQUIRE_THROWS_AS(maybe_value.value(), bad_optional_accesst);
+}
+
+TEST_CASE("Optional with a value", "[core][util][optional]")
+{
+  optionalt<bool> maybe_value=false;
+  REQUIRE(maybe_value.has_value());
+  REQUIRE(maybe_value.value()==false);
+}
+
+
+TEST_CASE("Optional with a value (operator access)", "[core][util][optional]")
+{
+  optionalt<bool> maybe_value=true;
+  REQUIRE(maybe_value.has_value());
+  REQUIRE(*maybe_value==true);
+}