assertions_implementation Submodule

Uses

- Ancestors:
- assertions_interface
Help
Graph Key

Nodes of different colours represent the following:

Solid arrows point from a submodule to the (sub)module which it is descended from. Dashed arrows point from a module or program unit to modules which it uses. Where possible, edges connecting nodes are given different colours to make them easier to distinguish in large graphs.

Contents

Module Procedures

assert

Module Procedures

module procedure assert impure elemental module subroutine assert(assertion, description, diagnostic_data, success)

Arguments

Type	Intent	Optional	Attributes		Name
logical,	intent(in)			::	assertion	Most assertions will be expressions, e.g., call assert( i>0, "positive i")
character(len=*),	intent(in)			::	description	Brief statement of what is being asserted
class(*),	intent(in),	optional		::	diagnostic_data	Optional assertion result
logical,	intent(out),	optional		::	success	Optional assertion result