CSC 4508 - Traduction: TP noté 2008-2009

L'exercice concerne le langage ActionScript3, associé au player Flash.

On considère un tout petit sous-ensemble, relatif aux animations 2D.

• la classe Sprite représente des objets contenant leurs coordonnées x, y. Ces coordonnées sont relatives à l'objet de rattachement, qui peut être un Sprite parent, ou bien la scène (stage en anglais).
• le programmeur définit des sous-classes de Sprite avec du code specifique:
  • code pour tracer l'instance
  • et éventuellement, si d'autres Sprites lui sont rattachés, du code pour leur imprimer des déplacements relatifs.

L'idée est de donner un aperçu des possibilités et questions pour générer un code Java réalisant une animation équivalente (Java a des possibilités d'animation moins optimisées, mais permet des applications polyvalentes puissantes).

La traduction d'un code en langage X dans un autre langage Y est un problème complexe. Après la reconnaissance, il y a des questions "sémantiques" plus ou moins difficiles : identifier dans Y les constructions pouvant donner un résultat équivalent. Il existe cependant des traducteurs (Python2 vers Python3, Processing vers Java, Flex [celui de Adobe] vers ActionScript, ... etc)

On se limite ici:

• à une analyse syntaxique qui permettrait l'identification des constructions
• en faisant de nombreuses hypothèses simplificatrices concernant le code d'entrée (pas de tableaux, pas de boucles, pas d'appel de fonction en argument d'appel à une fonction ...).

A - RECONNAISSANCE DES UNITES LEXICALES

A1 - Analyseur lexical seul (3 points)

Mettre au point un analyseur A1.flex reconnaissant toutes les unités lexicales de Examples/aScript.txt.

1. Reconnaître, par la même règle, les valeurs numériques en acceptant indifféremment les valeurs réelles ou entières
2. Créer une même règle pour l'ensemble de mots-clés suivants:

           package   class     function
           public    private
           var       Number    void       this
           if        else
   

3. Créer une seule règle reconnaissant les symboles de programmation
   • commençant par une lettre, suivie de lettres ou chiffres ou le caractère souligné,

     Exemples: SimpleBallBouncer ENTER_FRAME ...
       

   • n'étant pas des mots-clés de ActionScript (il faudra donc reconnaître comme symboles ceux de sa bibliothèque : onEnterFrame, random ... et ceux du code applicatif : ball, vx ...): voir la liste des mots-clés ci-dessus
4. Créer une seule règle reconnaissant les opérateurs de comparaison: < > <= >= ==
5. Créer des règles pour chacun des éléments suivants
   • les opérateurs arithmétiques: + - / *
   • l'opérateur d'affectation = et l'opérateur de concaténation . (point)
   • certains délimiteurs: { } ( ) : ; ,

• Imprimer chaque unité lexicale reconnue (pour vérification) au moyen d'une fonction auxiliaire incluse dans le prologue
• Traiter les autres caractères possibles (espaces, tabulations, à-la-ligne) simplement, en les imprimant par exemple
• Implanter une règle-balai affichant tout caractère inattendu en entrée.
• On ne traite pas ici le cas du '-' unaire.

A2 - Analyseurs lexical et syntaxique couplés (4 points)

Mettre au point un analyseur A2.flex, gramA2.bison, prin.c passant les unités lexicales à l'analyseur syntaxique, qui les reçoit une à une, sans faire aucun regroupement en "forme syntaxique":

• pour chaque catégorie lexicale reçue, faire, au niveau syntaxique, une impression de vérification caractéristique. Dans le cas d'une unité lexicale où plusieurs valeurs sont possibles, on imprimera la valeur passée (par exemple : "<Num>: 10").
• implanter une gestion d'erreur minimale au niveau syntaxique: l'analyseur lexical passe à l'analyseur syntaxique tout caractère inattendu en entrée. L'analyse syntaxique affiche dans ce cas un message d'erreur (le plus explicite possible) et continue.

