dotting.c

Go to the documentation of this file.

/*
 
  $Id: dotting.c 23065 2016-03-02 09:05:50Z coelho $
 
  Copyright 1989-2016 MINES ParisTech
 
  This file is part of PIPS.
 
  PIPS is free software: you can redistribute it and/or modify it
  under the terms of the GNU General Public License as published by
  the Free Software Foundation, either version 3 of the License, or
  any later version.
 
  PIPS is distributed in the hope that it will be useful, but WITHOUT ANY
  WARRANTY; without even the implied warranty of MERCHANTABILITY or
  FITNESS FOR A PARTICULAR PURPOSE.
 
  See the GNU General Public License for more details.
 
  You should have received a copy of the GNU General Public License
  along with PIPS.  If not, see <http://www.gnu.org/licenses/>.
 
*/
#ifdef HAVE_CONFIG_H
    #include "pips_config.h"
#endif
 /* Sorry to keep you waiting... 
  *
  * Emit a message and then a waiting character every second till it is
  * notified to shut up.
  *
  * Francois Irigoin, 18 April 1990
  *
  * Modification:
  *  - installed in Lib/misc/dotting.c, 21 April 1990
  *  - no more dotting: in wpips, the window io associated to each
  * dotting requires a malloc(); as it may occur at any time, malloc()
  * (or free()) may be already active and wpips core dumps;
  * (Francois Irigoin, Bruno Baron, ?? ???? 1990)
  */
 
#include <stdlib.h>
#include <stdio.h>
#include <stdarg.h>
#include <signal.h>
 
#include "genC.h"
 
#include "misc.h"
 
/*
static FILE * dotting_file;
static char dotting_character;
*/
 
/*
static void print_dot()
{
    if (dotting_file == stdout) 
        user_log("%c", dotting_character);
    else {
        (void) putc(dotting_character, dotting_file);
        if(dotting_file!=stderr) fflush(dotting_file);
    }
    alarm(1);
}
*/
 
/* start_dotting: the profile should be changed and varargs used so as
 * to let user emit the initial message as with a fprintf
 * the dotting character could be a constant (e.g. '.') or be passed
 * as first argument
 * start_dotting(dotting_file, dotting_character, format, args)
 */
 
/*VARARGS3*/
void
start_dotting(FILE * dotting_file,
              const char dotting_character,
              const char * fmt,
              ...)
{
   pips_debug(9, "dotting with '%c'", dotting_character);
 
   va_list args;
 
   va_start(args, fmt);
 
   if (dotting_file == stdout) 
      (* pips_log_handler)(fmt, &args);
   else {
      vfprintf(dotting_file, fmt, args);
      if(dotting_file!=stderr) fflush(dotting_file);
   }
   va_end(args);
/*
  if((int) signal(SIGALRM, print_dot)==-1) {
  pips_internal_error("signal error");
  exit(1);
  }
  alarm(1);
  */
}
 
void stop_dotting()
{
/*    alarm(0);
    (void) signal(SIGALRM, SIG_DFL);
 
    Vire le "\n" qui interfère... RK.
    if (dotting_file == stdout) 
        user_log("\n");
    else {
        (void) putc('\n', dotting_file);
        if(dotting_file!=stderr) fflush(dotting_file);
    }
*/
}