xref: /freebsd/usr.bin/units/units.c (revision 3af082017abaf4476780a73eb82fd09f3402bd5b)
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>
25ac117d5dSEitan Adler #include <errno.h>
26647be2c3SEitan Adler #include <histedit.h>
27647be2c3SEitan Adler #include <stdbool.h>
28a3031715SAlexander Langer #include <stdio.h>
29a3031715SAlexander Langer #include <stdlib.h>
30d4d0763aSPhilippe Charnier #include <string.h>
31d4d0763aSPhilippe Charnier #include <unistd.h>
32a3031715SAlexander Langer 
33ac117d5dSEitan Adler #include <sys/capsicum.h>
34ac117d5dSEitan Adler 
35a3031715SAlexander Langer #include "pathnames.h"
36a3031715SAlexander Langer 
37a3031715SAlexander Langer #ifndef UNITSFILE
38a3031715SAlexander Langer #define UNITSFILE _PATH_UNITSLIB
39a3031715SAlexander Langer #endif
40a3031715SAlexander Langer 
41a3031715SAlexander Langer #define MAXUNITS 1000
4217ad860fSDavid Malone #define MAXPREFIXES 100
43a3031715SAlexander Langer 
44a3031715SAlexander Langer #define MAXSUBUNITS 500
45a3031715SAlexander Langer 
46a3031715SAlexander Langer #define PRIMITIVECHAR '!'
47a3031715SAlexander Langer 
4890a29505SEd Schouten static const char *powerstring = "^";
49a3031715SAlexander Langer 
5090a29505SEd Schouten static struct {
51a3031715SAlexander Langer 	char *uname;
52a3031715SAlexander Langer 	char *uval;
53a3031715SAlexander Langer }      unittable[MAXUNITS];
54a3031715SAlexander Langer 
55a3031715SAlexander Langer struct unittype {
56a3031715SAlexander Langer 	char *numerator[MAXSUBUNITS];
57a3031715SAlexander Langer 	char *denominator[MAXSUBUNITS];
58a3031715SAlexander Langer 	double factor;
599c95bc1cSDavid Malone 	double offset;
609c95bc1cSDavid Malone 	int quantity;
61a3031715SAlexander Langer };
62a3031715SAlexander Langer 
6390a29505SEd Schouten static struct {
64a3031715SAlexander Langer 	char *prefixname;
65a3031715SAlexander Langer 	char *prefixval;
66a3031715SAlexander Langer }      prefixtable[MAXPREFIXES];
67a3031715SAlexander Langer 
68a3031715SAlexander Langer 
6990a29505SEd Schouten static char NULLUNIT[] = "";
70a3031715SAlexander Langer 
71ffd044a6SKris Kennaway #ifdef MSDOS
7217ad860fSDavid Malone #define SEPARATOR      ";"
73ffd044a6SKris Kennaway #else
74ffd044a6SKris Kennaway #define SEPARATOR      ":"
75ffd044a6SKris Kennaway #endif
76ffd044a6SKris Kennaway 
7790a29505SEd Schouten static int unitcount;
7890a29505SEd Schouten static int prefixcount;
79a3031715SAlexander Langer 
805386636dSDavid Malone char	*dupstr(const char *str);
815386636dSDavid Malone void	 readunits(const char *userfile);
825386636dSDavid Malone void	 initializeunit(struct unittype * theunit);
835386636dSDavid Malone int	 addsubunit(char *product[], char *toadd);
845386636dSDavid Malone void	 showunit(struct unittype * theunit);
855386636dSDavid Malone void	 zeroerror(void);
86647be2c3SEitan Adler int	 addunit(struct unittype *theunit, const char *toadd, int flip, int quantity);
875386636dSDavid Malone int	 compare(const void *item1, const void *item2);
885386636dSDavid Malone void	 sortunit(struct unittype * theunit);
895386636dSDavid Malone void	 cancelunit(struct unittype * theunit);
905386636dSDavid Malone char	*lookupunit(const char *unit);
915386636dSDavid Malone int	 reduceproduct(struct unittype * theunit, int flip);
925386636dSDavid Malone int	 reduceunit(struct unittype * theunit);
935386636dSDavid Malone int	 compareproducts(char **one, char **two);
945386636dSDavid Malone int	 compareunits(struct unittype * first, struct unittype * second);
955386636dSDavid Malone int	 completereduce(struct unittype * unit);
965386636dSDavid Malone void	 showanswer(struct unittype * have, struct unittype * want);
975386636dSDavid Malone void	 usage(void);
98a3031715SAlexander Langer 
99647be2c3SEitan Adler static const char* promptstr = "";
100647be2c3SEitan Adler 
101647be2c3SEitan Adler static const char * prompt(EditLine *e __unused) {
102647be2c3SEitan Adler 	return promptstr;
103647be2c3SEitan Adler }
104647be2c3SEitan Adler 
105a3031715SAlexander Langer char *
10617ad860fSDavid Malone dupstr(const char *str)
107a3031715SAlexander Langer {
108a3031715SAlexander Langer 	char *ret;
109a3031715SAlexander Langer 
110a3031715SAlexander Langer 	ret = malloc(strlen(str) + 1);
111d4d0763aSPhilippe Charnier 	if (!ret)
112d4d0763aSPhilippe Charnier 		errx(3, "memory allocation error");
113a3031715SAlexander Langer 	strcpy(ret, str);
114a3031715SAlexander Langer 	return (ret);
115a3031715SAlexander Langer }
116a3031715SAlexander Langer 
117a3031715SAlexander Langer 
118a3031715SAlexander Langer void
11917ad860fSDavid Malone readunits(const char *userfile)
120a3031715SAlexander Langer {
121a3031715SAlexander Langer 	FILE *unitfile;
12217ad860fSDavid Malone 	char line[512], *lineptr;
123a3031715SAlexander Langer 	int len, linenum, i;
124ac117d5dSEitan Adler 	cap_rights_t unitfilerights;
125a3031715SAlexander Langer 
126a3031715SAlexander Langer 	unitcount = 0;
127a3031715SAlexander Langer 	linenum = 0;
128a3031715SAlexander Langer 
129a3031715SAlexander Langer 	if (userfile) {
130a3031715SAlexander Langer 		unitfile = fopen(userfile, "rt");
131d4d0763aSPhilippe Charnier 		if (!unitfile)
132d4d0763aSPhilippe Charnier 			errx(1, "unable to open units file '%s'", userfile);
133a3031715SAlexander Langer 	}
134a3031715SAlexander Langer 	else {
135a3031715SAlexander Langer 		unitfile = fopen(UNITSFILE, "rt");
136a3031715SAlexander Langer 		if (!unitfile) {
137a3031715SAlexander Langer 			char *direc, *env;
138a3031715SAlexander Langer 			char filename[1000];
139a3031715SAlexander Langer 
140a3031715SAlexander Langer 			env = getenv("PATH");
141a3031715SAlexander Langer 			if (env) {
142ffd044a6SKris Kennaway 				direc = strtok(env, SEPARATOR);
143a3031715SAlexander Langer 				while (direc) {
144ffd044a6SKris Kennaway 					snprintf(filename, sizeof(filename),
145ffd044a6SKris Kennaway 					    "%s/%s", direc, UNITSFILE);
146a3031715SAlexander Langer 					unitfile = fopen(filename, "rt");
147a3031715SAlexander Langer 					if (unitfile)
148a3031715SAlexander Langer 						break;
149ffd044a6SKris Kennaway 					direc = strtok(NULL, SEPARATOR);
150a3031715SAlexander Langer 				}
151a3031715SAlexander Langer 			}
152d4d0763aSPhilippe Charnier 			if (!unitfile)
153d4d0763aSPhilippe Charnier 				errx(1, "can't find units file '%s'", UNITSFILE);
154a3031715SAlexander Langer 		}
155a3031715SAlexander Langer 	}
156ac117d5dSEitan Adler 	cap_rights_init(&unitfilerights, CAP_READ, CAP_FSTAT);
157ac117d5dSEitan Adler 	if (cap_rights_limit(fileno(unitfile), &unitfilerights) < 0
158ac117d5dSEitan Adler 		&& errno != ENOSYS)
159ac117d5dSEitan Adler 		err(1, "cap_rights_limit() failed");
160a3031715SAlexander Langer 	while (!feof(unitfile)) {
16117ad860fSDavid Malone 		if (!fgets(line, sizeof(line), unitfile))
162a3031715SAlexander Langer 			break;
163a3031715SAlexander Langer 		linenum++;
164a3031715SAlexander Langer 		lineptr = line;
165a3031715SAlexander Langer 		if (*lineptr == '/')
166a3031715SAlexander Langer 			continue;
167a3031715SAlexander Langer 		lineptr += strspn(lineptr, " \n\t");
168a3031715SAlexander Langer 		len = strcspn(lineptr, " \n\t");
169a3031715SAlexander Langer 		lineptr[len] = 0;
170a3031715SAlexander Langer 		if (!strlen(lineptr))
171a3031715SAlexander Langer 			continue;
172a3031715SAlexander Langer 		if (lineptr[strlen(lineptr) - 1] == '-') { /* it's a prefix */
173a3031715SAlexander Langer 			if (prefixcount == MAXPREFIXES) {
174d4d0763aSPhilippe Charnier 				warnx("memory for prefixes exceeded in line %d", linenum);
175a3031715SAlexander Langer 				continue;
176a3031715SAlexander Langer 			}
177a3031715SAlexander Langer 			lineptr[strlen(lineptr) - 1] = 0;
178a3031715SAlexander Langer 			prefixtable[prefixcount].prefixname = dupstr(lineptr);
179a3031715SAlexander Langer 			for (i = 0; i < prefixcount; i++)
180a3031715SAlexander Langer 				if (!strcmp(prefixtable[i].prefixname, lineptr)) {
181d4d0763aSPhilippe Charnier 					warnx("redefinition of prefix '%s' on line %d ignored",
182a3031715SAlexander Langer 					    lineptr, linenum);
183a3031715SAlexander Langer 					continue;
184a3031715SAlexander Langer 				}
185a3031715SAlexander Langer 			lineptr += len + 1;
186a3031715SAlexander Langer 			lineptr += strspn(lineptr, " \n\t");
187a3031715SAlexander Langer 			len = strcspn(lineptr, "\n\t");
18817ad860fSDavid Malone 			if (len == 0) {
18917ad860fSDavid Malone 				warnx("unexpected end of prefix on line %d",
19017ad860fSDavid Malone 				    linenum);
19117ad860fSDavid Malone 				continue;
19217ad860fSDavid Malone 			}
193a3031715SAlexander Langer 			lineptr[len] = 0;
194a3031715SAlexander Langer 			prefixtable[prefixcount++].prefixval = dupstr(lineptr);
195a3031715SAlexander Langer 		}
196a3031715SAlexander Langer 		else {		/* it's not a prefix */
197a3031715SAlexander Langer 			if (unitcount == MAXUNITS) {
198d4d0763aSPhilippe Charnier 				warnx("memory for units exceeded in line %d", linenum);
199a3031715SAlexander Langer 				continue;
200a3031715SAlexander Langer 			}
201a3031715SAlexander Langer 			unittable[unitcount].uname = dupstr(lineptr);
202a3031715SAlexander Langer 			for (i = 0; i < unitcount; i++)
203a3031715SAlexander Langer 				if (!strcmp(unittable[i].uname, lineptr)) {
204d4d0763aSPhilippe Charnier 					warnx("redefinition of unit '%s' on line %d ignored",
205a3031715SAlexander Langer 					    lineptr, linenum);
206a3031715SAlexander Langer 					continue;
207a3031715SAlexander Langer 				}
208a3031715SAlexander Langer 			lineptr += len + 1;
209a3031715SAlexander Langer 			lineptr += strspn(lineptr, " \n\t");
210a3031715SAlexander Langer 			if (!strlen(lineptr)) {
21117ad860fSDavid Malone 				warnx("unexpected end of unit on line %d",
21217ad860fSDavid Malone 				    linenum);
213a3031715SAlexander Langer 				continue;
214a3031715SAlexander Langer 			}
215a3031715SAlexander Langer 			len = strcspn(lineptr, "\n\t");
216a3031715SAlexander Langer 			lineptr[len] = 0;
217a3031715SAlexander Langer 			unittable[unitcount++].uval = dupstr(lineptr);
218a3031715SAlexander Langer 		}
219a3031715SAlexander Langer 	}
220a3031715SAlexander Langer 	fclose(unitfile);
221a3031715SAlexander Langer }
222a3031715SAlexander Langer 
223a3031715SAlexander Langer void
224a3031715SAlexander Langer initializeunit(struct unittype * theunit)
225a3031715SAlexander Langer {
226a3031715SAlexander Langer 	theunit->numerator[0] = theunit->denominator[0] = NULL;
2279c95bc1cSDavid Malone 	theunit->factor = 1.0;
2289c95bc1cSDavid Malone 	theunit->offset = 0.0;
2299c95bc1cSDavid Malone 	theunit->quantity = 0;
230a3031715SAlexander Langer }
231a3031715SAlexander Langer 
232a3031715SAlexander Langer 
233a3031715SAlexander Langer int
234a3031715SAlexander Langer addsubunit(char *product[], char *toadd)
235a3031715SAlexander Langer {
236a3031715SAlexander Langer 	char **ptr;
237a3031715SAlexander Langer 
238a3031715SAlexander Langer 	for (ptr = product; *ptr && *ptr != NULLUNIT; ptr++);
239a3031715SAlexander Langer 	if (ptr >= product + MAXSUBUNITS) {
240d4d0763aSPhilippe Charnier 		warnx("memory overflow in unit reduction");
241a3031715SAlexander Langer 		return 1;
242a3031715SAlexander Langer 	}
243a3031715SAlexander Langer 	if (!*ptr)
244a3031715SAlexander Langer 		*(ptr + 1) = 0;
245a3031715SAlexander Langer 	*ptr = dupstr(toadd);
246a3031715SAlexander Langer 	return 0;
247a3031715SAlexander Langer }
248a3031715SAlexander Langer 
249a3031715SAlexander Langer 
250a3031715SAlexander Langer void
251a3031715SAlexander Langer showunit(struct unittype * theunit)
252a3031715SAlexander Langer {
253a3031715SAlexander Langer 	char **ptr;
254a3031715SAlexander Langer 	int printedslash;
255a3031715SAlexander Langer 	int counter = 1;
256a3031715SAlexander Langer 
257a3031715SAlexander Langer 	printf("\t%.8g", theunit->factor);
2589c95bc1cSDavid Malone 	if (theunit->offset)
2599c95bc1cSDavid Malone 		printf("&%.8g", theunit->offset);
260a3031715SAlexander Langer 	for (ptr = theunit->numerator; *ptr; ptr++) {
261a3031715SAlexander Langer 		if (ptr > theunit->numerator && **ptr &&
262a3031715SAlexander Langer 		    !strcmp(*ptr, *(ptr - 1)))
263a3031715SAlexander Langer 			counter++;
264a3031715SAlexander Langer 		else {
265a3031715SAlexander Langer 			if (counter > 1)
266a3031715SAlexander Langer 				printf("%s%d", powerstring, counter);
267a3031715SAlexander Langer 			if (**ptr)
268a3031715SAlexander Langer 				printf(" %s", *ptr);
269a3031715SAlexander Langer 			counter = 1;
270a3031715SAlexander Langer 		}
271a3031715SAlexander Langer 	}
272a3031715SAlexander Langer 	if (counter > 1)
273a3031715SAlexander Langer 		printf("%s%d", powerstring, counter);
274a3031715SAlexander Langer 	counter = 1;
275a3031715SAlexander Langer 	printedslash = 0;
276a3031715SAlexander Langer 	for (ptr = theunit->denominator; *ptr; ptr++) {
277a3031715SAlexander Langer 		if (ptr > theunit->denominator && **ptr &&
278a3031715SAlexander Langer 		    !strcmp(*ptr, *(ptr - 1)))
279a3031715SAlexander Langer 			counter++;
280a3031715SAlexander Langer 		else {
281a3031715SAlexander Langer 			if (counter > 1)
282a3031715SAlexander Langer 				printf("%s%d", powerstring, counter);
283a3031715SAlexander Langer 			if (**ptr) {
284a3031715SAlexander Langer 				if (!printedslash)
285a3031715SAlexander Langer 					printf(" /");
286a3031715SAlexander Langer 				printedslash = 1;
287a3031715SAlexander Langer 				printf(" %s", *ptr);
288a3031715SAlexander Langer 			}
289a3031715SAlexander Langer 			counter = 1;
290a3031715SAlexander Langer 		}
291a3031715SAlexander Langer 	}
292a3031715SAlexander Langer 	if (counter > 1)
293a3031715SAlexander Langer 		printf("%s%d", powerstring, counter);
294a3031715SAlexander Langer 	printf("\n");
295a3031715SAlexander Langer }
296a3031715SAlexander Langer 
297a3031715SAlexander Langer 
298a3031715SAlexander Langer void
29917ad860fSDavid Malone zeroerror(void)
300a3031715SAlexander Langer {
301d4d0763aSPhilippe Charnier 	warnx("unit reduces to zero");
302a3031715SAlexander Langer }
303a3031715SAlexander Langer 
304a3031715SAlexander Langer /*
305a3031715SAlexander Langer    Adds the specified string to the unit.
306a3031715SAlexander Langer    Flip is 0 for adding normally, 1 for adding reciprocal.
3079c95bc1cSDavid Malone    Quantity is 1 if this is a quantity to be converted rather than a pure unit.
308a3031715SAlexander Langer 
309a3031715SAlexander Langer    Returns 0 for successful addition, nonzero on error.
310a3031715SAlexander Langer */
311a3031715SAlexander Langer 
312a3031715SAlexander Langer int
313647be2c3SEitan Adler addunit(struct unittype * theunit, const char *toadd, int flip, int quantity)
314a3031715SAlexander Langer {
315a3031715SAlexander Langer 	char *scratch, *savescr;
316a3031715SAlexander Langer 	char *item;
3179c95bc1cSDavid Malone 	char *divider, *slash, *offset;
318a3031715SAlexander Langer 	int doingtop;
319a3031715SAlexander Langer 
320ffd044a6SKris Kennaway 	if (!strlen(toadd))
321ffd044a6SKris Kennaway 		return 1;
322ffd044a6SKris Kennaway 
323a3031715SAlexander Langer 	savescr = scratch = dupstr(toadd);
324a3031715SAlexander Langer 	for (slash = scratch + 1; *slash; slash++)
325a3031715SAlexander Langer 		if (*slash == '-' &&
326a3031715SAlexander Langer 		    (tolower(*(slash - 1)) != 'e' ||
327a3031715SAlexander Langer 		    !strchr(".0123456789", *(slash + 1))))
328a3031715SAlexander Langer 			*slash = ' ';
329a3031715SAlexander Langer 	slash = strchr(scratch, '/');
330a3031715SAlexander Langer 	if (slash)
331a3031715SAlexander Langer 		*slash = 0;
332a3031715SAlexander Langer 	doingtop = 1;
333a3031715SAlexander Langer 	do {
334a3031715SAlexander Langer 		item = strtok(scratch, " *\t\n/");
335a3031715SAlexander Langer 		while (item) {
336a3031715SAlexander Langer 			if (strchr("0123456789.", *item)) { /* item is a number */
3379c95bc1cSDavid Malone 				double num, offsetnum;
3389c95bc1cSDavid Malone 
3399c95bc1cSDavid Malone 				if (quantity)
3409c95bc1cSDavid Malone 					theunit->quantity = 1;
3419c95bc1cSDavid Malone 
3429c95bc1cSDavid Malone 				offset = strchr(item, '&');
3439c95bc1cSDavid Malone 				if (offset) {
3449c95bc1cSDavid Malone 					*offset = 0;
3459c95bc1cSDavid Malone 					offsetnum = atof(offset+1);
3469c95bc1cSDavid Malone 				} else
3479c95bc1cSDavid Malone 					offsetnum = 0.0;
348a3031715SAlexander Langer 
349a3031715SAlexander Langer 				divider = strchr(item, '|');
350a3031715SAlexander Langer 				if (divider) {
351a3031715SAlexander Langer 					*divider = 0;
352a3031715SAlexander Langer 					num = atof(item);
353a3031715SAlexander Langer 					if (!num) {
354a3031715SAlexander Langer 						zeroerror();
355a3031715SAlexander Langer 						return 1;
356a3031715SAlexander Langer 					}
3579c95bc1cSDavid Malone 					if (doingtop ^ flip) {
358a3031715SAlexander Langer 						theunit->factor *= num;
3599c95bc1cSDavid Malone 						theunit->offset *= num;
3609c95bc1cSDavid Malone 					} else {
361a3031715SAlexander Langer 						theunit->factor /= num;
3629c95bc1cSDavid Malone 						theunit->offset /= num;
3639c95bc1cSDavid Malone 					}
364a3031715SAlexander Langer 					num = atof(divider + 1);
365a3031715SAlexander Langer 					if (!num) {
366a3031715SAlexander Langer 						zeroerror();
367a3031715SAlexander Langer 						return 1;
368a3031715SAlexander Langer 					}
3699c95bc1cSDavid Malone 					if (doingtop ^ flip) {
370a3031715SAlexander Langer 						theunit->factor /= num;
3719c95bc1cSDavid Malone 						theunit->offset /= num;
3729c95bc1cSDavid Malone 					} else {
373a3031715SAlexander Langer 						theunit->factor *= num;
3749c95bc1cSDavid Malone 						theunit->offset *= num;
3759c95bc1cSDavid Malone 					}
376a3031715SAlexander Langer 				}
377a3031715SAlexander Langer 				else {
378a3031715SAlexander Langer 					num = atof(item);
379a3031715SAlexander Langer 					if (!num) {
380a3031715SAlexander Langer 						zeroerror();
381a3031715SAlexander Langer 						return 1;
382a3031715SAlexander Langer 					}
3839c95bc1cSDavid Malone 					if (doingtop ^ flip) {
384a3031715SAlexander Langer 						theunit->factor *= num;
3859c95bc1cSDavid Malone 						theunit->offset *= num;
3869c95bc1cSDavid Malone 					} else {
387a3031715SAlexander Langer 						theunit->factor /= num;
3889c95bc1cSDavid Malone 						theunit->offset /= num;
389a3031715SAlexander Langer 					}
390a3031715SAlexander Langer 				}
3919c95bc1cSDavid Malone 				if (doingtop ^ flip)
3929c95bc1cSDavid Malone 					theunit->offset += offsetnum;
3939c95bc1cSDavid Malone 			}
394a3031715SAlexander Langer 			else {	/* item is not a number */
395a3031715SAlexander Langer 				int repeat = 1;
396a3031715SAlexander Langer 
397a3031715SAlexander Langer 				if (strchr("23456789",
398a3031715SAlexander Langer 				    item[strlen(item) - 1])) {
399a3031715SAlexander Langer 					repeat = item[strlen(item) - 1] - '0';
400a3031715SAlexander Langer 					item[strlen(item) - 1] = 0;
401a3031715SAlexander Langer 				}
402a3031715SAlexander Langer 				for (; repeat; repeat--)
403a3031715SAlexander Langer 					if (addsubunit(doingtop ^ flip ? theunit->numerator : theunit->denominator, item))
404a3031715SAlexander Langer 						return 1;
405a3031715SAlexander Langer 			}
406a3031715SAlexander Langer 			item = strtok(NULL, " *\t/\n");
407a3031715SAlexander Langer 		}
408a3031715SAlexander Langer 		doingtop--;
409a3031715SAlexander Langer 		if (slash) {
410a3031715SAlexander Langer 			scratch = slash + 1;
411a3031715SAlexander Langer 		}
412a3031715SAlexander Langer 		else
413a3031715SAlexander Langer 			doingtop--;
414a3031715SAlexander Langer 	} while (doingtop >= 0);
415a3031715SAlexander Langer 	free(savescr);
416a3031715SAlexander Langer 	return 0;
417a3031715SAlexander Langer }
418a3031715SAlexander Langer 
419a3031715SAlexander Langer 
420a3031715SAlexander Langer int
421a3031715SAlexander Langer compare(const void *item1, const void *item2)
422a3031715SAlexander Langer {
42350bb7724SDavid Malone 	return strcmp(*(const char * const *)item1, *(const char * const *)item2);
424a3031715SAlexander Langer }
425a3031715SAlexander Langer 
426a3031715SAlexander Langer 
427a3031715SAlexander Langer void
428a3031715SAlexander Langer sortunit(struct unittype * theunit)
429a3031715SAlexander Langer {
430a3031715SAlexander Langer 	char **ptr;
43117ad860fSDavid Malone 	unsigned int count;
432a3031715SAlexander Langer 
433a3031715SAlexander Langer 	for (count = 0, ptr = theunit->numerator; *ptr; ptr++, count++);
434a3031715SAlexander Langer 	qsort(theunit->numerator, count, sizeof(char *), compare);
435a3031715SAlexander Langer 	for (count = 0, ptr = theunit->denominator; *ptr; ptr++, count++);
436a3031715SAlexander Langer 	qsort(theunit->denominator, count, sizeof(char *), compare);
437a3031715SAlexander Langer }
438a3031715SAlexander Langer 
439a3031715SAlexander Langer 
440a3031715SAlexander Langer void
441a3031715SAlexander Langer cancelunit(struct unittype * theunit)
442a3031715SAlexander Langer {
443a3031715SAlexander Langer 	char **den, **num;
444a3031715SAlexander Langer 	int comp;
445a3031715SAlexander Langer 
446a3031715SAlexander Langer 	den = theunit->denominator;
447a3031715SAlexander Langer 	num = theunit->numerator;
448a3031715SAlexander Langer 
449a3031715SAlexander Langer 	while (*num && *den) {
450a3031715SAlexander Langer 		comp = strcmp(*den, *num);
451a3031715SAlexander Langer 		if (!comp) {
452a3031715SAlexander Langer /*      if (*den!=NULLUNIT) free(*den);
453a3031715SAlexander Langer       if (*num!=NULLUNIT) free(*num);*/
454a3031715SAlexander Langer 			*den++ = NULLUNIT;
455a3031715SAlexander Langer 			*num++ = NULLUNIT;
456a3031715SAlexander Langer 		}
457a3031715SAlexander Langer 		else if (comp < 0)
458a3031715SAlexander Langer 			den++;
459a3031715SAlexander Langer 		else
460a3031715SAlexander Langer 			num++;
461a3031715SAlexander Langer 	}
462a3031715SAlexander Langer }
463a3031715SAlexander Langer 
464a3031715SAlexander Langer 
465a3031715SAlexander Langer 
466a3031715SAlexander Langer 
467a3031715SAlexander Langer /*
468a3031715SAlexander Langer    Looks up the definition for the specified unit.
469a3031715SAlexander Langer    Returns a pointer to the definition or a null pointer
470a3031715SAlexander Langer    if the specified unit does not appear in the units table.
471a3031715SAlexander Langer */
472a3031715SAlexander Langer 
473a3031715SAlexander Langer static char buffer[100];	/* buffer for lookupunit answers with
474a3031715SAlexander Langer 				   prefixes */
475a3031715SAlexander Langer 
476a3031715SAlexander Langer char *
47717ad860fSDavid Malone lookupunit(const char *unit)
478a3031715SAlexander Langer {
479a3031715SAlexander Langer 	int i;
480a3031715SAlexander Langer 	char *copy;
481a3031715SAlexander Langer 
482a3031715SAlexander Langer 	for (i = 0; i < unitcount; i++) {
483a3031715SAlexander Langer 		if (!strcmp(unittable[i].uname, unit))
484a3031715SAlexander Langer 			return unittable[i].uval;
485a3031715SAlexander Langer 	}
486a3031715SAlexander Langer 
487a3031715SAlexander Langer 	if (unit[strlen(unit) - 1] == '^') {
488a3031715SAlexander Langer 		copy = dupstr(unit);
489a3031715SAlexander Langer 		copy[strlen(copy) - 1] = 0;
490a3031715SAlexander Langer 		for (i = 0; i < unitcount; i++) {
491a3031715SAlexander Langer 			if (!strcmp(unittable[i].uname, copy)) {
492ffd044a6SKris Kennaway 				strlcpy(buffer, copy, sizeof(buffer));
493a3031715SAlexander Langer 				free(copy);
494a3031715SAlexander Langer 				return buffer;
495a3031715SAlexander Langer 			}
496a3031715SAlexander Langer 		}
497a3031715SAlexander Langer 		free(copy);
498a3031715SAlexander Langer 	}
499a3031715SAlexander Langer 	if (unit[strlen(unit) - 1] == 's') {
500a3031715SAlexander Langer 		copy = dupstr(unit);
501a3031715SAlexander Langer 		copy[strlen(copy) - 1] = 0;
502a3031715SAlexander Langer 		for (i = 0; i < unitcount; i++) {
503a3031715SAlexander Langer 			if (!strcmp(unittable[i].uname, copy)) {
504ffd044a6SKris Kennaway 				strlcpy(buffer, copy, sizeof(buffer));
505a3031715SAlexander Langer 				free(copy);
506a3031715SAlexander Langer 				return buffer;
507a3031715SAlexander Langer 			}
508a3031715SAlexander Langer 		}
509a3031715SAlexander Langer 		if (copy[strlen(copy) - 1] == 'e') {
510a3031715SAlexander Langer 			copy[strlen(copy) - 1] = 0;
511a3031715SAlexander Langer 			for (i = 0; i < unitcount; i++) {
512a3031715SAlexander Langer 				if (!strcmp(unittable[i].uname, copy)) {
513ffd044a6SKris Kennaway 					strlcpy(buffer, copy, sizeof(buffer));
514a3031715SAlexander Langer 					free(copy);
515a3031715SAlexander Langer 					return buffer;
516a3031715SAlexander Langer 				}
517a3031715SAlexander Langer 			}
518a3031715SAlexander Langer 		}
519a3031715SAlexander Langer 		free(copy);
520a3031715SAlexander Langer 	}
521a3031715SAlexander Langer 	for (i = 0; i < prefixcount; i++) {
52217ad860fSDavid Malone 		size_t len = strlen(prefixtable[i].prefixname);
52317ad860fSDavid Malone 		if (!strncmp(prefixtable[i].prefixname, unit, len)) {
52417ad860fSDavid Malone 			if (!strlen(unit + len) || lookupunit(unit + len)) {
525ffd044a6SKris Kennaway 				snprintf(buffer, sizeof(buffer), "%s %s",
52617ad860fSDavid Malone 				    prefixtable[i].prefixval, unit + len);
527a3031715SAlexander Langer 				return buffer;
528a3031715SAlexander Langer 			}
529a3031715SAlexander Langer 		}
530a3031715SAlexander Langer 	}
531a3031715SAlexander Langer 	return 0;
532a3031715SAlexander Langer }
533a3031715SAlexander Langer 
534a3031715SAlexander Langer 
535a3031715SAlexander Langer 
536a3031715SAlexander Langer /*
537a3031715SAlexander Langer    reduces a product of symbolic units to primitive units.
538a3031715SAlexander Langer    The three low bits are used to return flags:
539a3031715SAlexander Langer 
540a3031715SAlexander Langer      bit 0 (1) set on if reductions were performed without error.
541a3031715SAlexander Langer      bit 1 (2) set on if no reductions are performed.
542a3031715SAlexander Langer      bit 2 (4) set on if an unknown unit is discovered.
543a3031715SAlexander Langer */
544a3031715SAlexander Langer 
545a3031715SAlexander Langer 
546a3031715SAlexander Langer #define ERROR 4
547a3031715SAlexander Langer 
548a3031715SAlexander Langer int
549a3031715SAlexander Langer reduceproduct(struct unittype * theunit, int flip)
550a3031715SAlexander Langer {
551a3031715SAlexander Langer 
552a3031715SAlexander Langer 	char *toadd;
553a3031715SAlexander Langer 	char **product;
554a3031715SAlexander Langer 	int didsomething = 2;
555a3031715SAlexander Langer 
556a3031715SAlexander Langer 	if (flip)
557a3031715SAlexander Langer 		product = theunit->denominator;
558a3031715SAlexander Langer 	else
559a3031715SAlexander Langer 		product = theunit->numerator;
560a3031715SAlexander Langer 
561a3031715SAlexander Langer 	for (; *product; product++) {
562a3031715SAlexander Langer 
563a3031715SAlexander Langer 		for (;;) {
564a3031715SAlexander Langer 			if (!strlen(*product))
565a3031715SAlexander Langer 				break;
566a3031715SAlexander Langer 			toadd = lookupunit(*product);
567a3031715SAlexander Langer 			if (!toadd) {
568a3031715SAlexander Langer 				printf("unknown unit '%s'\n", *product);
569a3031715SAlexander Langer 				return ERROR;
570a3031715SAlexander Langer 			}
571a3031715SAlexander Langer 			if (strchr(toadd, PRIMITIVECHAR))
572a3031715SAlexander Langer 				break;
573a3031715SAlexander Langer 			didsomething = 1;
574a3031715SAlexander Langer 			if (*product != NULLUNIT) {
575a3031715SAlexander Langer 				free(*product);
576a3031715SAlexander Langer 				*product = NULLUNIT;
577a3031715SAlexander Langer 			}
5789c95bc1cSDavid Malone 			if (addunit(theunit, toadd, flip, 0))
579a3031715SAlexander Langer 				return ERROR;
580a3031715SAlexander Langer 		}
581a3031715SAlexander Langer 	}
582a3031715SAlexander Langer 	return didsomething;
583a3031715SAlexander Langer }
584a3031715SAlexander Langer 
585a3031715SAlexander Langer 
586a3031715SAlexander Langer /*
587a3031715SAlexander Langer    Reduces numerator and denominator of the specified unit.
588a3031715SAlexander Langer    Returns 0 on success, or 1 on unknown unit error.
589a3031715SAlexander Langer */
590a3031715SAlexander Langer 
591a3031715SAlexander Langer int
592a3031715SAlexander Langer reduceunit(struct unittype * theunit)
593a3031715SAlexander Langer {
594a3031715SAlexander Langer 	int ret;
595a3031715SAlexander Langer 
596a3031715SAlexander Langer 	ret = 1;
597a3031715SAlexander Langer 	while (ret & 1) {
598a3031715SAlexander Langer 		ret = reduceproduct(theunit, 0) | reduceproduct(theunit, 1);
599a3031715SAlexander Langer 		if (ret & 4)
600a3031715SAlexander Langer 			return 1;
601a3031715SAlexander Langer 	}
602a3031715SAlexander Langer 	return 0;
603a3031715SAlexander Langer }
604a3031715SAlexander Langer 
605a3031715SAlexander Langer 
606a3031715SAlexander Langer int
607a3031715SAlexander Langer compareproducts(char **one, char **two)
608a3031715SAlexander Langer {
609a3031715SAlexander Langer 	while (*one || *two) {
610a3031715SAlexander Langer 		if (!*one && *two != NULLUNIT)
611a3031715SAlexander Langer 			return 1;
612a3031715SAlexander Langer 		if (!*two && *one != NULLUNIT)
613a3031715SAlexander Langer 			return 1;
614a3031715SAlexander Langer 		if (*one == NULLUNIT)
615a3031715SAlexander Langer 			one++;
616a3031715SAlexander Langer 		else if (*two == NULLUNIT)
617a3031715SAlexander Langer 			two++;
618a3031715SAlexander Langer 		else if (strcmp(*one, *two))
619a3031715SAlexander Langer 			return 1;
620a3031715SAlexander Langer 		else
621a3031715SAlexander Langer 			one++, two++;
622a3031715SAlexander Langer 	}
623a3031715SAlexander Langer 	return 0;
624a3031715SAlexander Langer }
625a3031715SAlexander Langer 
626a3031715SAlexander Langer 
627a3031715SAlexander Langer /* Return zero if units are compatible, nonzero otherwise */
628a3031715SAlexander Langer 
629a3031715SAlexander Langer int
630a3031715SAlexander Langer compareunits(struct unittype * first, struct unittype * second)
631a3031715SAlexander Langer {
632a3031715SAlexander Langer 	return
633a3031715SAlexander Langer 	compareproducts(first->numerator, second->numerator) ||
634a3031715SAlexander Langer 	compareproducts(first->denominator, second->denominator);
635a3031715SAlexander Langer }
636a3031715SAlexander Langer 
637a3031715SAlexander Langer 
638a3031715SAlexander Langer int
639a3031715SAlexander Langer completereduce(struct unittype * unit)
640a3031715SAlexander Langer {
641a3031715SAlexander Langer 	if (reduceunit(unit))
642a3031715SAlexander Langer 		return 1;
643a3031715SAlexander Langer 	sortunit(unit);
644a3031715SAlexander Langer 	cancelunit(unit);
645a3031715SAlexander Langer 	return 0;
646a3031715SAlexander Langer }
647a3031715SAlexander Langer 
648a3031715SAlexander Langer 
649a3031715SAlexander Langer void
650a3031715SAlexander Langer showanswer(struct unittype * have, struct unittype * want)
651a3031715SAlexander Langer {
652a3031715SAlexander Langer 	if (compareunits(have, want)) {
653a3031715SAlexander Langer 		printf("conformability error\n");
654a3031715SAlexander Langer 		showunit(have);
655a3031715SAlexander Langer 		showunit(want);
656a3031715SAlexander Langer 	}
6579c95bc1cSDavid Malone 	else if (have->offset != want->offset) {
6589c95bc1cSDavid Malone 		if (want->quantity)
6599c95bc1cSDavid Malone 			printf("WARNING: conversion of non-proportional quantities.\n");
6609c95bc1cSDavid Malone 		printf("\t");
6619c95bc1cSDavid Malone 		if (have->quantity)
6629c95bc1cSDavid Malone 			printf("%.8g\n",
6639c95bc1cSDavid Malone 			    (have->factor + have->offset-want->offset)/want->factor);
6649c95bc1cSDavid Malone 		else
6659c95bc1cSDavid Malone 			printf(" (-> x*%.8g %+.8g)\n\t (<- y*%.8g %+.8g)\n",
6669c95bc1cSDavid Malone 			    have->factor / want->factor,
6679c95bc1cSDavid Malone 			    (have->offset-want->offset)/want->factor,
6689c95bc1cSDavid Malone 			    want->factor / have->factor,
6699c95bc1cSDavid Malone 			    (want->offset - have->offset)/have->factor);
6709c95bc1cSDavid Malone 	}
671a3031715SAlexander Langer 	else
672a3031715SAlexander Langer 		printf("\t* %.8g\n\t/ %.8g\n", have->factor / want->factor,
673a3031715SAlexander Langer 		    want->factor / have->factor);
674a3031715SAlexander Langer }
675a3031715SAlexander Langer 
676a3031715SAlexander Langer 
677a3031715SAlexander Langer void
67817ad860fSDavid Malone usage(void)
679a3031715SAlexander Langer {
680d4d0763aSPhilippe Charnier 	fprintf(stderr,
681d4d0763aSPhilippe Charnier 		"usage: units [-f unitsfile] [-q] [-v] [from-unit to-unit]\n");
682a3031715SAlexander Langer 	exit(3);
683a3031715SAlexander Langer }
684a3031715SAlexander Langer 
685a3031715SAlexander Langer 
686a3031715SAlexander Langer int
687a3031715SAlexander Langer main(int argc, char **argv)
688a3031715SAlexander Langer {
689a3031715SAlexander Langer 
690a3031715SAlexander Langer 	struct unittype have, want;
691647be2c3SEitan Adler 	const char * havestr;
692647be2c3SEitan Adler 	const char * wantstr;
693a3031715SAlexander Langer 	int optchar;
694647be2c3SEitan Adler 	bool quiet;
695*3af08201SEitan Adler 	bool readfile;
696647be2c3SEitan Adler 	History *inhistory;
697647be2c3SEitan Adler 	EditLine *el;
698647be2c3SEitan Adler 	HistEvent ev;
699647be2c3SEitan Adler 	int inputsz;
700a3031715SAlexander Langer 
701647be2c3SEitan Adler 	quiet = false;
702*3af08201SEitan Adler 	readfile = false;
7036d12a834SEitan Adler 	while ((optchar = getopt(argc, argv, "Vqf:")) != -1) {
704a3031715SAlexander Langer 		switch (optchar) {
705a3031715SAlexander Langer 		case 'f':
706*3af08201SEitan Adler 			readfile = true;
707*3af08201SEitan Adler 			if (strlen(optarg) == 0)
708*3af08201SEitan Adler 				readunits(NULL);
709*3af08201SEitan Adler 			else
710*3af08201SEitan Adler 				readunits(optarg);
711a3031715SAlexander Langer 			break;
712a3031715SAlexander Langer 		case 'q':
713647be2c3SEitan Adler 			quiet = true;
714a3031715SAlexander Langer 			break;
7156d12a834SEitan Adler 		case 'V':
7166d12a834SEitan Adler 			fprintf(stderr, "FreeBSD units\n");
717a3031715SAlexander Langer 			usage();
718a3031715SAlexander Langer 			break;
7196d12a834SEitan Adler 		default:
7206d12a834SEitan Adler 			usage();
721a3031715SAlexander Langer 		}
722a3031715SAlexander Langer 	}
723a3031715SAlexander Langer 
724*3af08201SEitan Adler 	if (!readfile)
725*3af08201SEitan Adler 		readunits(NULL);
726a3031715SAlexander Langer 
727647be2c3SEitan Adler 	inhistory = history_init();
728647be2c3SEitan Adler 	el = el_init(argv[0], stdin, stdout, stderr);
729647be2c3SEitan Adler 	el_set(el, EL_PROMPT, &prompt);
730647be2c3SEitan Adler 	el_set(el, EL_EDITOR, "emacs");
731647be2c3SEitan Adler 	el_set(el, EL_SIGNAL, 1);
732647be2c3SEitan Adler 	el_set(el, EL_HIST, history, inhistory);
733cada5528SEitan Adler 	el_source(el, NULL);
734647be2c3SEitan Adler 	history(inhistory, &ev, H_SETSIZE, 800);
735647be2c3SEitan Adler 	if (inhistory == 0)
736647be2c3SEitan Adler 		err(1, "Could not initalize history");
737647be2c3SEitan Adler 
738*3af08201SEitan Adler 	if (cap_enter() < 0 && errno != ENOSYS)
739*3af08201SEitan Adler 		err(1, "unable to enter capability mode");
740a3031715SAlexander Langer 
741a3031715SAlexander Langer 	if (optind == argc - 2) {
742647be2c3SEitan Adler 		havestr = argv[optind];
743647be2c3SEitan Adler 		wantstr = argv[optind + 1];
744a3031715SAlexander Langer 		initializeunit(&have);
7459c95bc1cSDavid Malone 		addunit(&have, havestr, 0, 1);
746a3031715SAlexander Langer 		completereduce(&have);
747a3031715SAlexander Langer 		initializeunit(&want);
7489c95bc1cSDavid Malone 		addunit(&want, wantstr, 0, 1);
749a3031715SAlexander Langer 		completereduce(&want);
750a3031715SAlexander Langer 		showanswer(&have, &want);
751a3031715SAlexander Langer 	}
752a3031715SAlexander Langer 	else {
753a3031715SAlexander Langer 		if (!quiet)
754d4d0763aSPhilippe Charnier 			printf("%d units, %d prefixes\n", unitcount,
755a3031715SAlexander Langer 			    prefixcount);
756a3031715SAlexander Langer 		for (;;) {
757a3031715SAlexander Langer 			do {
758a3031715SAlexander Langer 				initializeunit(&have);
759a3031715SAlexander Langer 				if (!quiet)
760647be2c3SEitan Adler 					promptstr = "You have: ";
761647be2c3SEitan Adler 				havestr = el_gets(el, &inputsz);
762647be2c3SEitan Adler 				if (havestr == NULL)
763a3031715SAlexander Langer 					exit(0);
764647be2c3SEitan Adler 				if (inputsz > 0)
765647be2c3SEitan Adler 					history(inhistory, &ev, H_ENTER,
766647be2c3SEitan Adler 					havestr);
7679c95bc1cSDavid Malone 			} while (addunit(&have, havestr, 0, 1) ||
768a3031715SAlexander Langer 			    completereduce(&have));
769a3031715SAlexander Langer 			do {
770a3031715SAlexander Langer 				initializeunit(&want);
771a3031715SAlexander Langer 				if (!quiet)
772647be2c3SEitan Adler 					promptstr = "You want: ";
773647be2c3SEitan Adler 				wantstr = el_gets(el, &inputsz);
774647be2c3SEitan Adler 				if (wantstr == NULL)
775a3031715SAlexander Langer 					exit(0);
776647be2c3SEitan Adler 				if (inputsz > 0)
777647be2c3SEitan Adler 					history(inhistory, &ev, H_ENTER,
778647be2c3SEitan Adler 					wantstr);
7799c95bc1cSDavid Malone 			} while (addunit(&want, wantstr, 0, 1) ||
780a3031715SAlexander Langer 			    completereduce(&want));
781a3031715SAlexander Langer 			showanswer(&have, &want);
782a3031715SAlexander Langer 		}
783a3031715SAlexander Langer 	}
7844c0c227dSAlexander Langer 
785647be2c3SEitan Adler 	history_end(inhistory);
7864c0c227dSAlexander Langer 	return(0);
787a3031715SAlexander Langer }
788