Type | Intent | Optional | Attributes | Name | ||
---|---|---|---|---|---|---|
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 |
If assertion is .false., error-terminate with a character stop code that contains diagnostic_data if present