UnCoVer (Using Coverability for Verification)
|
This template class implements a CollectionCallback to a vector. More...
#include <VectorCallback.h>
Public Member Functions | |
VectorCallback (vector< E > &vec) | |
Generates a new callback with the given vector reference. More... | |
virtual | ~VectorCallback () |
Destroys this callback object. More... | |
virtual void | insert (E element) override |
Adds an object to the vector encapsulated by the callback object. | |
Private Attributes | |
vector< E > & | vec |
Stores a reference to a vector. | |
This template class implements a CollectionCallback to a vector.
It is initialized by a reference to a vector, to which any object added to the callback object will be relayed.
|
inline |
Generates a new callback with the given vector reference.
vec | a reference to a vector |
|
inlinevirtual |
Destroys this callback object.
This does not affect the referenced vector!