filter.c
author viric@llimona
Wed, 29 Aug 2007 00:19:14 +0200
changeset 14 a961bb8806b9
parent 4 b2dfe3374454
child 31 2bcc08d0f1d8
permissions -rw-r--r--
first 'zparsetext'.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
0
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
     1
#include <stdio.h>
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
     2
#include <stdlib.h>
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
     3
#include <sys/select.h>
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
     4
#include <sys/types.h>
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
     5
#include <sys/wait.h>
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
     6
#include <unistd.h>
2
57a1fcb0c75c Some improvements.
viric@mandarina
parents: 1
diff changeset
     7
#include <fcntl.h>
0
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
     8
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
     9
#include "dictre.h"
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
    10
1
5af08d964c9e Better memory use.
viric@llimona
parents: 0
diff changeset
    11
enum
5af08d964c9e Better memory use.
viric@llimona
parents: 0
diff changeset
    12
{
3
ba1b3c2fcff2 Less memory use, less often output.
viric@mandarina
parents: 2
diff changeset
    13
    SIZESTEP=1000
1
5af08d964c9e Better memory use.
viric@llimona
parents: 0
diff changeset
    14
};
5af08d964c9e Better memory use.
viric@llimona
parents: 0
diff changeset
    15
0
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
    16
extern struct Def defs[];
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
    17
extern int ndefs;
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
    18
extern int dont_touch[];
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
    19
extern int ndont_touch;
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
    20
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
    21
static void more_memory(void **ptr, int size)
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
    22
{
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
    23
    void *new;
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
    24
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
    25
    new = realloc(*ptr, size);
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
    26
    *ptr = new;
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
    27
}
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
    28
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
    29
static
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
    30
