Next: Pure Procedure Reference Up: Pure Procedure Declaration Previous: Pure subroutine definition
To define interface specifications for pure procedures, the following constraints are added to Rule R1204 in Section 188.8.131.52 of the Fortran 90 standard (defining interface-body):
The procedure characteristics defined by an interface body must be consistent with the procedure's definition. Regarding pure procedures, this is interpreted as follows:
That is, if an interface body contains a PURE attribute, then the corresponding procedure definition must also contain it, though the reverse is not true. When a procedure definition with a PURE attribute is compiled, the compiler may check that it satisfies the necessary constraints.