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...8O

A vous de me le dire...:P

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.