Key.hpp File Reference

This file defines the interface to the WALi KeySpace and methods for acting on Keys. More...

Go to the source code of this file.

Namespaces
namespace	wali
Typedefs
typedef size_t	wali::Key
	For now a Key is just an unsigned int.
typedef ref_ptr< KeySource >	wali::key_src_t
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.

---

Detailed Description

This file defines the interface to the WALi KeySpace and methods for acting on Keys.

Author:

Nicholas Kidd