wali::IMergeFn Class Reference

Class IMergeFn defines the interface that all merge functions must satisfy. More...

List of all members.

Public Member Functions
	IMergeFn ()
virtual	~IMergeFn ()
virtual sem_elem_t	apply_f (sem_elem_t w1, sem_elem_t w2)=0
	Return the result of merging the weight [w1] from the caller with the weight [w2] that summarizes the callee.
virtual bool	equal (merge_fn_t mf)=0
Static Public Attributes
static const std::string	XMLTag

---

Detailed Description

Class IMergeFn defines the interface that all merge functions must satisfy.

---

Constructor & Destructor Documentation

wali::IMergeFn::IMergeFn

(

)

wali::IMergeFn::~IMergeFn

(

)

[virtual]

---

Member Function Documentation

virtual sem_elem_t wali::IMergeFn::apply_f	(	sem_elem_t	w1,
		sem_elem_t	w2
	)			[pure virtual]

Return the result of merging the weight [w1] from the caller with the weight [w2] that summarizes the callee.

Returns:

sem_elem_t summarizing the path from call -> enter -> exit -> return

Implemented in wali::MergeFn, and wali::witness::WitnessMergeFn.

virtual bool wali::IMergeFn::equal

(

merge_fn_t

mf

)

[pure virtual]

Implemented in wali::MergeFn, and wali::witness::WitnessMergeFn.

---

Member Data Documentation

const std::string wali::IMergeFn::XMLTag [static]

---

The documentation for this class was generated from the following files:

• Source/wali/IMergeFn.hpp
• Source/wali/IMergeFn.cpp