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