//DEBUG class definition
//
//   Usage:
//      debug=new debug();

function debug (){
	//methods
	this.setdefaultparameters = function(){// {{{
	}// }}}
	this.disp= function(){// {{{
		console.log(sprintf('   debug parameters:'));
		console.log(sprintf('   debug parameters:'));

		fielddisplay(this,'valgrind','use Valgrind to debug (0 or 1)');
		fielddisplay(this,'gprof','use gnu-profiler to find out where the time is spent');
		fielddisplay(this,'profiling','enables profiling (memory, flops, time)');

	}// }}}
	//properties 
	// {{{
	this.valgrind = false;
	this.gprof    = false;
	this.profiling = false;
	this.setdefaultparameters();
	//}}}
}