assert Module Procedure

module procedure assert pure module module subroutine assert(assertion, description, diagnostic_data)

Arguments

TypeIntentOptionalAttributesName
logical, intent(in) :: assertion

Most assertions will be expressions such as i>0

character(len=*), intent(in) :: description

A brief statement of what is being asserted such as "i>0" or "positive i"

class(*), intent(in), optional :: diagnostic_data

Data to include in an error ouptput: may be of an intrinsic type or a type that extends characterizable_t


Calls

proc~~assert~~CallsGraph proc~assert assert interface~assert_always assert_always proc~assert->interface~assert_always proc~assert_always assert_always interface~assert_always->proc~assert_always

Called by

proc~~assert~~CalledByGraph proc~assert assert interface~assert assert interface~assert->proc~assert proc~as_character as_character proc~as_character->interface~assert interface~as_character as_character interface~as_character->proc~as_character

Contents

None