2 * Empire - A multi-player, client/server Internet based war game.
3 * Copyright (C) 1986-2008, Dave Pare, Jeff Bailey, Thomas Ruschak,
4 * Ken Stevens, Steve McClure
6 * This program is free software; you can redistribute it and/or modify
7 * it under the terms of the GNU General Public License as published by
8 * the Free Software Foundation; either version 2 of the License, or
9 * (at your option) any later version.
11 * This program is distributed in the hope that it will be useful,
12 * but WITHOUT ANY WARRANTY; without even the implied warranty of
13 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 * GNU General Public License for more details.
16 * You should have received a copy of the GNU General Public License
17 * along with this program; if not, write to the Free Software
18 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
22 * See files README, COPYING and CREDITS in the root of the source
23 * tree for related information and legal notices. It is expected
24 * that future projects/authors will amend these files as needed.
28 * ef_verify.c: Verify game configuration
30 * Known contributors to this file:
31 * Ron Koenderink, 2005
32 * Markus Armbruster, 2006-2008
46 static void verify_fail(int, int, struct castr *, int, char *, ...)
47 ATTRIBUTE((format (printf, 5, 6)));
50 verify_fail(int type, int row, struct castr *ca, int idx, char *fmt, ...)
55 /* Find base table of view, if any */
56 for (i = 0; empfile[i].cache == empfile[type].cache; i++) ;
58 fprintf(stderr, "%s %s uid %d",
59 EF_IS_GAME_STATE(i) ? "File" : "Config",
60 ef_nameof(type), row);
62 fprintf(stderr, " field %s", ca->ca_name);
63 if (ca->ca_type != NSC_STRINGY && ca->ca_len != 0)
64 fprintf(stderr, "(%d)", idx);
66 fprintf(stderr, ": ");
68 vfprintf(stderr, fmt, ap);
76 struct castr *ca = ef_cadef(type);
79 for (i = 0; ca[i].ca_name; i++) {
81 * Virtual selectors must be NSC_EXTRA, because xundump can't
82 * cope with them without setter methods. Exception: if
83 * EFF_MEM is not set, xundump doesn't touch the table.
85 if (CANT_HAPPEN((ef_flags(type) & EFF_MEM)
86 && ca[i].ca_get && !(ca[i].ca_flags & NSC_EXTRA)))
87 ca[i].ca_flags |= NSC_EXTRA;
93 verify_row(int type, int row)
95 struct castr *ca = ef_cadef(type);
96 struct emptypedstr *row_ref;
101 int flags = ef_flags(type);
104 row_ref = ef_ptr(type, row);
106 row_ref = malloc(empfile[type].size);
107 ef_read(type, row, row_ref);
110 if ((flags & EFF_TYPED) && !EF_IS_VIEW(type)) {
111 if (row_ref->ef_type != type || row_ref->uid != row) {
112 verify_fail(type, row, NULL, 0, "header corrupt");
117 for (i = 0; ca[i].ca_name; ++i) {
118 if (ca[i].ca_flags & NSC_EXTRA)
120 n = ca[i].ca_type != NSC_STRINGY ? ca[i].ca_len : 0;
123 if (ca[i].ca_table == EF_BAD)
125 nstr_mksymval(&val, &ca[i], j);
126 nstr_exec_val(&val, 0, row_ref, NSC_NOTYPE);
127 if (val.val_type != NSC_LONG)
129 ca_sym = ef_cadef(ca[i].ca_table);
130 if (ca[i].ca_flags & NSC_BITS) {
132 if (CANT_HAPPEN(ca_sym != symbol_ca)) {
136 for (k = 0; k < (int)sizeof(long) * 8; k++) {
137 if (val.val_as.lng & (1L << k))
138 if (!symbol_by_value(1L << k,
139 ef_ptr(ca[i].ca_table, 0))) {
140 verify_fail(type, row, &ca[i], j,
141 "bit %d is not in symbol table %s",
142 k, ef_nameof(ca[i].ca_table));
146 } else if (ca[i].ca_table == type && i == 0) {
148 /* Some files contain zeroed records, cope */
149 /* TODO tighten this check */
150 if (val.val_as.lng == 0)
152 if (val.val_as.lng != row) {
153 verify_fail(type, row, &ca[i], j,
154 "value is %ld instead of %d",
155 val.val_as.lng, row);
159 } else if (ca_sym == symbol_ca) {
161 if (!symbol_by_value(val.val_as.lng,
162 ef_ptr(ca[i].ca_table, 0))) {
163 verify_fail(type, row, &ca[i], j,
164 "value %ld is not in symbol table %s",
165 val.val_as.lng, ef_nameof(ca[i].ca_table));
170 if (val.val_as.lng >= ef_nelem(ca[i].ca_table)
171 || val.val_as.lng < -1) {
172 verify_fail(type, row, &ca[i], j,
173 "value %ld indexes table %s out of bounds 0..%d",
174 val.val_as.lng, ef_nameof(ca[i].ca_table),
175 ef_nelem(ca[i].ca_table));
181 if (!(flags & EFF_MEM))
187 pln_zap_transient_flags(void)
193 /* laziness: assumes plane file is EFF_MEM */
194 for (i = 0; (pp = getplanep(i)) != NULL; i++) {
197 if (pp->pln_flags & PLN_LAUNCHED
198 && (plchr[pp->pln_type].pl_flags & (P_M | P_O)) != P_O) {
199 pp->pln_flags &= ~PLN_LAUNCHED;
200 /* FIXME missile should be destroyed instead */
202 verify_fail(EF_PLANE, i, NULL, 0, "stuck in the air (fixed)");
204 * Can't putplane() here, because pln_prewrite() crashes
205 * without a valid player.
210 ef_flush(EF_PLANE); /* pretty wasteful */
220 for (ep = empfile; ep->name; ep++) {
221 if (!ef_cadef(ep->uid))
224 for (i = 0; i < ef_nelem(ep->uid); i++) {
225 retval += verify_row(ep->uid, i);
230 for (i = 0; pchr[i].p_sname; i++) {
231 if ((pchr[i].p_type >= 0) == (pchr[i].p_level >= 0)) {
233 "Config %s uid %d field level doesn't match field type\n",
234 ef_nameof(EF_PRODUCT), i);
239 pln_zap_transient_flags();