def est_Disponible_Extension(Extension):
""" est_Disponible_Extension: Extension -> Bool, True si l'extension est disponible, False sinon. """
cur.execute(""" SELECT Disponibilite FROM EnsExtensions WHERE Extension_id = ?""", (Extension.get_Extension_id(),))
disponibility = cur.fetchone()
return disponibility != None
def supprimer_Extension(Extension):
""" supprimer_Extension: Extension x EnsExtensions -> EnsExtensions, est_Presente_Extension(Extension.get_Nom_Extension) == True avant suppression."""
if(est_Presente_Extension(Extension)):
try:
cur.execute(""" DELETE FROM EnsExtensions WHERE Extension_id = ?""", (Extension.get_Extension_id(),))
conn.commit()
except:
print ("Erreur lors de la suppression de l'extension")
raise
else:
print ("Impossible de supprimer une extension non présente dans la base.")
raise
def supprimer_Extension(Extension):
try:
cur.execute=(""" DELETE FROM EnsExtensions WHERE Extension_id = ?""", (Extension.get_Extension_id()))
conn.commit()
except:
print "Erreur lors de la suppression de l'extension"
def ajouter_Extension(Extension):
""" ajouter_extension: Extension x EnsExtensions -> EnsExtensions, est_Presente_Extension(Extension.get_Nom_Extension) == False avant ajout. """
if (not(est_Presente_Extension(Extension))):
try:
cur.execute=(""" INSERT INTO EnsExtensions(Extension_id, Jeu_id, Nom_Extension, Disponibilité) VALUES(?, ?, ?, ?) """, (Extension.get_Extension_id(), Extension.get_Id_Jeu_Associe(), Extension.get_Nom_Extension(), Extension.get_Disponible() ))
conn.commit()
except:
print "Erreur lors de l'ajout de l'extension"
else:
print "L'extension est déjà présente dans la base."
def est_Presente_Extension(Extension):
""" est_Presente_Extension: Text x EnsExtensions -> Bool, True si l'extension est dans EnsExtensions, False sinon """
cur.execute=(""" SELECT Extension_id FROM EnsExtensions WHERE Extension_id = ? """, (Extension.get_Extension_id()))
#recupère le premier résultat correspondant à la recherche, vide sinon.
result=cur.fetchone()
return result != None
def update_Extension(Extension):
""" update_Extension: Extension -> Extension, modifie les informations d'une extension donnée """
try:
cur.execute(""" UPDATE EnsExtensions SET Jeu_id = ?, Nom_Extension = ?, Disponibilite = ? WHERE Extension_id = ?""", (Extension.get_Id_Jeu_Associe(), Extension.get_Nom_Extension(), Extension.get_Disponible(), Extension.get_Extension_id(),))
print ("L'extension a bien ete mise a jour")
except:
raise
