[Assert - Solidity] #assert

assert.sol

//assert - solidity 

//ligne 36 depuis remix 


pragma solidity 0.7.5; 

contract Bank {
    
    mapping (address => uint) balance; //ligne de code à tapper pour le mapping. Mapping def. à partir d'une key on obtient une value. (K -> V)    
    address owner; // on "set" a state variable qui est une adresse que l'on appelle owner
    
   constructor() {
        
        owner = msg.sender; // on utilise un construtor (objet en JS) pour assigner la variable owner avec l'adresse d'envoi du contrat. 
    }
    
    


    function addBalance(uint _toAdd) public returns(uint) { //fonction addBalance pour rajouter un uint à une address
        require (msg.sender == owner); // error handling "require". on s'assure que la personne qui ajoute des fonds ne puisse t'être que le owner du contrat
        balance[msg.sender] += _toAdd; // ou aussi balance [msg.sender] + _toAdd. Ici on rajouter une valeur à l'adresse de l'envoyeur
        return balance[msg.sender]; //ici on retourne la balance de l'envoyeur "[msg.sender]"" updaté
    
}

    function getBalance() public view returns(uint) {// fonction pour afficher une balance qui retourne un integer de l'adresse de l'envoyeur. 
        return balance[msg.sender];
    }
    
    
    function transfer (address recipient, uint amount) public {// fonction permettant de transferer des fonds d'une adresse à l'autre
            require(balance[msg.sender] >= amount, "Balance not sufficient"); // error handling "require" pour s'assurer que l'envoyeur à les fonds suffisants pour l'envoi. 2eme argument c'est le message d'erreur
            require(msg.sender != recipient, "Dont transfer money to yourself"); // error handling "require" pour s'assurer que l'envoyeur ne s'envoit pas les fonds à lui même
            
            uint previousSenderBalance = balance[msg.sender];    
            _transfer(msg.sender, recipient, amount); // déclaration de la fonction _transfer (ci-dessous) avec en argument les inputs : adresse de 
                                                     // l'envoyeur, sdu receveur et le montant à transferer. 
        
        assert(balance[msg.sender] == previousSenderBalance - amount);
        
        //event Logs and further checks
    }
    
    function _transfer(address from, address to, uint amount) private { // fonction qui permet de débiter les fonds de l'envoyeur et de créditer 
        balance[from] -= amount;                                        //le compte du receveur. Noter que cette fonction est "private"
        balance[to] += amount;    
    }
}