合成仕様パターンでisGeneralizationOfを実装する方法は？

Question

FowlerとEvansのSpecifications Documentのように、複合仕様パターンを実装しようとしています。

最初の印象では、私はisGeneralizationOfの実装が結合と分離について異なると考えました。特に

、Iは、連携するためのロジックは

（1）specXはspecAとspecBの組み合わせとするだろうと思いました。 specXとspecBの両方がspecCの一般化である場合のみ、specXはspecCの一般化です。

そして私は論理和のためのロジックが

（2）specYがspecAとspecBの論理和とするだろうと思いました。 specYまたはspecBがspecCの一般化である場合、specYはspecCの一般化です。

CompositeSpecification >> isGeneralizationOf: aSpecification 
"True if each component is subsumed. False if any component is not subsumed." 
^ (self components contains: 
     [:each |(each isGeneralizationOf: aSpecification) not ]) not 

は、（1）及び（2）正しいの私の推論です：

はしかし、文書の16ページに、彼らはこの方法を示していますか？それが間違っているなら、それはなぜですか？それが正しければ、なぜ、著者は結合と分離の両方の仕様によって継承される単一のメソッドを定義しましたか？彼らの意図は何ですか？

Answer 1

例として定義されています

The following models: the spec "a AND b" is specialization of "a OR b" 

({a,b} isSpecializationOf: {a}) & ({a,b} isSpecializationOf: {b}) 
-> true 

This following models: the spec "a OR b" is specialization of "a AND b" 

({a} isSpecializationOf: {a,b}) | ({b} isSpecializationOf: {a,b}) 
-> false 

あなたが最初にするので、オブジェクトaとbを定義する場合は、Squeakの中に、この素​​敵な構文を得ることができます{ }は、動的配列リテラルの特別な構文です（クラスArrayのisSpecializationOf：を定義します）。

Answer 2

CompositeSpecification >> isGeneralizationOf: aSpecification 
^aSpecification isSpecializationOf: self 

CompositeSpecification >> isSpecializationOf: aSpecification 
^self components includesAllOf: aSpecification 

#includesAllOfは：クラスコレクションに