Si on indique sur la console le nombre de pages par document, il n’est pas necessaire de utiliser une variable globale, et le code de JavaScript se simplifierait considerablement:
console.show() ; // meme cela n’est pas necessaire…
console.println(“Le fichier examiné (” + this.documentFileName + ” contient ” + this.numPages + ” pages.”) ;
La raison de utiliser un compteur global n’est que pour calculer la totalité des pages.