1. General listing structure#

The tool (which we will call more simply asverif later) is in reality a series of elementary tools that are linked to each other. The function of each elementary tool is to control some of the sources (Fortran, catalogs, tests,…). The listing produced by asverif is therefore the concatenation of the listings produced by these elementary tools.

The sequence of elementary tools is not entirely arbitrary. For example, links cannot be edited before compilation.

Sometimes, some errors detected by the tool prevent it from continuing the analysis; for example, if the Fortran modified (or added or deleted) is unacceptable (by the tool), there will be no compilation of the catalogs because this compilation must be done with the aster executable which depends on the modified fortran. The listing will then be truncated.

In the following example, we tried to combine as many basic tools as possible. To do this, we used asverif on a « overload » of the code including:

  • Fortran routines

  • order catalogs

  • item catalogs

  • Python sources

  • source deletions (unigest)

The listing will then have the following general form:

=== Checking the source code for J. PELLET (vabhhts)

=====

... <VERIF_1> (checking the "history" file)


*** Source check FORTRAN

********************************************************

... <VERIF_2>


*** Source check CATALOGU

********************************************************

... <VERIF_3>


*** Source check CATALOPY

********************************************************

... <VERIF_4>


*** Source check PYTHON

********************************************************

... <VERIF_5>


*** Source check UNIGEST

********************************************************

... <VERIF_6>


=== Restitution of the source code of J. PELLET (vabhhts)

=== === === === === === === === === === === ===

... <VERIF_7>


=== Compilation of sources FORTRAN in Majobj ===

=== === === === === === === === === === === ===

... <VERIF_8> (f90 compilation + CRS tool)


Compiling sources FORTRAN with /aster/outils/g77.csh

=== === === === === === === === === === === ===

... <VERIF_9> (g77 compilation)


=== Source check FORTRAN with CRP ===

=== === === === === === === === === === === ===

... <VERIF_10>


=== Editing FORTRAN C and CAL source links ===

===== === === === === === === === === === =====

... <VERIF_11>


=== Construction of the Python command catalog

===== === === === === === === === === === =====

... <VERIF_12>


=== Compiling the element catalog

===== === === === === === === === === === =====

... <VERIF_13>

--- End of asverif.exesh with return code: 4

------------------------------------------------------------

--- CODE RETOUR = 4

------------------------------------------------------------

------------------------------------------------------------

--- DIAGNOSTIC JOB: ERREUR_AGLA

------------------------------------------------------------

Each part of the listing (referred to here as « <VERIF_n> « ) is produced by an elementary tool. It is introduced by a character string that is specific to it. For example, checking the « histor » file (<VERIF_1>) is introduced by the string « === Checking the source code of J. PELLET (vabhhts) »

In the following paragraphs, we will go back to some parts of this listing, those concerning FORTRAN sources.