Checking contextual integrity

[Ian Young]

On 30 May 2013, at 18:12, "Cantor, Scott" <cantor.2 at osu.edu> wrote:

> I hadn't. If that looks cleaner, ok, but I think it would still break from
> the Predicate interface anyway.

Yes, I think that we can't get what we want out of Predicate without using throwing, and I agree with the concerns people have voiced about that option.

You could express this in terms of a subinterface of Predicate, I suppose, if that sounded worthwhile.  I'm not sure it is.

> My intuition is that it might be slower in some cases, requiring
> duplication of activity in the two boolean methods.

I'd have that concern too, but I don't know enough about what would be in the actual predicates to know if it would be an issue.  I'm really just trying to make sure we've explored the space completely before settling.

	-- Ian