wali::witness::VisitorPrinter Class Reference

List of all members.

Public Member Functions
	VisitorPrinter (std::ostream &o)
virtual	~VisitorPrinter ()
virtual bool	visit (Witness *w)
virtual bool	visitExtend (WitnessExtend *w)
virtual bool	visitCombine (WitnessCombine *w)
virtual bool	visitRule (WitnessRule *w)
virtual bool	visitTrans (WitnessTrans *w)
virtual bool	visitMerge (WitnessMerge *w)
void	formatDepth () const
	Prints " |" to parameter o for each level of depth.
Protected Attributes
std::ostream &	os
size_t	depth

---

Constructor & Destructor Documentation

wali::witness::VisitorPrinter::VisitorPrinter

(

std::ostream &

o

)

wali::witness::VisitorPrinter::~VisitorPrinter

(

)

[virtual]

---

Member Function Documentation

virtual bool wali::witness::VisitorPrinter::visit

(

Witness *

w

)

[virtual]

Reimplemented from wali::witness::Visitor.

bool wali::witness::VisitorPrinter::visitExtend

(

WitnessExtend *

w

)

[virtual]

Reimplemented from wali::witness::Visitor.

References depth, formatDepth(), wali::witness::WitnessExtend::hasLeft(), wali::witness::WitnessExtend::hasRight(), wali::witness::WitnessExtend::left(), os, wali::witness::WitnessExtend::right(), and wali::witness::Witness::weight().

bool wali::witness::VisitorPrinter::visitCombine

(

WitnessCombine *

w

)

[virtual]

Reimplemented from wali::witness::Visitor.

References wali::witness::WitnessCombine::children(), depth, formatDepth(), os, and wali::witness::Witness::weight().

bool wali::witness::VisitorPrinter::visitRule

(

WitnessRule *

w

)

[virtual]

Reimplemented from wali::witness::Visitor.

References formatDepth(), wali::witness::WitnessRule::getRuleStub(), os, and wali::witness::RuleStub::print().

bool wali::witness::VisitorPrinter::visitTrans

(

WitnessTrans *

w

)

[virtual]

Reimplemented from wali::witness::Visitor.

References formatDepth(), wali::witness::WitnessTrans::getTrans(), os, and wali::wfa::ITrans::print().

bool wali::witness::VisitorPrinter::visitMerge

(

WitnessMerge *

w

)

[virtual]

Reimplemented from wali::witness::Visitor.

References wali::witness::WitnessMerge::callee(), wali::witness::WitnessMerge::caller(), depth, formatDepth(), wali::witness::WitnessMerge::hasCallee(), wali::witness::WitnessMerge::hasCaller(), wali::witness::WitnessMerge::hasRule(), os, wali::witness::WitnessMerge::rule(), and wali::witness::Witness::weight().

void wali::witness::VisitorPrinter::formatDepth

(

)

const

Prints " |" to parameter o for each level of depth.

References depth, and os.

Referenced by visitCombine(), visitExtend(), visitMerge(), visitRule(), and visitTrans().

---

Member Data Documentation

std::ostream& wali::witness::VisitorPrinter::os [protected]

Referenced by formatDepth(), visitCombine(), visitExtend(), visitMerge(), visitRule(), and visitTrans().

size_t wali::witness::VisitorPrinter::depth [protected]

Referenced by formatDepth(), visitCombine(), visitExtend(), and visitMerge().

---

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

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