Programmation avancée et répartie en Java

Programmation avanc´ee et r´epartie en Java :
rappels sur les mots-cl´es de Java
Fr´ed´eric Gava
L.A.C.L
Laboratoire d’Algorithmique, Complexit´e et Logique
Cours de M1 MIAGE

Plan
1Flot de contrˆole
2Gestion des classes

Plan
1Flot de contrˆole
2Gestion des classes

Flot de contrˆole
Gestion des classes
D´eroulement du cours
1Flot de contrˆole
2Gestion des classes
Programmation avanc´ee et r´epartie en Java 3 / 22

Flot de contrˆole
Gestion des classes
Assert
Rˆole
Permet de s’assurer d’une propri´et´e avant de continuer l’ex´ecution.
assert condition [: objet] ;
Un AssertionError est lanc´e si la condition n’est pas v´erifi´ee. Les
assertions sont ignor´e par d´efaut (il faut utiliser l’option -ea ou
-enableassertions pour les activer). Dans la condition, ne pas
mettre un calcul qui modifie vos donn´ees !
Exemple
private double divise(int a, int b) {
assert b != 0 : ”Impossible de diviser par z´ero”;
...
On v´erifie souvent les param`etres d’une m´ethode avec des assert
pour ˆetre sˆur qu’ils sont tels qu’on les pense.
Programmation avanc´ee et r´epartie en Java 4 / 22