stiti/SAE21_2023
stiti/SAE21_2023
1
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

traduction

Browse Source
This commit is contained in:
Marco ORFAO 2024-04-16 17:33:21 +02:00
parent 907925c4d3
commit e9ec7f5036
2 changed files with 14 additions and 14 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

26
src/FileManager.java
View File

@ -19,10 +19,10 @@ import java.io.IOException;
public class FileManager { public class FileManager {
/** /**
* Method to save a grid in a file. * Method for save a grid in a file.
* @param grille The grid to save * @param grid The grid to save
*/ */
public static void saveGrille(Grille grille) { public static void savegrid(Grille grid) {
// Creating a file selector // Creating a file selector
JFileChooser fileChooser = new JFileChooser(); JFileChooser fileChooser = new JFileChooser();
fileChooser.setDialogTitle("Enregistrer la grille"); fileChooser.setDialogTitle("Enregistrer la grille");
@ -39,8 +39,8 @@ public class FileManager {
// Writing grid values to file. // 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.getValue(i, j); int value = grid.getValue(i, j);
writer.write(valeur == 0 ? "0" : String.valueOf(valeur)); writer.write(value == 0 ? "0" : String.valueOf(value));
} }
writer.newLine(); writer.newLine();
} }
@ -51,11 +51,11 @@ public class FileManager {
} }
/** /**
* Méthode pour charger une grille à partir d'un fichier. * Method for loading a grid from a file.
* @return La grille chargée depuis le fichier * @return The grid loaded from the file.
*/ */
public static Grille chargerGrille() { public static Grille loadGrid() {
// Création d'un sélecteur de fichier // Creating a file selector
JFileChooser fileChooser = new JFileChooser(); JFileChooser fileChooser = new JFileChooser();
fileChooser.setDialogTitle("Charger une grille"); fileChooser.setDialogTitle("Charger une grille");
fileChooser.setFileFilter(new FileNameExtensionFilter("Fichiers de grille (.gri)", "gri")); fileChooser.setFileFilter(new FileNameExtensionFilter("Fichiers de grille (.gri)", "gri"));
@ -64,7 +64,7 @@ public class FileManager {
// Obtention du nom de fichier choisi par l'utilisateur // Obtention du nom de fichier choisi par l'utilisateur
String fileName = fileChooser.getSelectedFile().getAbsolutePath(); String fileName = fileChooser.getSelectedFile().getAbsolutePath();
try (BufferedReader reader = new BufferedReader(new FileReader(fileName))) { try (BufferedReader reader = new BufferedReader(new FileReader(fileName))) {
Grille grille = new Grille(); Grille grid = new Grille();
String ligne; String ligne;
int row = 0; int row = 0;
// Lecture des lignes du fichier et remplissage de la grille // Lecture des lignes du fichier et remplissage de la grille
@ -72,13 +72,13 @@ public class FileManager {
for (int col = 0; col < 9 && col < ligne.length(); col++) { for (int col = 0; col < 9 && col < ligne.length(); col++) {
char caractere = ligne.charAt(col); char caractere = ligne.charAt(col);
if (caractere != ' ') { if (caractere != ' ') {
int valeur = Character.getNumericValue(caractere); int value = Character.getNumericValue(caractere);
grille.remplir_case(row, col, valeur); grid.remplir_case(row, col, value);
} }
} }
row++; row++;
} }
return grille; return grid;
} catch (IOException e) { } catch (IOException e) {
e.printStackTrace(); e.printStackTrace();
} }

2
src/PlayButtonClickListener.java
View File

@ -49,7 +49,7 @@ public class PlayButtonClickListener implements ActionListener {
// L'utilisateur a annulé la saisie ou fermé la fenêtre de dialogue, traitement en conséquence // L'utilisateur a annulé la saisie ou fermé la fenêtre de dialogue, traitement en conséquence
} }
} else if (buttonText.equals("Charger une grille")) { } else if (buttonText.equals("Charger une grille")) {
Grille grille = FileManager.chargerGrille(); Grille grille = FileManager.loadGrid();
GrilleView grilleView = new GrilleView(grille, window); GrilleView grilleView = new GrilleView(grille, window);
window.changeMenu(grilleView); window.changeMenu(grilleView);