units.c revision 1.20 1 1.20 apb /* $NetBSD: units.c,v 1.20 2013/01/01 11:44:00 apb Exp $ */
2 1.6 thorpej
3 1.1 cgd /*
4 1.1 cgd * units.c Copyright (c) 1993 by Adrian Mariano (adrian (at) cam.cornell.edu)
5 1.1 cgd *
6 1.1 cgd * Redistribution and use in source and binary forms, with or without
7 1.1 cgd * modification, are permitted provided that the following conditions
8 1.1 cgd * are met:
9 1.1 cgd * 1. Redistributions of source code must retain the above copyright
10 1.1 cgd * notice, this list of conditions and the following disclaimer.
11 1.1 cgd * 2. The name of the author may not be used to endorse or promote products
12 1.2 jtc * derived from this software without specific prior written permission.
13 1.1 cgd * Disclaimer: This software is provided by the author "as is". The author
14 1.1 cgd * shall not be liable for any damages caused in any way by this software.
15 1.1 cgd *
16 1.1 cgd * I would appreciate (though I do not require) receiving a copy of any
17 1.1 cgd * improvements you might make to this program.
18 1.1 cgd */
19 1.1 cgd
20 1.3 jtc #include <ctype.h>
21 1.7 lukem #include <err.h>
22 1.1 cgd #include <stdio.h>
23 1.1 cgd #include <string.h>
24 1.1 cgd #include <stdlib.h>
25 1.8 perry #include <unistd.h>
26 1.1 cgd
27 1.1 cgd #include "pathnames.h"
28 1.1 cgd
29 1.1 cgd #define VERSION "1.0"
30 1.1 cgd
31 1.1 cgd #ifndef UNITSFILE
32 1.1 cgd #define UNITSFILE _PATH_UNITSLIB
33 1.1 cgd #endif
34 1.1 cgd
35 1.1 cgd #define MAXUNITS 1000
36 1.1 cgd #define MAXPREFIXES 50
37 1.1 cgd
38 1.1 cgd #define MAXSUBUNITS 500
39 1.1 cgd
40 1.1 cgd #define PRIMITIVECHAR '!'
41 1.1 cgd
42 1.17 joerg static const char *powerstring = "^";
43 1.1 cgd
44 1.17 joerg static struct {
45 1.16 lukem const char *uname;
46 1.16 lukem const char *uval;
47 1.1 cgd } unittable[MAXUNITS];
48 1.1 cgd
49 1.1 cgd struct unittype {
50 1.16 lukem const char *numerator[MAXSUBUNITS];
51 1.16 lukem const char *denominator[MAXSUBUNITS];
52 1.1 cgd double factor;
53 1.1 cgd };
54 1.1 cgd
55 1.1 cgd struct {
56 1.16 lukem const char *prefixname;
57 1.16 lukem const char *prefixval;
58 1.1 cgd } prefixtable[MAXPREFIXES];
59 1.1 cgd
60 1.1 cgd
61 1.17 joerg static const char *NULLUNIT = "";
62 1.1 cgd
63 1.17 joerg static int unitcount;
64 1.17 joerg static int prefixcount;
65 1.1 cgd
66 1.7 lukem
67 1.17 joerg static int addsubunit(const char *[], const char *);
68 1.17 joerg static int addunit(struct unittype *, const char *, int);
69 1.17 joerg static void cancelunit(struct unittype *);
70 1.17 joerg static int compare(const void *, const void *);
71 1.17 joerg static int compareproducts(const char **, const char **);
72 1.17 joerg static int compareunits(struct unittype *, struct unittype *);
73 1.17 joerg static int compareunitsreciprocal(struct unittype *, struct unittype *);
74 1.17 joerg static int completereduce(struct unittype *);
75 1.17 joerg static void initializeunit(struct unittype *);
76 1.17 joerg static void readerror(int);
77 1.17 joerg static void readunits(const char *);
78 1.17 joerg static int reduceproduct(struct unittype *, int);
79 1.17 joerg static int reduceunit(struct unittype *);
80 1.17 joerg static void showanswer(struct unittype *, struct unittype *);
81 1.17 joerg static void showunit(struct unittype *);
82 1.17 joerg static void sortunit(struct unittype *);
83 1.17 joerg __dead static void usage(void);
84 1.17 joerg static void zeroerror(void);
85 1.17 joerg static char *dupstr(const char *);
86 1.17 joerg static const char *lookupunit(const char *);
87 1.7 lukem
88 1.17 joerg static char *
89 1.16 lukem dupstr(const char *str)
90 1.1 cgd {
91 1.1 cgd char *ret;
92 1.1 cgd
93 1.12 itojun ret = strdup(str);
94 1.7 lukem if (!ret)
95 1.7 lukem err(3, "Memory allocation error");
96 1.1 cgd return (ret);
97 1.1 cgd }
98 1.1 cgd
99 1.1 cgd
100 1.17 joerg static void
101 1.1 cgd readerror(int linenum)
102 1.1 cgd {
103 1.7 lukem warnx("Error in units file '%s' line %d", UNITSFILE, linenum);
104 1.1 cgd }
105 1.1 cgd
106 1.1 cgd
107 1.17 joerg static void
108 1.16 lukem readunits(const char *userfile)
109 1.1 cgd {
110 1.1 cgd FILE *unitfile;
111 1.1 cgd char line[80], *lineptr;
112 1.20 apb int len, linenum, i, isdup;
113 1.1 cgd
114 1.1 cgd unitcount = 0;
115 1.1 cgd linenum = 0;
116 1.1 cgd
117 1.1 cgd if (userfile) {
118 1.1 cgd unitfile = fopen(userfile, "rt");
119 1.7 lukem if (!unitfile)
120 1.7 lukem err(1, "Unable to open units file '%s'", userfile);
121 1.1 cgd }
122 1.1 cgd else {
123 1.1 cgd unitfile = fopen(UNITSFILE, "rt");
124 1.1 cgd if (!unitfile) {
125 1.1 cgd char *direc, *env;
126 1.1 cgd char filename[1000];
127 1.1 cgd char separator[2];
128 1.1 cgd
129 1.1 cgd env = getenv("PATH");
130 1.1 cgd if (env) {
131 1.1 cgd if (strchr(env, ';'))
132 1.12 itojun strlcpy(separator, ";",
133 1.12 itojun sizeof(separator));
134 1.1 cgd else
135 1.12 itojun strlcpy(separator, ":",
136 1.12 itojun sizeof(separator));
137 1.1 cgd direc = strtok(env, separator);
138 1.1 cgd while (direc) {
139 1.12 itojun strlcpy(filename, "", sizeof(filename));
140 1.12 itojun strlcat(filename, direc,
141 1.12 itojun sizeof(filename));
142 1.12 itojun strlcat(filename, "/",
143 1.12 itojun sizeof(filename));
144 1.12 itojun strlcat(filename, UNITSFILE,
145 1.12 itojun sizeof(filename));
146 1.1 cgd unitfile = fopen(filename, "rt");
147 1.1 cgd if (unitfile)
148 1.1 cgd break;
149 1.1 cgd direc = strtok(NULL, separator);
150 1.1 cgd }
151 1.1 cgd }
152 1.7 lukem if (!unitfile)
153 1.7 lukem errx(1, "Can't find units file '%s'",
154 1.1 cgd UNITSFILE);
155 1.1 cgd }
156 1.1 cgd }
157 1.1 cgd while (!feof(unitfile)) {
158 1.1 cgd if (!fgets(line, 79, unitfile))
159 1.1 cgd break;
160 1.1 cgd linenum++;
161 1.1 cgd lineptr = line;
162 1.1 cgd if (*lineptr == '/')
163 1.1 cgd continue;
164 1.1 cgd lineptr += strspn(lineptr, " \n\t");
165 1.1 cgd len = strcspn(lineptr, " \n\t");
166 1.1 cgd lineptr[len] = 0;
167 1.1 cgd if (!strlen(lineptr))
168 1.1 cgd continue;
169 1.1 cgd if (lineptr[strlen(lineptr) - 1] == '-') { /* it's a prefix */
170 1.1 cgd if (prefixcount == MAXPREFIXES) {
171 1.7 lukem warnx("Memory for prefixes exceeded in line %d",
172 1.1 cgd linenum);
173 1.1 cgd continue;
174 1.1 cgd }
175 1.1 cgd lineptr[strlen(lineptr) - 1] = 0;
176 1.20 apb for (isdup = 0, i = 0; i < prefixcount; i++) {
177 1.20 apb if (!strcmp(prefixtable[i].prefixname,
178 1.20 apb lineptr)) {
179 1.20 apb isdup = 1;
180 1.20 apb break;
181 1.20 apb }
182 1.20 apb }
183 1.20 apb if (isdup) {
184 1.20 apb warnx(
185 1.20 apb "Redefinition of prefix '%s' on line %d ignored",
186 1.20 apb lineptr, linenum);
187 1.20 apb continue;
188 1.20 apb }
189 1.1 cgd prefixtable[prefixcount].prefixname = dupstr(lineptr);
190 1.1 cgd lineptr += len + 1;
191 1.1 cgd if (!strlen(lineptr)) {
192 1.1 cgd readerror(linenum);
193 1.1 cgd continue;
194 1.1 cgd }
195 1.1 cgd lineptr += strspn(lineptr, " \n\t");
196 1.1 cgd len = strcspn(lineptr, "\n\t");
197 1.1 cgd lineptr[len] = 0;
198 1.1 cgd prefixtable[prefixcount++].prefixval = dupstr(lineptr);
199 1.1 cgd }
200 1.1 cgd else { /* it's not a prefix */
201 1.1 cgd if (unitcount == MAXUNITS) {
202 1.7 lukem warnx("Memory for units exceeded in line %d",
203 1.1 cgd linenum);
204 1.1 cgd continue;
205 1.1 cgd }
206 1.20 apb for (isdup = 0, i = 0; i < unitcount; i++) {
207 1.1 cgd if (!strcmp(unittable[i].uname, lineptr)) {
208 1.20 apb isdup = 1;
209 1.20 apb break;
210 1.20 apb }
211 1.20 apb }
212 1.20 apb if (isdup) {
213 1.20 apb warnx(
214 1.7 lukem "Redefinition of unit '%s' on line %d ignored",
215 1.20 apb lineptr, linenum);
216 1.20 apb continue;
217 1.20 apb }
218 1.20 apb unittable[unitcount].uname = dupstr(lineptr);
219 1.1 cgd lineptr += len + 1;
220 1.1 cgd lineptr += strspn(lineptr, " \n\t");
221 1.1 cgd if (!strlen(lineptr)) {
222 1.1 cgd readerror(linenum);
223 1.1 cgd continue;
224 1.1 cgd }
225 1.1 cgd len = strcspn(lineptr, "\n\t");
226 1.1 cgd lineptr[len] = 0;
227 1.1 cgd unittable[unitcount++].uval = dupstr(lineptr);
228 1.1 cgd }
229 1.1 cgd }
230 1.1 cgd fclose(unitfile);
231 1.1 cgd }
232 1.1 cgd
233 1.17 joerg static void
234 1.1 cgd initializeunit(struct unittype * theunit)
235 1.1 cgd {
236 1.1 cgd theunit->factor = 1.0;
237 1.1 cgd theunit->numerator[0] = theunit->denominator[0] = NULL;
238 1.1 cgd }
239 1.1 cgd
240 1.17 joerg static int
241 1.16 lukem addsubunit(const char *product[], const char *toadd)
242 1.1 cgd {
243 1.16 lukem const char **ptr;
244 1.1 cgd
245 1.1 cgd for (ptr = product; *ptr && *ptr != NULLUNIT; ptr++);
246 1.1 cgd if (ptr >= product + MAXSUBUNITS) {
247 1.7 lukem warnx("Memory overflow in unit reduction");
248 1.1 cgd return 1;
249 1.1 cgd }
250 1.1 cgd if (!*ptr)
251 1.1 cgd *(ptr + 1) = 0;
252 1.1 cgd *ptr = dupstr(toadd);
253 1.1 cgd return 0;
254 1.1 cgd }
255 1.1 cgd
256 1.17 joerg static void
257 1.1 cgd showunit(struct unittype * theunit)
258 1.1 cgd {
259 1.16 lukem const char **ptr;
260 1.1 cgd int printedslash;
261 1.1 cgd int counter = 1;
262 1.1 cgd
263 1.1 cgd printf("\t%.8g", theunit->factor);
264 1.1 cgd for (ptr = theunit->numerator; *ptr; ptr++) {
265 1.1 cgd if (ptr > theunit->numerator && **ptr &&
266 1.1 cgd !strcmp(*ptr, *(ptr - 1)))
267 1.1 cgd counter++;
268 1.1 cgd else {
269 1.1 cgd if (counter > 1)
270 1.1 cgd printf("%s%d", powerstring, counter);
271 1.1 cgd if (**ptr)
272 1.1 cgd printf(" %s", *ptr);
273 1.1 cgd counter = 1;
274 1.1 cgd }
275 1.1 cgd }
276 1.1 cgd if (counter > 1)
277 1.1 cgd printf("%s%d", powerstring, counter);
278 1.1 cgd counter = 1;
279 1.1 cgd printedslash = 0;
280 1.1 cgd for (ptr = theunit->denominator; *ptr; ptr++) {
281 1.1 cgd if (ptr > theunit->denominator && **ptr &&
282 1.1 cgd !strcmp(*ptr, *(ptr - 1)))
283 1.1 cgd counter++;
284 1.1 cgd else {
285 1.1 cgd if (counter > 1)
286 1.1 cgd printf("%s%d", powerstring, counter);
287 1.1 cgd if (**ptr) {
288 1.1 cgd if (!printedslash)
289 1.1 cgd printf(" /");
290 1.1 cgd printedslash = 1;
291 1.1 cgd printf(" %s", *ptr);
292 1.1 cgd }
293 1.1 cgd counter = 1;
294 1.1 cgd }
295 1.1 cgd }
296 1.1 cgd if (counter > 1)
297 1.1 cgd printf("%s%d", powerstring, counter);
298 1.1 cgd printf("\n");
299 1.1 cgd }
300 1.1 cgd
301 1.17 joerg static void
302 1.18 matt zeroerror(void)
303 1.1 cgd {
304 1.7 lukem warnx("Unit reduces to zero");
305 1.1 cgd }
306 1.1 cgd
307 1.1 cgd /*
308 1.1 cgd Adds the specified string to the unit.
309 1.1 cgd Flip is 0 for adding normally, 1 for adding reciprocal.
310 1.1 cgd
311 1.1 cgd Returns 0 for successful addition, nonzero on error.
312 1.1 cgd */
313 1.1 cgd
314 1.17 joerg static int
315 1.16 lukem addunit(struct unittype * theunit, const char *toadd, int flip)
316 1.1 cgd {
317 1.1 cgd char *scratch, *savescr;
318 1.1 cgd char *item;
319 1.3 jtc char *divider, *slash;
320 1.1 cgd int doingtop;
321 1.1 cgd
322 1.1 cgd savescr = scratch = dupstr(toadd);
323 1.1 cgd for (slash = scratch + 1; *slash; slash++)
324 1.1 cgd if (*slash == '-' &&
325 1.14 dsl (tolower((unsigned char)*(slash - 1)) != 'e' ||
326 1.1 cgd !strchr(".0123456789", *(slash + 1))))
327 1.1 cgd *slash = ' ';
328 1.1 cgd slash = strchr(scratch, '/');
329 1.1 cgd if (slash)
330 1.1 cgd *slash = 0;
331 1.1 cgd doingtop = 1;
332 1.1 cgd do {
333 1.1 cgd item = strtok(scratch, " *\t\n/");
334 1.1 cgd while (item) {
335 1.19 apb if (strchr("0123456789.", *item)) {
336 1.19 apb /* item starts with a number */
337 1.19 apb char *endptr;
338 1.1 cgd double num;
339 1.1 cgd
340 1.1 cgd divider = strchr(item, '|');
341 1.1 cgd if (divider) {
342 1.1 cgd *divider = 0;
343 1.19 apb num = strtod(item, &endptr);
344 1.1 cgd if (!num) {
345 1.1 cgd zeroerror();
346 1.1 cgd return 1;
347 1.1 cgd }
348 1.19 apb if (endptr != divider) {
349 1.19 apb /* "6foo|2" is an error */
350 1.19 apb warnx("Junk between number "
351 1.19 apb "and '|'");
352 1.19 apb return 1;
353 1.19 apb }
354 1.1 cgd if (doingtop ^ flip)
355 1.1 cgd theunit->factor *= num;
356 1.1 cgd else
357 1.1 cgd theunit->factor /= num;
358 1.19 apb num = strtod(divider + 1, &endptr);
359 1.1 cgd if (!num) {
360 1.1 cgd zeroerror();
361 1.1 cgd return 1;
362 1.1 cgd }
363 1.1 cgd if (doingtop ^ flip)
364 1.1 cgd theunit->factor /= num;
365 1.1 cgd else
366 1.1 cgd theunit->factor *= num;
367 1.19 apb if (*endptr) {
368 1.19 apb /* "6|2foo" is like "6|2 foo" */
369 1.19 apb item = endptr;
370 1.19 apb continue;
371 1.19 apb }
372 1.1 cgd }
373 1.1 cgd else {
374 1.19 apb num = strtod(item, &endptr);
375 1.1 cgd if (!num) {
376 1.1 cgd zeroerror();
377 1.1 cgd return 1;
378 1.1 cgd }
379 1.1 cgd if (doingtop ^ flip)
380 1.1 cgd theunit->factor *= num;
381 1.1 cgd else
382 1.1 cgd theunit->factor /= num;
383 1.19 apb if (*endptr) {
384 1.19 apb /* "3foo" is like "3 foo" */
385 1.19 apb item = endptr;
386 1.19 apb continue;
387 1.19 apb }
388 1.1 cgd }
389 1.1 cgd }
390 1.1 cgd else { /* item is not a number */
391 1.1 cgd int repeat = 1;
392 1.1 cgd
393 1.1 cgd if (strchr("23456789",
394 1.1 cgd item[strlen(item) - 1])) {
395 1.1 cgd repeat = item[strlen(item) - 1] - '0';
396 1.1 cgd item[strlen(item) - 1] = 0;
397 1.1 cgd }
398 1.1 cgd for (; repeat; repeat--)
399 1.1 cgd if (addsubunit(doingtop ^ flip ? theunit->numerator : theunit->denominator, item))
400 1.1 cgd return 1;
401 1.1 cgd }
402 1.1 cgd item = strtok(NULL, " *\t/\n");
403 1.1 cgd }
404 1.1 cgd doingtop--;
405 1.1 cgd if (slash) {
406 1.1 cgd scratch = slash + 1;
407 1.1 cgd }
408 1.1 cgd else
409 1.1 cgd doingtop--;
410 1.1 cgd } while (doingtop >= 0);
411 1.1 cgd free(savescr);
412 1.1 cgd return 0;
413 1.1 cgd }
414 1.1 cgd
415 1.17 joerg static int
416 1.1 cgd compare(const void *item1, const void *item2)
417 1.1 cgd {
418 1.16 lukem return strcmp(*(const char * const *) item1,
419 1.16 lukem *(const char * const *) item2);
420 1.1 cgd }
421 1.1 cgd
422 1.17 joerg static void
423 1.1 cgd sortunit(struct unittype * theunit)
424 1.1 cgd {
425 1.16 lukem const char **ptr;
426 1.1 cgd int count;
427 1.1 cgd
428 1.1 cgd for (count = 0, ptr = theunit->numerator; *ptr; ptr++, count++);
429 1.1 cgd qsort(theunit->numerator, count, sizeof(char *), compare);
430 1.1 cgd for (count = 0, ptr = theunit->denominator; *ptr; ptr++, count++);
431 1.1 cgd qsort(theunit->denominator, count, sizeof(char *), compare);
432 1.1 cgd }
433 1.1 cgd
434 1.17 joerg static void
435 1.1 cgd cancelunit(struct unittype * theunit)
436 1.1 cgd {
437 1.16 lukem const char **den, **num;
438 1.1 cgd int comp;
439 1.1 cgd
440 1.1 cgd den = theunit->denominator;
441 1.1 cgd num = theunit->numerator;
442 1.1 cgd
443 1.1 cgd while (*num && *den) {
444 1.1 cgd comp = strcmp(*den, *num);
445 1.1 cgd if (!comp) {
446 1.1 cgd /* if (*den!=NULLUNIT) free(*den);
447 1.1 cgd if (*num!=NULLUNIT) free(*num);*/
448 1.1 cgd *den++ = NULLUNIT;
449 1.1 cgd *num++ = NULLUNIT;
450 1.1 cgd }
451 1.1 cgd else if (comp < 0)
452 1.1 cgd den++;
453 1.1 cgd else
454 1.1 cgd num++;
455 1.1 cgd }
456 1.1 cgd }
457 1.1 cgd
458 1.1 cgd
459 1.1 cgd
460 1.1 cgd
461 1.1 cgd /*
462 1.1 cgd Looks up the definition for the specified unit.
463 1.1 cgd Returns a pointer to the definition or a null pointer
464 1.1 cgd if the specified unit does not appear in the units table.
465 1.1 cgd */
466 1.1 cgd
467 1.1 cgd static char buffer[100]; /* buffer for lookupunit answers with
468 1.1 cgd prefixes */
469 1.1 cgd
470 1.17 joerg static const char *
471 1.16 lukem lookupunit(const char *unit)
472 1.1 cgd {
473 1.1 cgd int i;
474 1.1 cgd char *copy;
475 1.1 cgd
476 1.1 cgd for (i = 0; i < unitcount; i++) {
477 1.1 cgd if (!strcmp(unittable[i].uname, unit))
478 1.1 cgd return unittable[i].uval;
479 1.1 cgd }
480 1.1 cgd
481 1.1 cgd if (unit[strlen(unit) - 1] == '^') {
482 1.1 cgd copy = dupstr(unit);
483 1.1 cgd copy[strlen(copy) - 1] = 0;
484 1.1 cgd for (i = 0; i < unitcount; i++) {
485 1.1 cgd if (!strcmp(unittable[i].uname, copy)) {
486 1.12 itojun strlcpy(buffer, copy, sizeof(buffer));
487 1.1 cgd free(copy);
488 1.1 cgd return buffer;
489 1.1 cgd }
490 1.1 cgd }
491 1.1 cgd free(copy);
492 1.1 cgd }
493 1.1 cgd if (unit[strlen(unit) - 1] == 's') {
494 1.1 cgd copy = dupstr(unit);
495 1.1 cgd copy[strlen(copy) - 1] = 0;
496 1.1 cgd for (i = 0; i < unitcount; i++) {
497 1.1 cgd if (!strcmp(unittable[i].uname, copy)) {
498 1.12 itojun strlcpy(buffer, copy, sizeof(buffer));
499 1.1 cgd free(copy);
500 1.1 cgd return buffer;
501 1.1 cgd }
502 1.1 cgd }
503 1.1 cgd if (copy[strlen(copy) - 1] == 'e') {
504 1.1 cgd copy[strlen(copy) - 1] = 0;
505 1.1 cgd for (i = 0; i < unitcount; i++) {
506 1.1 cgd if (!strcmp(unittable[i].uname, copy)) {
507 1.12 itojun strlcpy(buffer, copy, sizeof(buffer));
508 1.1 cgd free(copy);
509 1.1 cgd return buffer;
510 1.1 cgd }
511 1.1 cgd }
512 1.1 cgd }
513 1.1 cgd free(copy);
514 1.1 cgd }
515 1.1 cgd for (i = 0; i < prefixcount; i++) {
516 1.1 cgd if (!strncmp(prefixtable[i].prefixname, unit,
517 1.1 cgd strlen(prefixtable[i].prefixname))) {
518 1.1 cgd unit += strlen(prefixtable[i].prefixname);
519 1.1 cgd if (!strlen(unit) || lookupunit(unit)) {
520 1.12 itojun strlcpy(buffer, prefixtable[i].prefixval,
521 1.12 itojun sizeof(buffer));
522 1.12 itojun strlcat(buffer, " ", sizeof(buffer));
523 1.12 itojun strlcat(buffer, unit, sizeof(buffer));
524 1.1 cgd return buffer;
525 1.1 cgd }
526 1.1 cgd }
527 1.1 cgd }
528 1.1 cgd return 0;
529 1.1 cgd }
530 1.1 cgd
531 1.1 cgd
532 1.1 cgd
533 1.1 cgd /*
534 1.1 cgd reduces a product of symbolic units to primitive units.
535 1.1 cgd The three low bits are used to return flags:
536 1.1 cgd
537 1.1 cgd bit 0 (1) set on if reductions were performed without error.
538 1.1 cgd bit 1 (2) set on if no reductions are performed.
539 1.1 cgd bit 2 (4) set on if an unknown unit is discovered.
540 1.1 cgd */
541 1.1 cgd
542 1.1 cgd
543 1.1 cgd #define ERROR 4
544 1.1 cgd
545 1.17 joerg static int
546 1.1 cgd reduceproduct(struct unittype * theunit, int flip)
547 1.1 cgd {
548 1.1 cgd
549 1.16 lukem const char *toadd;
550 1.16 lukem const char **product;
551 1.1 cgd int didsomething = 2;
552 1.1 cgd
553 1.1 cgd if (flip)
554 1.1 cgd product = theunit->denominator;
555 1.1 cgd else
556 1.1 cgd product = theunit->numerator;
557 1.1 cgd
558 1.1 cgd for (; *product; product++) {
559 1.1 cgd
560 1.1 cgd for (;;) {
561 1.1 cgd if (!strlen(*product))
562 1.1 cgd break;
563 1.1 cgd toadd = lookupunit(*product);
564 1.1 cgd if (!toadd) {
565 1.1 cgd printf("unknown unit '%s'\n", *product);
566 1.1 cgd return ERROR;
567 1.1 cgd }
568 1.1 cgd if (strchr(toadd, PRIMITIVECHAR))
569 1.1 cgd break;
570 1.1 cgd didsomething = 1;
571 1.1 cgd if (*product != NULLUNIT) {
572 1.16 lukem free(__UNCONST(*product));
573 1.1 cgd *product = NULLUNIT;
574 1.1 cgd }
575 1.1 cgd if (addunit(theunit, toadd, flip))
576 1.1 cgd return ERROR;
577 1.1 cgd }
578 1.1 cgd }
579 1.1 cgd return didsomething;
580 1.1 cgd }
581 1.1 cgd
582 1.1 cgd
583 1.1 cgd /*
584 1.1 cgd Reduces numerator and denominator of the specified unit.
585 1.1 cgd Returns 0 on success, or 1 on unknown unit error.
586 1.1 cgd */
587 1.1 cgd
588 1.17 joerg static int
589 1.1 cgd reduceunit(struct unittype * theunit)
590 1.1 cgd {
591 1.1 cgd int ret;
592 1.1 cgd
593 1.1 cgd ret = 1;
594 1.1 cgd while (ret & 1) {
595 1.1 cgd ret = reduceproduct(theunit, 0) | reduceproduct(theunit, 1);
596 1.1 cgd if (ret & 4)
597 1.1 cgd return 1;
598 1.1 cgd }
599 1.1 cgd return 0;
600 1.1 cgd }
601 1.1 cgd
602 1.17 joerg static int
603 1.16 lukem compareproducts(const char **one, const char **two)
604 1.1 cgd {
605 1.1 cgd while (*one || *two) {
606 1.1 cgd if (!*one && *two != NULLUNIT)
607 1.1 cgd return 1;
608 1.1 cgd if (!*two && *one != NULLUNIT)
609 1.1 cgd return 1;
610 1.1 cgd if (*one == NULLUNIT)
611 1.1 cgd one++;
612 1.1 cgd else if (*two == NULLUNIT)
613 1.1 cgd two++;
614 1.15 christos else if (*one && *two && strcmp(*one, *two))
615 1.1 cgd return 1;
616 1.1 cgd else
617 1.1 cgd one++, two++;
618 1.1 cgd }
619 1.1 cgd return 0;
620 1.1 cgd }
621 1.1 cgd
622 1.1 cgd
623 1.1 cgd /* Return zero if units are compatible, nonzero otherwise */
624 1.1 cgd
625 1.17 joerg static int
626 1.1 cgd compareunits(struct unittype * first, struct unittype * second)
627 1.1 cgd {
628 1.1 cgd return
629 1.1 cgd compareproducts(first->numerator, second->numerator) ||
630 1.1 cgd compareproducts(first->denominator, second->denominator);
631 1.1 cgd }
632 1.1 cgd
633 1.17 joerg static int
634 1.13 mycroft compareunitsreciprocal(struct unittype * first, struct unittype * second)
635 1.13 mycroft {
636 1.13 mycroft return
637 1.13 mycroft compareproducts(first->numerator, second->denominator) ||
638 1.13 mycroft compareproducts(first->denominator, second->numerator);
639 1.13 mycroft }
640 1.13 mycroft
641 1.1 cgd
642 1.17 joerg static int
643 1.1 cgd completereduce(struct unittype * unit)
644 1.1 cgd {
645 1.1 cgd if (reduceunit(unit))
646 1.1 cgd return 1;
647 1.1 cgd sortunit(unit);
648 1.1 cgd cancelunit(unit);
649 1.1 cgd return 0;
650 1.1 cgd }
651 1.1 cgd
652 1.1 cgd
653 1.17 joerg static void
654 1.1 cgd showanswer(struct unittype * have, struct unittype * want)
655 1.1 cgd {
656 1.1 cgd if (compareunits(have, want)) {
657 1.13 mycroft if (compareunitsreciprocal(have, want)) {
658 1.13 mycroft printf("conformability error\n");
659 1.13 mycroft showunit(have);
660 1.13 mycroft showunit(want);
661 1.13 mycroft } else {
662 1.13 mycroft printf("\treciprocal conversion\n");
663 1.13 mycroft printf("\t* %.8g\n\t/ %.8g\n", 1 / (have->factor * want->factor),
664 1.13 mycroft want->factor * have->factor);
665 1.13 mycroft }
666 1.1 cgd }
667 1.1 cgd else
668 1.1 cgd printf("\t* %.8g\n\t/ %.8g\n", have->factor / want->factor,
669 1.1 cgd want->factor / have->factor);
670 1.1 cgd }
671 1.1 cgd
672 1.1 cgd
673 1.17 joerg static void
674 1.17 joerg usage(void)
675 1.1 cgd {
676 1.7 lukem fprintf(stderr,
677 1.7 lukem "\nunits [-f unitsfile] [-q] [-v] [from-unit to-unit]\n");
678 1.1 cgd fprintf(stderr, "\n -f specify units file\n");
679 1.10 atatat fprintf(stderr, " -q suppress prompting (quiet)\n");
680 1.1 cgd fprintf(stderr, " -v print version number\n");
681 1.1 cgd exit(3);
682 1.1 cgd }
683 1.1 cgd
684 1.4 jtc int
685 1.1 cgd main(int argc, char **argv)
686 1.1 cgd {
687 1.1 cgd
688 1.1 cgd struct unittype have, want;
689 1.1 cgd char havestr[81], wantstr[81];
690 1.5 mark int optchar;
691 1.16 lukem const char *userfile = 0;
692 1.1 cgd int quiet = 0;
693 1.1 cgd
694 1.5 mark while ((optchar = getopt(argc, argv, "vqf:")) != -1) {
695 1.1 cgd switch (optchar) {
696 1.1 cgd case 'f':
697 1.1 cgd userfile = optarg;
698 1.1 cgd break;
699 1.1 cgd case 'q':
700 1.1 cgd quiet = 1;
701 1.1 cgd break;
702 1.1 cgd case 'v':
703 1.1 cgd fprintf(stderr, "\n units version %s Copyright (c) 1993 by Adrian Mariano\n",
704 1.1 cgd VERSION);
705 1.1 cgd fprintf(stderr, " This program may be freely distributed\n");
706 1.1 cgd usage();
707 1.1 cgd default:
708 1.1 cgd usage();
709 1.1 cgd break;
710 1.1 cgd }
711 1.1 cgd }
712 1.1 cgd
713 1.10 atatat argc -= optind;
714 1.10 atatat argv += optind;
715 1.10 atatat
716 1.10 atatat if (argc != 3 && argc != 2 && argc != 0)
717 1.1 cgd usage();
718 1.1 cgd
719 1.1 cgd readunits(userfile);
720 1.1 cgd
721 1.10 atatat if (argc == 3) {
722 1.12 itojun strlcpy(havestr, argv[0], sizeof(havestr));
723 1.12 itojun strlcat(havestr, " ", sizeof(havestr));
724 1.12 itojun strlcat(havestr, argv[1], sizeof(havestr));
725 1.10 atatat argc--;
726 1.10 atatat argv++;
727 1.10 atatat argv[0] = havestr;
728 1.10 atatat }
729 1.10 atatat
730 1.10 atatat if (argc == 2) {
731 1.12 itojun strlcpy(havestr, argv[0], sizeof(havestr));
732 1.12 itojun strlcpy(wantstr, argv[1], sizeof(wantstr));
733 1.1 cgd initializeunit(&have);
734 1.1 cgd addunit(&have, havestr, 0);
735 1.1 cgd completereduce(&have);
736 1.1 cgd initializeunit(&want);
737 1.1 cgd addunit(&want, wantstr, 0);
738 1.1 cgd completereduce(&want);
739 1.1 cgd showanswer(&have, &want);
740 1.1 cgd }
741 1.1 cgd else {
742 1.1 cgd if (!quiet)
743 1.1 cgd printf("%d units, %d prefixes\n\n", unitcount,
744 1.1 cgd prefixcount);
745 1.1 cgd for (;;) {
746 1.1 cgd do {
747 1.1 cgd initializeunit(&have);
748 1.1 cgd if (!quiet)
749 1.1 cgd printf("You have: ");
750 1.1 cgd if (!fgets(havestr, 80, stdin)) {
751 1.11 kristerw if (!quiet)
752 1.11 kristerw putchar('\n');
753 1.1 cgd exit(0);
754 1.1 cgd }
755 1.1 cgd } while (addunit(&have, havestr, 0) ||
756 1.1 cgd completereduce(&have));
757 1.1 cgd do {
758 1.1 cgd initializeunit(&want);
759 1.1 cgd if (!quiet)
760 1.1 cgd printf("You want: ");
761 1.1 cgd if (!fgets(wantstr, 80, stdin)) {
762 1.1 cgd if (!quiet)
763 1.1 cgd putchar('\n');
764 1.1 cgd exit(0);
765 1.1 cgd }
766 1.1 cgd } while (addunit(&want, wantstr, 0) ||
767 1.1 cgd completereduce(&want));
768 1.1 cgd showanswer(&have, &want);
769 1.1 cgd }
770 1.1 cgd }
771 1.7 lukem return (0);
772 1.1 cgd }
773