Home | History | Annotate | Line # | Download | only in test
varsyntax_calc1.y revision 1.1.1.3
      1  1.1.1.3  christos /*	$NetBSD: varsyntax_calc1.y,v 1.1.1.3 2016/01/09 21:59:45 christos Exp $	*/
      2  1.1.1.3  christos 
      3      1.1  christos %IDENT "check variant syntax features"
      4      1.1  christos %{
      5      1.1  christos 
      6      1.1  christos // http://dinosaur.compilertools.net/yacc/index.html */
      7      1.1  christos 
      8      1.1  christos #include <stdlib.h>
      9      1.1  christos #include <stdio.h>
     10      1.1  christos #include <ctype.h>
     11      1.1  christos #include <math.h>
     12      1.1  christos 
     13      1.1  christos typedef struct interval
     14      1.1  christos {
     15      1.1  christos     double lo, hi;
     16      1.1  christos }
     17      1.1  christos INTERVAL;
     18      1.1  christos 
     19      1.1  christos INTERVAL vmul(double, double, INTERVAL);
     20      1.1  christos INTERVAL vdiv(double, double, INTERVAL);
     21      1.1  christos 
     22      1.1  christos extern int yylex(void);
     23      1.1  christos static void yyerror(const char *s);
     24      1.1  christos 
     25      1.1  christos int dcheck(INTERVAL);
     26      1.1  christos 
     27      1.1  christos double dreg[26];
     28      1.1  christos INTERVAL vreg[26];
     29      1.1  christos 
     30      1.1  christos %}
     31      1.1  christos %expect 18
     32      1.1  christos 
     33      1.1  christos %start line
     34      1.1  christos %union
     35      1.1  christos {
     36      1.1  christos 	int ival;	// dreg & vreg array index values
     37      1.1  christos 	double dval;	// floating point values
     38      1.1  christos 	INTERVAL vval;	// interval values
     39      1.1  christos }
     40      1.1  christos 
     41      1.1  christos %token <ival> DREG VREG		// indices into dreg, vreg arrays */
     42      1.1  christos %token <dval> CONST		// floating point constant */
     43      1.1  christos 
     44      1.1  christos %type <dval> dexp		// expression */
     45      1.1  christos %type <vval> vexp		// interval expression */
     46      1.1  christos 
     47      1.1  christos 	// precedence information about the operators */
     48      1.1  christos 
     49      1.1  christos %< '+' '-'			// %< is an obsolete synonym for %left
     50      1.1  christos %< '*' '/'
     51      1.1  christos %> UMINUS			// precedence for unary minus;
     52      1.1  christos 				// %> is an obsolete synonym for %right
     53      1.1  christos 
     54      1.1  christos \\	// beginning of rules section; \\ is an obsolete synonym for %%
     55      1.1  christos 
     56      1.1  christos lines   : // empty */
     57      1.1  christos 	| lines line
     58      1.1  christos 	;
     59      1.1  christos 
     60      1.1  christos line	: dexp '\n'
     61      1.1  christos 	{
     62      1.1  christos 		(void) printf("%15.8f\n", $1);
     63      1.1  christos 	}
     64      1.1  christos 	| vexp '\n'
     65      1.1  christos 	{
     66      1.1  christos 		(void) printf("(%15.8f, %15.8f)\n", $1.lo, $1.hi);
     67      1.1  christos 	}
     68      1.1  christos 	| DREG '=' dexp '\n'
     69      1.1  christos 	{
     70      1.1  christos 		dreg[$1] = $3;
     71      1.1  christos 	}
     72      1.1  christos 	| VREG '=' vexp '\n'
     73      1.1  christos 	{
     74      1.1  christos 		vreg[$1] = $3;
     75      1.1  christos 	}
     76      1.1  christos 	| error '\n'
     77      1.1  christos 	{
     78      1.1  christos 		yyerrok;
     79      1.1  christos 	}
     80      1.1  christos 	;
     81      1.1  christos 
     82      1.1  christos dexp	: CONST
     83      1.1  christos 	| DREG
     84      1.1  christos 	{
     85      1.1  christos 		$<dval>$ = dreg[$<ival>1]; // $$ & $1 are sufficient here
     86      1.1  christos 	}
     87      1.1  christos 	| dexp '+' dexp
     88      1.1  christos 	{
     89      1.1  christos 		$$ = $1 + $3;
     90      1.1  christos 	}
     91      1.1  christos 	| dexp '-' dexp
     92      1.1  christos 	{
     93      1.1  christos 		$$ = $1 - $3;
     94      1.1  christos 	}
     95      1.1  christos 	| dexp '*' dexp
     96      1.1  christos 	{
     97      1.1  christos 		$$ = $1 * $3;
     98      1.1  christos 	}
     99      1.1  christos 	| dexp '/' dexp
    100      1.1  christos 	{
    101      1.1  christos 		$$ = $1 / $3;
    102      1.1  christos 	}
    103      1.1  christos 	| '-' dexp %prec UMINUS
    104      1.1  christos 	{
    105      1.1  christos 		$$ = -$2;
    106      1.1  christos 	}
    107      1.1  christos 	| '(' dexp ')'
    108      1.1  christos 	{
    109      1.1  christos 		$$ = $2;
    110      1.1  christos 	}
    111      1.1  christos 	;
    112      1.1  christos 
    113      1.1  christos vexp	: dexp
    114      1.1  christos 	{
    115      1.1  christos 		$$.hi = $$.lo = $1;
    116      1.1  christos 	}
    117      1.1  christos 	| '(' dexp ',' dexp ')'
    118      1.1  christos 	{
    119      1.1  christos 		$$.lo = $2;
    120      1.1  christos 		$$.hi = $4;
    121      1.1  christos 		if ( $$.lo > $$.hi )
    122      1.1  christos 		{
    123      1.1  christos 			(void) printf("interval out of order\n");
    124      1.1  christos 			YYERROR;
    125      1.1  christos 		}
    126      1.1  christos 	}
    127      1.1  christos 	| VREG
    128      1.1  christos 	{
    129      1.1  christos 		$$ = vreg[$1];
    130      1.1  christos 	}
    131      1.1  christos 	| vexp '+' vexp
    132      1.1  christos 	{
    133      1.1  christos 		$$.hi = $1.hi + $3.hi;
    134      1.1  christos 		$$.lo = $1.lo + $3.lo;
    135      1.1  christos 	}
    136      1.1  christos 	| dexp '+' vexp
    137      1.1  christos 	{
    138      1.1  christos 		$$.hi = $1 + $3.hi;
    139      1.1  christos 		$$.lo = $1 + $3.lo;
    140      1.1  christos 	}
    141      1.1  christos 	| vexp '-' vexp
    142      1.1  christos 	{
    143      1.1  christos 		$$.hi = $1.hi - $3.lo;
    144      1.1  christos 		$$.lo = $1.lo - $3.hi;
    145      1.1  christos 	}
    146      1.1  christos 	| dexp '-' vexp
    147      1.1  christos 	{
    148      1.1  christos 		$$.hi = $1 - $3.lo;
    149      1.1  christos 		$$.lo = $1 - $3.hi;
    150      1.1  christos 	}
    151      1.1  christos 	| vexp '*' vexp
    152      1.1  christos 	{
    153      1.1  christos 		$$ = vmul( $1.lo, $1.hi, $3 );
    154      1.1  christos 	}
    155      1.1  christos 	| dexp '*' vexp
    156      1.1  christos 	{
    157      1.1  christos 		$$ = vmul ($1, $1, $3 );
    158      1.1  christos 	}
    159      1.1  christos 	| vexp '/' vexp
    160      1.1  christos 	{
    161      1.1  christos 		if (dcheck($3)) YYERROR;
    162      1.1  christos 		$$ = vdiv ( $1.lo, $1.hi, $3 );
    163      1.1  christos 	}
    164      1.1  christos 	| dexp '/' vexp
    165      1.1  christos 	{
    166      1.1  christos 		if (dcheck ( $3 )) YYERROR;
    167      1.1  christos 		$$ = vdiv ($1, $1, $3 );
    168      1.1  christos 	}
    169      1.1  christos 	| '-' vexp %prec UMINUS
    170      1.1  christos 	{
    171      1.1  christos 		$$.hi = -$2.lo;
    172      1.1  christos 		$$.lo = -$2.hi;
    173      1.1  christos 	}
    174      1.1  christos 	| '(' vexp ')'
    175      1.1  christos 	{
    176      1.1  christos 		$$ = $2;
    177      1.1  christos 	}
    178      1.1  christos 	;
    179      1.1  christos 
    180      1.1  christos \\	/* beginning of subroutines section */
    181      1.1  christos 
    182      1.1  christos #define BSZ 50			/* buffer size for floating point numbers */
    183      1.1  christos 
    184      1.1  christos 	/* lexical analysis */
    185      1.1  christos 
    186      1.1  christos static void
    187      1.1  christos yyerror(const char *s)
    188      1.1  christos {
    189      1.1  christos     fprintf(stderr, "%s\n", s);
    190      1.1  christos }
    191      1.1  christos 
    192      1.1  christos int
    193      1.1  christos yylex(void)
    194      1.1  christos {
    195      1.1  christos     int c;
    196      1.1  christos 
    197      1.1  christos     while ((c = getchar()) == ' ')
    198      1.1  christos     {				/* skip over blanks */
    199      1.1  christos     }
    200      1.1  christos 
    201      1.1  christos     if (isupper(c))
    202      1.1  christos     {
    203      1.1  christos 	yylval.ival = c - 'A';
    204      1.1  christos 	return (VREG);
    205      1.1  christos     }
    206      1.1  christos     if (islower(c))
    207      1.1  christos     {
    208      1.1  christos 	yylval.ival = c - 'a';
    209      1.1  christos 	return (DREG);
    210      1.1  christos     }
    211      1.1  christos 
    212      1.1  christos     if (isdigit(c) || c == '.')
    213      1.1  christos     {
    214      1.1  christos 	/* gobble up digits, points, exponents */
    215      1.1  christos 	char buf[BSZ + 1], *cp = buf;
    216      1.1  christos 	int dot = 0, expr = 0;
    217      1.1  christos 
    218      1.1  christos 	for (; (cp - buf) < BSZ; ++cp, c = getchar())
    219      1.1  christos 	{
    220      1.1  christos 
    221      1.1  christos 	    *cp = (char) c;
    222      1.1  christos 	    if (isdigit(c))
    223      1.1  christos 		continue;
    224      1.1  christos 	    if (c == '.')
    225      1.1  christos 	    {
    226      1.1  christos 		if (dot++ || expr)
    227      1.1  christos 		    return ('.');	/* will cause syntax error */
    228      1.1  christos 		continue;
    229      1.1  christos 	    }
    230      1.1  christos 
    231      1.1  christos 	    if (c == 'e')
    232      1.1  christos 	    {
    233      1.1  christos 		if (expr++)
    234      1.1  christos 		    return ('e');	/*  will  cause  syntax  error  */
    235      1.1  christos 		continue;
    236      1.1  christos 	    }
    237      1.1  christos 
    238      1.1  christos 	    /*  end  of  number  */
    239      1.1  christos 	    break;
    240      1.1  christos 	}
    241      1.1  christos 	*cp = '\0';
    242      1.1  christos 
    243      1.1  christos 	if ((cp - buf) >= BSZ)
    244      1.1  christos 	    printf("constant  too  long:  truncated\n");
    245      1.1  christos 	else
    246      1.1  christos 	    ungetc(c, stdin);	/*  push  back  last  char  read  */
    247      1.1  christos 	yylval.dval = atof(buf);
    248      1.1  christos 	return (CONST);
    249      1.1  christos     }
    250      1.1  christos     return (c);
    251      1.1  christos }
    252      1.1  christos 
    253      1.1  christos static INTERVAL
    254      1.1  christos hilo(double a, double b, double c, double d)
    255      1.1  christos {
    256      1.1  christos     /*  returns  the  smallest  interval  containing  a,  b,  c,  and  d  */
    257      1.1  christos     /*  used  by  *,  /  routines  */
    258      1.1  christos     INTERVAL v;
    259      1.1  christos 
    260      1.1  christos     if (a > b)
    261      1.1  christos     {
    262      1.1  christos 	v.hi = a;
    263      1.1  christos 	v.lo = b;
    264      1.1  christos     }
    265      1.1  christos     else
    266      1.1  christos     {
    267      1.1  christos 	v.hi = b;
    268      1.1  christos 	v.lo = a;
    269      1.1  christos     }
    270      1.1  christos 
    271      1.1  christos     if (c > d)
    272      1.1  christos     {
    273      1.1  christos 	if (c > v.hi)
    274      1.1  christos 	    v.hi = c;
    275      1.1  christos 	if (d < v.lo)
    276      1.1  christos 	    v.lo = d;
    277      1.1  christos     }
    278      1.1  christos     else
    279      1.1  christos     {
    280      1.1  christos 	if (d > v.hi)
    281      1.1  christos 	    v.hi = d;
    282      1.1  christos 	if (c < v.lo)
    283      1.1  christos 	    v.lo = c;
    284      1.1  christos     }
    285      1.1  christos     return (v);
    286      1.1  christos }
    287      1.1  christos 
    288      1.1  christos INTERVAL
    289      1.1  christos vmul(double a, double b, INTERVAL v)
    290      1.1  christos {
    291      1.1  christos     return (hilo(a * v.hi, a * v.lo, b * v.hi, b * v.lo));
    292      1.1  christos }
    293      1.1  christos 
    294      1.1  christos int
    295      1.1  christos dcheck(INTERVAL v)
    296      1.1  christos {
    297      1.1  christos     if (v.hi >= 0. && v.lo <= 0.)
    298      1.1  christos     {
    299      1.1  christos 	printf("divisor  interval  contains  0.\n");
    300      1.1  christos 	return (1);
    301      1.1  christos     }
    302      1.1  christos     return (0);
    303      1.1  christos }
    304      1.1  christos 
    305      1.1  christos INTERVAL
    306      1.1  christos vdiv(double a, double b, INTERVAL v)
    307      1.1  christos {
    308      1.1  christos     return (hilo(a / v.hi, a / v.lo, b / v.hi, b / v.lo));
    309      1.1  christos }
    310