Analyse

Documentation Alma (français) Index | Accueil
Version: 0.29
Date: 2001-03-05
Auteur: Guillaume Desnoix
La documentation du logiciel Alma est protégé par les lois sur les droits d'auteur de la République Française. Toute reproduction (copie, mirroir, impression, ...) est interdite sans autorisation écrite de l'auteur. Sa consultation est gratuite pour tous sur le site www.memoire.com.

Principes

Une fois que vous avez chargé un fichier, vous pouvez demander son analyse. Vous devez d'abord indiquer son langage.

Options

Langage d'analyse

Equivalence ligne de commande: -p <langage>
Valeurs possibles: Java Idl Fortran Mdl
Valeur par défaut: Java

Permet de sélectionner une source parmi celles proposées. Toute analyse demandée par la suite utilisera cette source.

Mode verbeux

Equivalence ligne de commande: -v
Par défaut: désactivé

Permet d'activer le mode verbeux. Utilisé surtout au débogage, il permet aussi de savoir où se situe une erreur de syntaxe ou une incompréhension due à une implantation imparfaite de l'analyseur.

Classes fondamentales

Equivalence ligne de commande: -f
Par défaut: désactivé
Utilisé dans: toutes

L'analyseur étant mono-passe et ignorant les importations et inclusions, l'activation de cette option permet de demander de charger les classes fondamentales de la source choisie. Dans le cas de Java, les noms de classes du JDK sont ainsi chargés. Le fichier listant ces classes doit être nommé <Langage>StdClasses.txt .

Descriptions des sources

Langages de définition

DefEtoile

Statut actuel: en projet

Def-* est un formalisme pour décrire une base de connaissance. Il s'agira d'une contribution de Gilles Morel. Selon la disponibilité ou non de Def-*, cette source sera livrée ou non dans la distribution.

Idl

Précision: Corba 2.0
Statut actuel: instable

La plupart des sources Idl sont acceptés. Les problèmes suivants ont été répertoriés:

Mdl

Précision: Rational Rose
Statut actuel: instable

Peu de choses sont pour l'instant reconnues.

Langages de programmation orientée objet

Cpp

Statut actuel: en projet

Analyse de programmes en C++. Une contribution est souhaitée sur ce module.

Java

Précision: JDK 1.0.2 et 1.1.x
Statut actuel: instable

La plupart des sources Java compatibles JDK 1.02 et 1.1.x sont acceptés. Les problèmes suivants ont été répertoriés:

JavaP

Précision: JVM 1.0
Statut actuel: instable

Analyse la sortie de la commande javap (listant le contenu d'un fichier .class).

Langages de programmation procédurale ou fonctionnelle

Fortran

Précision: F77
Statut actuel: instable

L'implantation actuelle est très imparfaite. La restitution se fait dans une classe de nom Global. Le Fortran 90 n'est pas du tout traité. Les problèmes suivants ont été répertoriés:

C

Statut actuel: en projet

Analyse de programme en C. Une contribution est souhaitée sur ce module.