BBWriter Class Reference

#include <behavioral_writer_helper.hpp>

Inheritance diagram for BBWriter:

Collaboration diagram for BBWriter:

Public Member Functions
	BBWriter (const BBGraph *g, CustomUnorderedSet< vertex > annotated=CustomUnorderedSet< vertex >())
	The constructor. More...
void	operator() (std::ostream &out, const vertex &v) const override
	Operator used to print the label of a vertex. More...
Public Member Functions inherited from VertexWriter
	VertexWriter (const graph *_graph, const int _detail_level)
	Constructor. More...
virtual	~VertexWriter ()=default
	Destructor. More...

Private Attributes
const FunctionBehaviorConstRef	function_behavior
	The function behavior. More...
const BehavioralHelperConstRef	helper
	The helper. More...
CustomUnorderedSet< vertex >	annotated
	The set of vertices to be annotated. More...

Additional Inherited Members
Protected Attributes inherited from VertexWriter
const graph *	printing_graph
	The graph to be printed. More...
const int	detail_level
	The detail level. More...

Detailed Description

Definition at line 149 of file behavioral_writer_helper.hpp.

Constructor & Destructor Documentation

BBWriter()

BBWriter::BBWriter	(	const BBGraph *	g,
		CustomUnorderedSet< vertex >	annotated = CustomUnorderedSet<vertex>()
	)

The constructor.

Parameters

g	is the graph to be printed
annotated	is the set of the vertices to be annotated

Definition at line 81 of file behavioral_writer_helper.cpp.

Member Function Documentation

operator()()

void BBWriter::operator() ( std::ostream &  out, const vertex &  v  ) const

overridevirtual

Operator used to print the label of a vertex.

Parameters

out	is the stream where label has to printed
v	is the vertex to be printed

Implements VertexWriter.

Definition at line 97 of file behavioral_writer_helper.cpp.

References annotated, CASE_BINARY_EXPRESSION, CASE_CPP_NODES, CASE_CST_NODES, CASE_DECL_NODES, CASE_FAKE_NODES, CASE_PRAGMA_NODES, CASE_QUATERNARY_EXPRESSION, CASE_TERNARY_EXPRESSION, CASE_TYPE_NODES, CASE_UNARY_EXPRESSION, function_behavior, GET_INDEX_NODE, tree_node::get_kind(), GET_NODE, helper, phi, VertexWriter::printing_graph, and STR.

Here is the call graph for this function:

Field Documentation

annotated

CustomUnorderedSet<vertex> BBWriter::annotated

private

The set of vertices to be annotated.

Definition at line 159 of file behavioral_writer_helper.hpp.

Referenced by operator()().

function_behavior

const FunctionBehaviorConstRef BBWriter::function_behavior

private

The function behavior.

Definition at line 153 of file behavioral_writer_helper.hpp.

Referenced by operator()().

helper

const BehavioralHelperConstRef BBWriter::helper

private

The helper.

Definition at line 156 of file behavioral_writer_helper.hpp.

Referenced by operator()().

---

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

• /workspace/src/behavior/behavioral_writer_helper.hpp
• /workspace/src/behavior/behavioral_writer_helper.cpp