void error (  ) 

calls cleanup() then exits

Some output in case an error has occured.

Postcondition:
all goals from cleanup

programm terminated

Todo:
move this to debug.cc and debug.h

Definition at line 880 of file debug.cc.

References cleanup(), globals::filename, log_filename, trace(), and TRACE_WARNINGS.

Referenced by WSDL::checkVariable().

00881 {
00882   trace("\nAn error has occured while parsing \"" + globals::filename + "\"!\n\n");
00883   trace(TRACE_WARNINGS, "-> Any output file might be in an undefinded state.\n");
00884 
00885   cleanup();
00886 
00887   if (log_filename != "")
00888   {
00889     trace("\nProgramme aborted due to error.\n\n");
00890     trace("Please check logfile for detailed information!\n\n");
00891   }
00892 
00893   exit(4);
00894 }

Here is the call graph for this function:

Here is the caller graph for this function:


Generated on Thu Jan 24 04:01:02 2008 for GNU BPEL2oWFN by  doxygen 1.5.2