début de traduction

This commit is contained in:
Marco ORFAO 2024-04-16 17:04:58 +02:00
parent 627617656f
commit 3a46590653
4 changed files with 19 additions and 19 deletions

View File

@ -7,7 +7,7 @@ import java.io.FileReader;
import java.io.IOException; import java.io.IOException;
/** /**
* Classe pour gérer les opérations de sauvegarde et de chargement de grille. * Class to manage grid saving and loading operations.
* @author Moncef STITI * @author Moncef STITI
* @author Marco ORFAO * @author Marco ORFAO
* @version 1.0 * @version 1.0
@ -15,27 +15,27 @@ import java.io.IOException;
public class FileManager { public class FileManager {
/** /**
* Méthode pour sauvegarder une grille dans un fichier. * Method to save a grid in a file.
* @param grille La grille à sauvegarder * @param grille The grid to save
*/ */
public static void sauvegarderGrille(Grille grille) { public static void saveGrille(Grille grille) {
// Création d'un sélecteur de fichier // Creating a file selector
JFileChooser fileChooser = new JFileChooser(); JFileChooser fileChooser = new JFileChooser();
fileChooser.setDialogTitle("Enregistrer la grille"); fileChooser.setDialogTitle("Enregistrer la grille");
fileChooser.setFileFilter(new FileNameExtensionFilter("Fichiers de grille (.gri)", "gri")); fileChooser.setFileFilter(new FileNameExtensionFilter("Fichiers de grille (.gri)", "gri"));
int userSelection = fileChooser.showSaveDialog(null); int userSelection = fileChooser.showSaveDialog(null);
if (userSelection == JFileChooser.APPROVE_OPTION) { if (userSelection == JFileChooser.APPROVE_OPTION) {
// Obtention du nom de fichier choisi par l'utilisateur // Obtain user-selected file name
String nomFichier = fileChooser.getSelectedFile().getAbsolutePath(); String fileName = fileChooser.getSelectedFile().getAbsolutePath();
// Vérification et ajout de l'extension .gri si nécessaire // Check and add .gri extension if necessary
if (!nomFichier.endsWith(".gri")) { if (!fileName.endsWith(".gri")) {
nomFichier += ".gri"; fileName += ".gri";
} }
try (BufferedWriter writer = new BufferedWriter(new FileWriter(nomFichier))) { try (BufferedWriter writer = new BufferedWriter(new FileWriter(fileName))) {
// Écriture des valeurs de la grille dans le fichier // Writing grid values to file.
for (int i = 0; i < 9; i++) { for (int i = 0; i < 9; i++) {
for (int j = 0; j < 9; j++) { for (int j = 0; j < 9; j++) {
int valeur = grille.getValeur(i, j); int valeur = grille.getValue(i, j);
writer.write(valeur == 0 ? "0" : String.valueOf(valeur)); writer.write(valeur == 0 ? "0" : String.valueOf(valeur));
} }
writer.newLine(); writer.newLine();
@ -58,8 +58,8 @@ public class FileManager {
int userSelection = fileChooser.showOpenDialog(null); int userSelection = fileChooser.showOpenDialog(null);
if (userSelection == JFileChooser.APPROVE_OPTION) { if (userSelection == JFileChooser.APPROVE_OPTION) {
// Obtention du nom de fichier choisi par l'utilisateur // Obtention du nom de fichier choisi par l'utilisateur
String nomFichier = fileChooser.getSelectedFile().getAbsolutePath(); String fileName = fileChooser.getSelectedFile().getAbsolutePath();
try (BufferedReader reader = new BufferedReader(new FileReader(nomFichier))) { try (BufferedReader reader = new BufferedReader(new FileReader(fileName))) {
Grille grille = new Grille(); Grille grille = new Grille();
String ligne; String ligne;
int row = 0; int row = 0;

View File

@ -45,7 +45,7 @@ public class Grille {
grille[row][col] = 0; grille[row][col] = 0;
} }
public int getValeur(int row, int col) { public int getValue(int row, int col) {
return grille[row][col]; return grille[row][col];
} }
} }

View File

@ -18,7 +18,7 @@ public class PlayButtonClickListener implements ActionListener {
Grille nouvelleGrille = new Grille(); Grille nouvelleGrille = new Grille();
SudokuGenerator sudokuGenerator = new SudokuGenerator(nouvelleGrille); SudokuGenerator sudokuGenerator = new SudokuGenerator(nouvelleGrille);
Grille grilleGeneree = sudokuGenerator.genererGrille(); // Générer la grille Grille grilleGeneree = sudokuGenerator.genererGrille(); // Générer la grille
FileManager.sauvegarderGrille(grilleGeneree); FileManager.saveGrille(grilleGeneree);
} else if (buttonText.equals("Charger une grille")) { } else if (buttonText.equals("Charger une grille")) {
Grille grille = FileManager.chargerGrille(); Grille grille = FileManager.chargerGrille();
GrilleView test = new GrilleView(grille); GrilleView test = new GrilleView(grille);

View File

@ -26,7 +26,7 @@ public class SudokuGenerator {
continue; // La case est déjà vide, passer à la suivante continue; // La case est déjà vide, passer à la suivante
} }
int temp = grille.getValeur(row, col); int temp = grille.getValue(row, col);
grille.vider_case(row, col); grille.vider_case(row, col);
// Vérifier s'il existe une seule solution après avoir vidé la case // Vérifier s'il existe une seule solution après avoir vidé la case
if (aUneSeuleSolution()) { if (aUneSeuleSolution()) {
@ -43,7 +43,7 @@ public class SudokuGenerator {
Grille grilleTemp = new Grille(); Grille grilleTemp = new Grille();
for (int i = 0; i < 9; i++) { for (int i = 0; i < 9; i++) {
for (int j = 0; j < 9; j++) { for (int j = 0; j < 9; j++) {
grilleTemp.remplir_case(i, j, grille.getValeur(i, j)); grilleTemp.remplir_case(i, j, grille.getValue(i, j));
} }
} }
SudokuSolver solver = new SudokuSolver(); SudokuSolver solver = new SudokuSolver();