class default_class_definition_iterator :
class_definition_iterator
The default "iterator", that iterates over the whole structure by
doing nothing. When inheriting from this class, one should not forget
to call the parent methods in order to ensure that the whole
structure is traversed.