<commit_before>﻿Modèle des opérations : sous-système SystèmeWeb






Opération : SystèmeWeb::voirCommande()
Acteur du MdE :BtnVoirCommande
CdU : Valider une commande
Messages : 
* PanneauInformation::{afficherCommande, afficherFacture, produitNonDispo}
Pré :
Post : 
        if not(self.commande.estCommandeVide) then
                self.panneauInformation^afficherCommande(self.commande) 
and
                self.panneauInformation^afficherFacture(self.commande, 
self.commande.prixTotal) 
and
                self.commande.estCommandeValidée = false 
and
                if not(self.commande.article.estDisponible) then
                        self.panneauInformation^produitNonDispo( self.commande.article, true)
                else
                        self.panneauInformation^produitNonDispo( self.commande.article, false)




Opération : SystèmeWeb::alarm(art:Article, qte:Quantité)
Acteur du MdE : SystèmeBalance
CdU : MAJ d’une commande
Messages :
* PanneauInformation::{produitNonDispo} 
* ListeCommande::{majCommande}
Pré :
Post :  
        if art.estDisponible then
                if self.commande.estCommandeVide then
                        self.commande.estCommandeVide = false 
and
self.commande.article = art 
and
self.commande.prixTotal = art.prixArticle * qte
                else
                        if art == self.commande.article then 
                                self.commande.article.estDisponible = true 
and 
                                self.panneauInformation^produitNonDispo( 
self.commande.article, false) 
and
                                self.commande.article.qteArticle = 
self.commande.article.qteArticle@pre + qte
                        and
self.commande.prixTotal = self.commande.prixTotal@pre + 
art.prixArticle * qte
                        and
                        self.commande.estCommandeVide = false
                and
                self.commande^majCommande()
        else
                if self.commande.estCommandeVide then
                        self.panneauInformation^produitNonDispo(art, true)
                else
if art == self.article then 
        self.commande.article.estDisponible = false 
and
                                self.panneauInformation^produitNonDispo(
self.commande.article, true)
                and
                self.commande^majCommande()
        


Opération : SystèmeWeb::produitNonStock(art : Article)
Acteur du MdE : InterfaceCatalogue
CdU : MAJ d’une commande
Messages :
* PanneauInformation::{produitNonDispo} 
Pré :
Post :  
        if self.commande.article == art then
                self.commande.article.estDisponible = false 
and
                self.panneauInformation^produitNonDispo(self.commande.article, true)




Opération : SystèmeWeb::validerCommande()
Acteur du MdE : BtnValiderCommande
CdU : Valider une commande
Messages : 
* PanneauInformation::{afficherCommande, afficherFacture, commandeValidée}
* ListeCommande::{majCommande}
Pré :
Post :  
if not(self.commande.estCommandeVide) then
        self.panneauInformation^afficherCommande(self.commande) 
and
self.panneauInformation^afficherFacture(self.commande, 
self.commande.prixTotal) 
and
                self.commande.estCommandeValidée = true 
and 
                self.panneauInformation^commandeValidée(true) 
and
                self.commande^majCommande()
        else 
                self.panneauInformation^commandeValidée(false)




Opération : SystèmeWeb::changerQuantité(art:Article, qte:Quantité)
Acteur du MdE : ListeCommande  
CdU : Valider une commande
Messages : 
* PanneauInformation::{afficherCommande, commandeValidée}
* ListeCommande::{majCommande}
Pré :
Post :  
if not(self.commande.estCommandeVide) then
                self.panneauInformation^afficherCommande(self.commande) 
and
                self.panneauInformation^commandeValidée(false) 
and
                if art==self.commande.article then
                        self.commande.prixTotal = self.commande.prixTotal@pre + (qte - 
self.commande.article.qteArticle) * art.prixArticle
and
                        self.commande.article.qteArticle =qte
                and 
                self.commande^majCommande()
                


Opération : SystèmeWeb::estArticleCoché(art:Article)
Acteur du MdE : NavigateurWeb
CdU : Valider une commande
Messages : 
* PanneauInformation::{afficherCommande, commandeValidée}
* ListeCommande::{majCommande}
Pré :
Post :  <commit_msg>Update web.tex<commit_after>﻿Modèle des opérations : sous-système SystèmeWeb






