Classes to perform validation of the results of buffer operations.