public static void printError(int errorCode,String[] cause,Throwable throwable){
  printError(errorCode,cause);
  if (TLCGlobals.debug) {
    DebugPrinter.print("printing stacktrace in printError(int, Throwable, boolean)");
    throwable.printStackTrace(ToolIO.out);
  }
}

public static void printError ( int errorCode , String [ ] cause , Throwable throwable ) { printError ( errorCode , cause ) ; if ( TLCGlobals . debug ) { DebugPrinter . print ( "printing stacktrace in printError(int, Throwable, boolean)" ) ; throwable . printStackTrace ( ToolIO . out ) ; } }
prints the error by code and reports the exception message
