ROSE
0.9.12.28
|
ID class for database objects.
Definition at line 594 of file BinaryConcolic.h.
#include <BinaryConcolic.h>
Public Types | |
typedef size_t | Value |
Type of ID. More... | |
typedef Sawyer::Optional< Value > | Super |
Supertype of this class. More... | |
typedef Tag | Object |
Type of object to which this ID refers. More... | |
Public Types inherited from Sawyer::Optional< size_t > | |
typedef size_t | Value |
Type of stored value. More... | |
Public Member Functions | |
ObjectId (const Value &v) | |
ObjectId (const ObjectId &rhs) | |
ObjectId (const std::string &s) | |
Construct by parsing a string. More... | |
ObjectId< Tag > & | operator= (const ObjectId< Tag > &lhs) |
Assignment operator to replace default generated one. More... | |
ObjectId< Tag > & | operator= (const Value &v) |
Assignment overload to allow assignments of Value objects. More... | |
Public Member Functions inherited from Sawyer::Optional< size_t > | |
Optional () | |
Default constructs nothing. More... | |
Optional (const Value &v) | |
Construct from value. More... | |
Optional (const Nothing &) | |
Construct from nothing. More... | |
Optional (const Optional &other) | |
Copy constructor. More... | |
~Optional () | |
Destructor. More... | |
Optional & | operator= (const Value &value) |
Value assignment. More... | |
Optional & | operator= (const Nothing &) |
Nothing assignment. More... | |
Optional & | operator= (const Optional &other) |
Optional assignment. More... | |
Value | orDefault () const |
Obtain a value or a default. More... | |
bool | assignTo (U &out) const |
Conditionally save a value. More... | |
operator unspecified_bool () const | |
Type for Boolean context. More... | |
const Value & | operator* () const |
Dereference to obtain value. More... | |
Value & | operator* () |
Dereference to obtain value. More... | |
const Value & | get () const |
Dereference to obtain value. More... | |
Value & | get () |
Dereference to obtain value. More... | |
const Value * | operator-> () const |
Obtain a pointer to the value. More... | |
Value * | operator-> () |
Obtain a pointer to the value. More... | |
const Value & | orElse (const Value &dflt) const |
Obtain value or something else. More... | |
const Value & | orElse (Value &dflt) |
Obtain value or something else. More... | |
bool | isEqual (const Optional &other) const |
Compare two values. More... | |
bool | isEqual (const Value &other) const |
Compare two values. More... | |
bool | isEqual (const Nothing &) const |
Compare two values. More... | |
Friends | |
template<class _Tag > | |
bool | operator< (const ObjectId< _Tag > &lhs, const ObjectId< _Tag > &rhs) |
external operator to define ordering. More... | |
typedef size_t Rose::BinaryAnalysis::Concolic::ObjectId< Tag >::Value |
Type of ID.
Definition at line 596 of file BinaryConcolic.h.
typedef Sawyer::Optional<Value> Rose::BinaryAnalysis::Concolic::ObjectId< Tag >::Super |
Supertype of this class.
Definition at line 597 of file BinaryConcolic.h.
typedef Tag Rose::BinaryAnalysis::Concolic::ObjectId< Tag >::Object |
Type of object to which this ID refers.
Definition at line 598 of file BinaryConcolic.h.
|
inlineexplicit |
Construct by parsing a string.
This constructor creates an object ID by parsing it from a string. The string should consist of optional white space, followed by a non-negative integer in C-style syntax (an optional radix prefix "0x", "0b", or "0", followed by digits followed by optional additional white space. Syntactically incorrect input will result in throwing an Exception.
Definition at line 614 of file BinaryConcolic.h.
References Rose::StringUtility::cEscape().
|
inline |
Assignment operator to replace default generated one.
Definition at line 628 of file BinaryConcolic.h.
|
inline |
Assignment overload to allow assignments of Value objects.
Definition at line 634 of file BinaryConcolic.h.
|
friend |
external operator to define ordering.