summaryrefslogtreecommitdiff
path: root/web/funnelAC/fwACsrc/analyse.c
blob: 3a2490c845920b1ed87754ee84d97205837837db (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
/*##############################################################################

FUNNNELWEB COPYRIGHT
====================
FunnelWeb is a literate-programming macro preprocessor.

Copyright (C) 1992 Ross N. Williams.

   Ross N. Williams
   ross@spam.adelaide.edu.au
   16 Lerwick Avenue, Hazelwood Park 5066, Australia.

This program is free software; you can redistribute it and/or modify
it under the terms of Version 2 of the GNU General Public License as
published by the Free Software Foundation.

This program is distributed WITHOUT ANY WARRANTY; without even the implied
warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
See Version 2 of the GNU General Public License for more details.

You should have received a copy of Version 2 of the GNU General Public
License along with this program. If not, you can FTP the license from
prep.ai.mit.edu/pub/gnu/COPYING-2 or write to the Free Software
Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.

Section 2a of the license requires that all changes to this file be
recorded prominently in this file. Please record all changes here.

Programmers:
   RNW  Ross N. Williams  ross@spam.adelaide.edu.au

Changes:
   07-May-1992  RNW  Program prepared for release under GNU GPL V2.
   03-Sep-1994  ABC  Added support for the automatic insertion of
                     line directives when `aldmname' is a non-null
                     string referring to a macro without parameters.
                     It is necessary to ignore @M or @Z for the
                     given line directive insertion macro.
   25-Jul-1995  ABC  Replaced `aldmname' with a list of structures
                     containing a source code type name (or NULL)
                     and a corresponding automatic line directive
                     insertion macro name.

##############################################################################*/


/******************************************************************************/
/*                                   ANALYSE.C                                */
/******************************************************************************/

#include "style.h"

#include "analyse.h"
#include "as.h"
#include "data.h"
#include "lister.h"
#include "misc.h"
#include "table.h"

/******************************************************************************/

LOCAL void chk_mac P_((p_ma_t));
LOCAL void chk_mac (p_ma)
p_ma_t p_ma;
{
 mc_t *call;
 /* ABC { */
 p_srcnmac_t p_srctype;
 bool isaldmQ;
 /* } ABC */

 /* Deal with undefined macros by flagging the first invocation. */
 if (!p_ma->ma_defn.md_isdef)
   {
    ls_loo(p_ma->ma_calls,(ulong) 1,PPV &call);
    as_cold(call!=NULL,"check_macro: No instances of \"undefined\" macro!");
    lr_err(&call->mc_ps,"Call to undefined macro.");
    return;
   }

 /* Assert: The macro has a definition. */

 /* Check that all the calls to the macro have the correct number of params. */
 ls_fir(p_ma->ma_calls);
 ls_nxt(p_ma->ma_calls,PPV &call);
 while (call!=NULL)
    {
     if (call->mc_npar != p_ma->ma_defn.md_npar)
       {
        sprintf(linet1,"Call has %lu parameter%s, but the macro",
                (ulong) call->mc_npar,
                call->mc_npar==1 ? "" : "s");
        lr_err(&(call->mc_ps),linet1);
        sprintf(linet1,"definition at line %lu specifies %lu parameter%s.",
                (ulong) p_ma->ma_defn.md_ps.ps_line,
                (ulong) p_ma->ma_defn.md_npar,
                p_ma->ma_defn.md_npar==1 ? "" : "s");
        lr_mes(&(call->mc_ps),linet1);
        if (p_ma->ma_defn.md_npar==0 && call->mc_npar==1)
          {
           lr_mes(&(call->mc_ps),"Note: If your call looks like this: @<Macro@>@(@) then you");
           lr_mes(&(call->mc_ps),"should be aware that FunnelWeb treats this as a call with");
           lr_mes(&(call->mc_ps),"a single parameter consisting of the empty string. This");
           lr_mes(&(call->mc_ps),"is a consequence of parameter delimiters @\"@\" being optional.");
          }
       }
     ls_nxt(p_ma->ma_calls,PPV &call);
    }

/* ABC { */
 /* Check if the macro is an automatic line directive insertion macro */
 isaldmQ = FALSE;
 ls_fir(srctlist);
 for (;;) { /* forever */
   ls_nxt(srctlist, (pp_lsel_t)&p_srctype);
   if (p_srctype == NULL) break;
   if (p_srctype->lnmac == NULL) continue;
   if (!strcmp(p_srctype->lnmac, p_ma->ma_name)) {
     isaldmQ = TRUE;
     break;
   } /* end if */
 } /* end forever */
/* } ABC */

 /* Check that the number of calls of the macro is legal. */
 if (p_ma->ma_defn.md_isfil)
   {
    /* Flag all calls to a file macro as errors. */
    if (ls_len(p_ma->ma_calls)>0)
      {
       lr_mes(&p_ma->ma_defn.md_ps,
              "This file macro is called one or more times.");
       lr_mes(&p_ma->ma_defn.md_ps,
              "Each call has been flagged with an error message.");
      }
    ls_fir(p_ma->ma_calls);
    ls_nxt(p_ma->ma_calls,PPV &call);
    while (call!=NULL)
      {
       lr_err(&(call->mc_ps),"Calls to file macros are not allowed.");
       lr_mes(&(call->mc_ps),"Reason: It should be possible to comment out a");
       lr_mes(&(call->mc_ps),"file macro without a big fuss. Calling a file macro");
       lr_mes(&(call->mc_ps),"just tangles it up in the macro structure,");
       lr_mes(&(call->mc_ps),"making it more difficult to comment out later.");
       ls_nxt(p_ma->ma_calls,PPV &call);
      }
   }
 /* ABC { */
 else if (!isaldmQ)
 /* } ABC */
   {
    /* Non-file macros. */
    if (ls_len(p_ma->ma_calls)==0 && !p_ma->ma_defn.md_iszer)
       lr_err(&p_ma->ma_defn.md_ps,
              "This macro is never used (and has no @Z).");

    if (ls_len(p_ma->ma_calls)>1 && !p_ma->ma_defn.md_isman)
       lr_err(&p_ma->ma_defn.md_ps,
              "This macro is used more than once (and has no @M).");
   }
}

/******************************************************************************/

LOCAL void chk_rec P_((void));
LOCAL void chk_rec()
/* This macro analyses the calls between the macros in the macro              */
/* table and flags all recursive macros with an error message.                */
/*                                                                            */
/* Def: A macro is a "level 0 macro" if it does not call any macros.          */
/* Def: A macro is a "level n macro" if it calls at least one macro of level  */
/*      n-1, but does not call any macros of level n or higher.               */
/* Def: A macro is a "level infinity macro" if it directly or indirectly      */
/*      calls itself.                                                         */
/*                                                                            */
/* This function totally ignores undefined macros. This means that it can be  */
/* invoked even if problems are detected by the other checks.                 */
/*                                                                            */
/* Although the actions of this may seem rather time expensive, they may not  */
/* be. The function repeatedly runs through the macro table and each macro's  */
/* bodypart list and expression lists. However, there are not likely to be    */
/* many macros and each definition expression list is likely to be quite      */
/* short, as each macro will be mainly text.                                  */
/* Even if this stuff does take a while, it is better to detect recursion now */
/* than at tangle time!                                                       */
{
 p_ma_t p_ma;        /* General purpose pointer to macro.                     */
 name_t dummy_name;  /* Dummy name variable acts as a placeholder in calls.   */
 uword  level;       /* Level of macro currently being tagged.                */
 bool   gotone;      /* TRUE iff current loop iteration tagged >0 macros.     */

/* We need a concrete number to stand for level infinity. */
/* 30000 is a nice, large 15 bit number.                  */
#define LEVINF 30000

 /* Make sure that our idea of infinity is big enough. */
 as_cold(tb_len(macro_table)<LEVINF,"ana_rec: too many macros.");

 /* Tag all the macros as being at level infinity.                            */
 /* This could be done in the parser, but it's neater to do it here.          */
 tb_fir(macro_table);
 while (tb_rea(macro_table,PV dummy_name,PV &p_ma))
    if (p_ma->ma_defn.md_isdef)
       p_ma->ma_level=LEVINF;

 gotone=TRUE;
 /* Work from level 0 upwards identifying macros of successive levels.        */
 for (level=0; level<LEVINF && gotone; level++)
   {
    /* Identify all macros of level 'level'. */
    /* Gotone tells us if we managed to tag a macro during this iteration. */
    gotone=FALSE;

    /* Run through table tagging all macros at level 'level'. */
    tb_fir(macro_table);
    while (tb_rea(macro_table,PV dummy_name,PV &p_ma))
      {
       if (p_ma->ma_defn.md_isdef && p_ma->ma_level == LEVINF)
         {
          p_bpls_t p_bpls = p_ma->ma_defn.md_body;
          /* Run through each body part of the macro. */
          ls_fir(p_bpls);
          while (TRUE)
            {
             p_bp_t p_bp;
             ls_nxt(p_bpls,PPV &p_bp);
             if (p_bp==NULL) break;
             /* Run through the list of expression elements. */
             ls_fir(p_bp->bp_ex);
             while (TRUE)
               {
                p_el_t p_el;
                ls_nxt(p_bp->bp_ex,PPV &p_el);
                if (p_el==NULL) break;
                /* Don't tag anything that calls anything that isn't tagged. */
                if ((p_el->el_kind==EL_INVC          ) &&
                    (p_el->el_p_mac->ma_defn.md_isdef) &&

    (p_el->el_p_mac->ma_level==LEVINF))
                   goto nextmacro;
               }
            }
          /* If we got this far, then our macro must have called nothing but  */
          /* macros of levels [0,level-1]. Thus, we can tag it level 'level'. */
          p_ma->ma_level=level;
          gotone=TRUE;
         } /* End if */
       nextmacro:;
      } /* End while */
   } /* End for loop. */

 /* At this point, we have tagged all macros with their level number. Note    */
 /* that level infinity macros are discovered simply because they do not get  */
 /* tagged. The following loop flags all such recursive macros with errors.   */
 tb_fir(macro_table);
 while (tb_rea(macro_table,PV dummy_name,PV &p_ma))
    if (p_ma->ma_defn.md_isdef && p_ma->ma_level==LEVINF)
       lr_err(&p_ma->ma_defn.md_ps,"This macro has an infinite expansion.");

 /* Note: The above message is not "This macro is defined recursively",       */
 /* because this function catches not only recursive macros, but also all the */
 /* non-recursive macros that call the recursive macros!! To detect only      */
 /* the recursive macros, we really ought to use Tarjan's algorithm for the   */
 /* detection of strongly connected components. However, I don't have the     */
 /* reference handy right now and I want to finish this version of FunnelWeb  */
 /* soon, so I'll leave the installation of Tarjan's algorithm as a possible  */
 /* future enhancement. Then the error message can be changed.                */
}

/******************************************************************************/

EXPORT void analyse()
{
 name_t dummy_name;
 p_ma_t p_ma;

 /* Issue an error if there are no macros. */
 if (tb_len(macro_table)==0)
   {
    char *m="E: No macros defined.";
    wl_l(m);
    if (option.op_s_b)
       wl_sj(m);
    num_err++;
   }

 /* Issue an error if there are no product (output) files. */
 if (tb_len(file_table)==0)
   {
    char *m="E: No output files specified.";
    wl_l(m);
    if (option.op_s_b)
       wl_sj(m);
    num_err++;
   }

 /* Take a look at each macro and issue appropriate diagnostics. */
 tb_fir(macro_table);
 while (tb_rea(macro_table,PV dummy_name,PV &p_ma))
    chk_mac(p_ma);

 /* Check for recursive macros. */
 chk_rec();

 /* Run through the document list and flag any sections that still have not   */
 /* been given names.                                                         */
 ls_fir(document_list);
 while (TRUE)
   {
    p_dc_t p_dc;
    ls_nxt(document_list,PPV &p_dc);
    if (p_dc==NULL) break;
    if (p_dc->dc_kind==DC_TYPE &&
        p_dc->dc_ty.ty_kind==TY_NSEC &&
        !p_dc->dc_ty.ty_isnam)
      {
       lr_err(&p_dc->dc_ps,"This section has no name.");
       lr_mes(&p_dc->dc_ps,"You can give it one explicitly (As in @A@<Sloth@>) or implicitly by");
       lr_mes(&p_dc->dc_ps,"defining a macro (whose name will be inherited) within the section.");
      }
   }
}

/******************************************************************************/
/*                               End of ANALYSE.C                             */
/******************************************************************************/