wali::witness::WitnessRule Class Reference

List of all members.

Public Member Functions
	WitnessRule (const Rule &r)
	constructor creates a RuleStub from a wali::wpds::Rule.
	~WitnessRule ()
	Destructor does nothing.
virtual void	accept (Visitor &v, bool visitOnce=false)
	Override Witness::accept.
virtual std::ostream &	prettyPrint (std::ostream &o, size_t depth) const
	Overrides Witness::prettyPrint.
RuleStub &	getRuleStub ()
Protected Attributes
RuleStub	stub

---

Detailed Description

This class bears witness to the fact that a rule was created with the supplied weight.

---

Constructor & Destructor Documentation

wali::witness::WitnessRule::WitnessRule

(

const Rule &

r

)

constructor creates a RuleStub from a wali::wpds::Rule.

See also:

Witness

Rule

wali::witness::WitnessRule::~WitnessRule

(

)

Destructor does nothing.

---

Member Function Documentation

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

Override Witness::accept.

Reimplemented from wali::witness::Witness.

References wali::Markable::mark(), and wali::witness::Visitor::visitRule().

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

Overrides Witness::prettyPrint.

Reimplemented from wali::witness::Witness.

References wali::witness::Witness::formatDepth(), wali::witness::RuleStub::print(), and stub.

RuleStub & wali::witness::WitnessRule::getRuleStub

(

)

References stub.

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

---

Member Data Documentation

RuleStub wali::witness::WitnessRule::stub [protected]

Referenced by getRuleStub(), and prettyPrint().

---

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

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