bonne façon d'implémenter NotSpecification: isSpecialCaseOf?

Question

J'implémente le modèle de spécification. Le NotSpecification semble simple au premier abord:

NotSpecification.IsSpecialCaseOf(otherSpecification) 
    return !this.specification.isSpecialCaseOf(otherSpecification) 

Mais cela ne fonctionne pas pour toutes les spécifications:

Not(LesserThan(4)).IsSpecialCaseOf(Equals(5)) 

Cela devrait retourner false au lieu de vrai. Jusqu'à présent, je pense que la seule façon d'accomplir isSpecialCaseOf NotSpecification est d'implémenter le restedernsatisfiedBy (subsomption partielle dans l'article sur le modèle de spécification). Mais peut-être qu'il me manque quelque chose de plus simple ou un aperçu logique qui rend cela inutile. Question: Existe-t-il une autre façon de mettre en œuvre ceci en n'utilisant pas remainderUnsatisfiedBy?

Answer 1

J'ai essayé de l'implémenter en Java et ça s'est passé sans problème et restederuUnsatisfiedBy(). Vous avez probablement un problème dans votre mise en œuvre, voici le mien est:

public boolean isSpecialCaseOf(Specification spec) { 
    if (spec instanceof GreaterThan) { 
     return ((GreaterThan) spec).boundary > this.boundary; 
    } 
    return false; 
} 

Le hic est dans la méthode Non(), qui devrait construire correctement le type opposé de son argument. Ensuite, tout ce dont j'ai besoin est d'avoir une implémentation correcte de not() pour toutes les spécifications, par ex. pour LesserThan:

@Override 
public Specification not() { 
    return new GreaterThan(boundary); 
} 

Si vous avez des problèmes, s'il vous plaît fournir votre implémentation de GreatherThan.isSpecialCaseOf et de ne pas, je vais essayer d'aider.