[Setools] What we have yet

[Alexandre Bergel]

> Sure, agreed. But let me give an example problem area which cannot  
> be addressed by extending OB. Let's say we have to deveop three  
> methods, isUnaryToken, isBinaryToken and isKeywordToken. The tests  
> for them must satisfy
>  isUnaryToken not or: isBinaryToken not.
>  isUnaryToken not or: isKeywordToken not.
>  isBinaryToken not or: isKeywordToken not.
> (note that there is not need for []'s in test clauses).
>
> How shall the problems arising from symmetry and neverending  
> recursion in these three simple example statements be addressed?

Why this "symmetry" has to be explicit ?

Alexandre
-- 
_,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:
Alexandre Bergel  http://www.cs.tcd.ie/Alexandre.Bergel
^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.