Bienvenue à la page Decaf

Decaf est un décompilateur de classes Java écrit avec Ada 95. La version 1.1 fournit des sorties similaires au programme javap inclus dans la distribution du JDK par Sun:

définition d'une Classe avec les méthodes et les variables, incluant les parties privées
les instructions des Méthodes

Corrections apportées par la version 1.1 :

attribut obsolete Safe_Small remplacé par Model_Small
corrections dans la définition du type énuméré ByteCode (Aload and Astore mal placés)
corrections pour l'affichage d'opérandes de certains ByteCodes (Sipush)

l'implémentation de Decaf utilise les ressources suivantes de Ada95 :

Programmation Orientée Objets
Classes abstraites (voir les classes CP ou Attribute)
Unités enfants combinées à la spécialisation (voir hiérarchie de CP, Attribute ou Field)
Portabilité accrue (voir Basic_Definitions ou Byte_Utilities)

L'implémentation de Decaf suit systématiquement les structures définies dans The Java Virtual Machine Specification (Release 1.0 Beta - Draft - August 21, 1995). Le programme principal Decaf appelle les fonctions et les procédures du paquetage Class_File (qui implémente la structure class_file présentée dans le document). Tous les autres paquetages de l'implémentation de Decaf réfèrent aux structures identifiées dans la spécification avec les noms correspondants.

Les versions futures permettront la traduction vers d'autres langages (les traductions vers Ada 95 et Smalltalk sont en cours de développement). La faisabilité d'une traduction Java à Ada 95 me semble acquise, car un compilateur Ada 95 en bytecode Java existe aujourd'hui (voir également l'article Programming the Internet in Ada 95 par Tucker Taft). Considérant les similarités entre Java et Smalltalk (on peut dire sans trop exagérer que Java est Smalltalk avec la syntaxe C++ accompagné de quelques classes pour Internet ... et de la notion de paquetage de Ada), la faisabilité de cette traduction semble également acquise.

La portabilité de Decaf étant un des buts de ce développement, il devrait être compilé sans problème sur toute plateforme possédant un compilateur GNAT récent (je l'ai personnellement installé avec succès avec le GNAT 3.05 sous DOS, AIX et Sun-OS). Si vous rencontrez le moindre problème d'installation avec un autre compilateur Ada 95, n'hésitez pas à me contacter.

Cet outil étant développé pendant mes heures de loisirs, la planification des prochaines versions me parait difficile et toute aide est particulièrement bienvenue.

Copyright

Decaf a été soumis au concours de programmation Ada Lovelace de l'Ada Ressource Association. Les règles de ce concours imposent que le texte de Copyright suivant soit inclus dans tous les fichiers :

   --
   -- Copyright (C) 1996 Ada Resource Association (ARA), Columbus, Ohio.
   -- Author: Gilles Demailly
   --
   --
   -- Permission to use, copy, modify, and distribute this software and its
   -- documentation for any purpose and without fee is hereby granted,
   -- provided that the above copyright and authorship notice appear in all
   -- copies and that both that copyright notice and this permission notice
   -- appear in supporting documentation.
   -- 
   -- The ARA makes no representations about the suitability of this software
   -- for any purpose.  It is provided "as is" without express
   -- or implied warranty.
   --

Remerciements

L'espace pour cette page Decaf est fournie par des amis de TéléObjet, jetez un coup d'oeil à leur page d'accueil.

Charger

Gilles Demailly - Dernière mise à jour le 18 Septembre 1996