Inscrivez-vous gratuitement
pour pouvoir participer, suivre les réponses en temps réel, voter pour les messages, poser vos propres questions et recevoir la newsletter
utiliser conjointement JML et Generics
Bonjour,
comme stipule le titre, comment faire pour utiliser conjointement les type generics et JML. Pour moi c'est pas possible car JML <==> java 1.4 et generics <==> java 1.5....
Mais bon on me dis que c'est possible...
A vous de me le dire...
Merci pour vos réponses
Pour moi, ça n'est actuellement pas possible, il faut attendre une version de JML pour java 5...
Bon bah je ne comprends pas. moi aussi ça me semble logique.
Répondre avec citation
Partager