source: git/src/validate.c

/* validate.c
 *
 *   Checks that SURVEX's data structures are valid and consistent
 *
 *   NB The checks currently done aren't very comprehensive - more will be
 *    added if bugs require them
 *
 *   Copyright (C) 1993,1994,1996,2000,2001 Olly Betts
 *
 * This program is free software; you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation; either version 2 of the License, or
 * (at your option) any later version.
 *
 * This program is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with this program; if not, write to the Free Software
 * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA  02110-1301  USA
 */

#include <config.h>

#include "cavern.h"
#include "filename.h"
#include "message.h"
#include "netbits.h"
#include "validate.h"

/* maximum absolute value allowed for a coordinate of a fixed station */
#define MAX_POS 10000000.0

static bool validate_prefix_tree(void);
static bool validate_prefix_subtree(prefix *pfx);

static bool validate_station_list(void);

#if 0
extern void
check_fixed(void)
{
   /* not a requirement -- we allow hanging sections of survey
    * which get spotted and removed */
   node *stn;
   printf("*** Checking fixed-ness\n");
   /* NB: don't use FOR_EACH_STN as it isn't reentrant at present */
   for (stn = stnlist; stn; stn = stn->next) {
      if (stn->status && !fixed(stn)) {
         printf("*** Station '");
         print_prefix(stn->name);
         printf("' has status %d but isn't fixed\n", stn->status);
      }
   }
}
#endif

#undef validate
extern bool
validate(void)
{
   bool fOk = true;
   if (!validate_prefix_tree()) fOk = false;
   if (!validate_station_list()) fOk = false;
   if (fOk) puts("*** Data structures passed consistency checks");
   else puts("*** Data structures FAILED consistency checks");
   return fOk;
}

static bool
validate_prefix_tree(void)
{
   bool fOk = true;
   if (root->up != NULL) {
      printf("*** root->up == %p\n", root->up);
      fOk = false;
   }
   if (root->right != NULL) {
      printf("*** root->right == %p\n", root->right);
      fOk = false;
   }
   if (root->stn != NULL) {
      printf("*** root->stn == %p\n", root->stn);
      fOk = false;
   }
   if (root->pos != NULL) {
      printf("*** root->pos == %p\n", root->pos);
      fOk = false;
   }
   fOk &= validate_prefix_subtree(root);
   return fOk;
}

static bool
validate_prefix_subtree(prefix *pfx)
{
   bool fOk = true;
   prefix *pfx2;
   pfx2 = pfx->down;
   /* this happens now, as nodes are freed after solving */
#if 0
   if (pfx2 == NULL) {
      if (pfx->stn == NULL) {
         printf("*** Leaf prefix '");
         print_prefix(pfx);
         printf("' has no station attached\n");
         fOk = false;
      }
      return fOk;
   }
#endif

   while (pfx2 != NULL) {
      if (pfx2->stn != NULL && pfx2->stn->name != pfx2) {
         printf("*** Prefix '");
         print_prefix(pfx2);
         printf("' ->stn->name is '");
         print_prefix(pfx2->stn->name);
         printf("'\n");
         fOk = false;
      }
      if (pfx2->up != pfx) {
         printf("*** Prefix '");
         print_prefix(pfx2);
         printf("' ->up is '");
         print_prefix(pfx);
         printf("'\n");
         fOk = false;
      }
      fOk &= validate_prefix_subtree(pfx2);
      pfx2 = pfx2->right;
   }
   return fOk;
}

