std::ios::hex doesn't work for SPARTA_ADDPAIR

[quasiquote1]

Hello,
I created my own PairDefinition to be used by the Helios pipeline viewer, and I followed the same example as in ExampleInst.hpp (ExampleInstPairDef).

I am trying to display my addresses in hex instead of decimal, but even after using std::ios::hex I am unable to do this - it always comes out as decimal in the Helios pipeviewer tool.

Is this a known bug? Has this been fixed?
Thanks!

[klingaard]

Hmmm... it works in our models... I'll take a look and see what might be the problem.

[klingaard]

After chatting with a few folks that are more familiar with Argos, I found out that there was a hack added to Argos to explicitly convert named fields to hex for display.

map/helios/pipeViewer/transactiondb/src/Reader.hpp

Lines 566 to 575 in 7be1f32

	} else if (field_name == "pc" ||
	field_name == "pred_target" ||
	field_name == "vaddr" ||
	field_name == "va" ||
	field_name == "stf_va" ||
	field_name == "pa") {
	// This is a hex field
	std::stringstream int_str;
	int_str << "0x" << std::hex << int_value;
	pairt.stringVector.emplace_back(int_str.str());

Naturally, this isn't the preferred way -- we should be using the preset IOS format fields in the database. I'll file a bug and see if we can add this functionality. We could use it too.

[klingaard]

#277