Public Member Functions | |
KeySpace () | |
~KeySpace () | |
wali::Key | getKey (key_src_t ks) |
get_key returns the unique wali::Key associated with the key_src_t ks. | |
wali::Key | getKey (const std::string &s) |
Wrapper method for createing a StringSource and inserting it into the KeySpace. | |
wali::Key | getKey (const char *s) |
Wrapper method for createing a StringSource and inserting it into the KeySpace. | |
wali::Key | getKey (int i) |
Wrapper method for createing a IntSource and inserting it into the KeySpace. | |
wali::Key | getKey (wali::Key k1, wali::Key k2) |
Wrapper method for createing a KeyPairSource and inserting it into the KeySpace. | |
key_src_t | getKeySource (wali::Key key) |
getKeySource retrieves the key_src_t associated to the wali::Key key. | |
void | clear () |
Reset the KeySpace. | |
size_t | size () |
Return the number of allocated keys. | |
wali::Key | getKey (std::set< wali::Key > kys) |
Wrapper method for creating a KeySetSource and inserting it into the KeySpace. | |
std::ostream & | printKey (std::ostream &o, wali::Key key, bool abbreviate=false) |
Helper method that looks up the key and calls KeySource::print. | |
std::string | key2str (wali::Key key) |
Return std::string rep of KeySource. | |
Protected Types | |
typedef wali::HashMap < key_src_t, wali::Key > | ks_hash_map_t |
typedef std::vector< key_src_t > | ks_vector_t |
Protected Attributes | |
ks_hash_map_t | keymap |
keymap maps key_src_t to wali::Key. | |
ks_vector_t | values |
wali::Key's are guaranteed to be unique w.r.t. |
typedef wali::HashMap< key_src_t, wali::Key > wali::KeySpace::ks_hash_map_t [protected] |
typedef std::vector< key_src_t > wali::KeySpace::ks_vector_t [protected] |
wali::KeySpace::KeySpace | ( | ) |
wali::KeySpace::~KeySpace | ( | ) |
wali_key_t wali::KeySpace::getKey | ( | key_src_t | ks | ) |
get_key returns the unique wali::Key associated with the key_src_t ks.
get_key returns the unique wali_key_t associated with the key_src_t ks.
If no such key exists, a new wali::Key will be generated.
key_src_t | ks for which a key is sought |
If no such key exists, a new wali_key_t will be generated.
key_src_t | ks for which a key is sought |
References wali::HashMap< Key, Data, HashFunc, EqualFunc >::end(), wali::HashMap< Key, Data, HashFunc, EqualFunc >::find(), wali::HashMap< Key, Data, HashFunc, EqualFunc >::insert(), keymap, and values.
Referenced by getKey().
Key wali::KeySpace::getKey | ( | const std::string & | s | ) |
Wrapper method for createing a StringSource and inserting it into the KeySpace.
References getKey().
Key wali::KeySpace::getKey | ( | const char * | s | ) |
Wrapper method for createing a StringSource and inserting it into the KeySpace.
References getKey().
Key wali::KeySpace::getKey | ( | int | i | ) |
Wrapper method for createing a KeyPairSource and inserting it into the KeySpace.
References getKey().
getKeySource retrieves the key_src_t associated to the wali::Key key.
getKeySource retrieves the key_src_t associated to the Key key.
If no such KeySource exists, then a NULL pointer (0) is returned.
key | whose correpsonding key_src_t is desired |
If no such KeySource exists, then a NULL pointer (0) is returned.
key | whose correpsonding key_src_t is desired |
References size(), and values.
Referenced by key2str(), and printKey().
void wali::KeySpace::clear | ( | ) |
Reset the KeySpace.
Clears all keys and deletes all KeySources
References wali::HashMap< Key, Data, HashFunc, EqualFunc >::clear(), keymap, wali::HashMap< Key, Data, HashFunc, EqualFunc >::size(), and values.
size_t wali::KeySpace::size | ( | ) |
Wrapper method for creating a KeySetSource and inserting it into the KeySpace.
std::ostream & wali::KeySpace::printKey | ( | std::ostream & | o, | |
wali::Key | key, | |||
bool | abbreviate = false | |||
) |
Helper method that looks up the key and calls KeySource::print.
If abbreviate is true and the string representation of the key being printed is greater than 20 characters, then the actual numeric key is printed instead.
References getKeySource(), wali::ref_ptr< T >::is_valid(), and wali::waliErr.
std::string wali::KeySpace::key2str | ( | wali::Key | key | ) |
Return std::string rep of KeySource.
Looks up the key and calls KeySource::to_string().
Looks up the key and calls KeySource::toString().
References getKeySource(), and wali::ref_ptr< T >::is_valid().
ks_hash_map_t wali::KeySpace::keymap [protected] |
ks_vector_t wali::KeySpace::values [protected] |