> De plus la programmation contractuelle existe pour Java aussi.
Comme tu le dis, ça "existe" mais pas comme partie du langage. En java pur, il est juste possible de documenter les pre et post-conditions. Pour le code, il y a bien les asserts comme en C/C++ mais il est alors nécessaire de re-copier ce code dans les sous-classes. Dans ce contexte, on pourrait dire que la programmation par contrat existe en C/C++...
J'imagine qu'une sortie de pilotes quelques jours avant le début de la conférence ACM Siggraph (la plus grosse conf de l'année sur la synthèse d'image) n'est pas une coïncidence...
[^] # Re: Goûtez-y !
Posté par photon . En réponse à la dépêche EiffelStudio devient un logiciel libre. Évalué à 2.
Comme tu le dis, ça "existe" mais pas comme partie du langage. En java pur, il est juste possible de documenter les pre et post-conditions. Pour le code, il y a bien les asserts comme en C/C++ mais il est alors nécessaire de re-copier ce code dans les sous-classes. Dans ce contexte, on pourrait dire que la programmation par contrat existe en C/C++...
Par contre, on peut dire que ça existe indirectement, en utilisant iContract qui est un pré-processeur java: http://www.javaworld.com/javaworld/jw-02-2001/jw-0216-coolto(...)
En Eiffel, les pre/post-conditions sont specifiées dans l'interface de la méthode et sont répercutées dans les sous-classes par héritage.
# Effet Siggraph
Posté par photon . En réponse à la dépêche Nouvelles versions des pilotes ATI et NVIDIA pour GNU/Linux. Évalué à 1.
http://www.siggraph.org/s2004(...)