static bool
validate_station_list(void)
{
   bool fOk = true;
   node *stn, *stn2;
   int d, d2;

   SVX_ASSERT(!stnlist || !stnlist->prev);
   /* NB: don't use FOR_EACH_STN as it isn't reentrant at present */
   for (stn = stnlist; stn; stn = stn->next) {
      bool fGap = false;
#if 0
      printf("V [%p]<-[%p]->[%p] ", stn->prev, stn, stn->next); print_prefix(stn->name); putnl();
#endif
      SVX_ASSERT(stn->prev == NULL || stn->prev->next == stn);
      SVX_ASSERT(stn->next == NULL || stn->next->prev == stn);
      for (d = 0; d <= 2; d++) {
         if (!stn->leg[d]) {
            fGap = true;
         } else {
            if (fGap) {
               printf("*** Station '");
               print_prefix(stn->name);
               printf("', leg %d is used, but an earlier leg isn't\n", d);
               fOk = false;
            }
            stn2 = stn->leg[d]->l.to;
            SVX_ASSERT(stn2);
#if 0
            if (stn->status && !stn2->status) {
               printf("*** Station '");
               print_prefix(stn->name);
               printf("' has status %d and connects to '", stn->status);
               print_prefix(stn2->name);
               printf("' which has status %d\n", stn2->status);
               fOk = false;
            }
#endif
            d2 = reverse_leg_dirn(stn->leg[d]);
            if (stn2->leg[d2] == NULL) {
               /* fine iff stn is at the disconnected end of a fragment */
               node *s;
               /* NB: don't use FOR_EACH_STN as it isn't reentrant at present */
               for (s = stnlist; s; s = s->next) if (s == stn) break;
               if (s) {
                  printf("*** Station '");
                  print_prefix(stn->name);
                  printf("', leg %d doesn't reciprocate from station '", d);
                  print_prefix(stn2->name);
                  printf("'\n");
                  fOk = false;
               }
            } else if (stn2->leg[d2]->l.to == NULL) {
               printf("*** Station '");
               print_prefix(stn2->name);
               printf("' [%p], leg %d points to NULL\n", stn2, d2);
               fOk = false;
            } else if (stn2->leg[d2]->l.to!=stn) {
               /* fine iff stn is at the disconnected end of a fragment */
               node *s;
               /* NB: don't use FOR_EACH_STN as it isn't reentrant at present */
               for (s = stnlist; s; s = s->next) if (s == stn) break;
               if (s) {
                  printf("*** Station '");
                  print_prefix(stn->name);
                  printf("' [%p], leg %d reciprocates via station '", stn, d);
                  print_prefix(stn2->name);
                  printf("' to station '");
                  print_prefix(stn2->leg[d2]->l.to->name);
                  printf("'\n");
                  fOk = false;
               }
            } else if ((data_here(stn->leg[d]) != 0) ^
                       (data_here(stn2->leg[d2]) == 0)) {
               printf("*** Station '");
               print_prefix(stn->name);
               printf("' [%p], leg %d reciprocates via station '", stn, d);
               print_prefix(stn2->name);
               if (data_here(stn->leg[d]))
                  printf("' - data on both legs\n");
               else
                  printf("' - data on neither leg\n");
               fOk = false;
            }
            if (data_here(stn->leg[d])) {
               int i;
               for (i = 0; i < 3; i++)
                  if (fabs(stn->leg[d]->d[i]) > MAX_POS) {
                     printf("*** Station '");
                     print_prefix(stn->name);
                     printf("', leg %d, d[%d] = %g\n",
                            d, i, (double)(stn->leg[d]->d[i]));
                     fOk = false;
                  }
            }
         }

         if (fixed(stn)) {
            if (fabs(POS(stn, 0)) > MAX_POS ||
                fabs(POS(stn, 1)) > MAX_POS ||
                fabs(POS(stn, 2)) > MAX_POS) {
               printf("*** Station '");
               print_prefix(stn->name);
               printf("' fixed at coords (%f,%f,%f)\n",
                      POS(stn, 0), POS(stn, 1), POS(stn, 2) );
               fOk = false;
            }
         }

      }
   }
   return fOk;
}

#undef dump_node
extern void
dump_node(node *stn)
{
   int d;
   if (stn->name)
      print_prefix(stn->name);
   else
      printf("<null>");

   printf(" stn [%p] name (%p) colour %ld %sfixed\n",
          stn, stn->name, stn->colour, fixed(stn) ? "" : "un");

   for (d = 0; d <= 2; d++) {
      if (stn->leg[d]) {
         printf("  leg %d -> stn [%p] rev %d ", d, stn->leg[d]->l.to,
                reverse_leg_dirn(stn->leg[d]));
         print_prefix(stn->leg[d]->l.to->name);
         putnl();
      }
   }
}

/* This doesn't cover removed stations - might be nice to have
 * dump_entire_network() which iterates prefix tree */
#undef dump_network
extern void
dump_network(void)
{
   node *stn;
   /* NB: don't use FOR_EACH_STN as it isn't reentrant at present */
   for (stn = stnlist; stn; stn = stn->next) dump_node(stn);
}