Template Class ObjectIdentifierCounter

• Defined in File object_identifier.h

Class Documentation

template <typename T>
class ObjectIdentifierCounter

Object representing counters to obtain object IDs.

The ObjectIdentifier counter enforces that the most significant 12bits store the id of the Locality where the object has been created. The remaining 48bits contain a unique number identifying the object.

Public Functions

ObjectIdentifier<T> operator++(int)

Operator post-increment.

operator uint64_t() const

Conversion operator to uint64_t.

Public Static Functions

static ObjectIdentifierCounter<T> &Instance()

Get the singleton instance of the counter for the type T.

Return

A reference to the singleton counter object for the type T.