good way to implement NotSpecification: isSpecialCaseOf?

Posted by koen on Stack Overflow See other posts from Stack Overflow or by koen
Published on 2010-04-07T18:51:45Z Indexed on 2010/04/09 20:53 UTC
Read the original article Hit count: 416

Filed under:

specifications

|

specification-pattern

|

notspecification

|

design-patterns

|

isspecialcaseof

I'm implementing the specification pattern. The NotSpecification seems simple at first:

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

But it doesn't work for all Specifications:

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

This should be true. So far I think that the only way to accomplish the isSpecialCaseOf the NotSpecification is to implement the remainderUnsatisfiedBy (partial subsumption in the paper on the specification pattern). But maybe I am missing something more simple or a logical insight that makes this unnecessary.

Question: Is there another way of implementing this by not using remainderUnsatisfiedBy?

© Stack Overflow or respective owner

Related posts about specifications

Bundler isn't loading gems

as seen on Stack Overflow - Search for 'Stack Overflow'
I have been having a problem with using Bundler and being able to access my gems without having to require them somewhere, as config.gem used to do that for me (as far as I know). In my Rails 3 app, I defined my Gemfile like so: clear_sources source "http://gemcutter.org" source "http://gems.github… >>> More
.NET CLR specifications

as seen on Stack Overflow - Search for 'Stack Overflow'
Hi all, Where can I find the spec of CLR ? For example, I want to look at how is implemented in memory the object "ThreadStart". Thanks. >>> More
How to prove writing specifications beats code cowboys?

as seen on Stack Overflow - Search for 'Stack Overflow'
So I have a problem. Or rather my friend has a problem, since I would never write about my company on an internet forum. At my friend's company specification writing is, shall we say, a little underused. There's a deeply ingrained culture of writing code first and asking questions later, whether… >>> More
Rails Tutorial Error with gemspec for "rspec" "annotate" "spork" "ansicolor" [closed]

as seen on Programmers - Search for 'Programmers'
I'm following the Rails Tutorial by Michael Hartl and I'm getting this error when I run. bundle exec rspec spec/requests/static_pages_spec.rb Invalid gemspec in [/Users/chrishuang02/.rvm/gems/ruby-1.9.3-p125@rails3tutorial2ndEd/specifications/annotate-2.4.1.beta1.gemspec]: invalid date format in… >>> More
ATI Radeon HD 4670 Drivers-Features and Specifications

as seen on Article City - Search for 'Article City'
Having the most latest features the ATI radeon HD 4670 drivers deliver a level of gaming performance that was possible earlier only in higher end graphic cards. Support for upto 1GB memory, presence ... [Author: Sunny Makkar - Computers and Internet - March 20, 2010] >>> More

Related posts about specification-pattern

Using the Specification Pattern

as seen on Stack Overflow - Search for 'Stack Overflow'
Like any design pattern the Specification Pattern is a great concept but susceptible to overuse by an eager architect/developer. I am about to commence development on a new application (.NET & C#) and really like the concept of the Specification Pattern and am keen to make full use of it. However… >>> More
Specification Pattern and Boolean Operator Precedence

as seen on Stack Overflow - Search for 'Stack Overflow'
In our project, we have implemented the Specification Pattern with boolean operators (see DDD p 274), like so: public abstract class Rule { public Rule and(Rule rule) { return new AndRule(this, rule); } public Rule or(Rule rule) { return new OrRule(this, rule); … >>> More
Specification Pattern vs Spec in BDD

as seen on Stack Overflow - Search for 'Stack Overflow'
I'm trying to explore Behavior Driven Design and Domain Driven Design. I'm getting that written specifications drive the tests in BDD, but also that business logic can be encapsulated using the specification pattern for re-use in domain objects and repositories, etc. Are these basically the same… >>> More
good way to implement NotSpecification: isSpecialCaseOf?

as seen on Stack Overflow - Search for 'Stack Overflow'
I'm implementing the specification pattern. The NotSpecification seems simple at first: NotSpecification.IsSpecialCaseOf(otherSpecification) return !this.specification.isSpecialCaseOf(otherSpecification) But it doesn't work for all Specifications: Not(LesserThan(5)).IsSpecialCaseOf(GreaterThan(4)) This… >>> More
Domain Validation in a CQRS architecture

as seen on Stack Overflow - Search for 'Stack Overflow'
Basically I want to know if there is a better way to validate my domain entities. This is how I am planning to do it but I would like your opinion The first approach I considered was: class Customer : EntityBase<Customer> { public void ChangeEmail(string email) { if(string.IsNullOrWhitespace(email))… >>> More