Principales commandes pour l'utilisation de l'outil USE
=======================================================

Remarques préliminaires :

- La mise en oeuvre de l'outil USE est en Java et elle est supposée
  pouvoir fonctionner sur n'importe quelle machine virtuelle Java,
  indépendamment de la plateforme (Unix, Linux, Mac, Windows).
  Toutefois (!), les auteurs du logiciel indiquent explicitement
  qu'ils ne l'ont testée que sur des machines Unix.

- La description qui suit est pour l'utilisation en mode "ligne de
  commandes". C'est le seul mode que je décrirai puisque c'est celui
  qui permet d'automatiser l'exécution de certaines tâches (par
  exemple, avec un makefile) -- on (je ;) veut éviter, comme c'est le
  cas avec une interface graphique, de toujours tout faire de façon
  répétitive avec des clics de bouton :(

- La description qui suit est principalement (mais non exclusivement)
  pour l'exemple du laboratoire 1 (fait en classe).



Les principales utilisations:
-----------------------------


a) Pour vérifier que la syntaxe d'un modèle conceptuel (y compris les
   spécifications de requêtes et contraintes) est correcte.

   Fichier : 
    * Description du modèle (avec spécification des requêtes et des
      invariants): bibliotheque.use

   Commandes possibles:

   i) Pour vérifier et compiler, sans afficher le "code" résultant:
   
   $ use -nogui -c -v bibliotheque.use


   ii) Pour vérifier et compiler, puis afficher le "code" résultant:
   
   $ use -nogui -cp bibliotheque.use

   Note: Ce dernier cas permet de voir ce qui est produit lorsqu'on
   omet les types et/ou certaines variables => inférence de type.



b) Pour vérifier que la syntaxe d'un modèle conceptuel (y compris les
   spécifications de requêtes et contraintes) est correcte, construire
   un système d'objets concrets en vérifiant que les objets reflètent
   le modèle, puis évaluer diverses requêtes effectives sur ce système
   d'objets concrets.

  Fichiers : 
    * Description du modèle: bibliotheque.use
    * Description d'un système concret: bib1.cmd
    * Divers appels de requêtes: reqa-bib1.cmd

  Commande:
  $ use -nogui bibliotheque.use bib1.cmd <reqa-bib1.cmd

  Note : Si on veut évaluer diverses requêtes de façon interactive, en
  mode "ligne de commandes", alors on omet "<reqa-bib1.cmd", auquel
  cas les requêtes pourront être spécifiées au niveau du shell de use.



c) Pour vérifier que la syntaxe d'un modèle conceptuel est correcte,
   construire un système d'objets concrets en vérifiant que les objets
   reflètent le modèle, puis vérifier que les contraintes (invariants)
   sont satisfaites dans le système concret:

  Fichiers : 
    * Description du modèle: bibliotheque.use
    * Description d'un système concret: bib1.cmd

  Commande:
  $ use -qv bibliotheque.use bib1.cmd


 d) Pour évaluer des expressions sur des collections (pas faits dans
 le labo 1):

  $ use -nogui
 
  ou

  $ use -nogui <fichier-avec-expressions.cmd