Proposal for demangling:

[Christophe de Dinechin]

Interface:

namespace abi
{

struct demangler
{
	// Provide name to demangle
	void demangle(char *);
protected:
	// Output demangled characters
	// I don't know whether it is better to output
	// on char or a string... It seems there are
	// many cases where the demangler can put
	// multiple chars at the same time, but they
	// are not zero-terminated (we know the length)
	virtual void output(char c);
};


}


Implementation:

#include <abi> // Forgot the name we settled on...
#include <iostream>

using namespace std;

void abi::demangler::output(char c)
{
	cout << c;
}



Regards,
Christophe