Atributo PURE

El atributo PURE se utiliza para incrementar el paralelismo de la estructura FORALL, permitiendo definir procedimientos que pueden ser llamadas dentro de dicha estructura. El atributo PURE garantiza que los datos de entrada a los procedimientos con este atrubuto no son modificados durante la ejecución de los mismo. Todas los procedimientos intrínsecos son PURE.

  SUBROUTINE swap(a,b)          PURE INTEGER FUNCTION segundos(h,m,s)
    INTEGER a,b,tmp               INTEGER h, m, s
    tmp = a; a = b; b = tmp       segundos = (h*3600) + (m*60) + s
  END SUBROUTINE swap             RETURN
                                END FUNCTION segundos

Dentro de un prosedimiento PURE solamente se pueden utilizar procedimientos PURE.