DiaDes
0.1
DIAgnosis of Discrete-Event System
|
#include <IdGenerators.hh>
Public Types | |
using | BasicString = std::string |
using | IdGen = IdGenerator< BasicString > |
Public Member Functions | |
PrefixedCounterIdGenerator ()=default | |
PrefixedCounterIdGenerator (PrefixedCounterIdGenerator const &other)=default | |
PrefixedCounterIdGenerator & | operator= (PrefixedCounterIdGenerator const &other)=default |
PrefixedCounterIdGenerator (PrefixedCounterIdGenerator &&other)=default | |
PrefixedCounterIdGenerator & | operator= (PrefixedCounterIdGenerator &&other)=default |
virtual | ~PrefixedCounterIdGenerator ()=default |
PrefixedCounterIdGenerator (const std::string &prefix) | |
PrefixedCounterIdGenerator (const std::string &prefix, size_t counter) | |
virtual void | init () |
virtual std::string | another () |
Private Attributes | |
BasicString | _prefix |
size_t | _initial |
size_t | _counter |
note
that it is specialised for std::string because of std::to_string
Definition at line 46 of file IdGenerators.hh.
using Diades::Utils::PrefixedCounterIdGenerator::BasicString = std::string |
Definition at line 49 of file IdGenerators.hh.
Definition at line 50 of file IdGenerators.hh.
|
default |
Default constructor
|
default |
Copy constructor (default)
other |
|
default |
Move constructor (default)
other |
|
virtualdefault |
Destructor
|
inline |
Parametrised constructor
prefix | the Prefix of every generated identifier By using init() the first generated identifier will be "prefix0" |
Definition at line 98 of file IdGenerators.hh.
|
inline |
Parametrised constructor
prefix | the Prefix of every generated identifier |
counter | the initial counter By using init() the first generated identifier will be "prefixN" with counter = N |
Definition at line 108 of file IdGenerators.hh.
|
inlinevirtual |
Implements Diades::Utils::IdGenerator< std::string >.
Definition at line 128 of file IdGenerators.hh.
|
inlinevirtual |
Reinitialise the generator
Implements Diades::Utils::IdGenerator< std::string >.
Definition at line 116 of file IdGenerators.hh.
|
default |
|
default |
|
private |
Definition at line 55 of file IdGenerators.hh.
|
private |
Definition at line 54 of file IdGenerators.hh.
|
private |
Definition at line 53 of file IdGenerators.hh.