assert en Java

Bonjour, pourquoi ce code il m'affiche une erreur au niveau de

Code:

---

assert t < 7 : bar();

---

l'erreur est Expression must return a value
et a quoi sert assert en générale ?

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13 14

class test{ public static int foo(){ System.out.print("foo "); return 1 ; } public static void bar(){ System.out.print("bar "); } public static void main(String... nothing){ int t = 7 ; assert t < 7 : bar(); assert t > 6 : foo(); } }

---

Salut,

L'expression après le : doit avoir une valeur, ce qui n'est pas le cas d'une méthode de type void. Il s'agit des informations concernant l'invalidité de la première expression qui doit être booléenne.

En résumé, les assertions servent à vérifier que des conditions acquises sont vérifiées : elles permettent de mettre en œuvre dans le code la programmation dite par contrat (contrat énoncé dans les commentaires et la documentation). L'exemple donnée par la documentation Oracle est éloquent : une méthode calcule la vitesse d'une particule : on vérifie par une assertion que cette vitesse est inférieure à la vitesse de la lumière (si ce n'est pas le cas, c'est qu'on a fait une erreur quelque part dans le calcul). Les assertions servent essentiellement pendant la phase de mise au point, à vérifier qu'on valide bien les hypothèses qui font que le programme ne fait pas n'importe quoi ou ne plante pas. Ce qui est important, en fait, c'est ce à quoi les assertions ne doivent pas servir (par exemple, à tester si les paramètres d'une méthode public valident les condtions d'appel, parce qu'une assertion soulève une exception de type AssertionError, alors qu'on préfère pour signaler l'invalidité d'un argument une exception plus circonstanciée, comme IllegalArgumentException, ou NullPointerException...).

La documentation Oracle énonce les 3 raisons d'utilisation d'assertion :

• préconditions : conditions qui doivent être vraies avant l'exécution d'un code (par exemple : un diviseur différent de 0)
• postconditions : conditions qui doivent être vraies après l'exécution d'un code (la vitesse calculée d'une particule inférieure à la vitesse de la lumière)
• invariants internes, de flux (d'exécution = les endroits par lesquels on passe ou pas), de classe : une condition obligatoire vraie (le paramètre -ea est bien présent dans la commande java, ou un point du code qui ne doit jamais être atteint, comme le cas default dans un switch)

Exemple :

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29

public class Exemple {   public enum Orientation { PORTRAIT, PAYSAGE }   private final Orientation orientation;   public Exemple(Orientation orientation) { if ( orientation==null ) { throw new NullPointerException("L'orientation doit avoir une valeur"); } this.orientation=orientation; }   public Dimension getTaille() { switch( orientation ) { case PORTRAIT: return new Dimension(100, 200); case PAYSAGE: return new Dimension(200, 100); default: assert false : "Orientation impossible : "+orientation; } return new Dimension(0,0); }   }

---

Voir le tutoriel sur Développer pour plus de détails.