• Au niveau lexical
  • les éléments seuls dans leur catégorie comme { ou : peuvent être passés directement. Leur valeur sert aussi à coder la catégorie.
  • pour simplifier, ne pas retourner d'éléments syntaxiques pour \n et espace
  • en dehors de \n et espace, aucune impression ne sera faite au niveau lexical
  • positionner l'option Bison pour obtenir un message d'erreur explicite
• Au niveau syntaxique
  • pour les opérateurs arithmétiques, penser à utiliser le mot-clé left
  • pour simplifier, on passera pour valeur la chaîne yytext sans conversion (c'est-à-dire yylval de type char *

B - ANALYSE SYNTAXIQUE

Indications

• Pour chaque analyseur, afficher au niveau syntaxique, étape par étape, les catégories lexicales et les valeurs des éléments reconnus.
• Pour chaque analyseur, réduire au maximum les conflits dans la grammaire. S'il en reste, les-justifier.
• des fonctions utilitaires sont proposées dans bisonUtils.c, bisonUtils.h (alors penser à modifier le Makefile)
• les fichiers exemples fournis sont spécifiques de chaque question, la fusion avec les reconnaissances préalables étant faite ensuite.

B1 - Noms composés (ou "références") (2 points)

Mettre au point l'analyseur lexB1.flex, gramB1.bison, prin.c reconnaissant un nom composé c'est-à-dire un symbole, ou bien le mot-clé "this", éventuellement suivis d'autres symboles, chaque nom ajouté étant précédé de '.'

Fichier exemple : Examples/B1.dat

B2 - Arguments et appels de fonction (2 points)

• les ArgList, c'est-à-dire une liste d'arguments fournis à l'appel d'une fonction: une liste de noms potentiellement composés, ou de valeurs numériques separés par des ','. Voici un exemple de liste d'arguments:

  Event.ENTER_FRAME, onEnterFrame, 2, 1.2
  

  Remarque: on suppose qu'une ArgList ne contient pas d'appel de fonction.
• les FuncCall c'est-à-dire les appels de fonction, de la forme:

  nom_compose '(' liste d'arguments éventuelle ')' 
  

B3 - Expressions arithmétiques (2 points)

Fichier exemple : Examples/B3.dat

• se limiter aux expressions non parenthésées
• ne pas traiter le '-' unaire

B4 - Définitions de variables (2 points)

Fichier exemple : Examples/B4.dat

private var ball:Ball
private var vx:Number

• le modificateur private est facultatif
• le modificateur var est obligatoire
• définir la notion intermediaire TypedName, c'est-à-dire la succession d'un nom simple, suivi de ':', suivi:
  • soit d'un mot-clé (cas de vx:Number)
    en ActionScript, ce mot-clé ne peut être que Number
  • soit d'un nom composé (cas de ball:Ball)

B5 - Instructions simples (2 points)

Fichier exemple : Examples/B5.dat

• un appel de fonction
• une définition de variables avec leurs types VarDef (en ActionScript, une seule définition de variable par instruction)
• une instruction d'affectation AssignInst: un nom composé suivi de '=' suivi d'une expression arithmétique

B6 - Expressions logiques; conditionnelles/alternatives (1 point)

• les ExpLog, expressions logiques composées d'un 1er terme, un opérateur de comparaison, d'un 2eme terme,
  • 1er terme = nom composé ou expression arithmétique,
  • 2eme terme = expression arithmétique
• les IfInst alternatives conditionnelles
  • on doit pouvoir traiter les cas du fichier exemple sans traiter le cas des blocs d'instructions
  • définir qu'un "If" a 2 formes possibles
    • forme simple : pas de "else", l'action étant une instruction simple
    • forme avec "else", la 1ère alternative étant une instruction simple,la 2ème pouvant être soit une instruction simple, soit un If

B7 - Blocs d'instructions (1 point)

Fichier exemple: Examples/B7.dat. Ce fichier regroupe les blocs d'instructions des 2 fonctions du script exemple.

B8 - Paramètres formels et définitions de fonction (1 point)

Mettre au point l'analyseur lexB8.flex, gramB8.bison, prin.c reconnaissant

• un "en-tête" de fonction FuncHeader, de la forme:

        modifieur "function" NomCompose '('  paramètre(s) formel(s) éventuel(s) ')' ':' type
  

  ou bien

        modifieur "function" NomCompose '('  paramètre(s) formel(s) éventuel(s) ')'
  

  Remarque: le 2ème cas est celui du constructeur, même nom que la classe)
  • un "modifieur" est soit le mot-clé "public" ,soit le mot-clé "private", soit absent
  • un paramètre formel est un nom composé ou "nom typé", ou TypedName déjà traité.
• une définition de fonction, c'est-à-dire un en-tête de fonction suivi d'un bloc d'instructions.

C - ANNEXE : APERCU SUR LA TRANFORMATION DE CODE (Bonus)

CI - CODE Java "fonctionnellement equivalent" (Bonus)

1.1) Des classes Java pour realiser la meme animation sont les suivantes :

     + la classe SimpleBallBouncer correspond d'assez pres au code ActionScript 
       . la fonction timeStep( ) realise les calculs pour la prochaine image
       . un objet SimpleBallBouncer possede un attribut instance de la classe Ball

     + AnimationComponent correspond plus ou moins a la classe Sprite
       - ressemblance : c'est un Container, pouvant contenir d'autres composants
       - differences  : c'est un thread ; elle ne contient pas les coordonnees

     + AnimationFrame, ApplicationFrame fournissent des fonctionnalites 
        correspondant a certaines fonctionnalites du player Flash

     + la classe UseSimpleBallBouncer sert au lancement

AnimJ2D

1.2) Utilisation

     + Preparation : javac UseSimpleBallBouncer.java

     + Lancement   : java UseSimpleBallBouncer
 

C II - TRANSFORMATIONS A EFFECTUER pour passer du code ActionScript au code Java (Bonus)

T1)  Extraire du package ActionScript la classe SimpleBallBouncer 
      (supposee unique)
  
T2)  Avant le code de cette classe, inserer les instructions import de Java

T3)  Faire que cette classe herite de AnimationComponent et non de Sprite
  
T4)  Ajouter a ses fonctions la fonction de trace graphique :
        public void paint(Graphics g)  { ball.paint(g); }

T5)  Transformer les declarations de variables numerique en la syntaxe Java : 
        private var ball:Ball;      --->      private Ball ball;
        private var vx:Number;      --->      private double  vx;

    (inutile de faire des regroupements de variables de meme type)

T6)  Dans chaque fonction ou Math.random() est utilise :
     - transformer chaque Math.random() en random.nextFloat()
     - inserer avant ces appels : Random random = new Random();

T7)  Fonction onEnterFrame() :
     - changer son en-tete en  "public void timeStep()"

T8)  References a "stage.stageWidth", "stage.stageHeight"
     - les remplacer par getWidth(), getHeight()