tp_rules question 1 tests classe None

[georg_s4]

Bonjour,
J'ai une erreur JNEWS sur les tests de la classe None, m'indiquant que l'évaluation de l'expression suivante :

Code : Tout sélectionner

none(none(TRUE,none(FALSE,FALSE,FALSE),none(FALSE,FALSE,FALSE)),none(TRUE,none(FALSE,FALSE,FALSE),none(FALSE,FALSE,FALSE)))

par la méthode isSatisfiedBy() devrait donner false, alors que mon code retourne true.
Or, si je décompose :
none1 = none(FALSE,FALSE,FALSE) est satisfaite (S)
none2 = none(TRUE,none(FALSE,FALSE,FALSE),none(FALSE,FALSE,FALSE)) = none(TRUE, none1, none1) = none(S, S, S) n'est pas satisfaite (non S)
none3 = l'expression complète = none(none2, none2) = none(non S, non S) est satisfaite (S)
la méthode isSatisfiedBy() devrait donc bien retourner true, en non false.
Je ne comprends donc pas le rejet JNEWS. Y a-t-il une erreur dans mon raisonnement ?
Merci de vos lumières.

[douinj]

Bonjour,

Adoptez la règle énoncée ici viewtopic.php?f=40&t=20284&sid=1fa653f8 ... ab5900efe2

je reverrai la sémantique du None l'an prochain

Bonnes règles