char * manage_filter(const char *def, int deflen, int writeto, int readfrom,
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
    31
        int *outlen)
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
    32
{
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
    33
    int maxfd;
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
    34
    int defptr;
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
    35
    int outptr;
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
    36
    char *out;
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
    37
    int outsize;
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
    38
    int outrest;
2
57a1fcb0c75c Some improvements.
viric@mandarina
parents: 1
diff changeset
    39
    int res;
0
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
    40
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
    41
    out = 0;
1
5af08d964c9e Better memory use.
viric@llimona
parents: 0
diff changeset
    42
    outsize = SIZESTEP;
0
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
    43
    outptr = 0;
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
    44
    more_memory((void **) &out, outsize);
1
5af08d964c9e Better memory use.
viric@llimona
parents: 0
diff changeset
    45
    outrest = SIZESTEP;
0
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
    46
2
57a1fcb0c75c Some improvements.
viric@mandarina
parents: 1
diff changeset
    47
    /* We need unblocking write for select() */
57a1fcb0c75c Some improvements.
viric@mandarina
parents: 1
diff changeset
    48
    res = fcntl(writeto, F_SETFL, O_NONBLOCK);
57a1fcb0c75c Some improvements.
viric@mandarina
parents: 1
diff changeset
    49
    if (res == -1)
57a1fcb0c75c Some improvements.
viric@mandarina
parents: 1
diff changeset
    50
    {
57a1fcb0c75c Some improvements.
viric@mandarina
parents: 1
diff changeset
    51
        perror("Error setting nonblock to writeto");
57a1fcb0c75c Some improvements.
viric@mandarina
parents: 1
diff changeset
    52
        exit(-1);
57a1fcb0c75c Some improvements.
viric@mandarina
parents: 1
diff changeset
    53
    }
57a1fcb0c75c Some improvements.
viric@mandarina
parents: 1
diff changeset
    54
0
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
    55
    maxfd = writeto;
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
    56
    if (readfrom > maxfd)
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
    57
        maxfd = readfrom;
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
    58
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
    59
    defptr = 0;
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
    60
    do
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
    61
    {
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
    62
        fd_set writeset, readset;
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
    63
        FD_ZERO(&writeset);
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
    64
        FD_ZERO(&readset);
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
    65
        if (defptr < deflen)
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
    66
            FD_SET(writeto, &writeset);
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
    67
        FD_SET(readfrom, &readset);
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
    68
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
    69
        select(maxfd+1, &readset, &writeset, 0, 0);
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
    70
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
    71
        if (FD_ISSET(readfrom, &readset))
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
    72
        {
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
    73
            int res;
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
    74
            res = read(readfrom, out + outptr, outrest);
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
    75
            if (res == 0)
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
    76
            {
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
    77
                close(readfrom);
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
    78
                break;
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
    79
            }
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
    80
            outrest -= res;
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
    81
            outptr += res;
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
    82
            if (outrest == 0)
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
    83
            {
1
5af08d964c9e Better memory use.
viric@llimona
parents: 0
diff changeset
    84
                outrest = SIZESTEP;
5af08d964c9e Better memory use.
viric@llimona
parents: 0
diff changeset
    85
                outsize += SIZESTEP;
0
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
    86
                more_memory((void **) &out, outsize);
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
    87
            }
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
    88
        }
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
    89
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
    90
        if (FD_ISSET(writeto, &writeset))
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
    91
        {
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
    92
            int res;
1
5af08d964c9e Better memory use.
viric@llimona
parents: 0
diff changeset
    93
            res = write(writeto, def+defptr, deflen - defptr);
5af08d964c9e Better memory use.
viric@llimona
parents: 0
diff changeset
    94
            defptr += res;
0
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
    95
            if (defptr >= deflen)
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
    96
                close(writeto);
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
    97
        }
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
    98
    } while(1);
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
    99
2
57a1fcb0c75c Some improvements.
viric@mandarina
parents: 1
diff changeset
   100
    /*
57a1fcb0c75c Some improvements.
viric@mandarina
parents: 1
diff changeset
   101
    {
57a1fcb0c75c Some improvements.
viric@mandarina
parents: 1
diff changeset
   102
        int i;
57a1fcb0c75c Some improvements.
viric@mandarina
parents: 1
diff changeset
   103
        printf("In : ");
57a1fcb0c75c Some improvements.
viric@mandarina
parents: 1
diff changeset
   104
        for(i=0; i < deflen; ++i)
57a1fcb0c75c Some improvements.
viric@mandarina
parents: 1
diff changeset
   105
            putchar(def[i]);
57a1fcb0c75c Some improvements.
viric@mandarina
parents: 1
diff changeset
   106
        printf("\nOut: ");
57a1fcb0c75c Some improvements.
viric@mandarina
parents: 1
diff changeset
   107
        for(i=0; i < outptr; ++i)
57a1fcb0c75c Some improvements.
viric@mandarina
parents: 1
diff changeset
   108
            putchar(out[i]);
57a1fcb0c75c Some improvements.
viric@mandarina
parents: 1
diff changeset
   109
        putchar('\n');
57a1fcb0c75c Some improvements.
viric@mandarina
parents: 1
diff changeset
   110
    }
57a1fcb0c75c Some improvements.
viric@mandarina
parents: 1
diff changeset
   111
    */
57a1fcb0c75c Some improvements.
viric@mandarina
parents: 1
diff changeset
   112
0
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   113
    if (defptr < deflen)
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   114
    {
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   115
        fprintf(stderr, "Error in filter! not all written.\n");
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   116
        exit(-1);
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   117
    }
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   118
3
ba1b3c2fcff2 Less memory use, less often output.
viric@mandarina
parents: 2
diff changeset
   119
    /* Give away memory don't needed */
ba1b3c2fcff2 Less memory use, less often output.
viric@mandarina
parents: 2
diff changeset
   120
    more_memory((void **) &out, outptr);
ba1b3c2fcff2 Less memory use, less often output.
viric@mandarina
parents: 2
diff changeset
   121
0
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   122
    *outlen = outptr;
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   123
    return out;
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   124
}
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   125
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   126
static char * filter(char *def, int deflen, const char *filter_par, int *outlen)
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   127
{
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   128
    int write_pipe[2];
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   129
    int read_pipe[2];
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   130
    int pid;
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   131
    int res;
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   132
    int status;
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   133
    char *out;
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   134
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   135
    pipe(write_pipe);
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   136
    pipe(read_pipe);
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   137
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   138
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   139
    pid = fork();
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   140
    switch(pid)
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   141
    {
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   142
        case 0:  /* child */
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   143
            close(0);
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   144
            dup(write_pipe[0]);
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   145
            close(write_pipe[0]);
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   146
            close(write_pipe[1]);
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   147
            close(1);
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   148
            dup(read_pipe[1]);
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   149
            close(read_pipe[1]);
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   150
            close(read_pipe[0]);
2
57a1fcb0c75c Some improvements.
viric@mandarina
parents: 1
diff changeset
   151
            execl(filter_par, filter_par, 0);
0
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   152
            perror("execlp");
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   153
            exit(-1);
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   154
            break;
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   155
        case -1:
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   156
            perror("fork");
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   157
            exit(-1);
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   158
            break;
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   159
        default:  /* parent */
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   160
            close(write_pipe[0]);
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   161
            close(read_pipe[1]);
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   162
            break;
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   163
    }
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   164
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   165
    /* parent */
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   166
    out = manage_filter(def, deflen, write_pipe[1], read_pipe[0], outlen);
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   167
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   168
    res = wait(&status);
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   169
    if (res != pid || WEXITSTATUS(status) != 0)
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   170
    {
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   171
        fprintf(stderr, "Error filtering: pid=%i status=%i",
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   172
                pid, WEXITSTATUS(status));
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   173
        exit(-1);
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   174
    }
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   175
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   176
    return out;
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   177
}
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   178
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   179
static int in_dont_touch(int n)
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   180
{
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   181
    int i;
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   182
    for(i =0; i < ndont_touch; ++i)
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   183
    {
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   184
        if (n == dont_touch[i])
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   185
        {
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   186
            return 1;
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   187
        }
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   188
    }
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   189
    return 0;
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   190
}
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   191
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   192
void filter_all(const char *filter_par)
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   193
{
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   194
    int i;
2
57a1fcb0c75c Some improvements.
viric@mandarina
parents: 1
diff changeset
   195
    static int dispndefs = 0;
57a1fcb0c75c Some improvements.
viric@mandarina
parents: 1
diff changeset
   196
    static int filtereddefs = 0;
0
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   197
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   198
    for(i=0; i < ndefs; ++i)
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   199
    {
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   200
        char *newdef;
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   201
        int newdeflen;
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   202
        if (!in_dont_touch(i))
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   203
        {
1
5af08d964c9e Better memory use.
viric@llimona
parents: 0
diff changeset
   204
            if (defs[i].length > 0)
5af08d964c9e Better memory use.
viric@llimona
parents: 0
diff changeset
   205
            {
5af08d964c9e Better memory use.
viric@llimona
parents: 0
diff changeset
   206
                newdef = filter(defs[i].d, defs[i].length,
5af08d964c9e Better memory use.
viric@llimona
parents: 0
diff changeset
   207
                        filter_par, &newdeflen);
5af08d964c9e Better memory use.
viric@llimona
parents: 0
diff changeset
   208
                defs[i].length = newdeflen;
5af08d964c9e Better memory use.
viric@llimona
parents: 0
diff changeset
   209
                free(defs[i].d);
5af08d964c9e Better memory use.
viric@llimona
parents: 0
diff changeset
   210
                defs[i].d = newdef;
5af08d964c9e Better memory use.
viric@llimona
parents: 0
diff changeset
   211
            }
2
57a1fcb0c75c Some improvements.
viric@mandarina
parents: 1
diff changeset
   212
            filtereddefs++; /* Not really all filtered. All but the 00-database* */
57a1fcb0c75c Some improvements.
viric@mandarina
parents: 1
diff changeset
   213
            dispndefs++;
3
ba1b3c2fcff2 Less memory use, less often output.
viric@mandarina
parents: 2
diff changeset
   214
            if (dispndefs >= 1000)
2
57a1fcb0c75c Some improvements.
viric@mandarina
parents: 1
diff changeset
   215
            {
57a1fcb0c75c Some improvements.
viric@mandarina
parents: 1
diff changeset
   216
                dispndefs = 0;
3
ba1b3c2fcff2 Less memory use, less often output.
viric@mandarina
parents: 2
diff changeset
   217
                printf("Filtered: %i/%i (%f%%)\n", filtereddefs, ndefs,
4
b2dfe3374454 Fixed filtered %, and msg on sort.
viric@mandarina
parents: 3
diff changeset
   218
                        (float) filtereddefs / (float) ndefs * 100.);
2
57a1fcb0c75c Some improvements.
viric@mandarina
parents: 1
diff changeset
   219
            }
0
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   220
        }
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   221
    }
7f37716d4f1e Initial. Awful makefile.
viric@llimona
parents:
diff changeset
   222
}