next up previous contents
Next: Characteristics of Procedures Up: Approved Extensions for Data Mapping Previous: Equivalence and Partial Order

Conditions for Omitting Explicit Interfaces

 

The requirements in Section 4.6

are extended as follows to account for the possible presence of the DYNAMIC attribute; the addition is in bold-face type:

An explicit interface is required except when all of the following conditions hold:

  1. Fortran does not require one, and
  2. No dummy argument is distributed transcriptively or with the INHERIT attribute, and
  3. No dummy argument has the DYNAMIC attribute, and
  4. For each pair of corresponding actual and dummy arguments, either:

    1. They are both implicitly mapped, or
    2. They are both explicitly mapped and

      1. The mapping of the actual argument is a specialization of the mapping of the dummy argument, and
      2. If the ultimate align targets of the actual and dummy arguments are both explicitly distributed, then the dist-onto-clause of each must specify processor arrangements with the same shape.

    and

  5. For each pair of corresponding actual and dummy arguments, either:

    1. Both are sequential, or
    2. Both are nonsequential.