wali::witness::VisitorDot Class Reference

List of all members.

Public Member Functions
	VisitorDot (std::ostream &o)
virtual	~VisitorDot ()
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	printNodeName (Witness *w)
void	printEdge (Witness *head, Witness *tail)
void	printNode (Witness *w, std::string color)
void	printNode (Witness *w, std::string color, std::string label)
void	printNodeName (witness_t &wit)
void	printEdge (witness_t &h, witness_t &t)
void	printNode (witness_t &w, std::string color)
Protected Attributes
std::ostream &	os

---

Constructor & Destructor Documentation

wali::witness::VisitorDot::VisitorDot

(

std::ostream &

o

)

References os.

wali::witness::VisitorDot::~VisitorDot

(

)

[virtual]

References os.

---

Member Function Documentation

bool wali::witness::VisitorDot::visit

(

Witness *

w

)

[virtual]

Reimplemented from wali::witness::Visitor.

References printNode().

bool wali::witness::VisitorDot::visitExtend

(

WitnessExtend *

w

)

[virtual]

Reimplemented from wali::witness::Visitor.

References wali::ref_ptr< T >::get_ptr(), wali::witness::WitnessExtend::hasLeft(), wali::witness::WitnessExtend::hasRight(), wali::witness::WitnessExtend::left(), printEdge(), printNode(), wali::witness::WitnessExtend::right(), and wali::witness::Witness::weight().

bool wali::witness::VisitorDot::visitCombine

(

WitnessCombine *

w

)

[virtual]

Reimplemented from wali::witness::Visitor.

References wali::witness::WitnessCombine::children(), printEdge(), printNode(), and wali::witness::Witness::weight().

bool wali::witness::VisitorDot::visitRule

(

WitnessRule *

w

)

[virtual]

Reimplemented from wali::witness::Visitor.

References wali::witness::WitnessRule::getRuleStub(), printNode(), and wali::Printable::toString().

bool wali::witness::VisitorDot::visitTrans

(

WitnessTrans *

w

)

[virtual]

Reimplemented from wali::witness::Visitor.

References wali::witness::WitnessTrans::getTrans(), printNode(), and wali::Printable::toString().

bool wali::witness::VisitorDot::visitMerge

(

WitnessMerge *

w

)

[virtual]

Reimplemented from wali::witness::Visitor.

References wali::witness::WitnessMerge::callee(), wali::witness::WitnessMerge::caller(), wali::ref_ptr< T >::get_ptr(), wali::witness::WitnessMerge::hasCallee(), wali::witness::WitnessMerge::hasCaller(), wali::witness::WitnessMerge::hasRule(), printEdge(), printNode(), wali::witness::WitnessMerge::rule(), and wali::witness::Witness::weight().

void wali::witness::VisitorDot::printNodeName

(

Witness *

w

)

References os.

Referenced by printEdge(), printNode(), and printNodeName().

void wali::witness::VisitorDot::printEdge	(	Witness *	head,
		Witness *	tail
	)

References os, and printNodeName().

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

void wali::witness::VisitorDot::printNode	(	Witness *	w,
		std::string	color
	)

References wali::witness::Witness::weight().

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

void wali::witness::VisitorDot::printNode	(	Witness *	w,
		std::string	color,
		std::string	label
	)

References os, and printNodeName().

void wali::witness::VisitorDot::printNodeName

(

witness_t &

wit

)

References wali::ref_ptr< T >::get_ptr(), and printNodeName().

void wali::witness::VisitorDot::printEdge	(	witness_t &	h,
		witness_t &	t
	)

References wali::ref_ptr< T >::get_ptr(), and printEdge().

void wali::witness::VisitorDot::printNode	(	witness_t &	w,
		std::string	color
	)

References wali::ref_ptr< T >::get_ptr(), and printNode().

---

Member Data Documentation

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

Referenced by printEdge(), printNode(), printNodeName(), VisitorDot(), and ~VisitorDot().

---

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

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