Opération : SystèmeWeb::voirCommande()
Acteur du MdE :BtnVoirCommande
CdU : Valider une commande
Messages : 
* PanneauInformation::{afficherCommande, afficherFacture, produitNonDispo}
Pré :
Post : 
        if not(self.commande.estCommandeVide) then
                self.panneauInformation^afficherCommande(self.commande) 
and
                self.panneauInformation^afficherFacture(self.commande, 
self.commande.prixTotal) 
and
                self.commande.estCommandeValidée = false 
and
                if not(self.commande.article.estDisponible) then
                        self.panneauInformation^produitNonDispo( self.commande.article, true)
                else
                        self.panneauInformation^produitNonDispo( self.commande.article, false)




Opération : SystèmeWeb::alarm(art:Article, qte:Quantité)
Acteur du MdE : SystèmeBalance
CdU : MAJ d’une commande
Messages :
* PanneauInformation::{produitNonDispo} 
* ListeCommande::{majCommande}
Pré :
Post :  
        if art.estDisponible then
                if self.commande.estCommandeVide then
                        self.commande.estCommandeVide = false 
and
self.commande.article = art 
and
self.commande.prixTotal = art.prixArticle * qte
                else
                        if art == self.commande.article then 
                                self.commande.article.estDisponible = true 
and 
                                self.panneauInformation^produitNonDispo( 
self.commande.article, false) 
and
                                self.commande.article.qteArticle = 
self.commande.article.qteArticle@pre + qte
                        and
self.commande.prixTotal = self.commande.prixTotal@pre + 
art.prixArticle * qte
                        and
                        self.commande.estCommandeVide = false
                and
                self.commande^majCommande()
        else
                if self.commande.estCommandeVide then
                        self.panneauInformation^produitNonDispo(art, true)
                else
if art == self.article then 
        self.commande.article.estDisponible = false 
and
                                self.panneauInformation^produitNonDispo(
self.commande.article, true)
                and
                self.commande^majCommande()
        


Opération : SystèmeWeb::produitNonStock(art : Article)
Acteur du MdE : InterfaceCatalogue
CdU : MAJ d’une commande
Messages :
* PanneauInformation::{produitNonDispo} 
Pré :
Post :  
        if self.commande.article == art then
                self.commande.article.estDisponible = false 
and
                self.panneauInformation^produitNonDispo(self.commande.article, true)



Opération : SystèmeWeb::listeProduit()
Acteur du MdE : InterfaceCatalogue
CdU : MAJ d’une commande
Messages :
* //a voir
Pré :
Post :  // a voir



Opération : SystèmeWeb::validerCommande()
Acteur du MdE : BtnValiderCommande
CdU : Valider une commande
Messages : 
* PanneauInformation::{afficherCommande, afficherFacture, commandeValidée}
* ListeCommande::{majCommande}
Pré :
Post :  
if not(self.commande.estCommandeVide) then
        self.panneauInformation^afficherCommande(self.commande) 
and
self.panneauInformation^afficherFacture(self.commande, 
self.commande.prixTotal) 
and
                self.commande.estCommandeValidée = true 
and 
                self.panneauInformation^commandeValidée(true) 
and
                self.commande^majCommande()
        else 
                self.panneauInformation^commandeValidée(false)




Opération : SystèmeWeb::changerQuantité(art:Article, qte:Quantité)
Acteur du MdE : ListeCommande  
CdU : Valider une commande
Messages : 
* PanneauInformation::{afficherCommande, commandeValidée}
* ListeCommande::{majCommande}
Pré :
Post :  
if not(self.commande.estCommandeVide) then
                self.panneauInformation^afficherCommande(self.commande) 
and
                self.panneauInformation^commandeValidée(false) 
and
                if art==self.commande.article then
                        self.commande.prixTotal = self.commande.prixTotal@pre + (qte - 
self.commande.article.qteArticle) * art.prixArticle
and
                        self.commande.article.qteArticle =qte
                and 
                self.commande^majCommande()
                


Opération : SystèmeWeb::estArticleCoché(art:Article)
Acteur du MdE : ListeCommande
CdU : Valider une commande
Messages : 
* PanneauInformation::{afficherCommande, commandeValidée}
* ListeCommande::{majCommande}
Pré :
Post :  
{'fraction_non_alphanumeric': 0.0766245287203371, 'fraction_numerical': 0.0, 'mean_word_length': 2.4201744406522563, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '7179365', 'n_tokens_mistral': 2884, 'n_tokens_neox': 2761, 'n_words': 472}