Method output_write_var_values

src/ReducerOutputMgr.cpp:879–905

}

void
ReducerOutputMgr::output_write_var_values(string title, const Statement* stm, std::ostream &out, FactMgr* fm, int indent, bool cover_block_writes)
{
	output_print_str(out, title, "", indent);
	outputln(out);
	size_t i;
	const Statement* s = stm;
	if (cover_block_writes) {
		s = stm->parent;
		assert(s);
	}
	const vector<const Variable *>& write_vars = fm->map_stm_effect[s].get_write_vars();
	for (i=0; i<write_vars.size(); i++) {
		const Variable* wvar = write_vars[i];
		if (wvar->is_visible(stm->parent) && reducer->is_var_used(wvar)) {
			// output printf statements to record the type of the variable
			ostringstream oss;
			//wvar->OutputDecl(oss);
			string dimen = StringUtils::int2str(wvar->get_dimension());
			oss << "<" << wvar->get_actual_name() << "(" << dimen << ")" << " = ";
			wvar->output_runtime_value(out, oss.str(), ">\\n", indent);
			outputln(out);
		}
	}
	output_print_str(out, "end of values\\n", "", indent);
	outputln(out);
}

void
ReducerOutputMgr::output_memory_addrs(const Statement* stm, std::ostream& out, int indent)