« Programmation Java/Annotations » : différence entre les versions
Contenu supprimé Contenu ajouté
Aucun résumé des modifications |
|||
Ligne 48 :
java.lang.Override
Cette annotation marque une méthode redéfinie.
Une méthode marquée avec cette annotation doit obligatoirement être une méthode redéfinie de la classe mère.▼
Il ne s'agit pas d'une annotation de documentation mais d'un '''ajout de contrainte''' vérifiée à la compilation :
Dans le cas contraire, le compilateur génère une erreur.▼
▲
▲Dans le cas contraire (méthode non définie dans la classe mère), le compilateur génère une erreur.
À partir de Java 6, cette annotation peut aussi être utilisée pour les méthodes implémentant une interface.
|