Key.cpp File Reference

Namespaces
namespace	wali
Functions
KeySpace *	wali::getKeySpace ()
	This class defines the wali keyspace.
void	wali::clearKeyspace ()
Key	wali::getKey (key_src_t ks)
	Wrapper functions.
Key	wali::getKey (const std::string &s)
Key	wali::getKey (const char *s)
Key	wali::getKey (int i)
Key	wali::getKey (Key k1, Key k2)
Key	wali::getKey (std::set< Key > ks)
key_src_t	wali::getKeySource (Key k)
	Return KeySource associated with the key k.
std::ostream &	wali::printKey (std::ostream &o, Key k, bool abbreviate)
std::string	wali::key2str (Key k)
	Returns string representation of the key Essentially performs the lookup from Key to KeySource and calls KeySource::to_string.