From e4ad5b180a014eb6f08e91079d29b32b4a4ce79d Mon Sep 17 00:00:00 2001 From: Amir Daouadi Date: Fri, 28 Apr 2023 02:41:09 +0200 Subject: [PATCH] Ajout de l'export --- src/FileManager.java | 48 +++++++++++++++++++++++++++++++++++++++++++- 1 file changed, 47 insertions(+), 1 deletion(-) diff --git a/src/FileManager.java b/src/FileManager.java index 925feb2..5afb28c 100644 --- a/src/FileManager.java +++ b/src/FileManager.java @@ -36,7 +36,53 @@ public class FileManager { } public static void exportGrid(Grid grid, File file) throws Exception { - // TODO: Export de la grille + try (FileOutputStream fs = new FileOutputStream(file); + DataOutputStream ds = new DataOutputStream(fs)) { + + // Écriture de la taille de la grille + ds.writeByte(grid.getSize()); + + // Écriture de la position de Thésée + Square theseeSquare = grid.getThesee().getSquare(); + ds.writeByte(theseeSquare.getRow()); + ds.writeByte(theseeSquare.getColumn()); + + // Écriture de la position de la sortie + for (int i = 0; i < grid.getSize(); i++) { + for (int j = 0; j < grid.getSize(); j++) { + Square square = grid.getSquare(i,j); + if (square.isExit()) { + ds.writeByte(square.getRow()); + ds.writeByte(square.getColumn()); + break; + } + } + } + + + // Écriture des murs + int bit = 0; + byte value = 0; + for (int i = 0; i < grid.getSize(); i++) { + for (int j = 0; j < grid.getSize(); j++) { + Square square = grid.getSquare(i, j); + if (square.isWall()) { + value |= 1 << (7 - bit); + } + bit++; + if (bit == 8) { + ds.writeByte(value); + value = 0; + bit = 0; + } + } + } + if (bit != 0) { + ds.writeByte(value); + } + } catch (IOException e) { + throw new Exception("Une erreur est survenue lors de l'écriture du fichier."); + } } // Test (à retirer)