UnCoVer (Using Coverability for Verification)
 All Classes Namespaces Functions Variables Typedefs Enumerations Enumerator Friends Pages
Public Member Functions | Protected Member Functions | List of all members
CollectionCallback< E > Class Template Referenceabstract

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>

Inheritance diagram for CollectionCallback< E >:
Inheritance graph
[legend]

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...
 

Detailed Description

template<typename E>
class uncover::basic_types::CollectionCallback< E >

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.

Author
Jan Stückrath

Constructor & Destructor Documentation

CollectionCallback ( )
inlineprotected

Creates a new instance of this object.

Can only be called by subclasses.

Member Function Documentation

virtual void insert ( element)
pure virtual

Adds an element to the collection hidden by this callback object.

Exact handling of the element depends on the derived class.

Parameters
elementthe element which should be added.

Implemented in PreparedGTS::StdRuleMapCB, and VectorCallback< E >.


The documentation for this class was generated from the following file: