UnCoVer (Using Coverability for Verification)
|
This template provides a possibility to add elements to a collection without having a reference to the collection of knowing its type. More...
#include <CollectionCallback.h>
Public Member Functions | |
virtual | ~CollectionCallback () |
Destroys the current instance of this object. | |
virtual void | insert (E element)=0 |
Adds an element to the collection hidden by this callback object. More... | |
Protected Member Functions | |
CollectionCallback () | |
Creates a new instance of this object. More... | |
This template provides a possibility to add elements to a collection without having a reference to the collection of knowing its type.
It can be used by functions and objects which simply fill up a collection. An implementation of this template has to specify how the insertion of new elements should be performed.
|
inlineprotected |
Creates a new instance of this object.
Can only be called by subclasses.
|
pure virtual |
Adds an element to the collection hidden by this callback object.
Exact handling of the element depends on the derived class.
element | the element which should be added. |
Implemented in PreparedGTS::StdRuleMapCB, and VectorCallback< E >.