import java.io.File;
/**
* Cette classe va nous permettre de supprimer une base de données
* (en supprimant simplement le fichier de la base de données).
*/
public class BDD_DeleteDB {
/**
* Permet la suppression d'une base de données.
* @query : DROP DATABASE
* (pas de requête de la sorte pour HSQLDB, il suffit de supprimer le fichier
* de la base de données à supprimer)
*
* @pre nomFichierBDD est le nom de la BDD (donc, le nom du fichier mais
* sans l'extension); ex.: database.script => database
* @pre la base de données ne doit pas être en cours d'utilisation
* @post la base de données 'nomFichierBDD' est supprimée (ainsi que ses
* fichiers associés)
*/
public static void supprimmerBaseDeDonnees(String nomFichierBDD) {
// on crée deux objets pour représenter les fichiers de la base de données
File fichier1 = new File(nomFichierBDD + ".script");
File fichier2 = new File(nomFichierBDD + ".properties");
// on les supprime
fichier1.delete();
fichier2.delete();
}
}
Reply
