Un Jeu de propagation de Front

Créer son domaine

Les instructions suivantes supposent que vous savez utiliser le SDK de Java et que vous avez copié les classes, les fichiers de données et/ou les sources sur votre ordinateur. Peu importe où, pourvu que les classes, les fichiers .html et les fichiers .data soient dans le même répertoire et que les fichiers .jpg soient dans un sous-répertoire nommé /images . L'exécution du Jeu suppose l'existence, pour chaque domaine utilisable, de 2 fichiers : un fichier .data de données et un fichier image .jpg contenant le dessin du domaine. Pour jouer avec un domaine nouveau, il y a trois étapes

Les différents domaines sont définis par des classes Java, toutes dérivées de la classe Jeu. Pour créer de nouveau domaines, vous devez créer une nouvelle classe, voir le fichier modele.java dans les sources, puis la compiler. Dans cette classe, vous indiquez le nom de ce domaine et surtout vous définissez une fonction bord qui doit renvoyer une valeur négative en dehors du domaine.
Il faut ensuite ajouter cette classe dans le paramètre Liste du fichier sortie.html
Si vous souhaitez simpement changer la taille d'un domaine, inutile de le redéfinir : utilisez simplement le programme Sortie.html après l'avoir édité. La création des fichiers se fait à l'aide du programme Sortie qui calcule les temps de sortie pour chaque point du domaine et le colorie en conséquence (modulo 10) : par exemple le bleu foncé correspond à une sortie en 1, 11, 21 coups (votre adversaire faisant le meilleur choix pour sa stratégie). Avec un éditeur de texte on peut modifier les paramètres de taille, le rayon de déplacement du prisonnier, le nombre maximum d'itération (fixé à  30), la liste des domaines. Pour pouvoir écrire les fichiers, lisez attentivement le paragraphe suivant, cliquez sur le menu "fichiers" puis sur "créer".

Java et les fichiers

Lorsque, depuis un navigateur, vous cliquez pour démarrer l'applet, le code est transféré sur votre ordinateur et est exécuté sur celui-ci par une machine virtuelle (elle réside dans le plug-in utilisé par votre navigateur). Pour des raisons de sécurité une applet ne peut pas lire (et encore moins écrire) un fichier (à part ceux correspondant à  des images) ; elle peut seulement lire des fichiers dans le répertoire qui héberge la page html correspondante.
Pour pouvoir sauvegarder les fichiers crées par le programme "Sortie" vous devez créer (ou modifier) un fichier .java.policy qui permette la lecture et l'écriture sur votre machine. Il faut ensuite utiliser, soit l'appletviewer fourni avec Java, soit votre navigateur, pour lire le fichier "Sortie.html".

Exemple de fichier .java.policy
grant {
permission java.io.FilePermission "<>", "read,write";
permission java.awt.AWTPermission "accessClipboard";
};

Pensez a supprimer le fichier après usage pour des raisons de sécurité !