diff options
Diffstat (limited to 'usr.bin/error/pi.c')
| -rw-r--r-- | usr.bin/error/pi.c | 404 |
1 files changed, 404 insertions, 0 deletions
diff --git a/usr.bin/error/pi.c b/usr.bin/error/pi.c new file mode 100644 index 0000000..67778a4 --- /dev/null +++ b/usr.bin/error/pi.c @@ -0,0 +1,404 @@ +/* + * Copyright (c) 1980, 1993 + * The Regents of the University of California. All rights reserved. + * + * Redistribution and use in source and binary forms, with or without + * modification, are permitted provided that the following conditions + * are met: + * 1. Redistributions of source code must retain the above copyright + * notice, this list of conditions and the following disclaimer. + * 2. Redistributions in binary form must reproduce the above copyright + * notice, this list of conditions and the following disclaimer in the + * documentation and/or other materials provided with the distribution. + * 3. All advertising materials mentioning features or use of this software + * must display the following acknowledgement: + * This product includes software developed by the University of + * California, Berkeley and its contributors. + * 4. Neither the name of the University nor the names of its contributors + * may be used to endorse or promote products derived from this software + * without specific prior written permission. + * + * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND + * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE + * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE + * ARE DISCLAIMED. IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE + * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL + * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS + * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) + * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT + * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY + * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF + * SUCH DAMAGE. + */ + +#ifndef lint +static char sccsid[] = "@(#)pi.c 8.1 (Berkeley) 6/6/93"; +#endif /* not lint */ + +#include <stdio.h> +#include <ctype.h> +#include <string.h> +#include "error.h" + +extern char *currentfilename; +static char *c_linenumber; +static char *unk_hdr[] = {"In", "program", "???"}; +static char **c_header = &unk_hdr[0]; + +/* + * Attempt to handle error messages produced by pi (and by pc) + * + * problem #1: There is no file name available when a file does not + * use a #include; this will have to be given to error + * in the command line. + * problem #2: pi doesn't always tell you what line number + * a error refers to; for example during the tree + * walk phase of code generation and error detection, + * an error can refer to "variable foo in procedure bletch" + * without giving a line number + * problem #3: line numbers, when available, are attached to + * the source line, along with the source line itself + * These line numbers must be extracted, and + * the source line thrown away. + * problem #4: Some error messages produce more than one line number + * on the same message. + * There are only two (I think): + * %s undefined on line%s + * %s improperly used on line%s + * here, the %s makes line plural or singular. + * + * Here are the error strings used in pi version 1.2 that can refer + * to a file name or line number: + * + * Multiply defined label in case, lines %d and %d + * Goto %s from line %d is into a structured statement + * End matched %s on line %d + * Inserted keyword end matching %s on line %d + * + * Here are the general pi patterns recognized: + * define piptr == -.*^-.* + * define msg = .* + * define digit = [0-9] + * definename = .* + * define date_format letter*3 letter*3 (digit | (digit digit)) + * (digit | (digit digit)):digit*2 digit*4 + * + * {e,E} (piptr) (msg) Encounter an error during textual scan + * E {digit}* - (msg) Have an error message that refers to a new line + * E - msg Have an error message that refers to current + * function, program or procedure + * (date_format) (name): When switch compilation files + * ... (msg) When refer to the previous line + * 'In' ('procedure'|'function'|'program') (name): + * pi is now complaining about 2nd pass errors. + * + * Here is the output from a compilation + * + * + * 2 var i:integer; + * e --------------^--- Inserted ';' + * E 2 - All variables must be declared in one var part + * E 5 - Include filename must end in .i + * Mon Apr 21 15:56 1980 test.h: + * 2 begin + * e ------^--- Inserted ';' + * Mon Apr 21 16:06 1980 test.p: + * E 2 - Function type must be specified + * 6 procedure foo(var x:real); + * e ------^--- Inserted ';' + * In function bletch: + * E - No assignment to the function variable + * w - variable x is never used + * E 6 - foo is already defined in this block + * In procedure foo: + * w - variable x is neither used nor set + * 9 z : = 23; + * E --------------^--- Undefined variable + * 10 y = [1]; + * e ----------------^--- Inserted ':' + * 13 z := 345.; + * e -----------------------^--- Digits required after decimal point + * E 10 - Constant set involved in non set context + * E 11 - Type clash: real is incompatible with integer + * ... Type of expression clashed with type of variable in assignment + * E 12 - Parameter type not identical to type of var parameter x of foo + * In program mung: + * w - variable y is never used + * w - type foo is never used + * w - function bletch is never used + * E - z undefined on lines 9 13 + */ +char *Months[] = { + "Jan", "Feb", "Mar", "Apr", "May", "Jun", + "Jul", "Aug", "Sep", "Oct","Nov", "Dec", + 0 +}; +char *Days[] = { + "Sun", "Mon", "Tue", "Wed", "Thu", "Fri", "Sat", 0 +}; +char *Piroutines[] = { + "program", "function", "procedure", 0 +}; + + +static boolean structured, multiple; + +char *pi_Endmatched[] = {"End", "matched"}; +char *pi_Inserted[] = {"Inserted", "keyword", "end", "matching"}; + +char *pi_multiple[] = {"Mutiply", "defined", "label", "in", "case,", "line"}; +char *pi_structured[] = {"is", "into", "a", "structured", "statement"}; + +char *pi_und1[] = {"undefined", "on", "line"}; +char *pi_und2[] = {"undefined", "on", "lines"}; +char *pi_imp1[] = {"improperly", "used", "on", "line"}; +char *pi_imp2[] = {"improperly", "used", "on", "lines"}; + +boolean alldigits(string) + reg char *string; +{ + for (; *string && isdigit(*string); string++) + continue; + return(*string == '\0'); +} +boolean instringset(member, set) + char *member; + reg char **set; +{ + for(; *set; set++){ + if (strcmp(*set, member) == 0) + return(TRUE); + } + return(FALSE); +} + +boolean isdateformat(wordc, wordv) + int wordc; + char **wordv; +{ + return( + (wordc == 5) + && (instringset(wordv[0], Days)) + && (instringset(wordv[1], Months)) + && (alldigits(wordv[2])) + && (alldigits(wordv[4])) ); +} + +boolean piptr(string) + reg char *string; +{ + if (*string != '-') + return(FALSE); + while (*string && *string == '-') + string++; + if (*string != '^') + return(FALSE); + string++; + while (*string && *string == '-') + string++; + return(*string == '\0'); +} + +extern int wordc; +extern char **wordv; + +Errorclass pi() +{ + char **nwordv; + + if (wordc < 2) + return (C_UNKNOWN); + if ( ( strlen(wordv[1]) == 1) + && ( (wordv[1][0] == 'e') || (wordv[1][0] == 'E') ) + && ( piptr(wordv[2]) ) + ) { + boolean longpiptr = 0; + /* + * We have recognized a first pass error of the form: + * letter ------^---- message + * + * turn into an error message of the form: + * + * file line 'pascal errortype' letter \n |---- message + * or of the form: + * file line letter |---- message + * when there are strlen("(*[pi]") or more + * preceding '-' on the error pointer. + * + * Where the | is intended to be a down arrow, so that + * the pi error messages can be inserted above the + * line in error, instead of below. (All of the other + * langauges put thier messages before the source line, + * instead of after it as does pi.) + * + * where the pointer to the error has been truncated + * by 6 characters to account for the fact that + * the pointer points into a tab preceded input line. + */ + language = INPI; + (void)substitute(wordv[2], '^', '|'); + longpiptr = position(wordv[2],'|') > (6+8); + nwordv = wordvsplice(longpiptr ? 2 : 4, wordc, wordv+1); + nwordv[0] = strsave(currentfilename); + nwordv[1] = strsave(c_linenumber); + if (!longpiptr){ + nwordv[2] = "pascal errortype"; + nwordv[3] = wordv[1]; + nwordv[4] = strsave("%%%\n"); + if (strlen(nwordv[5]) > (8-2)) /* this is the pointer */ + nwordv[5] += (8-2); /* bump over 6 characters */ + } + wordv = nwordv - 1; /* convert to 1 based */ + wordc += longpiptr ? 2 : 4; + return(C_TRUE); + } + if ( (wordc >= 4) + && (strlen(wordv[1]) == 1) + && ( (*wordv[1] == 'E') || (*wordv[1] == 'w') || (*wordv[1] == 'e') ) + && (alldigits(wordv[2])) + && (strlen(wordv[3]) == 1) + && (wordv[3][0] == '-') + ){ + /* + * Message of the form: letter linenumber - message + * Turn into form: filename linenumber letter - message + */ + language = INPI; + nwordv = wordvsplice(1, wordc, wordv + 1); + nwordv[0] = strsave(currentfilename); + nwordv[1] = wordv[2]; + nwordv[2] = wordv[1]; + c_linenumber = wordv[2]; + wordc += 1; + wordv = nwordv - 1; + return(C_TRUE); + } + if ( (wordc >= 3) + && (strlen(wordv[1]) == 1) + && ( (*(wordv[1]) == 'E') || (*(wordv[1]) == 'w') || (*(wordv[1]) == 'e') ) + && (strlen(wordv[2]) == 1) + && (wordv[2][0] == '-') + ) { + /* + * Message of the form: letter - message + * This happens only when we are traversing the tree + * during the second pass of pi, and discover semantic + * errors. + * + * We have already (presumably) saved the header message + * and can now construct a nulled error message for the + * current file. + * + * Turns into a message of the form: + * filename (header) letter - message + * + * First, see if it is a message referring to more than + * one line number. Only of the form: + * %s undefined on line%s + * %s improperly used on line%s + */ + boolean undefined = 0; + int wordindex; + + language = INPI; + if ( (undefined = (wordvcmp(wordv+2, 3, pi_und1) == 0) ) + || (undefined = (wordvcmp(wordv+2, 3, pi_und2) == 0) ) + || (wordvcmp(wordv+2, 4, pi_imp1) == 0) + || (wordvcmp(wordv+2, 4, pi_imp2) == 0) + ){ + for (wordindex = undefined ? 5 : 6; wordindex <= wordc; + wordindex++){ + nwordv = wordvsplice(2, undefined ? 2 : 3, wordv+1); + nwordv[0] = strsave(currentfilename); + nwordv[1] = wordv[wordindex]; + if (wordindex != wordc) + erroradd(undefined ? 4 : 5, nwordv, + C_TRUE, C_UNKNOWN); + } + wordc = undefined ? 4 : 5; + wordv = nwordv - 1; + return(C_TRUE); + } + + nwordv = wordvsplice(1+3, wordc, wordv+1); + nwordv[0] = strsave(currentfilename); + nwordv[1] = strsave(c_header[0]); + nwordv[2] = strsave(c_header[1]); + nwordv[3] = strsave(c_header[2]); + wordv = nwordv - 1; + wordc += 1 + 3; + return(C_THISFILE); + } + if (strcmp(wordv[1], "...") == 0){ + /* + * have a continuation error message + * of the form: ... message + * Turn into form : filename linenumber message + */ + language = INPI; + nwordv = wordvsplice(1, wordc, wordv+1); + nwordv[0] = strsave(currentfilename); + nwordv[1] = strsave(c_linenumber); + wordv = nwordv - 1; + wordc += 1; + return(C_TRUE); + } + if( (wordc == 6) + && (lastchar(wordv[6]) == ':') + && (isdateformat(5, wordv + 1)) + ){ + /* + * Have message that tells us we have changed files + */ + language = INPI; + currentfilename = strsave(wordv[6]); + clob_last(currentfilename, '\0'); + return(C_SYNC); + } + if( (wordc == 3) + && (strcmp(wordv[1], "In") == 0) + && (lastchar(wordv[3]) == ':') + && (instringset(wordv[2], Piroutines)) + ) { + language = INPI; + c_header = wordvsplice(0, wordc, wordv+1); + return(C_SYNC); + } + /* + * now, check for just the line number followed by the text + */ + if (alldigits(wordv[1])){ + language = INPI; + c_linenumber = wordv[1]; + return(C_IGNORE); + } + /* + * Attempt to match messages refering to a line number + * + * Multiply defined label in case, lines %d and %d + * Goto %s from line %d is into a structured statement + * End matched %s on line %d + * Inserted keyword end matching %s on line %d + */ + multiple = structured = 0; + if ( + ( (wordc == 6) && (wordvcmp(wordv+1, 2, pi_Endmatched) == 0)) + || ( (wordc == 8) && (wordvcmp(wordv+1, 4, pi_Inserted) == 0)) + || ( multiple = ((wordc == 9) && (wordvcmp(wordv+1,6, pi_multiple) == 0) ) ) + || ( structured = ((wordc == 10) && (wordvcmp(wordv+6,5, pi_structured) == 0 ) )) + ){ + language = INPI; + nwordv = wordvsplice(2, wordc, wordv+1); + nwordv[0] = strsave(currentfilename); + nwordv[1] = structured ? wordv [5] : wordv[wordc]; + wordc += 2; + wordv = nwordv - 1; + if (!multiple) + return(C_TRUE); + erroradd(wordc, nwordv, C_TRUE, C_UNKNOWN); + nwordv = wordvsplice(0, wordc, nwordv); + nwordv[1] = wordv[wordc - 2]; + return(C_TRUE); + } + return(C_UNKNOWN); +} |
