report_violation()

void stfinv::report_violation	(	const char *	message,
		const char *	file,
		const int &	line,
		const char *	condition
	)

report violation of assertion

report violation of condition

Parameters

message	message of type char*
file	name of source code file
line	source code line number
condition	assert condition

Definition at line 124 of file error.cc.

  {
    std::cerr << std::endl;
    std::cerr << "VIOLATION of condition: " << condition << std::endl; 
    std::cerr << "* in " << file  << " at line " << line << std::endl; 
    std::cerr << "* message: " << message << std::endl; 
  }