Function screen_buffer_add

src/intrf.c:69–105

int intr_nbr_line=0;

int screen_buffer_add(const char *_format, ...)
{
#ifndef DISABLED_FOR_FRAMAC
  char tmp[BUFFER_LINE_LENGTH+1];
  const char *start=tmp;
  va_list ap;
  memset(tmp, '\0', sizeof(tmp));
  va_start(ap, _format);
  vsnprintf(tmp, sizeof(tmp), _format, ap);
  va_end(ap);
  while(start!=NULL && intr_nbr_line<MAX_LINES)
  {
    const unsigned int dst_current_len=strlen(intr_buffer_screen[intr_nbr_line]);
    const char *end=strchr(start,'\n');
    unsigned int nbr=(end==NULL ? strlen(start) : (unsigned int)(end-start));
    if(nbr > BUFFER_LINE_LENGTH-dst_current_len)
      nbr=BUFFER_LINE_LENGTH-dst_current_len;

    memcpy(&intr_buffer_screen[intr_nbr_line][dst_current_len], start, nbr);
    intr_buffer_screen[intr_nbr_line][dst_current_len+nbr]='\0';
    if(end!=NULL)
    {
      if(++intr_nbr_line<MAX_LINES)
	intr_buffer_screen[intr_nbr_line][0]='\0';
      end++;
    }
    start=end;
  }
  /*	log_trace("aff_intr_buffer_screen %d =>%s<=\n",intr_nbr_line,tmp); */
  if(intr_nbr_line==MAX_LINES)
  {
    log_warning("Buffer can't store more than %d lines.\n", MAX_LINES);
    intr_nbr_line++;
  }
#endif
  return 0;
}

/*@
  @ ensures intr_nbr_line == 0;