Destructor for finalizing an array object.
If defined, calls the destructor for every element of the array object; finally it deallocates all the space occupied.
- Parametri
-
this | array object to be destroyed |
this | if provided and .TRUE. , the destructor possibily defined for the TYPE(gridinfo_def) is not called for every deleted object, may be useful if the objects to be deleted have been copied to another instance of arrayof_gridinfo and continue their life there |
Definizione alla linea 581 del file gridinfo_class.F90.