xref: /freebsd/usr.bin/units/units.c (revision 50bb77244edeb01f20486fe51ab19a7fc9a92785)
1a3031715SAlexander Langer /*
2a3031715SAlexander Langer  * units.c   Copyright (c) 1993 by Adrian Mariano (adrian@cam.cornell.edu)
3a3031715SAlexander Langer  *
4a3031715SAlexander Langer  * Redistribution and use in source and binary forms, with or without
5a3031715SAlexander Langer  * modification, are permitted provided that the following conditions
6a3031715SAlexander Langer  * are met:
7a3031715SAlexander Langer  * 1. Redistributions of source code must retain the above copyright
8a3031715SAlexander Langer  *    notice, this list of conditions and the following disclaimer.
9a3031715SAlexander Langer  * 2. The name of the author may not be used to endorse or promote products
10a3031715SAlexander Langer  *    derived from this software without specific prior written permission.
11a3031715SAlexander Langer  * Disclaimer:  This software is provided by the author "as is".  The author
12a3031715SAlexander Langer  * shall not be liable for any damages caused in any way by this software.
13a3031715SAlexander Langer  *
14a3031715SAlexander Langer  * I would appreciate (though I do not require) receiving a copy of any
15a3031715SAlexander Langer  * improvements you might make to this program.
16a3031715SAlexander Langer  */
17a3031715SAlexander Langer 
18d4d0763aSPhilippe Charnier #ifndef lint
19d4d0763aSPhilippe Charnier static const char rcsid[] =
20c3aac50fSPeter Wemm   "$FreeBSD$";
21d4d0763aSPhilippe Charnier #endif /* not lint */
22d4d0763aSPhilippe Charnier 
23a3031715SAlexander Langer #include <ctype.h>
24d4d0763aSPhilippe Charnier #include <err.h>
25a3031715SAlexander Langer #include <stdio.h>
26a3031715SAlexander Langer #include <stdlib.h>
27d4d0763aSPhilippe Charnier #include <string.h>
28d4d0763aSPhilippe Charnier #include <unistd.h>
29a3031715SAlexander Langer 
30a3031715SAlexander Langer #include "pathnames.h"
31a3031715SAlexander Langer 
32a3031715SAlexander Langer #define VERSION "1.0"
33a3031715SAlexander Langer 
34a3031715SAlexander Langer #ifndef UNITSFILE
35a3031715SAlexander Langer #define UNITSFILE _PATH_UNITSLIB
36a3031715SAlexander Langer #endif
37a3031715SAlexander Langer 
38a3031715SAlexander Langer #define MAXUNITS 1000
3917ad860fSDavid Malone #define MAXPREFIXES 100
40a3031715SAlexander Langer 
41a3031715SAlexander Langer #define MAXSUBUNITS 500
42a3031715SAlexander Langer 
43a3031715SAlexander Langer #define PRIMITIVECHAR '!'
44a3031715SAlexander Langer 
4517ad860fSDavid Malone const char *powerstring = "^";
46a3031715SAlexander Langer 
47a3031715SAlexander Langer struct {
48a3031715SAlexander Langer 	char *uname;
49a3031715SAlexander Langer 	char *uval;
50a3031715SAlexander Langer }      unittable[MAXUNITS];
51a3031715SAlexander Langer 
52a3031715SAlexander Langer struct unittype {
53a3031715SAlexander Langer 	char *numerator[MAXSUBUNITS];
54a3031715SAlexander Langer 	char *denominator[MAXSUBUNITS];
55a3031715SAlexander Langer 	double factor;
56a3031715SAlexander Langer };
57a3031715SAlexander Langer 
58a3031715SAlexander Langer struct {
59a3031715SAlexander Langer 	char *prefixname;
60a3031715SAlexander Langer 	char *prefixval;
61a3031715SAlexander Langer }      prefixtable[MAXPREFIXES];
62a3031715SAlexander Langer 
63a3031715SAlexander Langer 
6417ad860fSDavid Malone char NULLUNIT[] = "";
65a3031715SAlexander Langer 
66ffd044a6SKris Kennaway #ifdef MSDOS
6717ad860fSDavid Malone #define SEPARATOR      ";"
68ffd044a6SKris Kennaway #else
69ffd044a6SKris Kennaway #define SEPARATOR      ":"
70ffd044a6SKris Kennaway #endif
71ffd044a6SKris Kennaway 
72a3031715SAlexander Langer int unitcount;
73a3031715SAlexander Langer int prefixcount;
74a3031715SAlexander Langer 
755386636dSDavid Malone char	*dupstr(const char *str);
765386636dSDavid Malone void	 readunits(const char *userfile);
775386636dSDavid Malone void	 initializeunit(struct unittype * theunit);
785386636dSDavid Malone int	 addsubunit(char *product[], char *toadd);
795386636dSDavid Malone void	 showunit(struct unittype * theunit);
805386636dSDavid Malone void	 zeroerror(void);
815386636dSDavid Malone int	 addunit(struct unittype * theunit, char *toadd, int flip);
825386636dSDavid Malone int	 compare(const void *item1, const void *item2);
835386636dSDavid Malone void	 sortunit(struct unittype * theunit);
845386636dSDavid Malone void	 cancelunit(struct unittype * theunit);
855386636dSDavid Malone char	*lookupunit(const char *unit);
865386636dSDavid Malone int	 reduceproduct(struct unittype * theunit, int flip);
875386636dSDavid Malone int	 reduceunit(struct unittype * theunit);
885386636dSDavid Malone int	 compareproducts(char **one, char **two);
895386636dSDavid Malone int	 compareunits(struct unittype * first, struct unittype * second);
905386636dSDavid Malone int	 completereduce(struct unittype * unit);
915386636dSDavid Malone void	 showanswer(struct unittype * have, struct unittype * want);
925386636dSDavid Malone void	 usage(void);
93a3031715SAlexander Langer 
94a3031715SAlexander Langer char *
9517ad860fSDavid Malone dupstr(const char *str)
96a3031715SAlexander Langer {
97a3031715SAlexander Langer 	char *ret;
98a3031715SAlexander Langer 
99a3031715SAlexander Langer 	ret = malloc(strlen(str) + 1);
100d4d0763aSPhilippe Charnier 	if (!ret)
101d4d0763aSPhilippe Charnier 		errx(3, "memory allocation error");
102a3031715SAlexander Langer 	strcpy(ret, str);
103a3031715SAlexander Langer 	return (ret);
104a3031715SAlexander Langer }
105a3031715SAlexander Langer 
106a3031715SAlexander Langer 
107a3031715SAlexander Langer void
10817ad860fSDavid Malone readunits(const char *userfile)
109a3031715SAlexander Langer {
110a3031715SAlexander Langer 	FILE *unitfile;
11117ad860fSDavid Malone 	char line[512], *lineptr;
112a3031715SAlexander Langer 	int len, linenum, i;
113a3031715SAlexander Langer 
114a3031715SAlexander Langer 	unitcount = 0;
115a3031715SAlexander Langer 	linenum = 0;
116a3031715SAlexander Langer 
117a3031715SAlexander Langer 	if (userfile) {
118a3031715SAlexander Langer 		unitfile = fopen(userfile, "rt");
119d4d0763aSPhilippe Charnier 		if (!unitfile)
120d4d0763aSPhilippe Charnier 			errx(1, "unable to open units file '%s'", userfile);
121a3031715SAlexander Langer 	}
122a3031715SAlexander Langer 	else {
123a3031715SAlexander Langer 		unitfile = fopen(UNITSFILE, "rt");
124a3031715SAlexander Langer 		if (!unitfile) {
125a3031715SAlexander Langer 			char *direc, *env;
126a3031715SAlexander Langer 			char filename[1000];
127a3031715SAlexander Langer 
128a3031715SAlexander Langer 			env = getenv("PATH");
129a3031715SAlexander Langer 			if (env) {
130ffd044a6SKris Kennaway 				direc = strtok(env, SEPARATOR);
131a3031715SAlexander Langer 				while (direc) {
132ffd044a6SKris Kennaway 					snprintf(filename, sizeof(filename),
133ffd044a6SKris Kennaway 					    "%s/%s", direc, UNITSFILE);
134a3031715SAlexander Langer 					unitfile = fopen(filename, "rt");
135a3031715SAlexander Langer 					if (unitfile)
136a3031715SAlexander Langer 						break;
137ffd044a6SKris Kennaway 					direc = strtok(NULL, SEPARATOR);
138a3031715SAlexander Langer 				}
139a3031715SAlexander Langer 			}
140d4d0763aSPhilippe Charnier 			if (!unitfile)
141d4d0763aSPhilippe Charnier 				errx(1, "can't find units file '%s'", UNITSFILE);
142a3031715SAlexander Langer 		}
143a3031715SAlexander Langer 	}
144a3031715SAlexander Langer 	while (!feof(unitfile)) {
14517ad860fSDavid Malone 		if (!fgets(line, sizeof(line), unitfile))
146a3031715SAlexander Langer 			break;
147a3031715SAlexander Langer 		linenum++;
148a3031715SAlexander Langer 		lineptr = line;
149a3031715SAlexander Langer 		if (*lineptr == '/')
150a3031715SAlexander Langer 			continue;
151a3031715SAlexander Langer 		lineptr += strspn(lineptr, " \n\t");
152a3031715SAlexander Langer 		len = strcspn(lineptr, " \n\t");
153a3031715SAlexander Langer 		lineptr[len] = 0;
154a3031715SAlexander Langer 		if (!strlen(lineptr))
155a3031715SAlexander Langer 			continue;
156a3031715SAlexander Langer 		if (lineptr[strlen(lineptr) - 1] == '-') { /* it's a prefix */
157a3031715SAlexander Langer 			if (prefixcount == MAXPREFIXES) {
158d4d0763aSPhilippe Charnier 				warnx("memory for prefixes exceeded in line %d", linenum);
159a3031715SAlexander Langer 				continue;
160a3031715SAlexander Langer 			}
161a3031715SAlexander Langer 			lineptr[strlen(lineptr) - 1] = 0;
162a3031715SAlexander Langer 			prefixtable[prefixcount].prefixname = dupstr(lineptr);
163a3031715SAlexander Langer 			for (i = 0; i < prefixcount; i++)
164a3031715SAlexander Langer 				if (!strcmp(prefixtable[i].prefixname, lineptr)) {
165d4d0763aSPhilippe Charnier 					warnx("redefinition of prefix '%s' on line %d ignored",
166a3031715SAlexander Langer 					    lineptr, linenum);
167a3031715SAlexander Langer 					continue;
168a3031715SAlexander Langer 				}
169a3031715SAlexander Langer 			lineptr += len + 1;
170a3031715SAlexander Langer 			lineptr += strspn(lineptr, " \n\t");
171a3031715SAlexander Langer 			len = strcspn(lineptr, "\n\t");
17217ad860fSDavid Malone 			if (len == 0) {
17317ad860fSDavid Malone 				warnx("unexpected end of prefix on line %d",
17417ad860fSDavid Malone 				    linenum);
17517ad860fSDavid Malone 				continue;
17617ad860fSDavid Malone 			}
177a3031715SAlexander Langer 			lineptr[len] = 0;
178a3031715SAlexander Langer 			prefixtable[prefixcount++].prefixval = dupstr(lineptr);
179a3031715SAlexander Langer 		}
180a3031715SAlexander Langer 		else {		/* it's not a prefix */
181a3031715SAlexander Langer 			if (unitcount == MAXUNITS) {
182d4d0763aSPhilippe Charnier 				warnx("memory for units exceeded in line %d", linenum);
183a3031715SAlexander Langer 				continue;
184a3031715SAlexander Langer 			}
185a3031715SAlexander Langer 			unittable[unitcount].uname = dupstr(lineptr);
186a3031715SAlexander Langer 			for (i = 0; i < unitcount; i++)
187a3031715SAlexander Langer 				if (!strcmp(unittable[i].uname, lineptr)) {
188d4d0763aSPhilippe Charnier 					warnx("redefinition of unit '%s' on line %d ignored",
189a3031715SAlexander Langer 					    lineptr, linenum);
190a3031715SAlexander Langer 					continue;
191a3031715SAlexander Langer 				}
192a3031715SAlexander Langer 			lineptr += len + 1;
193a3031715SAlexander Langer 			lineptr += strspn(lineptr, " \n\t");
194a3031715SAlexander Langer 			if (!strlen(lineptr)) {
19517ad860fSDavid Malone 				warnx("unexpected end of unit on line %d",
19617ad860fSDavid Malone 				    linenum);
197a3031715SAlexander Langer 				continue;
198a3031715SAlexander Langer 			}
199a3031715SAlexander Langer 			len = strcspn(lineptr, "\n\t");
200a3031715SAlexander Langer 			lineptr[len] = 0;
201a3031715SAlexander Langer 			unittable[unitcount++].uval = dupstr(lineptr);
202a3031715SAlexander Langer 		}
203a3031715SAlexander Langer 	}
204a3031715SAlexander Langer 	fclose(unitfile);
205a3031715SAlexander Langer }
206a3031715SAlexander Langer 
207a3031715SAlexander Langer void
208a3031715SAlexander Langer initializeunit(struct unittype * theunit)
209a3031715SAlexander Langer {
210a3031715SAlexander Langer 	theunit->factor = 1.0;
211a3031715SAlexander Langer 	theunit->numerator[0] = theunit->denominator[0] = NULL;
212a3031715SAlexander Langer }
213a3031715SAlexander Langer 
214a3031715SAlexander Langer 
215a3031715SAlexander Langer int
216a3031715SAlexander Langer addsubunit(char *product[], char *toadd)
217a3031715SAlexander Langer {
218a3031715SAlexander Langer 	char **ptr;
219a3031715SAlexander Langer 
220a3031715SAlexander Langer 	for (ptr = product; *ptr && *ptr != NULLUNIT; ptr++);
221a3031715SAlexander Langer 	if (ptr >= product + MAXSUBUNITS) {
222d4d0763aSPhilippe Charnier 		warnx("memory overflow in unit reduction");
223a3031715SAlexander Langer 		return 1;
224a3031715SAlexander Langer 	}
225a3031715SAlexander Langer 	if (!*ptr)
226a3031715SAlexander Langer 		*(ptr + 1) = 0;
227a3031715SAlexander Langer 	*ptr = dupstr(toadd);
228a3031715SAlexander Langer 	return 0;
229a3031715SAlexander Langer }
230a3031715SAlexander Langer 
231a3031715SAlexander Langer 
232a3031715SAlexander Langer void
233a3031715SAlexander Langer showunit(struct unittype * theunit)
234a3031715SAlexander Langer {
235a3031715SAlexander Langer 	char **ptr;
236a3031715SAlexander Langer 	int printedslash;
237a3031715SAlexander Langer 	int counter = 1;
238a3031715SAlexander Langer 
239a3031715SAlexander Langer 	printf("\t%.8g", theunit->factor);
240a3031715SAlexander Langer 	for (ptr = theunit->numerator; *ptr; ptr++) {
241a3031715SAlexander Langer 		if (ptr > theunit->numerator && **ptr &&
242a3031715SAlexander Langer 		    !strcmp(*ptr, *(ptr - 1)))
243a3031715SAlexander Langer 			counter++;
244a3031715SAlexander Langer 		else {
245a3031715SAlexander Langer 			if (counter > 1)
246a3031715SAlexander Langer 				printf("%s%d", powerstring, counter);
247a3031715SAlexander Langer 			if (**ptr)
248a3031715SAlexander Langer 				printf(" %s", *ptr);
249a3031715SAlexander Langer 			counter = 1;
250a3031715SAlexander Langer 		}
251a3031715SAlexander Langer 	}
252a3031715SAlexander Langer 	if (counter > 1)
253a3031715SAlexander Langer 		printf("%s%d", powerstring, counter);
254a3031715SAlexander Langer 	counter = 1;
255a3031715SAlexander Langer 	printedslash = 0;
256a3031715SAlexander Langer 	for (ptr = theunit->denominator; *ptr; ptr++) {
257a3031715SAlexander Langer 		if (ptr > theunit->denominator && **ptr &&
258a3031715SAlexander Langer 		    !strcmp(*ptr, *(ptr - 1)))
259a3031715SAlexander Langer 			counter++;
260a3031715SAlexander Langer 		else {
261a3031715SAlexander Langer 			if (counter > 1)
262a3031715SAlexander Langer 				printf("%s%d", powerstring, counter);
263a3031715SAlexander Langer 			if (**ptr) {
264a3031715SAlexander Langer 				if (!printedslash)
265a3031715SAlexander Langer 					printf(" /");
266a3031715SAlexander Langer 				printedslash = 1;
267a3031715SAlexander Langer 				printf(" %s", *ptr);
268a3031715SAlexander Langer 			}
269a3031715SAlexander Langer 			counter = 1;
270a3031715SAlexander Langer 		}
271a3031715SAlexander Langer 	}
272a3031715SAlexander Langer 	if (counter > 1)
273a3031715SAlexander Langer 		printf("%s%d", powerstring, counter);
274a3031715SAlexander Langer 	printf("\n");
275a3031715SAlexander Langer }
276a3031715SAlexander Langer 
277a3031715SAlexander Langer 
278a3031715SAlexander Langer void
27917ad860fSDavid Malone zeroerror(void)
280a3031715SAlexander Langer {
281d4d0763aSPhilippe Charnier 	warnx("unit reduces to zero");
282a3031715SAlexander Langer }
283a3031715SAlexander Langer 
284a3031715SAlexander Langer /*
285a3031715SAlexander Langer    Adds the specified string to the unit.
286a3031715SAlexander Langer    Flip is 0 for adding normally, 1 for adding reciprocal.
287a3031715SAlexander Langer 
288a3031715SAlexander Langer    Returns 0 for successful addition, nonzero on error.
289a3031715SAlexander Langer */
290a3031715SAlexander Langer 
291a3031715SAlexander Langer int
292a3031715SAlexander Langer addunit(struct unittype * theunit, char *toadd, int flip)
293a3031715SAlexander Langer {
294a3031715SAlexander Langer 	char *scratch, *savescr;
295a3031715SAlexander Langer 	char *item;
296a3031715SAlexander Langer 	char *divider, *slash;
297a3031715SAlexander Langer 	int doingtop;
298a3031715SAlexander Langer 
299ffd044a6SKris Kennaway 	if (!strlen(toadd))
300ffd044a6SKris Kennaway 		return 1;
301ffd044a6SKris Kennaway 
302a3031715SAlexander Langer 	savescr = scratch = dupstr(toadd);
303a3031715SAlexander Langer 	for (slash = scratch + 1; *slash; slash++)
304a3031715SAlexander Langer 		if (*slash == '-' &&
305a3031715SAlexander Langer 		    (tolower(*(slash - 1)) != 'e' ||
306a3031715SAlexander Langer 		    !strchr(".0123456789", *(slash + 1))))
307a3031715SAlexander Langer 			*slash = ' ';
308a3031715SAlexander Langer 	slash = strchr(scratch, '/');
309a3031715SAlexander Langer 	if (slash)
310a3031715SAlexander Langer 		*slash = 0;
311a3031715SAlexander Langer 	doingtop = 1;
312a3031715SAlexander Langer 	do {
313a3031715SAlexander Langer 		item = strtok(scratch, " *\t\n/");
314a3031715SAlexander Langer 		while (item) {
315a3031715SAlexander Langer 			if (strchr("0123456789.", *item)) { /* item is a number */
316a3031715SAlexander Langer 				double num;
317a3031715SAlexander Langer 
318a3031715SAlexander Langer 				divider = strchr(item, '|');
319a3031715SAlexander Langer 				if (divider) {
320a3031715SAlexander Langer 					*divider = 0;
321a3031715SAlexander Langer 					num = atof(item);
322a3031715SAlexander Langer 					if (!num) {
323a3031715SAlexander Langer 						zeroerror();
324a3031715SAlexander Langer 						return 1;
325a3031715SAlexander Langer 					}
326a3031715SAlexander Langer 					if (doingtop ^ flip)
327a3031715SAlexander Langer 						theunit->factor *= num;
328a3031715SAlexander Langer 					else
329a3031715SAlexander Langer 						theunit->factor /= num;
330a3031715SAlexander Langer 					num = atof(divider + 1);
331a3031715SAlexander Langer 					if (!num) {
332a3031715SAlexander Langer 						zeroerror();
333a3031715SAlexander Langer 						return 1;
334a3031715SAlexander Langer 					}
335a3031715SAlexander Langer 					if (doingtop ^ flip)
336a3031715SAlexander Langer 						theunit->factor /= num;
337a3031715SAlexander Langer 					else
338a3031715SAlexander Langer 						theunit->factor *= num;
339a3031715SAlexander Langer 				}
340a3031715SAlexander Langer 				else {
341a3031715SAlexander Langer 					num = atof(item);
342a3031715SAlexander Langer 					if (!num) {
343a3031715SAlexander Langer 						zeroerror();
344a3031715SAlexander Langer 						return 1;
345a3031715SAlexander Langer 					}
346a3031715SAlexander Langer 					if (doingtop ^ flip)
347a3031715SAlexander Langer 						theunit->factor *= num;
348a3031715SAlexander Langer 					else
349a3031715SAlexander Langer 						theunit->factor /= num;
350a3031715SAlexander Langer 
351a3031715SAlexander Langer 				}
352a3031715SAlexander Langer 			}
353a3031715SAlexander Langer 			else {	/* item is not a number */
354a3031715SAlexander Langer 				int repeat = 1;
355a3031715SAlexander Langer 
356a3031715SAlexander Langer 				if (strchr("23456789",
357a3031715SAlexander Langer 				    item[strlen(item) - 1])) {
358a3031715SAlexander Langer 					repeat = item[strlen(item) - 1] - '0';
359a3031715SAlexander Langer 					item[strlen(item) - 1] = 0;
360a3031715SAlexander Langer 				}
361a3031715SAlexander Langer 				for (; repeat; repeat--)
362a3031715SAlexander Langer 					if (addsubunit(doingtop ^ flip ? theunit->numerator : theunit->denominator, item))
363a3031715SAlexander Langer 						return 1;
364a3031715SAlexander Langer 			}
365a3031715SAlexander Langer 			item = strtok(NULL, " *\t/\n");
366a3031715SAlexander Langer 		}
367a3031715SAlexander Langer 		doingtop--;
368a3031715SAlexander Langer 		if (slash) {
369a3031715SAlexander Langer 			scratch = slash + 1;
370a3031715SAlexander Langer 		}
371a3031715SAlexander Langer 		else
372a3031715SAlexander Langer 			doingtop--;
373a3031715SAlexander Langer 	} while (doingtop >= 0);
374a3031715SAlexander Langer 	free(savescr);
375a3031715SAlexander Langer 	return 0;
376a3031715SAlexander Langer }
377a3031715SAlexander Langer 
378a3031715SAlexander Langer 
379a3031715SAlexander Langer int
380a3031715SAlexander Langer compare(const void *item1, const void *item2)
381a3031715SAlexander Langer {
38250bb7724SDavid Malone 	return strcmp(*(const char * const *)item1, *(const char * const *)item2);
383a3031715SAlexander Langer }
384a3031715SAlexander Langer 
385a3031715SAlexander Langer 
386a3031715SAlexander Langer void
387a3031715SAlexander Langer sortunit(struct unittype * theunit)
388a3031715SAlexander Langer {
389a3031715SAlexander Langer 	char **ptr;
39017ad860fSDavid Malone 	unsigned int count;
391a3031715SAlexander Langer 
392a3031715SAlexander Langer 	for (count = 0, ptr = theunit->numerator; *ptr; ptr++, count++);
393a3031715SAlexander Langer 	qsort(theunit->numerator, count, sizeof(char *), compare);
394a3031715SAlexander Langer 	for (count = 0, ptr = theunit->denominator; *ptr; ptr++, count++);
395a3031715SAlexander Langer 	qsort(theunit->denominator, count, sizeof(char *), compare);
396a3031715SAlexander Langer }
397a3031715SAlexander Langer 
398a3031715SAlexander Langer 
399a3031715SAlexander Langer void
400a3031715SAlexander Langer cancelunit(struct unittype * theunit)
401a3031715SAlexander Langer {
402a3031715SAlexander Langer 	char **den, **num;
403a3031715SAlexander Langer 	int comp;
404a3031715SAlexander Langer 
405a3031715SAlexander Langer 	den = theunit->denominator;
406a3031715SAlexander Langer 	num = theunit->numerator;
407a3031715SAlexander Langer 
408a3031715SAlexander Langer 	while (*num && *den) {
409a3031715SAlexander Langer 		comp = strcmp(*den, *num);
410a3031715SAlexander Langer 		if (!comp) {
411a3031715SAlexander Langer /*      if (*den!=NULLUNIT) free(*den);
412a3031715SAlexander Langer       if (*num!=NULLUNIT) free(*num);*/
413a3031715SAlexander Langer 			*den++ = NULLUNIT;
414a3031715SAlexander Langer 			*num++ = NULLUNIT;
415a3031715SAlexander Langer 		}
416a3031715SAlexander Langer 		else if (comp < 0)
417a3031715SAlexander Langer 			den++;
418a3031715SAlexander Langer 		else
419a3031715SAlexander Langer 			num++;
420a3031715SAlexander Langer 	}
421a3031715SAlexander Langer }
422a3031715SAlexander Langer 
423a3031715SAlexander Langer 
424a3031715SAlexander Langer 
425a3031715SAlexander Langer 
426a3031715SAlexander Langer /*
427a3031715SAlexander Langer    Looks up the definition for the specified unit.
428a3031715SAlexander Langer    Returns a pointer to the definition or a null pointer
429a3031715SAlexander Langer    if the specified unit does not appear in the units table.
430a3031715SAlexander Langer */
431a3031715SAlexander Langer 
432a3031715SAlexander Langer static char buffer[100];	/* buffer for lookupunit answers with
433a3031715SAlexander Langer 				   prefixes */
434a3031715SAlexander Langer 
435a3031715SAlexander Langer char *
43617ad860fSDavid Malone lookupunit(const char *unit)
437a3031715SAlexander Langer {
438a3031715SAlexander Langer 	int i;
439a3031715SAlexander Langer 	char *copy;
440a3031715SAlexander Langer 
441a3031715SAlexander Langer 	for (i = 0; i < unitcount; i++) {
442a3031715SAlexander Langer 		if (!strcmp(unittable[i].uname, unit))
443a3031715SAlexander Langer 			return unittable[i].uval;
444a3031715SAlexander Langer 	}
445a3031715SAlexander Langer 
446a3031715SAlexander Langer 	if (unit[strlen(unit) - 1] == '^') {
447a3031715SAlexander Langer 		copy = dupstr(unit);
448a3031715SAlexander Langer 		copy[strlen(copy) - 1] = 0;
449a3031715SAlexander Langer 		for (i = 0; i < unitcount; i++) {
450a3031715SAlexander Langer 			if (!strcmp(unittable[i].uname, copy)) {
451ffd044a6SKris Kennaway 				strlcpy(buffer, copy, sizeof(buffer));
452a3031715SAlexander Langer 				free(copy);
453a3031715SAlexander Langer 				return buffer;
454a3031715SAlexander Langer 			}
455a3031715SAlexander Langer 		}
456a3031715SAlexander Langer 		free(copy);
457a3031715SAlexander Langer 	}
458a3031715SAlexander Langer 	if (unit[strlen(unit) - 1] == 's') {
459a3031715SAlexander Langer 		copy = dupstr(unit);
460a3031715SAlexander Langer 		copy[strlen(copy) - 1] = 0;
461a3031715SAlexander Langer 		for (i = 0; i < unitcount; i++) {
462a3031715SAlexander Langer 			if (!strcmp(unittable[i].uname, copy)) {
463ffd044a6SKris Kennaway 				strlcpy(buffer, copy, sizeof(buffer));
464a3031715SAlexander Langer 				free(copy);
465a3031715SAlexander Langer 				return buffer;
466a3031715SAlexander Langer 			}
467a3031715SAlexander Langer 		}
468a3031715SAlexander Langer 		if (copy[strlen(copy) - 1] == 'e') {
469a3031715SAlexander Langer 			copy[strlen(copy) - 1] = 0;
470a3031715SAlexander Langer 			for (i = 0; i < unitcount; i++) {
471a3031715SAlexander Langer 				if (!strcmp(unittable[i].uname, copy)) {
472ffd044a6SKris Kennaway 					strlcpy(buffer, copy, sizeof(buffer));
473a3031715SAlexander Langer 					free(copy);
474a3031715SAlexander Langer 					return buffer;
475a3031715SAlexander Langer 				}
476a3031715SAlexander Langer 			}
477a3031715SAlexander Langer 		}
478a3031715SAlexander Langer 		free(copy);
479a3031715SAlexander Langer 	}
480a3031715SAlexander Langer 	for (i = 0; i < prefixcount; i++) {
48117ad860fSDavid Malone 		size_t len = strlen(prefixtable[i].prefixname);
48217ad860fSDavid Malone 		if (!strncmp(prefixtable[i].prefixname, unit, len)) {
48317ad860fSDavid Malone 			if (!strlen(unit + len) || lookupunit(unit + len)) {
484ffd044a6SKris Kennaway 				snprintf(buffer, sizeof(buffer), "%s %s",
48517ad860fSDavid Malone 				    prefixtable[i].prefixval, unit + len);
486a3031715SAlexander Langer 				return buffer;
487a3031715SAlexander Langer 			}
488a3031715SAlexander Langer 		}
489a3031715SAlexander Langer 	}
490a3031715SAlexander Langer 	return 0;
491a3031715SAlexander Langer }
492a3031715SAlexander Langer 
493a3031715SAlexander Langer 
494a3031715SAlexander Langer 
495a3031715SAlexander Langer /*
496a3031715SAlexander Langer    reduces a product of symbolic units to primitive units.
497a3031715SAlexander Langer    The three low bits are used to return flags:
498a3031715SAlexander Langer 
499a3031715SAlexander Langer      bit 0 (1) set on if reductions were performed without error.
500a3031715SAlexander Langer      bit 1 (2) set on if no reductions are performed.
501a3031715SAlexander Langer      bit 2 (4) set on if an unknown unit is discovered.
502a3031715SAlexander Langer */
503a3031715SAlexander Langer 
504a3031715SAlexander Langer 
505a3031715SAlexander Langer #define ERROR 4
506a3031715SAlexander Langer 
507a3031715SAlexander Langer int
508a3031715SAlexander Langer reduceproduct(struct unittype * theunit, int flip)
509a3031715SAlexander Langer {
510a3031715SAlexander Langer 
511a3031715SAlexander Langer 	char *toadd;
512a3031715SAlexander Langer 	char **product;
513a3031715SAlexander Langer 	int didsomething = 2;
514a3031715SAlexander Langer 
515a3031715SAlexander Langer 	if (flip)
516a3031715SAlexander Langer 		product = theunit->denominator;
517a3031715SAlexander Langer 	else
518a3031715SAlexander Langer 		product = theunit->numerator;
519a3031715SAlexander Langer 
520a3031715SAlexander Langer 	for (; *product; product++) {
521a3031715SAlexander Langer 
522a3031715SAlexander Langer 		for (;;) {
523a3031715SAlexander Langer 			if (!strlen(*product))
524a3031715SAlexander Langer 				break;
525a3031715SAlexander Langer 			toadd = lookupunit(*product);
526a3031715SAlexander Langer 			if (!toadd) {
527a3031715SAlexander Langer 				printf("unknown unit '%s'\n", *product);
528a3031715SAlexander Langer 				return ERROR;
529a3031715SAlexander Langer 			}
530a3031715SAlexander Langer 			if (strchr(toadd, PRIMITIVECHAR))
531a3031715SAlexander Langer 				break;
532a3031715SAlexander Langer 			didsomething = 1;
533a3031715SAlexander Langer 			if (*product != NULLUNIT) {
534a3031715SAlexander Langer 				free(*product);
535a3031715SAlexander Langer 				*product = NULLUNIT;
536a3031715SAlexander Langer 			}
537a3031715SAlexander Langer 			if (addunit(theunit, toadd, flip))
538a3031715SAlexander Langer 				return ERROR;
539a3031715SAlexander Langer 		}
540a3031715SAlexander Langer 	}
541a3031715SAlexander Langer 	return didsomething;
542a3031715SAlexander Langer }
543a3031715SAlexander Langer 
544a3031715SAlexander Langer 
545a3031715SAlexander Langer /*
546a3031715SAlexander Langer    Reduces numerator and denominator of the specified unit.
547a3031715SAlexander Langer    Returns 0 on success, or 1 on unknown unit error.
548a3031715SAlexander Langer */
549a3031715SAlexander Langer 
550a3031715SAlexander Langer int
551a3031715SAlexander Langer reduceunit(struct unittype * theunit)
552a3031715SAlexander Langer {
553a3031715SAlexander Langer 	int ret;
554a3031715SAlexander Langer 
555a3031715SAlexander Langer 	ret = 1;
556a3031715SAlexander Langer 	while (ret & 1) {
557a3031715SAlexander Langer 		ret = reduceproduct(theunit, 0) | reduceproduct(theunit, 1);
558a3031715SAlexander Langer 		if (ret & 4)
559a3031715SAlexander Langer 			return 1;
560a3031715SAlexander Langer 	}
561a3031715SAlexander Langer 	return 0;
562a3031715SAlexander Langer }
563a3031715SAlexander Langer 
564a3031715SAlexander Langer 
565a3031715SAlexander Langer int
566a3031715SAlexander Langer compareproducts(char **one, char **two)
567a3031715SAlexander Langer {
568a3031715SAlexander Langer 	while (*one || *two) {
569a3031715SAlexander Langer 		if (!*one && *two != NULLUNIT)
570a3031715SAlexander Langer 			return 1;
571a3031715SAlexander Langer 		if (!*two && *one != NULLUNIT)
572a3031715SAlexander Langer 			return 1;
573a3031715SAlexander Langer 		if (*one == NULLUNIT)
574a3031715SAlexander Langer 			one++;
575a3031715SAlexander Langer 		else if (*two == NULLUNIT)
576a3031715SAlexander Langer 			two++;
577a3031715SAlexander Langer 		else if (strcmp(*one, *two))
578a3031715SAlexander Langer 			return 1;
579a3031715SAlexander Langer 		else
580a3031715SAlexander Langer 			one++, two++;
581a3031715SAlexander Langer 	}
582a3031715SAlexander Langer 	return 0;
583a3031715SAlexander Langer }
584a3031715SAlexander Langer 
585a3031715SAlexander Langer 
586a3031715SAlexander Langer /* Return zero if units are compatible, nonzero otherwise */
587a3031715SAlexander Langer 
588a3031715SAlexander Langer int
589a3031715SAlexander Langer compareunits(struct unittype * first, struct unittype * second)
590a3031715SAlexander Langer {
591a3031715SAlexander Langer 	return
592a3031715SAlexander Langer 	compareproducts(first->numerator, second->numerator) ||
593a3031715SAlexander Langer 	compareproducts(first->denominator, second->denominator);
594a3031715SAlexander Langer }
595a3031715SAlexander Langer 
596a3031715SAlexander Langer 
597a3031715SAlexander Langer int
598a3031715SAlexander Langer completereduce(struct unittype * unit)
599a3031715SAlexander Langer {
600a3031715SAlexander Langer 	if (reduceunit(unit))
601a3031715SAlexander Langer 		return 1;
602a3031715SAlexander Langer 	sortunit(unit);
603a3031715SAlexander Langer 	cancelunit(unit);
604a3031715SAlexander Langer 	return 0;
605a3031715SAlexander Langer }
606a3031715SAlexander Langer 
607a3031715SAlexander Langer 
608a3031715SAlexander Langer void
609a3031715SAlexander Langer showanswer(struct unittype * have, struct unittype * want)
610a3031715SAlexander Langer {
611a3031715SAlexander Langer 	if (compareunits(have, want)) {
612a3031715SAlexander Langer 		printf("conformability error\n");
613a3031715SAlexander Langer 		showunit(have);
614a3031715SAlexander Langer 		showunit(want);
615a3031715SAlexander Langer 	}
616a3031715SAlexander Langer 	else
617a3031715SAlexander Langer 		printf("\t* %.8g\n\t/ %.8g\n", have->factor / want->factor,
618a3031715SAlexander Langer 		    want->factor / have->factor);
619a3031715SAlexander Langer }
620a3031715SAlexander Langer 
621a3031715SAlexander Langer 
622a3031715SAlexander Langer void
62317ad860fSDavid Malone usage(void)
624a3031715SAlexander Langer {
625d4d0763aSPhilippe Charnier 	fprintf(stderr,
626d4d0763aSPhilippe Charnier 		"usage: units [-f unitsfile] [-q] [-v] [from-unit to-unit]\n");
627a3031715SAlexander Langer 	exit(3);
628a3031715SAlexander Langer }
629a3031715SAlexander Langer 
630a3031715SAlexander Langer 
631a3031715SAlexander Langer int
632a3031715SAlexander Langer main(int argc, char **argv)
633a3031715SAlexander Langer {
634a3031715SAlexander Langer 
635a3031715SAlexander Langer 	struct unittype have, want;
636a3031715SAlexander Langer 	char havestr[81], wantstr[81];
637a3031715SAlexander Langer 	int optchar;
638a3031715SAlexander Langer 	char *userfile = 0;
639a3031715SAlexander Langer 	int quiet = 0;
640a3031715SAlexander Langer 
641a3031715SAlexander Langer 	while ((optchar = getopt(argc, argv, "vqf:")) != -1) {
642a3031715SAlexander Langer 		switch (optchar) {
643a3031715SAlexander Langer 		case 'f':
644a3031715SAlexander Langer 			userfile = optarg;
645a3031715SAlexander Langer 			break;
646a3031715SAlexander Langer 		case 'q':
647a3031715SAlexander Langer 			quiet = 1;
648a3031715SAlexander Langer 			break;
649a3031715SAlexander Langer 		case 'v':
650a3031715SAlexander Langer 			fprintf(stderr, "\n  units version %s  Copyright (c) 1993 by Adrian Mariano\n",
651a3031715SAlexander Langer 			    VERSION);
652a3031715SAlexander Langer 			fprintf(stderr, "                    This program may be freely distributed\n");
653a3031715SAlexander Langer 			usage();
654a3031715SAlexander Langer 		default:
655a3031715SAlexander Langer 			usage();
656a3031715SAlexander Langer 			break;
657a3031715SAlexander Langer 		}
658a3031715SAlexander Langer 	}
659a3031715SAlexander Langer 
660a3031715SAlexander Langer 	if (optind != argc - 2 && optind != argc)
661a3031715SAlexander Langer 		usage();
662a3031715SAlexander Langer 
663a3031715SAlexander Langer 	readunits(userfile);
664a3031715SAlexander Langer 
665a3031715SAlexander Langer 	if (optind == argc - 2) {
666ffd044a6SKris Kennaway 		strlcpy(havestr, argv[optind], sizeof(havestr));
667ffd044a6SKris Kennaway 		strlcpy(wantstr, argv[optind + 1], sizeof(wantstr));
668a3031715SAlexander Langer 		initializeunit(&have);
669a3031715SAlexander Langer 		addunit(&have, havestr, 0);
670a3031715SAlexander Langer 		completereduce(&have);
671a3031715SAlexander Langer 		initializeunit(&want);
672a3031715SAlexander Langer 		addunit(&want, wantstr, 0);
673a3031715SAlexander Langer 		completereduce(&want);
674a3031715SAlexander Langer 		showanswer(&have, &want);
675a3031715SAlexander Langer 	}
676a3031715SAlexander Langer 	else {
677a3031715SAlexander Langer 		if (!quiet)
678d4d0763aSPhilippe Charnier 			printf("%d units, %d prefixes\n", unitcount,
679a3031715SAlexander Langer 			    prefixcount);
680a3031715SAlexander Langer 		for (;;) {
681a3031715SAlexander Langer 			do {
682a3031715SAlexander Langer 				initializeunit(&have);
683a3031715SAlexander Langer 				if (!quiet)
684a3031715SAlexander Langer 					printf("You have: ");
68517ad860fSDavid Malone 				if (!fgets(havestr, sizeof(havestr), stdin)) {
6864c0c227dSAlexander Langer 					if (!quiet)
687a3031715SAlexander Langer 						putchar('\n');
688a3031715SAlexander Langer 					exit(0);
689a3031715SAlexander Langer 				}
690a3031715SAlexander Langer 			} while (addunit(&have, havestr, 0) ||
691a3031715SAlexander Langer 			    completereduce(&have));
692a3031715SAlexander Langer 			do {
693a3031715SAlexander Langer 				initializeunit(&want);
694a3031715SAlexander Langer 				if (!quiet)
695a3031715SAlexander Langer 					printf("You want: ");
69617ad860fSDavid Malone 				if (!fgets(wantstr, sizeof(wantstr), stdin)) {
697a3031715SAlexander Langer 					if (!quiet)
698a3031715SAlexander Langer 						putchar('\n');
699a3031715SAlexander Langer 					exit(0);
700a3031715SAlexander Langer 				}
701a3031715SAlexander Langer 			} while (addunit(&want, wantstr, 0) ||
702a3031715SAlexander Langer 			    completereduce(&want));
703a3031715SAlexander Langer 			showanswer(&have, &want);
704a3031715SAlexander Langer 		}
705a3031715SAlexander Langer 	}
7064c0c227dSAlexander Langer 
7074c0c227dSAlexander Langer 	return(0);
708a3031715SAlexander Langer }
709