source: git/src/cavern.c

Last change on this file was cac5622, checked in by Olly Betts <olly@…>, 4 months ago

Warn about *copyright date in the future

  • Property mode set to 100644
File size: 16.9 KB
Line 
1/* cavern.c
2 * SURVEX Cave surveying software: data reduction main and related functions
3 * Copyright (C) 1991-2025 Olly Betts
4 *
5 * This program is free software; you can redistribute it and/or modify
6 * it under the terms of the GNU General Public License as published by
7 * the Free Software Foundation; either version 2 of the License, or
8 * (at your option) any later version.
9 *
10 * This program is distributed in the hope that it will be useful,
11 * but WITHOUT ANY WARRANTY; without even the implied warranty of
12 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
13 * GNU General Public License for more details.
14 *
15 * You should have received a copy of the GNU General Public License
16 * along with this program; if not, write to the Free Software
17 * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA  02110-1301  USA
18 */
19
20#include <config.h>
21
22#define MSG_SETUP_PROJ_SEARCH_PATH 1
23
24#include <limits.h>
25#include <stdlib.h>
26#include <time.h>
27
28#include "cavern.h"
29#include "cmdline.h"
30#include "commands.h"
31#include "date.h"
32#include "datain.h"
33#include "debug.h"
34#include "message.h"
35#include "filename.h"
36#include "filelist.h"
37#include "img_for_survex.h"
38#include "listpos.h"
39#include "netbits.h"
40#include "netskel.h"
41#include "osalloc.h"
42#include "out.h"
43#include "str.h"
44#include "validate.h"
45
46#ifdef _WIN32
47# include <conio.h> /* for _kbhit() and _getch() */
48#endif
49
50/* Globals */
51node *fixedlist = NULL; // Fixed points
52node *stnlist = NULL; // Unfixed stations
53settings *pcs;
54prefix *root;
55prefix *anon_list = NULL;
56long cLegs = 0, cStns = 0;
57long cComponents = 0;
58long cSolves = 0;
59bool fExportUsed = false;
60char * proj_str_out = NULL;
61PJ * pj_cached = NULL;
62
63FILE *fhErrStat = NULL;
64img *pimg = NULL;
65bool fQuiet = false; /* just show brief summary + errors */
66bool fMute = false; /* just show errors */
67bool fSuppress = false; /* only output 3d file */
68static bool fLog = false; /* stdout to .log file */
69static bool f_warnings_are_errors = false; /* turn warnings into errors */
70
71nosurveylink *nosurveyhead;
72
73real totadj, total, totplan, totvert;
74real min[9], max[9];
75prefix *pfxHi[9], *pfxLo[9];
76
77string survey_title = S_INIT;
78
79bool fExplicitTitle = false;
80
81char *fnm_output_base = NULL;
82bool fnm_output_base_is_dir = false;
83
84lrudlist * model = NULL;
85lrud ** next_lrud = NULL;
86
87char output_separator = '.';
88
89static void do_stats(void);
90
91static const struct option long_opts[] = {
92   /* const char *name; int has_arg (0 no_argument, 1 required_*, 2 optional_*); int *flag; int val; */
93   {"percentage", no_argument, 0, 'p'},
94   /* Ignore for compatibility with older versions. */
95   {"no-percentage", no_argument, 0, 0},
96   {"output", required_argument, 0, 'o'},
97   {"quiet", no_argument, 0, 'q'},
98   {"no-auxiliary-files", no_argument, 0, 's'},
99   {"warnings-are-errors", no_argument, 0, 'w'},
100   {"log", no_argument, 0, 1},
101   {"3d-version", required_argument, 0, 'v'},
102#ifdef _WIN32
103   {"pause", no_argument, 0, 2},
104#endif
105   {"help", no_argument, 0, HLP_HELP},
106   {"version", no_argument, 0, HLP_VERSION},
107   {0, 0, 0, 0}
108};
109
110#define short_opts "pao:qsv:wz:"
111
112static struct help_msg help[] = {
113/*                              <-- */
114   /* TRANSLATORS: --help output for cavern --output option */
115   {HLP_ENCODELONG(2),        /*set location for output files*/162, 0, 0},
116   /* TRANSLATORS: --help output for cavern --quiet option */
117   {HLP_ENCODELONG(3),        /*only show brief summary (-qq for errors only)*/163, 0, 0},
118   /* TRANSLATORS: --help output for cavern --no-auxiliary-files option */
119   {HLP_ENCODELONG(4),        /*do not create .err file*/164, 0, 0},
120   /* TRANSLATORS: --help output for cavern --warnings-are-errors option */
121   {HLP_ENCODELONG(5),        /*turn warnings into errors*/165, 0, 0},
122   /* TRANSLATORS: --help output for cavern --log option */
123   {HLP_ENCODELONG(6),        /*log output to .log file*/170, 0, 0},
124   /* TRANSLATORS: --help output for cavern --3d-version option */
125   {HLP_ENCODELONG(7),        /*specify the 3d file format version to output*/171, 0, 0},
126 /*{'z',                        "set optimizations for network reduction"},*/
127   {0, 0, 0, 0}
128};
129
130/* atexit functions */
131static void
132delete_output_on_error(void)
133{
134   if (msg_errors || (f_warnings_are_errors && msg_warnings))
135      filename_delete_output();
136}
137
138#ifdef _WIN32
139static void
140pause_on_exit(void)
141{
142   while (_kbhit()) _getch();
143   _getch();
144}
145#endif
146
147int current_days_since_1900;
148unsigned current_year;
149
150static void discarding_proj_logger(void *ctx, int level, const char *message) {
151    (void)ctx;
152    (void)level;
153    (void)message;
154}
155
156extern int
157main(int argc, char **argv)
158{
159   int d;
160   time_t tmUserStart = time(NULL);
161   clock_t tmCPUStart = clock();
162   {
163       // Convert the current date in the local timezone to the number of days
164       // since 1900 which we use to warn if a `*date` command specifies a date
165       // in the future.
166       struct tm * t = localtime(&tmUserStart);
167       int y = t->tm_year + 1900;
168       current_year = (unsigned)y;
169       current_days_since_1900 = days_since_1900(y, t->tm_mon + 1, t->tm_mday);
170   }
171
172   /* Always buffer by line for aven's benefit. */
173   setvbuf(stdout, NULL, _IOLBF, 0);
174
175   /* Prevent stderr spew from PROJ. */
176   proj_log_func(PJ_DEFAULT_CTX, NULL, discarding_proj_logger);
177
178   msg_init(argv);
179
180   pcs = osnew(settings);
181   pcs->next = NULL;
182   pcs->from_equals_to_is_only_a_warning = false;
183   pcs->Translate = ((short*) osmalloc(sizeof(short) * 257)) + 1;
184   pcs->meta = NULL;
185   pcs->proj_str = NULL;
186   pcs->declination = HUGE_REAL;
187   pcs->convergence = HUGE_REAL;
188   pcs->input_convergence = HUGE_REAL;
189   pcs->dec_filename = NULL;
190   pcs->dec_line = 0;
191   pcs->dec_context = NULL;
192   pcs->dec_lat = HUGE_VAL;
193   pcs->dec_lon = HUGE_VAL;
194   pcs->dec_alt = HUGE_VAL;
195   pcs->min_declination = HUGE_VAL;
196   pcs->max_declination = -HUGE_VAL;
197   pcs->cartesian_north = TRUE_NORTH;
198   pcs->cartesian_rotation = 0.0;
199
200   /* Set up root of prefix hierarchy */
201   root = osnew(prefix);
202   root->up = root->right = root->down = NULL;
203   root->stn = NULL;
204   root->pos = NULL;
205   root->ident.p = NULL;
206   root->min_export = root->max_export = 0;
207   root->sflags = BIT(SFLAGS_SURVEY);
208   root->filename = NULL;
209
210   nosurveyhead = NULL;
211
212   fixedlist = NULL;
213   stnlist = NULL;
214   totadj = total = totplan = totvert = 0.0;
215
216   for (d = 0; d < 9; d++) {
217      min[d] = HUGE_REAL;
218      max[d] = -HUGE_REAL;
219      pfxHi[d] = pfxLo[d] = NULL;
220   }
221
222   // TRANSLATORS: Here "survey" is a "cave map" rather than list of questions
223   // - it should be translated to the terminology that cavers using the
224   // language would use.
225   //
226   // Part of cavern --help
227   cmdline_set_syntax_message(/*[SURVEY_DATA_FILE]*/507, 0, NULL);
228   /* at least one argument must be given */
229   cmdline_init(argc, argv, short_opts, long_opts, NULL, help, 1, -1);
230   while (1) {
231      int opt = cmdline_getopt();
232      if (opt == EOF) break;
233      switch (opt) {
234       case 'p':
235         /* Ignore for compatibility with older versions. */
236         break;
237       case 'o': {
238         free(fnm_output_base); /* in case of multiple -o options */
239         /* can be a directory (in which case use basename of leaf input)
240          * or a file (in which case just trim the extension off) */
241         if (fDirectory(optarg)) {
242            /* this is a little tricky - we need to note the path here,
243             * and then add the leaf later on (in datain.c) */
244            fnm_output_base = base_from_fnm(optarg);
245            fnm_output_base_is_dir = true;
246         } else {
247            fnm_output_base = base_from_fnm(optarg);
248         }
249         break;
250       }
251       case 'q':
252         if (fQuiet) fMute = 1;
253         fQuiet = 1;
254         break;
255       case 's':
256         fSuppress = 1;
257         break;
258       case 'v': {
259         int v = atoi(optarg);
260         if (v < IMG_VERSION_MIN || v > IMG_VERSION_MAX)
261            fatalerror(/*3d file format versions %d to %d supported*/88,
262                       IMG_VERSION_MIN, IMG_VERSION_MAX);
263         img_output_version = v;
264         break;
265       }
266       case 'w':
267         f_warnings_are_errors = 1;
268         break;
269       case 'z': {
270         /* Control which network optimisations are used (development tool) */
271         static bool seen_opt_z = false;
272         char c;
273         if (!seen_opt_z) {
274            optimize = 0;
275            seen_opt_z = true;
276         }
277         /* Lollipops, Parallel legs, Iterate mx, Delta* */
278         while ((c = *optarg++) != '\0')
279            if (islower((unsigned char)c)) optimize |= BITA(c);
280         break;
281       case 1:
282         fLog = true;
283         break;
284#ifdef _WIN32
285       case 2:
286         atexit(pause_on_exit);
287         break;
288#endif
289       }
290      }
291   }
292
293   if (fLog) {
294      char *fnm;
295      if (!fnm_output_base) {
296         char *p;
297         p = baseleaf_from_fnm(argv[optind]);
298         fnm = add_ext(p, EXT_LOG);
299         free(p);
300      } else if (fnm_output_base_is_dir) {
301         char *p;
302         fnm = baseleaf_from_fnm(argv[optind]);
303         p = use_path(fnm_output_base, fnm);
304         free(fnm);
305         fnm = add_ext(p, EXT_LOG);
306         free(p);
307      } else {
308         fnm = add_ext(fnm_output_base, EXT_LOG);
309      }
310
311      if (!freopen(fnm, "w", stdout))
312         fatalerror(/*Failed to open output file “%s”*/3, fnm);
313
314      free(fnm);
315   }
316
317   if (!fMute) {
318      const char *p = COPYRIGHT_MSG;
319      puts(PRETTYPACKAGE" "VERSION);
320      while (1) {
321          const char *q = p;
322          p = strstr(p, "(C)");
323          if (p == NULL) {
324              puts(q);
325              break;
326          }
327          FWRITE_(q, 1, p - q, stdout);
328          fputs(msg(/*©*/0), stdout);
329          p += 3;
330      }
331   }
332
333   atexit(delete_output_on_error);
334
335   /* end of options, now process data files */
336   while (argv[optind]) {
337      const char *fnm = argv[optind];
338
339      if (!fExplicitTitle) {
340          char *lf = baseleaf_from_fnm(fnm);
341          if (s_empty(&survey_title)) {
342              s_donate(&survey_title, lf);
343          } else {
344              s_appendch(&survey_title, ' ');
345              s_append(&survey_title, lf);
346              free(lf);
347          }
348      }
349
350      /* Select defaults settings */
351      default_all(pcs);
352      data_file(NULL, fnm); /* first argument is current path */
353
354      optind++;
355   }
356
357   validate();
358
359   report_declination(pcs);
360
361   solve_network(); /* Find coordinates of all points */
362   validate();
363
364   check_for_unused_fixed_points();
365
366   /* close .3d file */
367   if (!img_close(pimg)) {
368      char *fnm = add_ext(fnm_output_base, EXT_SVX_3D);
369      fatalerror(img_error2msg(img_error()), fnm);
370   }
371   if (fhErrStat) safe_fclose(fhErrStat);
372
373   out_current_action(msg(/*Calculating statistics*/120));
374   if (!fMute) do_stats();
375   if (!fQuiet) {
376      /* clock() typically wraps after 72 minutes, but there doesn't seem
377       * to be a better way.  Still 72 minutes means some cave!
378       * We detect if clock() could have wrapped and suppress CPU time
379       * printing in this case.
380       */
381      double tmUser = difftime(time(NULL), tmUserStart);
382      double tmCPU;
383      clock_t now = clock();
384#define CLOCK_T_WRAP \
385        (sizeof(clock_t)<sizeof(long)?(1ul << (CHAR_BIT * sizeof(clock_t))):0)
386      tmCPU = (now - (unsigned long)tmCPUStart)
387         / (double)CLOCKS_PER_SEC;
388      if (now < tmCPUStart)
389         tmCPU += CLOCK_T_WRAP / (double)CLOCKS_PER_SEC;
390      if (tmUser >= tmCPU + CLOCK_T_WRAP / (double)CLOCKS_PER_SEC)
391         tmCPU = 0;
392
393      /* tmUser is integer, tmCPU not - equivalent to (ceil(tmCPU) >= tmUser) */
394      if (tmCPU + 1 > tmUser) {
395         printf(msg(/*CPU time used %5.2fs*/140), tmCPU);
396      } else if (tmCPU == 0) {
397         if (tmUser != 0.0) {
398            printf(msg(/*Time used %5.2fs*/141), tmUser);
399         } else {
400            fputs(msg(/*Time used unavailable*/142), stdout);
401         }
402      } else {
403         printf(msg(/*Time used %5.2fs (%5.2fs CPU time)*/143), tmUser, tmCPU);
404      }
405      putnl();
406   }
407   if (msg_warnings || msg_errors) {
408      putnl();
409      if (msg_errors || (f_warnings_are_errors && msg_warnings)) {
410         printf(msg(/*There were %d warning(s) and %d error(s) - no output files produced.*/113),
411                msg_warnings, msg_errors);
412         putnl();
413         return EXIT_FAILURE;
414      }
415      printf(msg(/*There were %d warning(s).*/16), msg_warnings);
416      putnl();
417   }
418   return EXIT_SUCCESS;
419}
420
421static void
422do_range(int d, int msgno, real length_factor, const char * units)
423{
424   if (d < 3) {
425      /* If the bound including anonymous stations is at an anonymous station
426       * but the bound only considering named stations is the same, use the
427       * named station for the anonymous bound too.
428       */
429      if (TSTBIT(pfxHi[d]->sflags, SFLAGS_ANON) && max[d] == max[d + 3]) {
430         pfxHi[d] = pfxHi[d + 3];
431      }
432      if (TSTBIT(pfxLo[d]->sflags, SFLAGS_ANON) && min[d] == min[d + 3]) {
433         pfxLo[d] = pfxLo[d + 3];
434      }
435   }
436
437   /* sprint_prefix uses a single buffer, so to report two stations in one
438    * message we need to make a temporary copy of the string for one of them.
439    */
440   char * pfx_hi = osstrdup(sprint_prefix(pfxHi[d]));
441   char * pfx_lo = sprint_prefix(pfxLo[d]);
442   real hi = max[d] * length_factor;
443   real lo = min[d] * length_factor;
444   printf(msg(msgno), hi - lo, units, pfx_hi, hi, units, pfx_lo, lo, units);
445   free(pfx_hi);
446   putnl();
447
448   /* Range without anonymous stations at offset 3. */
449   if (d < 3 && (pfxHi[d] != pfxHi[d + 3] || pfxLo[d] != pfxLo[d + 3])) {
450      do_range(d + 3, msgno, length_factor, units);
451   }
452}
453
454static void
455do_stats(void)
456{
457   putnl();
458
459   if (proj_str_out) {
460       prefix *name_min = NULL;
461       prefix *name_max = NULL;
462       double convergence_min = HUGE_VAL;
463       double convergence_max = -HUGE_VAL;
464       prefix **pfx = pfxLo;
465       for (int bound = 0; bound < 2; ++bound) {
466           for (int d = 6; d < 9; ++d) {
467               if (pfx[d]) {
468                   pos *p = pfx[d]->pos;
469                   double convergence = calculate_convergence_xy(proj_str_out,
470                                                                 p->p[0],
471                                                                 p->p[1],
472                                                                 p->p[2]);
473                   if (convergence < convergence_min) {
474                       convergence_min = convergence;
475                       name_min = pfx[d];
476                   }
477                   if (convergence > convergence_max) {
478                       convergence_max = convergence;
479                       name_max = pfx[d];
480                   }
481               }
482           }
483           pfx = pfxHi;
484       }
485       if (name_min && name_max) {
486           const char* deg_sign = msg(/*°*/344);
487           /* sprint_prefix uses a single buffer, so to report two stations in
488            * one message we need to make a temporary copy of the string for
489            * one of them.
490            */
491           char *pfx_hi = osstrdup(sprint_prefix(name_max));
492           char *pfx_lo = sprint_prefix(name_min);
493           // TRANSLATORS: Cavern computes the grid convergence at the
494           // representative location(s) specified by the
495           // `*declination auto` command(s).  The convergence values
496           // for the most N, S, E and W survey stations with legs
497           // attached are also computed and the range of these values
498           // is reported in this message.  It's approximate because the
499           // min or max convergence could actually be beyond this range
500           // but it's unlikely to be very wrong.
501           //
502           // Each %.1f%s will be replaced with a convergence angle (e.g.
503           // 0.9°) and the following %s with the station name where that
504           // convergence angle was computed.
505           printf(msg(/*Approximate full range of grid convergence: %.1f%s at %s to %.1f%s at %s\n*/531),
506                  deg(convergence_min), deg_sign, pfx_lo,
507                  deg(convergence_max), deg_sign, pfx_hi);
508           free(pfx_hi);
509       }
510   }
511
512   if (cStns == 1) {
513      fputs(msg(/*Survey contains 1 survey station,*/172), stdout);
514   } else {
515      printf(msg(/*Survey contains %ld survey stations,*/173), cStns);
516   }
517
518   if (cLegs == 1) {
519      fputs(msg(/* joined by 1 leg.*/174), stdout);
520   } else {
521      printf(msg(/* joined by %ld legs.*/175), cLegs);
522   }
523   putnl();
524
525   if (cSolves == 1) {
526       // If *solve is used then cComponents will often be wrong.  Rather than
527       // reporting incorrect counts of loops and components we omit these in
528       // this case for now.
529       long cLoops = cComponents + cLegs - cStns;
530       if (cLoops == 1) {
531          fputs(msg(/*There is 1 loop.*/138), stdout);
532       } else {
533          printf(msg(/*There are %ld loops.*/139), cLoops);
534       }
535       putnl();
536
537       if (cComponents != 1) {
538          /* TRANSLATORS: "Connected component" in the graph theory sense - it
539           * means there are %ld bits of survey with no connections between
540           * them.  This message is only used if there are more than 1. */
541          printf(msg(/*Survey has %ld connected components.*/178), cComponents);
542          putnl();
543       }
544   }
545
546   int length_units = get_length_units(Q_LENGTH);
547   const char * units = get_units_string(length_units);
548   real length_factor = 1.0 / get_units_factor(length_units);
549
550   printf(msg(/*Total length of survey legs = %7.2f%s (%7.2f%s adjusted)*/132),
551          total * length_factor, units, totadj * length_factor, units);
552   putnl();
553   printf(msg(/*Total plan length of survey legs = %7.2f%s*/133),
554          totplan * length_factor, units);
555   putnl();
556   printf(msg(/*Total vertical length of survey legs = %7.2f%s*/134),
557          totvert * length_factor, units);
558   putnl();
559
560   /* If there's no underground survey, we've no ranges */
561   if (pfxHi[0]) {
562      /* TRANSLATORS: numbers are altitudes of highest and lowest stations */
563      do_range(2, /*Vertical range = %4.2f%s (from %s at %4.2f%s to %s at %4.2f%s)*/135,
564               length_factor, units);
565      /* TRANSLATORS: c.f. previous message */
566      do_range(1, /*North-South range = %4.2f%s (from %s at %4.2f%s to %s at %4.2f%s)*/136,
567               length_factor, units);
568      /* TRANSLATORS: c.f. previous two messages */
569      do_range(0, /*East-West range = %4.2f%s (from %s at %4.2f%s to %s at %4.2f%s)*/137,
570               length_factor, units);
571   }
572
573   check_node_stats();
574}
Note: See TracBrowser for help on using the repository browser.