assertions.F90 Source File


This file depends on

sourcefile~~assertions.f90~~EfferentGraph sourcefile~assertions.f90 assertions.F90 sourcefile~julienne_m.f90 julienne_m.f90 sourcefile~assertions.f90->sourcefile~julienne_m.f90 sourcefile~julienne_bin_m.f90 julienne_bin_m.f90 sourcefile~julienne_m.f90->sourcefile~julienne_bin_m.f90 sourcefile~julienne_command_line_m.f90 julienne_command_line_m.f90 sourcefile~julienne_m.f90->sourcefile~julienne_command_line_m.f90 sourcefile~julienne_file_m.f90 julienne_file_m.f90 sourcefile~julienne_m.f90->sourcefile~julienne_file_m.f90 sourcefile~julienne_formats_m.f90 julienne_formats_m.F90 sourcefile~julienne_m.f90->sourcefile~julienne_formats_m.f90 sourcefile~julienne_github_ci_m.f90 julienne_github_ci_m.f90 sourcefile~julienne_m.f90->sourcefile~julienne_github_ci_m.f90 sourcefile~julienne_string_m.f90 julienne_string_m.f90 sourcefile~julienne_m.f90->sourcefile~julienne_string_m.f90 sourcefile~julienne_test_description_m.f90 julienne_test_description_m.f90 sourcefile~julienne_m.f90->sourcefile~julienne_test_description_m.f90 sourcefile~julienne_test_diagnosis_m.f90 julienne_test_diagnosis_m.F90 sourcefile~julienne_m.f90->sourcefile~julienne_test_diagnosis_m.f90 sourcefile~julienne_test_m.f90 julienne_test_m.F90 sourcefile~julienne_m.f90->sourcefile~julienne_test_m.f90 sourcefile~julienne_test_result_m.f90 julienne_test_result_m.f90 sourcefile~julienne_m.f90->sourcefile~julienne_test_result_m.f90 sourcefile~julienne_vector_test_description_m.f90 julienne_vector_test_description_m.F90 sourcefile~julienne_m.f90->sourcefile~julienne_vector_test_description_m.f90 sourcefile~julienne_file_m.f90->sourcefile~julienne_string_m.f90 sourcefile~julienne_test_description_m.f90->sourcefile~julienne_string_m.f90 sourcefile~julienne_test_description_m.f90->sourcefile~julienne_test_diagnosis_m.f90 sourcefile~julienne_test_description_m.f90->sourcefile~julienne_test_result_m.f90 sourcefile~julienne_test_diagnosis_m.f90->sourcefile~julienne_string_m.f90 sourcefile~julienne_test_m.f90->sourcefile~julienne_command_line_m.f90 sourcefile~julienne_test_m.f90->sourcefile~julienne_test_result_m.f90 sourcefile~julienne_user_defined_collectives_m.f90 julienne_user_defined_collectives_m.f90 sourcefile~julienne_test_m.f90->sourcefile~julienne_user_defined_collectives_m.f90 sourcefile~julienne_test_result_m.f90->sourcefile~julienne_string_m.f90 sourcefile~julienne_test_result_m.f90->sourcefile~julienne_test_diagnosis_m.f90 sourcefile~julienne_vector_test_description_m.f90->sourcefile~julienne_string_m.f90 sourcefile~julienne_vector_test_description_m.f90->sourcefile~julienne_test_diagnosis_m.f90 sourcefile~julienne_vector_test_description_m.f90->sourcefile~julienne_test_result_m.f90

Source Code

! Copyright (c) 2024-2025, The Regents of the University of California and Sourcery Institute
! Terms of use are as specified in LICENSE.txt

#include "julienne-assert-macros.h"

program assertions
  !! Example: two true assertions followed by one intentionally false assertion
  use julienne_m, only : &
     call_julienne_assert_ &
    ,operator(.approximates.) &
    ,operator(.equalsExpected.) &
    ,operator(.within.) &
    ,operator(.withinPercentage.)
  implicit none

#if ! ASSERTIONS
  print *
  print '(a)', "Skipping asertions."
  print '(a)', "Use a command such as the following to rerun with assertions:"
  print '(a)', "fpm run --example assertions --flag -DASSERTIONS"
#else
  print '(a)', new_line('')
  print '(a)', "This program evaluates the following true assertions that should run silently:" // new_line('')
  print '(a)', "   call_julienne_assert(pi_ .approximates. pi .within. absolute_tolerance)"
  print '(a)', "   call_julienne_assert(pi_ .approximates. pi .withinPercentage. relative_tolerance)" // new_line('')
  print '(a)', "where pi_ = 22./7., pi 3.14152654, absolute_tolerance = 0.1, and relative_tolerance = 1.0." // new_line('')
  print '(a)', "The program will then evaluate one false assertion:" // new_line('')
  print '(a)', "   call_julienne_assert(1 .equalsExpected. 2)" // new_line('')
  print '(a)', "which should initiate error termination and provide a diagnostic message:" // new_line('')
#endif

  block
    real, parameter :: pi_ = 22./7.
    real, parameter :: pi  = 3.141592654
    real, parameter :: absolute_tolerance = 0.2
    real, parameter :: relative_tolerance = 1.0 ! percentage

    call_julienne_assert(pi_ .approximates. pi .within. absolute_tolerance)
    call_julienne_assert(pi_ .approximates. pi .withinPercentage. relative_tolerance)
    call_julienne_assert(1 .equalsExpected. 2) ! intentional failure
  end block
end program