Method output_value_dump

src/Variable.cpp:1251–1284

}

int
Variable::output_value_dump(ostream &out, string prefix, int indent) const
{
	size_t i;
	if (is_virtual()) {
		assert(!is_field_var());
		const ArrayVariable* av = (const ArrayVariable*)this;
		vector<intvec> all_indices;
		expand_within_ranges(av->get_sizes(), all_indices);
		for (i=0; i<all_indices.size(); i++) {
			ArrayVariable* member = av->itemize(all_indices[i]);
			member->output_value_dump(out, prefix, indent);
		}
	}
	else if (type->eType == eSimple) {
		output_print_str(out, prefix + to_string() + " = " + type->printf_directive() + "\\n", to_string(), indent);
		outputln(out);
	}
	else if (type->eType == eStruct) {
		for (i=0; i<field_vars.size(); i++) {
			// bit fields can not be taken address
			field_vars[i]->output_value_dump(out, prefix, indent);
		}
	}
	else if (type->eType == eUnion) {
		const vector<const Fact*>& facts = FactMgr::get_program_end_facts();
		for (i=0; i<field_vars.size(); i++) {
			if (FactUnion::is_field_readable(this, i, facts)) {
				field_vars[i]->output_value_dump(out, prefix, indent);
			}
		}
	}
	return 0;
}

const Variable*
Variable::match_var_name(const string& vname) const