Iterators wrappers?

[Chris Jefferson <caj at cs dot york dot ac dot uk>]

Hello,

I am currently working on some test cases for some functions in the 
algorithm header. I wondered if there exists any "exact iterator 
checkers", which (for example) given the begin() and end() iterators for 
a vector would only reveal exactly the required features of a 
bidirectional iterator and perhaps also further check for things like an 
iterator being moved after end() or before begin(). Such things would 
allow for more easily testing if an algorithm is using exactly the 
properties it is allowed to.

Chris