feat(assertion): assert with assertion_diagnosis_t

For cases wherein Julienne's defined operations prove insufficient
for writing a test_dignosis_t expression, this commit adds an
assert_with_association_diagnosis specific procedure supporting
the call_julienne_assert generic interface. The new procedure
facilitates user-customized assertion diagnoses such as

call_julienne_assert(assertion_diagnosis_t(allocated(a), "..."))

This commit also adds a corresponding unit test.

Author: rouson

src/julienne/julienne_assertion_diagnosis_s.f90

@@ -20,4 +20,12 @@
     call assert_library_assert(test_diagnosis%test_passed_, diagnostics_string)
   end procedure
 
+  module procedure assert_with_assertion_diagnosis
+    character(len=:), allocatable :: diagnostics_string
+    diagnostics_string =  assertion_diagnosis%diagnostics_string_
+    if (present(file)) diagnostics_string = diagnostics_string // " in file " // file
+    if (present(line)) diagnostics_string = diagnostics_string // " at line " // string_t(line)
+    call assert_library_assert(assertion_diagnosis%test_passed_, diagnostics_string)
+  end procedure
+
 end submodule

src/julienne/julienne_test_diagnosis_m.F90

@@ -81,6 +81,13 @@ pure module subroutine julienne_assert(test_diagnosis, file, line)
       integer, intent(in), optional :: line
     end subroutine
 
+    pure module subroutine assert_with_assertion_diagnosis(assertion_diagnosis, file, line)
+      implicit none
+      type(assertion_diagnosis_t), intent(in) :: assertion_diagnosis
+      character(len=*), intent(in), optional :: file
+      integer, intent(in), optional :: line
+    end subroutine
+
   end interface
 
   interface operator(.all.)

test/assert_test_m.F90

@@ -8,7 +8,8 @@ module assert_test_m
   !! Test Julienne's assert generic interface
 
   use julienne_m, only : & 
-     call_julienne_assert &
+     assertion_diagnosis_t &
+    ,call_julienne_assert &
     ,test_diagnosis_t &
     ,test_t &
     ,test_description_t &
@@ -40,7 +41,8 @@ function results() result(test_results)
     type(test_result_t), allocatable :: test_results(:)
 
     associate(descriptions => [ &
-      test_description_t("invocation via macro with a test_diagnosis_t expression", check_macro_with_expression) &
+       test_description_t("invocation via macro with a test_diagnosis_t expression", check_macro_with_expression) &
+      ,test_description_t("invocation via macro with an assertion_diagnosis_t argument", check_macro_with_assertion_diagnosis) &
     ])
       associate(substring_in_subject => index(subject(), test_description_substring) /= 0)
         associate(substring_in_assertion_diagnosis => descriptions%contains_text(test_description_substring))
@@ -61,10 +63,12 @@ function results() result(test_results)
     type(test_result_t), allocatable :: test_results(:)
     type(test_description_t), allocatable :: descriptions(:)
     procedure(diagnosis_function_i), pointer :: &
-       check_macro_with_expression_ptr => check_macro_with_expression
+       check_macro_with_expression_ptr => check_macro_with_expression &
+       check_macro_with_assertion_diagnosis_ptr => check_macro_with_assertion_diagnosis
 
     descriptions = [ &
-      test_description_t("invocation via macro with a test_diagnosis_t expression", check_macro_with_expression_ptr) &
+       test_description_t("invocation via macro with a test_diagnosis_t expression", check_macro_with_expression_ptr) &
+      ,test_description_t("invocation via macro with an assertion_diagnosis_t argument", check_macro_with_assertion_diagnosis_ptr) &
     ]
 
     block
@@ -87,4 +91,10 @@ function check_macro_with_expression() result(test_diagnosis)
     test_diagnosis = test_diagnosis_t(.true., "")
   end function
 
+  function check_macro_with_assertion_diagnosis() result(test_diagnosis)
+    type(test_diagnosis_t) test_diagnosis
+    call_julienne_assert(assertion_diagnosis_t( success=.true., diagnostics_string="unexpected test failure"))
+    test_diagnosis = test_diagnosis_t(.true., "")
+  end function
+
 end module assert_test_m