wali::witness::WitnessMerge Class Reference

List of all members.

Public Member Functions
	WitnessMerge (sem_elem_t weight, witness_merge_fn_t witness_merge_fn, witness_t caller, witness_t rule, witness_t callee)
	Constructor bears witness to a merge function being applied to left and right with result weight.
virtual	~WitnessMerge ()
virtual void	accept (Visitor &v, bool visitOnce=false)
	Override Witness::accept.
virtual void	reset_marks () const
	Override Witness::reset_marks.
virtual std::ostream &	prettyPrint (std::ostream &o, size_t depth) const
	Override Witness::pretty_print.
witness_t	caller ()
bool	hasCaller () const
witness_t	rule ()
bool	hasRule () const
witness_t	callee ()
bool	hasCallee () const
Protected Attributes
witness_merge_fn_t	witness_merge_fn
	the merge function used
witness_t	fCaller
	caller param to apply
witness_t	fRule
	calling rule
witness_t	fCallee
	callee param to apply

---

Constructor & Destructor Documentation

wali::witness::WitnessMerge::WitnessMerge	(	sem_elem_t	weight,
		witness_merge_fn_t	witness_merge_fn,
		witness_t	caller,
		witness_t	rule,
		witness_t	callee
	)

Constructor bears witness to a merge function being applied to left and right with result weight.

wali::witness::WitnessMerge::~WitnessMerge

(

)

[virtual]

---

Member Function Documentation

void wali::witness::WitnessMerge::accept	(	Visitor &	v,
		bool visitOnce	= false
	)			[virtual]

Override Witness::accept.

Reimplemented from wali::witness::Witness.

References callee(), caller(), hasCallee(), hasCaller(), hasRule(), wali::Markable::mark(), wali::Markable::marked(), rule(), and wali::witness::Visitor::visitMerge().

void wali::witness::WitnessMerge::reset_marks

(

)

const [virtual]

Override Witness::reset_marks.

Reimplemented from wali::witness::Witness.

References fCallee, fCaller, fRule, hasCallee(), hasCaller(), hasRule(), wali::Markable::marked(), and wali::Markable::unmark().

std::ostream & wali::witness::WitnessMerge::prettyPrint	(	std::ostream &	o,
		size_t	depth
	)			const [virtual]

Override Witness::pretty_print.

Reimplemented from wali::witness::Witness.

References fCallee, fCaller, wali::witness::Witness::formatDepth(), fRule, hasCallee(), hasCaller(), hasRule(), wali::witness::Witness::user_se, and witness_merge_fn.

witness_t wali::witness::WitnessMerge::caller

(

)

References fCaller.

Referenced by accept(), wali::witness::VisitorPrinter::visitMerge(), and wali::witness::VisitorDot::visitMerge().

bool wali::witness::WitnessMerge::hasCaller

(

)

const

References fCaller, and wali::ref_ptr< T >::is_valid().

Referenced by accept(), prettyPrint(), reset_marks(), wali::witness::VisitorPrinter::visitMerge(), and wali::witness::VisitorDot::visitMerge().

witness_t wali::witness::WitnessMerge::rule

(

)

References fRule.

Referenced by accept(), wali::witness::VisitorPrinter::visitMerge(), and wali::witness::VisitorDot::visitMerge().

bool wali::witness::WitnessMerge::hasRule

(

)

const

References fRule, and wali::ref_ptr< T >::is_valid().

Referenced by accept(), prettyPrint(), reset_marks(), wali::witness::VisitorPrinter::visitMerge(), and wali::witness::VisitorDot::visitMerge().

witness_t wali::witness::WitnessMerge::callee

(

)

References fCallee.

Referenced by accept(), wali::witness::VisitorPrinter::visitMerge(), and wali::witness::VisitorDot::visitMerge().

bool wali::witness::WitnessMerge::hasCallee

(

)

const

References fCallee, and wali::ref_ptr< T >::is_valid().

Referenced by accept(), prettyPrint(), reset_marks(), wali::witness::VisitorPrinter::visitMerge(), and wali::witness::VisitorDot::visitMerge().

---

Member Data Documentation

witness_merge_fn_t wali::witness::WitnessMerge::witness_merge_fn [protected]

the merge function used

Referenced by prettyPrint().

witness_t wali::witness::WitnessMerge::fCaller [protected]

caller param to apply

Referenced by caller(), hasCaller(), prettyPrint(), and reset_marks().

witness_t wali::witness::WitnessMerge::fRule [protected]

calling rule

Referenced by hasRule(), prettyPrint(), reset_marks(), and rule().

witness_t wali::witness::WitnessMerge::fCallee [protected]

callee param to apply

Referenced by callee(), hasCallee(), prettyPrint(), and reset_marks().

---

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

• Source/wali/witness/WitnessMerge.hpp
• Source/wali/witness/WitnessMerge.cpp