xref: /freebsd/usr.bin/units/units.c (revision cfa8c236403a97333a65f028d8cb0761ba068b9f)
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;
799653775eSEitan Adler static bool verbose = false;
809653775eSEitan Adler static const char * havestr;
819653775eSEitan Adler static const char * wantstr;
829653775eSEitan Adler 
83a3031715SAlexander Langer 
84dc8c916dSEitan Adler static int	 addsubunit(char *product[], char *toadd);
85dc8c916dSEitan Adler static int	 addunit(struct unittype *theunit, const char *toadd, int flip, int quantity);
86dc8c916dSEitan Adler static void	 cancelunit(struct unittype * theunit);
87dc8c916dSEitan Adler static int	 compare(const void *item1, const void *item2);
88dc8c916dSEitan Adler static int	 compareproducts(char **one, char **two);
89dc8c916dSEitan Adler static int	 compareunits(struct unittype * first, struct unittype * second);
90dc8c916dSEitan Adler static int	 completereduce(struct unittype * unit);
91dc8c916dSEitan Adler static char	*dupstr(const char *str);
92dc8c916dSEitan Adler static void	 initializeunit(struct unittype * theunit);
93dc8c916dSEitan Adler static char	*lookupunit(const char *unit);
94dc8c916dSEitan Adler static void	 readunits(const char *userfile);
95dc8c916dSEitan Adler static int	 reduceproduct(struct unittype * theunit, int flip);
96dc8c916dSEitan Adler static int	 reduceunit(struct unittype * theunit);
97dc8c916dSEitan Adler static void	 showanswer(struct unittype * have, struct unittype * want);
98dc8c916dSEitan Adler static void	 showunit(struct unittype * theunit);
99dc8c916dSEitan Adler static void	 sortunit(struct unittype * theunit);
100dc8c916dSEitan Adler static void	 usage(void);
101dc8c916dSEitan Adler static void	 zeroerror(void);
102a3031715SAlexander Langer 
103647be2c3SEitan Adler static const char* promptstr = "";
104647be2c3SEitan Adler 
105647be2c3SEitan Adler static const char * prompt(EditLine *e __unused) {
106647be2c3SEitan Adler 	return promptstr;
107647be2c3SEitan Adler }
108647be2c3SEitan Adler 
109a3031715SAlexander Langer char *
11017ad860fSDavid Malone dupstr(const char *str)
111a3031715SAlexander Langer {
112a3031715SAlexander Langer 	char *ret;
113a3031715SAlexander Langer 
114*cfa8c236SEitan Adler 	ret = strdup(str);
115d4d0763aSPhilippe Charnier 	if (!ret)
116*cfa8c236SEitan Adler 		err(3, "dupstr");
117a3031715SAlexander Langer 	return (ret);
118a3031715SAlexander Langer }
119a3031715SAlexander Langer 
120a3031715SAlexander Langer 
121a3031715SAlexander Langer void
12217ad860fSDavid Malone readunits(const char *userfile)
123a3031715SAlexander Langer {
124a3031715SAlexander Langer 	FILE *unitfile;
12517ad860fSDavid Malone 	char line[512], *lineptr;
126a3031715SAlexander Langer 	int len, linenum, i;
127ac117d5dSEitan Adler 	cap_rights_t unitfilerights;
128a3031715SAlexander Langer 
129a3031715SAlexander Langer 	unitcount = 0;
130a3031715SAlexander Langer 	linenum = 0;
131a3031715SAlexander Langer 
132a3031715SAlexander Langer 	if (userfile) {
133a3031715SAlexander Langer 		unitfile = fopen(userfile, "rt");
134d4d0763aSPhilippe Charnier 		if (!unitfile)
135d4d0763aSPhilippe Charnier 			errx(1, "unable to open units file '%s'", userfile);
136a3031715SAlexander Langer 	}
137a3031715SAlexander Langer 	else {
138a3031715SAlexander Langer 		unitfile = fopen(UNITSFILE, "rt");
139a3031715SAlexander Langer 		if (!unitfile) {
140a3031715SAlexander Langer 			char *direc, *env;
141a3031715SAlexander Langer 			char filename[1000];
142a3031715SAlexander Langer 
143a3031715SAlexander Langer 			env = getenv("PATH");
144a3031715SAlexander Langer 			if (env) {
145ffd044a6SKris Kennaway 				direc = strtok(env, SEPARATOR);
146a3031715SAlexander Langer 				while (direc) {
147ffd044a6SKris Kennaway 					snprintf(filename, sizeof(filename),
148ffd044a6SKris Kennaway 					    "%s/%s", direc, UNITSFILE);
149a3031715SAlexander Langer 					unitfile = fopen(filename, "rt");
150a3031715SAlexander Langer 					if (unitfile)
151a3031715SAlexander Langer 						break;
152ffd044a6SKris Kennaway 					direc = strtok(NULL, SEPARATOR);
153a3031715SAlexander Langer 				}
154a3031715SAlexander Langer 			}
155d4d0763aSPhilippe Charnier 			if (!unitfile)
156d4d0763aSPhilippe Charnier 				errx(1, "can't find units file '%s'", UNITSFILE);
157a3031715SAlexander Langer 		}
158a3031715SAlexander Langer 	}
159ac117d5dSEitan Adler 	cap_rights_init(&unitfilerights, CAP_READ, CAP_FSTAT);
160ac117d5dSEitan Adler 	if (cap_rights_limit(fileno(unitfile), &unitfilerights) < 0
161ac117d5dSEitan Adler 		&& errno != ENOSYS)
162ac117d5dSEitan Adler 		err(1, "cap_rights_limit() failed");
163a3031715SAlexander Langer 	while (!feof(unitfile)) {
16417ad860fSDavid Malone 		if (!fgets(line, sizeof(line), unitfile))
165a3031715SAlexander Langer 			break;
166a3031715SAlexander Langer 		linenum++;
167a3031715SAlexander Langer 		lineptr = line;
168a3031715SAlexander Langer 		if (*lineptr == '/')
169a3031715SAlexander Langer 			continue;
170a3031715SAlexander Langer 		lineptr += strspn(lineptr, " \n\t");
171a3031715SAlexander Langer 		len = strcspn(lineptr, " \n\t");
172a3031715SAlexander Langer 		lineptr[len] = 0;
173a3031715SAlexander Langer 		if (!strlen(lineptr))
174a3031715SAlexander Langer 			continue;
175a3031715SAlexander Langer 		if (lineptr[strlen(lineptr) - 1] == '-') { /* it's a prefix */
176a3031715SAlexander Langer 			if (prefixcount == MAXPREFIXES) {
177d4d0763aSPhilippe Charnier 				warnx("memory for prefixes exceeded in line %d", linenum);
178a3031715SAlexander Langer 				continue;
179a3031715SAlexander Langer 			}
180a3031715SAlexander Langer 			lineptr[strlen(lineptr) - 1] = 0;
181a3031715SAlexander Langer 			prefixtable[prefixcount].prefixname = dupstr(lineptr);
182a3031715SAlexander Langer 			for (i = 0; i < prefixcount; i++)
183a3031715SAlexander Langer 				if (!strcmp(prefixtable[i].prefixname, lineptr)) {
184d4d0763aSPhilippe Charnier 					warnx("redefinition of prefix '%s' on line %d ignored",
185a3031715SAlexander Langer 					    lineptr, linenum);
186a3031715SAlexander Langer 					continue;
187a3031715SAlexander Langer 				}
188a3031715SAlexander Langer 			lineptr += len + 1;
189a3031715SAlexander Langer 			lineptr += strspn(lineptr, " \n\t");
190a3031715SAlexander Langer 			len = strcspn(lineptr, "\n\t");
19117ad860fSDavid Malone 			if (len == 0) {
19217ad860fSDavid Malone 				warnx("unexpected end of prefix on line %d",
19317ad860fSDavid Malone 				    linenum);
19417ad860fSDavid Malone 				continue;
19517ad860fSDavid Malone 			}
196a3031715SAlexander Langer 			lineptr[len] = 0;
197a3031715SAlexander Langer 			prefixtable[prefixcount++].prefixval = dupstr(lineptr);
198a3031715SAlexander Langer 		}
199a3031715SAlexander Langer 		else {		/* it's not a prefix */
200a3031715SAlexander Langer 			if (unitcount == MAXUNITS) {
201d4d0763aSPhilippe Charnier 				warnx("memory for units exceeded in line %d", linenum);
202a3031715SAlexander Langer 				continue;
203a3031715SAlexander Langer 			}
204a3031715SAlexander Langer 			unittable[unitcount].uname = dupstr(lineptr);
205a3031715SAlexander Langer 			for (i = 0; i < unitcount; i++)
206a3031715SAlexander Langer 				if (!strcmp(unittable[i].uname, lineptr)) {
207d4d0763aSPhilippe Charnier 					warnx("redefinition of unit '%s' on line %d ignored",
208a3031715SAlexander Langer 					    lineptr, linenum);
209a3031715SAlexander Langer 					continue;
210a3031715SAlexander Langer 				}
211a3031715SAlexander Langer 			lineptr += len + 1;
212a3031715SAlexander Langer 			lineptr += strspn(lineptr, " \n\t");
213a3031715SAlexander Langer 			if (!strlen(lineptr)) {
21417ad860fSDavid Malone 				warnx("unexpected end of unit on line %d",
21517ad860fSDavid Malone 				    linenum);
216a3031715SAlexander Langer 				continue;
217a3031715SAlexander Langer 			}
218a3031715SAlexander Langer 			len = strcspn(lineptr, "\n\t");
219a3031715SAlexander Langer 			lineptr[len] = 0;
220a3031715SAlexander Langer 			unittable[unitcount++].uval = dupstr(lineptr);
221a3031715SAlexander Langer 		}
222a3031715SAlexander Langer 	}
223a3031715SAlexander Langer 	fclose(unitfile);
224a3031715SAlexander Langer }
225a3031715SAlexander Langer 
226a3031715SAlexander Langer void
227a3031715SAlexander Langer initializeunit(struct unittype * theunit)
228a3031715SAlexander Langer {
229a3031715SAlexander Langer 	theunit->numerator[0] = theunit->denominator[0] = NULL;
2309c95bc1cSDavid Malone 	theunit->factor = 1.0;
2319c95bc1cSDavid Malone 	theunit->offset = 0.0;
2329c95bc1cSDavid Malone 	theunit->quantity = 0;
233a3031715SAlexander Langer }
234a3031715SAlexander Langer 
235a3031715SAlexander Langer 
236a3031715SAlexander Langer int
237a3031715SAlexander Langer addsubunit(char *product[], char *toadd)
238a3031715SAlexander Langer {
239a3031715SAlexander Langer 	char **ptr;
240a3031715SAlexander Langer 
241a3031715SAlexander Langer 	for (ptr = product; *ptr && *ptr != NULLUNIT; ptr++);
242a3031715SAlexander Langer 	if (ptr >= product + MAXSUBUNITS) {
243d4d0763aSPhilippe Charnier 		warnx("memory overflow in unit reduction");
244a3031715SAlexander Langer 		return 1;
245a3031715SAlexander Langer 	}
246a3031715SAlexander Langer 	if (!*ptr)
247956c78c9SEitan Adler 		*(ptr + 1) = NULL;
248a3031715SAlexander Langer 	*ptr = dupstr(toadd);
249a3031715SAlexander Langer 	return 0;
250a3031715SAlexander Langer }
251a3031715SAlexander Langer 
252a3031715SAlexander Langer 
253a3031715SAlexander Langer void
254a3031715SAlexander Langer showunit(struct unittype * theunit)
255a3031715SAlexander Langer {
256a3031715SAlexander Langer 	char **ptr;
257a3031715SAlexander Langer 	int printedslash;
258a3031715SAlexander Langer 	int counter = 1;
259a3031715SAlexander Langer 
2609653775eSEitan Adler 	printf("%.8g", theunit->factor);
2619c95bc1cSDavid Malone 	if (theunit->offset)
2629c95bc1cSDavid Malone 		printf("&%.8g", theunit->offset);
263a3031715SAlexander Langer 	for (ptr = theunit->numerator; *ptr; ptr++) {
264a3031715SAlexander Langer 		if (ptr > theunit->numerator && **ptr &&
265a3031715SAlexander Langer 		    !strcmp(*ptr, *(ptr - 1)))
266a3031715SAlexander Langer 			counter++;
267a3031715SAlexander Langer 		else {
268a3031715SAlexander Langer 			if (counter > 1)
269a3031715SAlexander Langer 				printf("%s%d", powerstring, counter);
270a3031715SAlexander Langer 			if (**ptr)
271a3031715SAlexander Langer 				printf(" %s", *ptr);
272a3031715SAlexander Langer 			counter = 1;
273a3031715SAlexander Langer 		}
274a3031715SAlexander Langer 	}
275a3031715SAlexander Langer 	if (counter > 1)
276a3031715SAlexander Langer 		printf("%s%d", powerstring, counter);
277a3031715SAlexander Langer 	counter = 1;
278a3031715SAlexander Langer 	printedslash = 0;
279a3031715SAlexander Langer 	for (ptr = theunit->denominator; *ptr; ptr++) {
280a3031715SAlexander Langer 		if (ptr > theunit->denominator && **ptr &&
281a3031715SAlexander Langer 		    !strcmp(*ptr, *(ptr - 1)))
282a3031715SAlexander Langer 			counter++;
283a3031715SAlexander Langer 		else {
284a3031715SAlexander Langer 			if (counter > 1)
285a3031715SAlexander Langer 				printf("%s%d", powerstring, counter);
286a3031715SAlexander Langer 			if (**ptr) {
287a3031715SAlexander Langer 				if (!printedslash)
288a3031715SAlexander Langer 					printf(" /");
289a3031715SAlexander Langer 				printedslash = 1;
290a3031715SAlexander Langer 				printf(" %s", *ptr);
291a3031715SAlexander Langer 			}
292a3031715SAlexander Langer 			counter = 1;
293a3031715SAlexander Langer 		}
294a3031715SAlexander Langer 	}
295a3031715SAlexander Langer 	if ( counter > 1)
296a3031715SAlexander Langer 		printf("%s%d", powerstring, counter);
297a3031715SAlexander Langer 	printf("\n");
298a3031715SAlexander Langer }
299a3031715SAlexander Langer 
300a3031715SAlexander Langer 
301a3031715SAlexander Langer void
30217ad860fSDavid Malone zeroerror(void)
303a3031715SAlexander Langer {
304d4d0763aSPhilippe Charnier 	warnx("unit reduces to zero");
305a3031715SAlexander Langer }
306a3031715SAlexander Langer 
307a3031715SAlexander Langer /*
308a3031715SAlexander Langer    Adds the specified string to the unit.
309a3031715SAlexander Langer    Flip is 0 for adding normally, 1 for adding reciprocal.
3109c95bc1cSDavid Malone    Quantity is 1 if this is a quantity to be converted rather than a pure unit.
311a3031715SAlexander Langer 
312a3031715SAlexander Langer    Returns 0 for successful addition, nonzero on error.
313a3031715SAlexander Langer */
314a3031715SAlexander Langer 
315a3031715SAlexander Langer int
316647be2c3SEitan Adler addunit(struct unittype * theunit, const char *toadd, int flip, int quantity)
317a3031715SAlexander Langer {
318a3031715SAlexander Langer 	char *scratch, *savescr;
319a3031715SAlexander Langer 	char *item;
3209c95bc1cSDavid Malone 	char *divider, *slash, *offset;
321a3031715SAlexander Langer 	int doingtop;
322a3031715SAlexander Langer 
323ffd044a6SKris Kennaway 	if (!strlen(toadd))
324ffd044a6SKris Kennaway 		return 1;
325ffd044a6SKris Kennaway 
326a3031715SAlexander Langer 	savescr = scratch = dupstr(toadd);
327a3031715SAlexander Langer 	for (slash = scratch + 1; *slash; slash++)
328a3031715SAlexander Langer 		if (*slash == '-' &&
329a3031715SAlexander Langer 		    (tolower(*(slash - 1)) != 'e' ||
330a3031715SAlexander Langer 		    !strchr(".0123456789", *(slash + 1))))
331a3031715SAlexander Langer 			*slash = ' ';
332a3031715SAlexander Langer 	slash = strchr(scratch, '/');
333a3031715SAlexander Langer 	if (slash)
334a3031715SAlexander Langer 		*slash = 0;
335a3031715SAlexander Langer 	doingtop = 1;
336a3031715SAlexander Langer 	do {
337a3031715SAlexander Langer 		item = strtok(scratch, " *\t\n/");
338a3031715SAlexander Langer 		while (item) {
339a3031715SAlexander Langer 			if (strchr("0123456789.", *item)) { /* item is a number */
3409c95bc1cSDavid Malone 				double num, offsetnum;
3419c95bc1cSDavid Malone 
3429c95bc1cSDavid Malone 				if (quantity)
3439c95bc1cSDavid Malone 					theunit->quantity = 1;
3449c95bc1cSDavid Malone 
3459c95bc1cSDavid Malone 				offset = strchr(item, '&');
3469c95bc1cSDavid Malone 				if (offset) {
3479c95bc1cSDavid Malone 					*offset = 0;
3489c95bc1cSDavid Malone 					offsetnum = atof(offset+1);
3499c95bc1cSDavid Malone 				} else
3509c95bc1cSDavid Malone 					offsetnum = 0.0;
351a3031715SAlexander Langer 
352a3031715SAlexander Langer 				divider = strchr(item, '|');
353a3031715SAlexander Langer 				if (divider) {
354a3031715SAlexander Langer 					*divider = 0;
355a3031715SAlexander Langer 					num = atof(item);
356a3031715SAlexander Langer 					if (!num) {
357a3031715SAlexander Langer 						zeroerror();
358a3031715SAlexander Langer 						return 1;
359a3031715SAlexander Langer 					}
3609c95bc1cSDavid Malone 					if (doingtop ^ flip) {
361a3031715SAlexander Langer 						theunit->factor *= num;
3629c95bc1cSDavid Malone 						theunit->offset *= num;
3639c95bc1cSDavid Malone 					} else {
364a3031715SAlexander Langer 						theunit->factor /= num;
3659c95bc1cSDavid Malone 						theunit->offset /= num;
3669c95bc1cSDavid Malone 					}
367a3031715SAlexander Langer 					num = atof(divider + 1);
368a3031715SAlexander Langer 					if (!num) {
369a3031715SAlexander Langer 						zeroerror();
370a3031715SAlexander Langer 						return 1;
371a3031715SAlexander Langer 					}
3729c95bc1cSDavid Malone 					if (doingtop ^ flip) {
373a3031715SAlexander Langer 						theunit->factor /= num;
3749c95bc1cSDavid Malone 						theunit->offset /= num;
3759c95bc1cSDavid Malone 					} else {
376a3031715SAlexander Langer 						theunit->factor *= num;
3779c95bc1cSDavid Malone 						theunit->offset *= num;
3789c95bc1cSDavid Malone 					}
379a3031715SAlexander Langer 				}
380a3031715SAlexander Langer 				else {
381a3031715SAlexander Langer 					num = atof(item);
382a3031715SAlexander Langer 					if (!num) {
383a3031715SAlexander Langer 						zeroerror();
384a3031715SAlexander Langer 						return 1;
385a3031715SAlexander Langer 					}
3869c95bc1cSDavid Malone 					if (doingtop ^ flip) {
387a3031715SAlexander Langer 						theunit->factor *= num;
3889c95bc1cSDavid Malone 						theunit->offset *= num;
3899c95bc1cSDavid Malone 					} else {
390a3031715SAlexander Langer 						theunit->factor /= num;
3919c95bc1cSDavid Malone 						theunit->offset /= num;
392a3031715SAlexander Langer 					}
393a3031715SAlexander Langer 				}
3949c95bc1cSDavid Malone 				if (doingtop ^ flip)
3959c95bc1cSDavid Malone 					theunit->offset += offsetnum;
3969c95bc1cSDavid Malone 			}
397a3031715SAlexander Langer 			else {	/* item is not a number */
398a3031715SAlexander Langer 				int repeat = 1;
399a3031715SAlexander Langer 
400a3031715SAlexander Langer 				if (strchr("23456789",
401a3031715SAlexander Langer 				    item[strlen(item) - 1])) {
402a3031715SAlexander Langer 					repeat = item[strlen(item) - 1] - '0';
403a3031715SAlexander Langer 					item[strlen(item) - 1] = 0;
404a3031715SAlexander Langer 				}
405a3031715SAlexander Langer 				for (; repeat; repeat--)
406a3031715SAlexander Langer 					if (addsubunit(doingtop ^ flip ? theunit->numerator : theunit->denominator, item))
407a3031715SAlexander Langer 						return 1;
408a3031715SAlexander Langer 			}
409a3031715SAlexander Langer 			item = strtok(NULL, " *\t/\n");
410a3031715SAlexander Langer 		}
411a3031715SAlexander Langer 		doingtop--;
412a3031715SAlexander Langer 		if (slash) {
413a3031715SAlexander Langer 			scratch = slash + 1;
414a3031715SAlexander Langer 		}
415a3031715SAlexander Langer 		else
416a3031715SAlexander Langer 			doingtop--;
417a3031715SAlexander Langer 	} while (doingtop >= 0);
418a3031715SAlexander Langer 	free(savescr);
419a3031715SAlexander Langer 	return 0;
420a3031715SAlexander Langer }
421a3031715SAlexander Langer 
422a3031715SAlexander Langer 
423a3031715SAlexander Langer int
424a3031715SAlexander Langer compare(const void *item1, const void *item2)
425a3031715SAlexander Langer {
42650bb7724SDavid Malone 	return strcmp(*(const char * const *)item1, *(const char * const *)item2);
427a3031715SAlexander Langer }
428a3031715SAlexander Langer 
429a3031715SAlexander Langer 
430a3031715SAlexander Langer void
431a3031715SAlexander Langer sortunit(struct unittype * theunit)
432a3031715SAlexander Langer {
433a3031715SAlexander Langer 	char **ptr;
43417ad860fSDavid Malone 	unsigned int count;
435a3031715SAlexander Langer 
436a3031715SAlexander Langer 	for (count = 0, ptr = theunit->numerator; *ptr; ptr++, count++);
437a3031715SAlexander Langer 	qsort(theunit->numerator, count, sizeof(char *), compare);
438a3031715SAlexander Langer 	for (count = 0, ptr = theunit->denominator; *ptr; ptr++, count++);
439a3031715SAlexander Langer 	qsort(theunit->denominator, count, sizeof(char *), compare);
440a3031715SAlexander Langer }
441a3031715SAlexander Langer 
442a3031715SAlexander Langer 
443a3031715SAlexander Langer void
444a3031715SAlexander Langer cancelunit(struct unittype * theunit)
445a3031715SAlexander Langer {
446a3031715SAlexander Langer 	char **den, **num;
447a3031715SAlexander Langer 	int comp;
448a3031715SAlexander Langer 
449a3031715SAlexander Langer 	den = theunit->denominator;
450a3031715SAlexander Langer 	num = theunit->numerator;
451a3031715SAlexander Langer 
452a3031715SAlexander Langer 	while (*num && *den) {
453a3031715SAlexander Langer 		comp = strcmp(*den, *num);
454a3031715SAlexander Langer 		if (!comp) {
455a3031715SAlexander Langer /*      if (*den!=NULLUNIT) free(*den);
456a3031715SAlexander Langer       if (*num!=NULLUNIT) free(*num);*/
457a3031715SAlexander Langer 			*den++ = NULLUNIT;
458a3031715SAlexander Langer 			*num++ = NULLUNIT;
459a3031715SAlexander Langer 		}
460a3031715SAlexander Langer 		else if (comp < 0)
461a3031715SAlexander Langer 			den++;
462a3031715SAlexander Langer 		else
463a3031715SAlexander Langer 			num++;
464a3031715SAlexander Langer 	}
465a3031715SAlexander Langer }
466a3031715SAlexander Langer 
467a3031715SAlexander Langer 
468a3031715SAlexander Langer 
469a3031715SAlexander Langer 
470a3031715SAlexander Langer /*
471a3031715SAlexander Langer    Looks up the definition for the specified unit.
472a3031715SAlexander Langer    Returns a pointer to the definition or a null pointer
473a3031715SAlexander Langer    if the specified unit does not appear in the units table.
474a3031715SAlexander Langer */
475a3031715SAlexander Langer 
476a3031715SAlexander Langer static char buffer[100];	/* buffer for lookupunit answers with
477a3031715SAlexander Langer 				   prefixes */
478a3031715SAlexander Langer 
479a3031715SAlexander Langer char *
48017ad860fSDavid Malone lookupunit(const char *unit)
481a3031715SAlexander Langer {
482a3031715SAlexander Langer 	int i;
483a3031715SAlexander Langer 	char *copy;
484a3031715SAlexander Langer 
485a3031715SAlexander Langer 	for (i = 0; i < unitcount; i++) {
486a3031715SAlexander Langer 		if (!strcmp(unittable[i].uname, unit))
487a3031715SAlexander Langer 			return unittable[i].uval;
488a3031715SAlexander Langer 	}
489a3031715SAlexander Langer 
490a3031715SAlexander Langer 	if (unit[strlen(unit) - 1] == '^') {
491a3031715SAlexander Langer 		copy = dupstr(unit);
492a3031715SAlexander Langer 		copy[strlen(copy) - 1] = 0;
493a3031715SAlexander Langer 		for (i = 0; i < unitcount; i++) {
494a3031715SAlexander Langer 			if (!strcmp(unittable[i].uname, copy)) {
495ffd044a6SKris Kennaway 				strlcpy(buffer, copy, sizeof(buffer));
496a3031715SAlexander Langer 				free(copy);
497a3031715SAlexander Langer 				return buffer;
498a3031715SAlexander Langer 			}
499a3031715SAlexander Langer 		}
500a3031715SAlexander Langer 		free(copy);
501a3031715SAlexander Langer 	}
502a3031715SAlexander Langer 	if (unit[strlen(unit) - 1] == 's') {
503a3031715SAlexander Langer 		copy = dupstr(unit);
504a3031715SAlexander Langer 		copy[strlen(copy) - 1] = 0;
505a3031715SAlexander Langer 		for (i = 0; i < unitcount; i++) {
506a3031715SAlexander Langer 			if (!strcmp(unittable[i].uname, copy)) {
507ffd044a6SKris Kennaway 				strlcpy(buffer, copy, sizeof(buffer));
508a3031715SAlexander Langer 				free(copy);
509a3031715SAlexander Langer 				return buffer;
510a3031715SAlexander Langer 			}
511a3031715SAlexander Langer 		}
512a3031715SAlexander Langer 		if (copy[strlen(copy) - 1] == 'e') {
513a3031715SAlexander Langer 			copy[strlen(copy) - 1] = 0;
514a3031715SAlexander Langer 			for (i = 0; i < unitcount; i++) {
515a3031715SAlexander Langer 				if (!strcmp(unittable[i].uname, copy)) {
516ffd044a6SKris Kennaway 					strlcpy(buffer, copy, sizeof(buffer));
517a3031715SAlexander Langer 					free(copy);
518a3031715SAlexander Langer 					return buffer;
519a3031715SAlexander Langer 				}
520a3031715SAlexander Langer 			}
521a3031715SAlexander Langer 		}
522a3031715SAlexander Langer 		free(copy);
523a3031715SAlexander Langer 	}
524a3031715SAlexander Langer 	for (i = 0; i < prefixcount; i++) {
52517ad860fSDavid Malone 		size_t len = strlen(prefixtable[i].prefixname);
52617ad860fSDavid Malone 		if (!strncmp(prefixtable[i].prefixname, unit, len)) {
52717ad860fSDavid Malone 			if (!strlen(unit + len) || lookupunit(unit + len)) {
528ffd044a6SKris Kennaway 				snprintf(buffer, sizeof(buffer), "%s %s",
52917ad860fSDavid Malone 				    prefixtable[i].prefixval, unit + len);
530a3031715SAlexander Langer 				return buffer;
531a3031715SAlexander Langer 			}
532a3031715SAlexander Langer 		}
533a3031715SAlexander Langer 	}
534a3031715SAlexander Langer 	return 0;
535a3031715SAlexander Langer }
536a3031715SAlexander Langer 
537a3031715SAlexander Langer 
538a3031715SAlexander Langer 
539a3031715SAlexander Langer /*
540a3031715SAlexander Langer    reduces a product of symbolic units to primitive units.
541a3031715SAlexander Langer    The three low bits are used to return flags:
542a3031715SAlexander Langer 
543a3031715SAlexander Langer      bit 0 (1) set on if reductions were performed without error.
544a3031715SAlexander Langer      bit 1 (2) set on if no reductions are performed.
545a3031715SAlexander Langer      bit 2 (4) set on if an unknown unit is discovered.
546a3031715SAlexander Langer */
547a3031715SAlexander Langer 
548a3031715SAlexander Langer 
549a3031715SAlexander Langer #define ERROR 4
550a3031715SAlexander Langer 
551a3031715SAlexander Langer int
552a3031715SAlexander Langer reduceproduct(struct unittype * theunit, int flip)
553a3031715SAlexander Langer {
554a3031715SAlexander Langer 
555a3031715SAlexander Langer 	char *toadd;
556a3031715SAlexander Langer 	char **product;
557a3031715SAlexander Langer 	int didsomething = 2;
558a3031715SAlexander Langer 
559a3031715SAlexander Langer 	if (flip)
560a3031715SAlexander Langer 		product = theunit->denominator;
561a3031715SAlexander Langer 	else
562a3031715SAlexander Langer 		product = theunit->numerator;
563a3031715SAlexander Langer 
564a3031715SAlexander Langer 	for (; *product; product++) {
565a3031715SAlexander Langer 
566a3031715SAlexander Langer 		for (;;) {
567a3031715SAlexander Langer 			if (!strlen(*product))
568a3031715SAlexander Langer 				break;
569a3031715SAlexander Langer 			toadd = lookupunit(*product);
570a3031715SAlexander Langer 			if (!toadd) {
571a3031715SAlexander Langer 				printf("unknown unit '%s'\n", *product);
572a3031715SAlexander Langer 				return ERROR;
573a3031715SAlexander Langer 			}
574a3031715SAlexander Langer 			if (strchr(toadd, PRIMITIVECHAR))
575a3031715SAlexander Langer 				break;
576a3031715SAlexander Langer 			didsomething = 1;
577a3031715SAlexander Langer 			if (*product != NULLUNIT) {
578a3031715SAlexander Langer 				free(*product);
579a3031715SAlexander Langer 				*product = NULLUNIT;
580a3031715SAlexander Langer 			}
5819c95bc1cSDavid Malone 			if (addunit(theunit, toadd, flip, 0))
582a3031715SAlexander Langer 				return ERROR;
583a3031715SAlexander Langer 		}
584a3031715SAlexander Langer 	}
585a3031715SAlexander Langer 	return didsomething;
586a3031715SAlexander Langer }
587a3031715SAlexander Langer 
588a3031715SAlexander Langer 
589a3031715SAlexander Langer /*
590a3031715SAlexander Langer    Reduces numerator and denominator of the specified unit.
591a3031715SAlexander Langer    Returns 0 on success, or 1 on unknown unit error.
592a3031715SAlexander Langer */
593a3031715SAlexander Langer 
594a3031715SAlexander Langer int
595a3031715SAlexander Langer reduceunit(struct unittype * theunit)
596a3031715SAlexander Langer {
597a3031715SAlexander Langer 	int ret;
598a3031715SAlexander Langer 
599a3031715SAlexander Langer 	ret = 1;
600a3031715SAlexander Langer 	while (ret & 1) {
601a3031715SAlexander Langer 		ret = reduceproduct(theunit, 0) | reduceproduct(theunit, 1);
602a3031715SAlexander Langer 		if (ret & 4)
603a3031715SAlexander Langer 			return 1;
604a3031715SAlexander Langer 	}
605a3031715SAlexander Langer 	return 0;
606a3031715SAlexander Langer }
607a3031715SAlexander Langer 
608a3031715SAlexander Langer 
609a3031715SAlexander Langer int
610a3031715SAlexander Langer compareproducts(char **one, char **two)
611a3031715SAlexander Langer {
612a3031715SAlexander Langer 	while (*one || *two) {
613a3031715SAlexander Langer 		if (!*one && *two != NULLUNIT)
614a3031715SAlexander Langer 			return 1;
615a3031715SAlexander Langer 		if (!*two && *one != NULLUNIT)
616a3031715SAlexander Langer 			return 1;
617a3031715SAlexander Langer 		if (*one == NULLUNIT)
618a3031715SAlexander Langer 			one++;
619a3031715SAlexander Langer 		else if (*two == NULLUNIT)
620a3031715SAlexander Langer 			two++;
621a3031715SAlexander Langer 		else if (strcmp(*one, *two))
622a3031715SAlexander Langer 			return 1;
623a3031715SAlexander Langer 		else
624a3031715SAlexander Langer 			one++, two++;
625a3031715SAlexander Langer 	}
626a3031715SAlexander Langer 	return 0;
627a3031715SAlexander Langer }
628a3031715SAlexander Langer 
629a3031715SAlexander Langer 
630a3031715SAlexander Langer /* Return zero if units are compatible, nonzero otherwise */
631a3031715SAlexander Langer 
632a3031715SAlexander Langer int
633a3031715SAlexander Langer compareunits(struct unittype * first, struct unittype * second)
634a3031715SAlexander Langer {
635a3031715SAlexander Langer 	return
636a3031715SAlexander Langer 	compareproducts(first->numerator, second->numerator) ||
637a3031715SAlexander Langer 	compareproducts(first->denominator, second->denominator);
638a3031715SAlexander Langer }
639a3031715SAlexander Langer 
640a3031715SAlexander Langer 
641a3031715SAlexander Langer int
642a3031715SAlexander Langer completereduce(struct unittype * unit)
643a3031715SAlexander Langer {
644a3031715SAlexander Langer 	if (reduceunit(unit))
645a3031715SAlexander Langer 		return 1;
646a3031715SAlexander Langer 	sortunit(unit);
647a3031715SAlexander Langer 	cancelunit(unit);
648a3031715SAlexander Langer 	return 0;
649a3031715SAlexander Langer }
650a3031715SAlexander Langer 
651a3031715SAlexander Langer void
652a3031715SAlexander Langer showanswer(struct unittype * have, struct unittype * want)
653a3031715SAlexander Langer {
6549653775eSEitan Adler 	double ans;
6559653775eSEitan Adler 
656a3031715SAlexander Langer 	if (compareunits(have, want)) {
657a3031715SAlexander Langer 		printf("conformability error\n");
6589653775eSEitan Adler 		if (verbose)
6599653775eSEitan Adler 			printf("\t%s = ", havestr);
6609653775eSEitan Adler 		else
6619653775eSEitan Adler 			printf("\t");
662a3031715SAlexander Langer 		showunit(have);
6639653775eSEitan Adler 		if (verbose)
6649653775eSEitan Adler 			printf("\t%s = ", wantstr);
6659653775eSEitan Adler 		else
6669653775eSEitan Adler 			printf("\t");
667a3031715SAlexander Langer 		showunit(want);
668a3031715SAlexander Langer 	}
6699c95bc1cSDavid Malone 	else if (have->offset != want->offset) {
6709c95bc1cSDavid Malone 		if (want->quantity)
6719c95bc1cSDavid Malone 			printf("WARNING: conversion of non-proportional quantities.\n");
6729c95bc1cSDavid Malone 		if (have->quantity)
6739653775eSEitan Adler 			printf("\t%.8g\n",
6749c95bc1cSDavid Malone 			    (have->factor + have->offset-want->offset)/want->factor);
6759653775eSEitan Adler 		else {
6769653775eSEitan Adler 			printf("\t (-> x*%.8g %+.8g)\n\t (<- y*%.8g %+.8g)\n",
6779c95bc1cSDavid Malone 			    have->factor / want->factor,
6789c95bc1cSDavid Malone 			    (have->offset-want->offset)/want->factor,
6799c95bc1cSDavid Malone 			    want->factor / have->factor,
6809c95bc1cSDavid Malone 			    (want->offset - have->offset)/have->factor);
6819c95bc1cSDavid Malone 		}
6829653775eSEitan Adler 	}
6839653775eSEitan Adler 	else {
6849653775eSEitan Adler 		ans = have->factor / want->factor;
6859653775eSEitan Adler 		if (verbose)
6869653775eSEitan Adler 			printf("\t%s = %.8g * %s\n", havestr, ans, wantstr);
687a3031715SAlexander Langer 		else
6889653775eSEitan Adler 			printf("\t* %.8g\n", ans);
6899653775eSEitan Adler 
6909653775eSEitan Adler 		if (verbose)
6919653775eSEitan Adler 			printf("\t%s = (1 / %.8g) * %s\n", havestr, 1/ans,  wantstr);
6929653775eSEitan Adler 		else
6939653775eSEitan Adler 			printf("\t/ %.8g\n", 1/ans);
6949653775eSEitan Adler 	}
695a3031715SAlexander Langer }
696a3031715SAlexander Langer 
697a3031715SAlexander Langer 
698a3031715SAlexander Langer void
69917ad860fSDavid Malone usage(void)
700a3031715SAlexander Langer {
701d4d0763aSPhilippe Charnier 	fprintf(stderr,
702114022f5SEitan Adler 		"usage: units [-f unitsfile] [-UVq] [from-unit to-unit]\n");
703a3031715SAlexander Langer 	exit(3);
704a3031715SAlexander Langer }
705a3031715SAlexander Langer 
706a3031715SAlexander Langer 
707a3031715SAlexander Langer int
708a3031715SAlexander Langer main(int argc, char **argv)
709a3031715SAlexander Langer {
710a3031715SAlexander Langer 
711a3031715SAlexander Langer 	struct unittype have, want;
712a3031715SAlexander Langer 	int optchar;
713647be2c3SEitan Adler 	bool quiet;
7143af08201SEitan Adler 	bool readfile;
715647be2c3SEitan Adler 	History *inhistory;
716647be2c3SEitan Adler 	EditLine *el;
717647be2c3SEitan Adler 	HistEvent ev;
718647be2c3SEitan Adler 	int inputsz;
719a3031715SAlexander Langer 
720647be2c3SEitan Adler 	quiet = false;
7213af08201SEitan Adler 	readfile = false;
7229653775eSEitan Adler 	while ((optchar = getopt(argc, argv, "fqvUV:")) != -1) {
723a3031715SAlexander Langer 		switch (optchar) {
724a3031715SAlexander Langer 		case 'f':
7253af08201SEitan Adler 			readfile = true;
7263af08201SEitan Adler 			if (strlen(optarg) == 0)
7273af08201SEitan Adler 				readunits(NULL);
7283af08201SEitan Adler 			else
7293af08201SEitan Adler 				readunits(optarg);
730a3031715SAlexander Langer 			break;
731a3031715SAlexander Langer 		case 'q':
732647be2c3SEitan Adler 			quiet = true;
733a3031715SAlexander Langer 			break;
7349653775eSEitan Adler 		case 'v':
7359653775eSEitan Adler 			verbose = true;
7369653775eSEitan Adler 			break;
737114022f5SEitan Adler 		case 'U':
738114022f5SEitan Adler 			if (access(UNITSFILE, F_OK) == 0)
739114022f5SEitan Adler 				printf("%s\n", UNITSFILE);
740114022f5SEitan Adler 			else
741114022f5SEitan Adler 				printf("Units data file not found");
742114022f5SEitan Adler 			exit(0);
743114022f5SEitan Adler 			break;
7446d12a834SEitan Adler 		case 'V':
7456d12a834SEitan Adler 			fprintf(stderr, "FreeBSD units\n");
746a3031715SAlexander Langer 			usage();
747a3031715SAlexander Langer 			break;
7486d12a834SEitan Adler 		default:
7496d12a834SEitan Adler 			usage();
750a3031715SAlexander Langer 		}
751a3031715SAlexander Langer 	}
752a3031715SAlexander Langer 
7533af08201SEitan Adler 	if (!readfile)
7543af08201SEitan Adler 		readunits(NULL);
755a3031715SAlexander Langer 
756647be2c3SEitan Adler 	inhistory = history_init();
757647be2c3SEitan Adler 	el = el_init(argv[0], stdin, stdout, stderr);
758647be2c3SEitan Adler 	el_set(el, EL_PROMPT, &prompt);
759647be2c3SEitan Adler 	el_set(el, EL_EDITOR, "emacs");
760647be2c3SEitan Adler 	el_set(el, EL_SIGNAL, 1);
761647be2c3SEitan Adler 	el_set(el, EL_HIST, history, inhistory);
762cada5528SEitan Adler 	el_source(el, NULL);
763647be2c3SEitan Adler 	history(inhistory, &ev, H_SETSIZE, 800);
764647be2c3SEitan Adler 	if (inhistory == 0)
765647be2c3SEitan Adler 		err(1, "Could not initalize history");
766647be2c3SEitan Adler 
7673af08201SEitan Adler 	if (cap_enter() < 0 && errno != ENOSYS)
7683af08201SEitan Adler 		err(1, "unable to enter capability mode");
769a3031715SAlexander Langer 
770a3031715SAlexander Langer 	if (optind == argc - 2) {
771647be2c3SEitan Adler 		havestr = argv[optind];
772647be2c3SEitan Adler 		wantstr = argv[optind + 1];
773a3031715SAlexander Langer 		initializeunit(&have);
7749c95bc1cSDavid Malone 		addunit(&have, havestr, 0, 1);
775a3031715SAlexander Langer 		completereduce(&have);
776a3031715SAlexander Langer 		initializeunit(&want);
7779c95bc1cSDavid Malone 		addunit(&want, wantstr, 0, 1);
778a3031715SAlexander Langer 		completereduce(&want);
779a3031715SAlexander Langer 		showanswer(&have, &want);
780a3031715SAlexander Langer 	}
781a3031715SAlexander Langer 	else {
782a3031715SAlexander Langer 		if (!quiet)
783d4d0763aSPhilippe Charnier 			printf("%d units, %d prefixes\n", unitcount,
784a3031715SAlexander Langer 			    prefixcount);
785a3031715SAlexander Langer 		for (;;) {
786a3031715SAlexander Langer 			do {
787a3031715SAlexander Langer 				initializeunit(&have);
788a3031715SAlexander Langer 				if (!quiet)
789647be2c3SEitan Adler 					promptstr = "You have: ";
790647be2c3SEitan Adler 				havestr = el_gets(el, &inputsz);
791647be2c3SEitan Adler 				if (havestr == NULL)
792a3031715SAlexander Langer 					exit(0);
793647be2c3SEitan Adler 				if (inputsz > 0)
794647be2c3SEitan Adler 					history(inhistory, &ev, H_ENTER,
795647be2c3SEitan Adler 					havestr);
7969c95bc1cSDavid Malone 			} while (addunit(&have, havestr, 0, 1) ||
797a3031715SAlexander Langer 			    completereduce(&have));
798a3031715SAlexander Langer 			do {
799a3031715SAlexander Langer 				initializeunit(&want);
800a3031715SAlexander Langer 				if (!quiet)
801647be2c3SEitan Adler 					promptstr = "You want: ";
802647be2c3SEitan Adler 				wantstr = el_gets(el, &inputsz);
803647be2c3SEitan Adler 				if (wantstr == NULL)
804a3031715SAlexander Langer 					exit(0);
805647be2c3SEitan Adler 				if (inputsz > 0)
806647be2c3SEitan Adler 					history(inhistory, &ev, H_ENTER,
807647be2c3SEitan Adler 					wantstr);
8089c95bc1cSDavid Malone 			} while (addunit(&want, wantstr, 0, 1) ||
809a3031715SAlexander Langer 			    completereduce(&want));
810a3031715SAlexander Langer 			showanswer(&have, &want);
811a3031715SAlexander Langer 		}
812a3031715SAlexander Langer 	}
8134c0c227dSAlexander Langer 
814647be2c3SEitan Adler 	history_end(inhistory);
8154c0c227dSAlexander Langer 	return(0);
816a3031715SAlexander Langer }
817