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

This template class implements a CollectionCallback to a vector. More...

#include <VectorCallback.h>

Inheritance diagram for VectorCallback< E >:
Inheritance graph
[legend]
Collaboration diagram for VectorCallback< E >:
Collaboration graph
[legend]

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.
 

Detailed Description

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

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.

Author
Jan Stückrath

Constructor & Destructor Documentation

VectorCallback ( vector< E > &  vec)
inline

Generates a new callback with the given vector reference.

Parameters
veca reference to a vector
virtual ~VectorCallback ( )
inlinevirtual

Destroys this callback object.

This does not affect the referenced vector!


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