Method output_stm

src/ReducerOutputMgr.cpp:727–764

	}
}
void
ReducerOutputMgr::output_stm(const Statement* stm, std::ostream &out, FactMgr* fm, int indent)
{
	string str_out;
	// print pre-statement assignments
	output_pre_stm_assigns(stm, out, indent);
	output_pre_stm_values(stm, out, fm, indent);

	if (reducer->replaced_stms.find(stm) != reducer->replaced_stms.end()) {
		const Statement* alt_stm = reducer->replaced_stms[stm];
		vector<string> labels;
		// special case for goto target: if the jump source is still around, we have to keep the label somehow
		if (reducer->find_missing_labels(stm, alt_stm, labels)) {
			for (size_t i=0; i<labels.size(); i++) {
				out << labels[i] << ": ;" << endl;
			}
		}
		if (alt_stm && alt_stm->eType == eBlock) {
			output_block((const Block*)alt_stm, out, indent, true);
		} else if (alt_stm) {
			output_stm(reducer->replaced_stms[stm], out, fm, indent);
		}
		return;
	}

	if (stm->func == reducer->rewrite_calls_inside) {
		rewrite_func_calls(stm, out, indent);
	}
	// print lable for jump detination
	string label = reducer->find_jump_label(stm);
	label.empty() ? (out << "") : (out << label << ":" << endl);

	output_alt_exprs(stm, out, indent);

	output_reduced_stm(stm, out, indent);

	output_post_stm_values(stm, out, fm, indent);
}

void
ReducerOutputMgr::rewrite_func_call(const Statement* stm, const FunctionInvocation* invoke, string tmp_id, std::ostream& out, int indent)