/* cavern.h
* SURVEX Cave surveying software - header file
* Copyright (C) 1991-2025 Olly Betts
* Copyright (C) 2004 Simeon Warner
*
* 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, see
* .
*/
#ifndef CAVERN_H
#define CAVERN_H
/* Using covariances increases the memory required somewhat - may be
* desirable to disable this for small memory machines */
/* #define NO_COVARIANCES 1 */
#include
#include
#include
#include
#include
#include
#include
#include "img_for_survex.h"
#include "str.h"
#include "useful.h"
typedef double real; /* so we can change the precision used easily */
#define HUGE_REAL HUGE_VAL
#define REAL_EPSILON DBL_EPSILON
#define WGS84_DATUM_STRING "EPSG:4326"
#define SPECIAL_EOL 0x0001
#define SPECIAL_BLANK 0x0002
#define SPECIAL_KEYWORD 0x0004
#define SPECIAL_COMMENT 0x0008
#define SPECIAL_OMIT 0x0010
#ifndef NO_DEPRECATED
#define SPECIAL_ROOT 0x0020
#endif
#define SPECIAL_SEPARATOR 0x0040
#define SPECIAL_NAMES 0x0080
#define SPECIAL_DECIMAL 0x0100
#define SPECIAL_MINUS 0x0200
#define SPECIAL_PLUS 0x0400
#define SPECIAL_OPEN 0x0800
#define SPECIAL_CLOSE 0x1000
extern char *fnm_output_base;
extern bool fnm_output_base_is_dir;
extern bool fExportUsed;
extern int current_days_since_1900;
extern unsigned current_year;
/* Types */
typedef enum {
Q_NULL = -1, Q_DEFAULT, Q_POS, Q_PLUMB, Q_LEVEL,
Q_GRADIENT, Q_BACKGRADIENT, Q_BEARING, Q_BACKBEARING,
Q_LENGTH, Q_BACKLENGTH, Q_DEPTH, Q_DX, Q_DY, Q_DZ, Q_COUNT, Q_DECLINATION,
Q_LEFT, Q_RIGHT, Q_UP, Q_DOWN,
Q_MAC
} q_quantity;
typedef enum {
INFER_NULL = -1,
INFER_EQUATES,
INFER_EXPORTS,
INFER_PLUMBS,
INFER_SUBSURVEYS,
/* In Compass DAT files a dummy zero-length leg from a station to itself is
* used to provide a place to specify LRUD for the start or end of a
* traverse (depending if dimensions are measured at the from or to
* station), so we shouldn't warn about equating a station to itself.
* This should be set *as well as* INFER_EQUATES.
*/
INFER_EQUATES_SELF_OK
} infer_what;
/* unsigned long to cope with 16-bit int-s */
#define BIT(N) (1UL << (N))
#define BITA(N) (1UL << ((N) - 'a'))
#define TSTBIT(W, N) (((W)>>(N))&1)
/* masks for quantities which are length and angles respectively */
#define LEN_QMASK (BIT(Q_LENGTH) | BIT(Q_BACKLENGTH) | BIT(Q_DEPTH) |\
BIT(Q_DX) | BIT(Q_DY) | BIT(Q_DZ) | BIT(Q_POS) | BIT(Q_COUNT) |\
BIT(Q_LEFT) | BIT(Q_RIGHT) | BIT(Q_UP) | BIT(Q_DOWN))
#define ANG_QMASK (BIT(Q_BEARING) | BIT(Q_BACKBEARING) |\
BIT(Q_GRADIENT) | BIT(Q_BACKGRADIENT) | BIT(Q_PLUMB) | BIT(Q_LEVEL) |\
BIT(Q_DECLINATION))
/* if you add/change the order, check factor_tab in commands.c */
typedef enum {
UNITS_NULL = -1, UNITS_METRES, UNITS_FEET, UNITS_YARDS,
UNITS_DEGS, UNITS_QUADRANTS, UNITS_GRADS, UNITS_PERCENT, UNITS_MINUTES,
UNITS_MAC, UNITS_DEPRECATED_ALIAS_FOR_GRADS
} u_units;
/* don't reorder these values! They need to match with img.h too */
typedef enum {
FLAGS_NOT = -2, FLAGS_UNKNOWN = -1, FLAGS_SURFACE, FLAGS_DUPLICATE,
FLAGS_SPLAY,
#if 0
/* underground, but through rock (e.g. radiolocation). Want to hide from
* plots by default (so not cave) but don't want to include in surface
* triangulation nets (so not surface) */
FLAGS_SKELETAL, /* FIXME */
#endif
/* Don't need to match img.h: */
FLAGS_ANON_ONE_END,
FLAGS_IMPLICIT_SPLAY,
FLAGS_STYLE_BIT0, FLAGS_STYLE_BIT1, FLAGS_STYLE_BIT2
} flags;
/* flags are currently stored in an unsigned char */
static_assert(FLAGS_STYLE_BIT2 <= 7, "FLAGS_* don't fit in a byte");
/* Mask to AND with to get bits to pass to img library. */
#define FLAGS_MASK \
(BIT(FLAGS_SURFACE) | BIT(FLAGS_DUPLICATE) | BIT(FLAGS_SPLAY))
static_assert(BIT(FLAGS_SURFACE) == img_FLAG_SURFACE, "*_SURFACE differ");
static_assert(BIT(FLAGS_DUPLICATE) == img_FLAG_DUPLICATE, "*_DUPLICATE differ");
static_assert(BIT(FLAGS_SPLAY) == img_FLAG_SPLAY, "*_SPLAY differ");
typedef enum {
/* Don't reorder these values! They need to match with img.h too. */
SFLAGS_SURFACE = 0, SFLAGS_UNDERGROUND, SFLAGS_ENTRANCE, SFLAGS_EXPORTED,
SFLAGS_FIXED, SFLAGS_ANON, SFLAGS_WALL,
/* These values don't need to match img.h, but mustn't clash. */
SFLAGS_HANGING = 9,
SFLAGS_USED = 10, // Warn unused fixed point if unset but SFLAGS_FIXED set.
SFLAGS_SOLVED = 11,
SFLAGS_SUSPECTTYPO = 12,
SFLAGS_SURVEY = 13,
SFLAGS_PREFIX_ENTERED = 14,
// If set, use ident.i; if unset, use ident.p
SFLAGS_IDENT_INLINE = 15
} sflags;
/* Mask to AND with to get bits to pass to img library. */
#define SFLAGS_MASK (BIT(SFLAGS_SURFACE) | BIT(SFLAGS_UNDERGROUND) |\
BIT(SFLAGS_ENTRANCE) | BIT(SFLAGS_EXPORTED) | BIT(SFLAGS_FIXED) |\
BIT(SFLAGS_ANON) | BIT(SFLAGS_WALL))
static_assert(BIT(SFLAGS_SURFACE) == img_SFLAG_SURFACE, "*_SURFACE differ");
static_assert(BIT(SFLAGS_UNDERGROUND) == img_SFLAG_UNDERGROUND, "*_UNDERGROUND differ");
static_assert(BIT(SFLAGS_ENTRANCE) == img_SFLAG_ENTRANCE, "*_ENTRANCE differ");
static_assert(BIT(SFLAGS_EXPORTED) == img_SFLAG_EXPORTED, "*_EXPORTED differ");
static_assert(BIT(SFLAGS_FIXED) == img_SFLAG_FIXED, "*_FIXED differ");
static_assert(BIT(SFLAGS_ANON) == img_SFLAG_ANON, "*_ANON differ");
static_assert(BIT(SFLAGS_WALL) == img_SFLAG_WALL, "*_WALL differ");
/* enumeration of field types */
typedef enum {
End = 0, Tape, Comp, Clino, BackTape, BackComp, BackClino,
Left, Right, Up, Down,
FrDepth, ToDepth, Dx, Dy, Dz, FrCount, ToCount,
/* Up to here are readings are allowed multiple values
* and have slot in the value[] array in datain.c.
* (Depth, DepthChange, and Count can have multiple
* readings, but are actually handled using tokens
* above rather than as themselves).
*
* Fr must be the first reading after this comment!
*/
Fr, To, Station, Depth, DepthChange, Count, Dir,
Newline, IgnoreAllAndNewLine, Ignore, IgnoreAll,
/* IgnoreAll must be the last reading before this comment!
*
* Readings after this comment are only used in datain.c
* so can have enum values >= 32 because we only use a
* bitmask for those readings used in commands.c.
*/
CompassDATFr, CompassDATTo,
CompassDATComp, CompassDATClino, CompassDATBackComp, CompassDATBackClino,
CompassDATLeft, CompassDATRight, CompassDATUp, CompassDATDown,
CompassDATFlags,
WallsSRVFr, WallsSRVTo, WallsSRVTape, WallsSRVComp, WallsSRVClino,
WallsSRVFrDepth, WallsSRVToDepth,
// Optional pair of readings giving heights above stations on CT surveys.
WallsSRVHeights,
// Optional delimited LRUD and variance overrides.
WallsSRVExtras
} reading;
static_assert(IgnoreAll < 32, "IgnoreAll doesn't fit in 32-bit mask");
/* position or length vector */
typedef real delta[3];
/* variance */
#ifdef NO_COVARIANCES
typedef real var[3];
typedef var svar;
#else
typedef real var[3][3];
typedef real svar[6];
#endif
/* station name */
typedef struct Prefix {
struct Prefix *up, *down, *right;
struct Node *stn;
struct Pos *pos;
union {
const char *p;
char i[sizeof(const char*)];
} ident;
// A filename:line:column where this name was used. If it's a station used
// in *fix then this will be the location of such a *fix, otherwise if it's
// a station used in *equate then it's the location of such a *equate.
// Otherwise it's the first place it was used. (For a station invented to
// do a delta-star transform, this will be NULL.)
const char *filename;
unsigned int line;
unsigned short column;
/* stn flags - e.g. surface, underground, entrance
* also suspecttypo and survey */
unsigned short sflags;
/* If (min_export == 0) then max_export is max # levels above is this
* prefix is used (and so needs to be exported) (0 == parent only).
* If (min_export > 0) then max_export is max # levels above this
* prefix has been exported, and min_export is how far down the exports
* have got (if min_export > 1 after a run, this prefix hasn't been
* exported from below enough).
* If INFER_EXPORTS is active when a station is encountered, we
* set min_export = USHRT_MAX and max_export gets set as usual. Then at
* the end of the run, we also mark stations with min_export == USHRT_MAX
* and max_export > 0 as exported. */
unsigned short max_export, min_export;
} prefix;
static inline const char *prefix_ident(const prefix *p) {
return TSTBIT(p->sflags, SFLAGS_IDENT_INLINE) ? p->ident.i : p->ident.p;
}
/* survey metadata */
typedef struct Meta_data {
size_t ref_count;
/* Days since 1900 for start and end date of survey, or -1 if undated. */
int days1, days2;
} meta_data;
/* stuff stored for both forward & reverse legs */
typedef struct {
struct Node *to;
/* bits 0..1 = reverse leg number; bit7 is fFullLeg */
/* bit6 = fReplacementLeg (by reduction rules) */
/* bit5 = articulation leg (i.e. carries no error) */
unsigned char reverse;
/* flags - e.g. surface, duplicate survey
* only used if (FLAG_DATAHERE & !(FLAG_REPLACEMENTLEG|FLAG_FAKE))
* This could be only in linkfor, but this is actually more space
* efficient.
*/
unsigned char flags;
} linkcommon;
#define FLAG_DATAHERE 0x80
#define FLAG_REPLACEMENTLEG 0x40
#define FLAG_ARTICULATION 0x20
#define FLAG_FAKE 0x10 /* an equate or leg inside an sdfix */
#define MASK_REVERSEDIRN 0x03
/* forward leg - deltas & vars stored here */
typedef struct Link {
linkcommon l;
delta d; /* Delta */
svar v; /* Variances */
meta_data *meta;
} linkfor;
/* node - like a station, except several nodes are used to represent a
* station with more than 3 legs connected to it
*/
typedef struct Node {
struct Prefix *name;
struct Link *leg[3];
struct Node *prev, *next;
// Used in netartic.c to identify unconnected components and articulation
// points within components.
//
// Used in matrix.c to record the matrix row corresponding to this node
// or -1 for nodes already fixed (more than one node may map to the same
// row).
long colour;
} node;
/* station position */
typedef struct Pos {
// Easting, Northing, Altitude.
real p[3];
} pos;
/*
typedef struct Inst {
real zero, scale, units;
} inst;
*/
/* Survey data styles */
#define STYLE_NORMAL 0
#define STYLE_DIVING 1
#define STYLE_CARTESIAN 2
#define STYLE_CYLPOLAR 3
#define STYLE_NOSURVEY 4
#define STYLE_PASSAGE 5
#define STYLE_IGNORE 6
static_assert(STYLE_NORMAL == img_STYLE_NORMAL, "*_NORMAL differ");
static_assert(STYLE_DIVING == img_STYLE_DIVING, "*_DIVING differ");
static_assert(STYLE_CARTESIAN == img_STYLE_CARTESIAN, "*_CARTESIAN differ");
static_assert(STYLE_CYLPOLAR == img_STYLE_CYLPOLAR, "*_CYLPOLAR differ");
static_assert(STYLE_NOSURVEY == img_STYLE_NOSURVEY, "*_NOSURVEY differ");
static_assert(STYLE_NORMAL == img_STYLE_NORMAL, "*_NORMAL differ");
/* various settings preserved by *BEGIN and *END */
typedef struct Settings {
struct Settings *next;
unsigned int Truncate;
bool f_clino_percent;
bool f_backclino_percent;
bool f_bearing_quadrants;
bool f_backbearing_quadrants;
bool dash_for_anon_wall_station;
bool from_equals_to_is_only_a_warning;
unsigned char infer;
enum {OFF, LOWER, UPPER} Case;
/* STYLE_xxx value to process data as. */
int style;
/* STYLE_xxx value to put in 3d file (different for Compass DAT diving
* data, as the data in the DAT file is always presented in the format
* tape,compass,clino even if that isn't how it was really measured).
*/
int recorded_style;
prefix *Prefix;
prefix *begin_survey; /* used to check BEGIN and END match */
short *Translate; /* if short is >= 16 bits, which ANSI requires */
real Var[Q_MAC];
real z[Q_MAC];
real sc[Q_MAC];
real units[Q_MAC];
const reading *ordering;
long begin_lpos; /* File offset for start of BEGIN line */
int begin_lineno; /* 0 means no block started in this file */
int begin_col; /* Column of prefix in BEGIN line (or 0 if none) */
int flags;
char* proj_str;
/* Location at which we calculate the declination if
* z[Q_DECLINATION] == HUGE_REAL.
*
* Latitude and longitude are in radians; altitude is in metres above the
* ellipsoid.
*/
real dec_lat, dec_lon, dec_alt;
/* Cached auto-declination in radians, or HUGE_REAL for no cached value.
* Only meaningful if days1 != -1.
*/
real declination;
double min_declination, max_declination;
int min_declination_days, max_declination_days;
const char* dec_filename;
int dec_line;
/* Copy of the text of the `*declination auto ...` line (malloced). */
char* dec_context;
/* Grid convergence in radians. */
real convergence;
/* Input grid convergence in radians. */
real input_convergence;
/* Rotation from North for `*data cartesian`. */
real cartesian_rotation;
/* Which North to use for `*data cartesian`. */
enum { TRUE_NORTH, GRID_NORTH, MAGNETIC_NORTH } cartesian_north;
meta_data * meta;
} settings;
/* global variables */
extern settings *pcs;
extern prefix *root;
extern prefix *anon_list;
extern node *fixedlist;
extern node *stnlist;
extern unsigned long optimize;
extern char * proj_str_out;
extern PJ * pj_cached;
extern string survey_title;
extern bool fExplicitTitle;
extern long cLegs, cStns, cComponents, cSolves;
extern FILE *fhErrStat;
extern img *pimg;
extern real totadj, total, totplan, totvert;
extern real min[9], max[9];
extern prefix *pfxHi[9], *pfxLo[9];
extern int quiet; // 1 to turn off progress messages; >=2 turns off summary too.
extern bool fSuppress; /* only output 3d file */
/* macros */
#define POS(S, D) ((S)->name->pos->p[(D)])
#define POSD(S) ((S)->name->pos->p)
#define data_here(L) ((L)->l.reverse & FLAG_DATAHERE)
#define reverse_leg_dirn(L) ((L)->l.reverse & MASK_REVERSEDIRN)
#define reverse_leg(L) ((L)->l.to->leg[reverse_leg_dirn(L)])
/* if p[0]==UNFIXED_VAL, station is unfixed */
#define UNFIXED_VAL HUGE_VAL
#define pfx_fixed(N) ((N)->pos->p[0] != UNFIXED_VAL)
#define pos_fixed(P) ((P)->p[0] != UNFIXED_VAL)
#define unfix(S) POS((S), 0) = UNFIXED_VAL
#define fixed(S) pfx_fixed((S)->name)
/* macros for special chars */
#define isEol(c) (pcs->Translate[(c)] & SPECIAL_EOL)
#define isBlank(c) (pcs->Translate[(c)] & SPECIAL_BLANK)
#define isKeywd(c) (pcs->Translate[(c)] & SPECIAL_KEYWORD)
#define isComm(c) (pcs->Translate[(c)] & SPECIAL_COMMENT)
#define isOmit(c) (pcs->Translate[(c)] & SPECIAL_OMIT)
#ifndef NO_DEPRECATED
#define isRoot(c) (pcs->Translate[(c)] & SPECIAL_ROOT)
#endif
#define isSep(c) (pcs->Translate[(c)] & SPECIAL_SEPARATOR)
#define isNames(c) (pcs->Translate[(c)] & SPECIAL_NAMES)
#define isDecimal(c) (pcs->Translate[(c)] & SPECIAL_DECIMAL)
#define isMinus(c) (pcs->Translate[(c)] & SPECIAL_MINUS)
#define isPlus(c) (pcs->Translate[(c)] & SPECIAL_PLUS)
#define isOpen(c) (pcs->Translate[(c)] & SPECIAL_OPEN)
#define isClose(c) (pcs->Translate[(c)] & SPECIAL_CLOSE)
#define isSign(c) (pcs->Translate[(c)] & (SPECIAL_PLUS | SPECIAL_MINUS))
#define isData(c) (pcs->Translate[(c)] & (SPECIAL_OMIT | SPECIAL_ROOT|\
SPECIAL_SEPARATOR | SPECIAL_NAMES | SPECIAL_DECIMAL | SPECIAL_PLUS |\
SPECIAL_MINUS))
typedef struct nosurveylink {
node *fr, *to;
int flags;
meta_data *meta;
struct nosurveylink *next;
} nosurveylink;
extern nosurveylink *nosurveyhead;
typedef struct lrud {
struct lrud * next;
prefix *stn;
meta_data *meta;
real l, r, u, d;
} lrud;
typedef struct lrudlist {
lrud * tube;
struct lrudlist * next;
} lrudlist;
extern lrudlist * model;
extern lrud ** next_lrud;
extern char output_separator;
#endif /* CAVERN_H */