Wild Life  2.29
 All Data Structures Files Functions Variables Typedefs Macros
def_glob.h
Go to the documentation of this file.
1 
2 // from extern.h
4 
5 int arg_c;
6 char *arg_v[10]; // Modified DJD
7 
8 
9  int mem_size;
15 
16  float garbage_time;
17  struct tms life_start,life_end;
18 
22 
25 
31 
32 // long warningflag;
33 // long verbose;
34 // long trace
35  long noisy;
36  long types_done;
37 
38  FILE *input_stream;
39  long line_count;
42  char *prompt;
43  long page_width;
44 
45  /* extern ptr_psi_term empty_list; 5.8 */
46  long type_count;
52 /* extern ptr_choice_point prompt_choice_stack; 12.7 */
54 #ifdef TS
55  unsigned long global_time_stamp; /* 9.6 */
56 #endif
57 
59  long assert_ok;
60  long file_date;
61 
62 /* The following variables are used to make built-in type comparisons */
63 /* as fast as possible. They are defined in built_ins.c. */
66 
67  ptr_definition add_module1; /* RM: Mar 12 1993 */
70 
77 
81 /* extern ptr_definition conjunction; 19.8 */
85  ptr_definition disj_nil; /* RM: Feb 16 1993 */
88  ptr_definition leftarrowsym; /* PVR 15.9.93 */
95  ptr_definition life_or; /* RM: Apr 6 1993 */
96  ptr_definition minus_symbol;/* RM: Jun 21 1993 */
97  ptr_definition nil; /*** RM 9 Dec 1992 ***/
135 
136 /* RM: Jul 7 1993 */
139 
140  ptr_psi_term null_psi_term; /* Used to represent an empty parse token */
141 
142  ptr_psi_term old_state; /* RM: Feb 17 1993 */
143 
144 // from interrupt.h
145 
147 
148 // from login.h
149 
150  long stepflag;
153 
154 // from modules.h
155  ptr_module bi_module; /* Module for public built-ins */
156  ptr_module user_module; /* Default module for user input */
158  ptr_module x_module; /* '#ifdef X11' unnecessary */
159  ptr_module syntax_module; /* Module for minimal Prolog syntax */
160  ptr_node module_table; /* The table of modules */
161  ptr_module current_module; /* The current module for the tokenizer */
163 
166 
168 
169 // from parser.h
170 
171  long parse_ok;
172 
173 // from print.h
174  char *no_name;
175  char *buffer;
176 
177 /* Global flags that modify how writing is done. */
179  long indent;
185 
186 // from token.h
187 
190 /* Part of global input file state */
196  long eof_flag;
197 
198 /* File state ADT */
201 /* For parsing from a string */
203  char *stringinput;
204 
205 // from types.h
206 
207 // from xpred.h
209 
211  xevent, xkeyboard_event, xbutton_event, /* RM: 7.12.92 */
214  xenter_event,xleave_event, xmisc_event, /* RM: 3rd May 93 */
215  xgc, xdisplaylist;
216 
218 
219 // from lefun.h
223  long curried;
224  long can_curry;
225 
226 // from templates.h
227 
228 /* defined in templates.c */
229 
230 // char *numbers[];
231 // long set_extra_args[];
232 char *numbers[21];
234 
235 // from lib.c
236 jmp_buf env;
238 
239 // from lub.c
240 
241 // from arity.c
242 FILE *features;
243 
244 // from built_ins.c
245 FILE *bi_list;
246 
247 long (* c_rule[MAX_BUILT_INS])();
248 
249 
250 char *one;
251 char *two;
252 char *three;
253 char *year_attr;
255 char *day_attr;
256 char *hour_attr;
260 
261 // from copy.c
262 /* TRUE means: heap_flag==TRUE & only copy to heap those objects not */
263 /* already on heap, i.e. incremental copy to heap. */
264 long to_heap;
265 
266 
267 // from error.c
269 
271 long quietflag; /* 21.1 */
272 long trace;
273 long verbose; /* 21.1 */
276 
277 // from hash_table.c
278 
279 long rand_array[256];
280 
281 // from lefun.c
282 /* ptr_goal resid_limit; 12.6 */
283 
284 /* ptr_psi_term match_date; 13.6 */
285 /* ptr_choice_point cut_point; 13.6 */
286 
287 // from lib.c
288 
290 
291 // from login.c
292 /* Statistics on trail cleaning */
295 
296 /* ptr_choice_point prompt_choice_stack; 12.7 */
297 
298 struct tms start_time,end_time;
299 
301 long xcount;
302 
303 long more_u_attr; /* TRUE if U has attributes V doesn't */
304 long more_v_attr; /* Vice-versa */
305 
306 long u_func,v_func; /* TRUE if U or V is a curried function */
307 long new_stat;
308 
310 
311 // from modules.c
312 string module_buffer; /* Temporary storage place for strings */
313 
314 extern long cmp_debug_flag;
315 
316 // from parser.c
319 operator op_stack[PARSER_STACK_SIZE];
320 
322 
323 // from print.c
324 
325 char *name;
327 
330 
331 /* The output stream for a given print command is put in here */
332 /* This will be set to stdout, to stderr, or to output_stream */
333 FILE *outfile;
334 
335 // from sys.c
336 ptr_definition sys_bytedata; /* DENYS: BYTEDATA */
337 
338 // from token.c
340 
341 /* For parsing from a string */
342 /****************************************************************************/
343 
344 /* Abstract Data Type for the Input File State */
345 
346 /* FILE *last_eof_read; */
347 
348 /* Global input file state information */
349 /* Note: all characters should be stored in longs. This ensures
350  that noncharacters (i.e., EOF) can also be stored. */
351 /* For parsing from a string */
352 
353 // from types.h
ptr_definition encodesym
Definition: def_glob.h:116
ptr_definition such_that
Definition: def_glob.h:105
ptr_definition boolpredsym
Definition: def_glob.h:74
ptr_node printed_pointers
Definition: def_glob.h:28
ptr_definition abortsym
Definition: def_glob.h:64
ptr_definition timesym
Definition: def_glob.h:108
ptr_definition sys_regexp
Definition: def_glob.h:131
long display_persistent
Definition: def_glob.h:165
ptr_goal resid_limit
Definition: def_glob.h:222
long assert_first
Definition: def_glob.h:58
ptr_definition xfy_sym
Definition: def_glob.h:127
ptr_definition staticsym
Definition: def_glob.h:115
ptr_psi_term stdin_state
Definition: def_glob.h:200
#define PARSER_STACK_SIZE
Definition: def_const.h:100
long main_loop_ok
Definition: def_glob.h:48
long clean_iter
Definition: def_glob.h:293
long stdin_terminal
Definition: def_glob.h:188
ptr_definition loadsym
Definition: def_glob.h:113
ptr_goal goal_stack
Definition: def_glob.h:50
GENERIC mem_limit
Definition: def_glob.h:13
ptr_module current_module
Definition: def_glob.h:161
ptr_definition dynamicsym
Definition: def_glob.h:114
ptr_definition opsym
Definition: def_glob.h:112
long type_count
Definition: def_glob.h:46
ptr_definition comment
Definition: def_glob.h:80
ptr_definition xdisplaylist
Definition: def_glob.h:211
long eof_flag
Definition: def_glob.h:196
ptr_definition stream
Definition: def_glob.h:103
char prompt_buffer[PROMPT_BUFFER]
Definition: def_glob.h:237
long new_stat
Definition: def_glob.h:307
ptr_psi_term xevent_list
Definition: def_glob.h:208
long psi_term_line_number
Definition: def_glob.h:268
long start_of_line
Definition: def_glob.h:191
ptr_definition xbutton_event
Definition: def_glob.h:211
int alloc_words
Definition: def_glob.h:10
ptr_definition listingsym
Definition: def_glob.h:117
string input_file_name
Definition: def_glob.h:40
ptr_psi_term old_state
Definition: def_glob.h:142
long verbose
Definition: def_glob.h:273
char * two
Definition: def_glob.h:251
ptr_definition commasym
Definition: def_glob.h:79
long(* c_rule[MAX_BUILT_INS])()
Definition: def_glob.h:247
ptr_psi_term null_psi_term
Definition: def_glob.h:140
int mem_size
Definition: def_glob.h:9
long more_u_attr
Definition: def_glob.h:303
ptr_definition sys_file_stream
Definition: def_glob.h:133
long write_corefs
Definition: def_glob.h:182
long interrupted
Definition: def_glob.h:146
ptr_definition fy_sym
Definition: def_glob.h:125
long file_date
Definition: def_glob.h:60
long write_resids
Definition: def_glob.h:183
ptr_definition aborthooksym
Definition: def_glob.h:65
long no_var_tree
Definition: def_glob.h:321
ptr_definition xexpose_event
Definition: def_glob.h:211
ptr_definition sys_stream
Definition: def_glob.h:132
ptr_definition constant
Definition: def_glob.h:82
FILE * bi_list
Definition: def_glob.h:245
long indent
Definition: def_glob.h:179
ptr_module user_module
Definition: def_glob.h:156
struct tms life_start life_end
Definition: def_glob.h:17
long old_saved_char
Definition: def_glob.h:193
ptr_definition top
Definition: def_glob.h:106
GENERIC other_base
Definition: def_glob.h:19
long quietflag
Definition: def_glob.h:271
ptr_node var_tree
Definition: def_glob.h:26
long warningflag
Definition: def_glob.h:270
ptr_psi_term input_state
Definition: def_glob.h:199
GENERIC other_pointer
Definition: def_glob.h:21
long display_modules
Definition: def_glob.h:164
long steptrace
Definition: def_glob.h:274
ptr_definition quote
Definition: def_glob.h:100
long ignore_eff
Definition: def_glob.h:151
long page_width
Definition: def_glob.h:43
char * three
Definition: def_glob.h:252
long saved_char
Definition: def_glob.h:192
ptr_definition apply
Definition: def_glob.h:72
long cmp_debug_flag
ptr_definition xgc
Definition: def_glob.h:211
string module_buffer
Definition: def_glob.h:312
ptr_goal resid_aim
Definition: def_glob.h:220
long x_window_creation
Definition: def_glob.h:217
long noisy
Definition: def_glob.h:35
FILE * outfile
Definition: def_glob.h:333
ptr_definition xmotion_event
Definition: def_glob.h:211
long types_modified
Definition: def_glob.h:47
ptr_resid_list resid_vars
Definition: def_glob.h:221
long assert_ok
Definition: def_glob.h:59
ptr_definition xmisc_event
Definition: def_glob.h:211
ptr_node pointer_names
Definition: def_glob.h:29
ptr_definition minus_symbol
Definition: def_glob.h:96
long trace
Definition: def_glob.h:272
ptr_definition xfx_sym
Definition: def_glob.h:126
long stepcount
Definition: def_glob.h:275
long trace_input
Definition: def_glob.h:167
ptr_definition add_module3
Definition: def_glob.h:69
long line_count
Definition: def_glob.h:39
ptr_stack undo_stack
Definition: def_glob.h:53
ptr_definition yf_sym
Definition: def_glob.h:124
ptr_definition disj_nil
Definition: def_glob.h:85
long goal_count
Definition: def_glob.h:152
ptr_definition nullsym
Definition: def_glob.h:129
ptr_definition real
Definition: def_glob.h:102
char * buffer
Definition: def_glob.h:175
ptr_definition alist
Definition: def_glob.h:94
ptr_definition functor
Definition: def_glob.h:91
ptr_definition eqsym
Definition: def_glob.h:87
ptr_definition eof
Definition: def_glob.h:86
ptr_definition xkeyboard_event
Definition: def_glob.h:211
ptr_definition sys_bitvector
Definition: def_glob.h:130
ptr_definition xwindow
Definition: def_glob.h:211
char * name
Definition: def_glob.h:325
ptr_definition first_definition
Definition: def_glob.h:3
ptr_item indx
Definition: def_glob.h:329
long v_func
Definition: def_glob.h:306
#define PRINT_POWER
Definition: def_const.h:96
ptr_psi_term error_psi_term
Definition: def_glob.h:23
ptr_definition * gamma_table
Definition: def_glob.h:309
ptr_definition built_in
Definition: def_glob.h:75
ptr_definition integer
Definition: def_glob.h:93
long to_heap
Definition: def_glob.h:264
ptr_definition lf_true
Definition: def_glob.h:107
ptr_definition iff
Definition: def_glob.h:92
ptr_definition final_dot
Definition: def_glob.h:137
long u_func
Definition: def_glob.h:306
int arg_c
Definition: def_glob.h:5
char seg_format[PRINT_POWER+4]
Definition: def_glob.h:326
long var_occurred
Definition: def_glob.h:189
ptr_definition quoted_string
Definition: def_glob.h:101
GENERIC mem_base
Definition: def_glob.h:11
ptr_definition succeed
Definition: def_glob.h:104
char * arg_v[10]
Definition: def_glob.h:6
ptr_definition and
Definition: def_glob.h:71
ptr_node module_table
Definition: def_glob.h:160
long const_quote
Definition: def_glob.h:180
FILE * input_stream
Definition: def_glob.h:38
ptr_definition lf_false
Definition: def_glob.h:89
ptr_definition leftarrowsym
Definition: def_glob.h:88
ptr_module syntax_module
Definition: def_glob.h:159
long stepflag
Definition: def_glob.h:150
ptr_definition calloncesym
Definition: def_glob.h:76
ptr_goal aim
Definition: def_glob.h:49
long set_extra_args[6]
Definition: def_glob.h:233
long print_depth
Definition: def_glob.h:178
char * weekday_attr
Definition: def_glob.h:259
ptr_definition disjunction
Definition: def_glob.h:84
GENERIC heap_pointer
Definition: def_glob.h:12
item pretty_things[PRETTY_SIZE]
Definition: def_glob.h:328
ptr_definition xpixmap
Definition: def_glob.h:211
char * one
Definition: def_glob.h:250
ptr_definition xenter_event
Definition: def_glob.h:211
ptr_definition xevent
Definition: def_glob.h:211
ptr_definition add_module2
Definition: def_glob.h:68
long xeventdelay
Definition: def_glob.h:300
ptr_definition life_or
Definition: def_glob.h:95
ptr_definition delay_checksym
Definition: def_glob.h:118
char * numbers[21]
Definition: def_glob.h:232
ptr_definition yfx_sym
Definition: def_glob.h:128
ptr_definition final_question
Definition: def_glob.h:138
ptr_psi_term saved_psi_term
Definition: def_glob.h:194
long can_curry
Definition: def_glob.h:224
long rand_array[256]
Definition: def_glob.h:279
ptr_module sys_module
Definition: def_glob.h:162
#define PRETTY_SIZE
Definition: def_const.h:79
#define PROMPT_BUFFER
Definition: def_const.h:112
jmp_buf env
Definition: def_glob.h:236
ptr_definition sys_bytedata
Definition: def_glob.h:336
ptr_definition add_module1
Definition: def_glob.h:67
ptr_definition tracesym
Definition: def_glob.h:109
long gen_sym_counter
Definition: def_glob.h:30
long curried
Definition: def_glob.h:223
ptr_definition xdisplay
Definition: def_glob.h:211
ptr_definition sys_socket_stream
Definition: def_glob.h:134
long types_done
Definition: def_glob.h:36
FILE * features
Definition: def_glob.h:242
char * prompt
Definition: def_glob.h:42
ptr_definition fx_sym
Definition: def_glob.h:123
long c_query_level
Definition: def_glob.h:289
char * minute_attr
Definition: def_glob.h:257
ptr_definition cut
Definition: def_glob.h:83
struct tms start_time end_time
Definition: def_glob.h:298
unsigned long global_time_stamp
Definition: login.c:28
ptr_module x_module
Definition: def_glob.h:158
GENERIC other_limit
Definition: def_glob.h:20
ptr_definition xdestroy_event
Definition: def_glob.h:211
FILE * output_stream
Definition: def_glob.h:41
#define MAX_BUILT_INS
Definition: def_const.h:82
ptr_definition nothing
Definition: def_glob.h:98
ptr_definition nil
Definition: def_glob.h:97
char * year_attr
Definition: def_glob.h:253
long parser_stack_index
Definition: def_glob.h:24
ptr_module no_module
Definition: def_glob.h:157
GENERIC stack_pointer
Definition: def_glob.h:14
long stringparse
Definition: def_glob.h:202
char * no_name
Definition: def_glob.h:174
char * second_attr
Definition: def_glob.h:258
ptr_definition xleave_event
Definition: def_glob.h:211
char * day_attr
Definition: def_glob.h:255
long parse_ok
Definition: def_glob.h:171
ptr_module bi_module
Definition: def_glob.h:155
float garbage_time
Definition: def_glob.h:16
char * stringinput
Definition: def_glob.h:203
ptr_definition predsym
Definition: def_glob.h:99
ptr_int_list children
Definition: def_glob.h:354
ptr_int_list adults
Definition: def_glob.h:354
char * hour_attr
Definition: def_glob.h:256
ptr_definition xconfigure_event
Definition: def_glob.h:211
ptr_definition boolean
Definition: def_glob.h:73
unsigned long * GENERIC
Definition: def_struct.h:17
long clean_succ
Definition: def_glob.h:294
ptr_psi_term xevent_existing
Definition: def_glob.h:208
long xcount
Definition: def_glob.h:301
ptr_definition xf_sym
Definition: def_glob.h:122
ptr_node symbol_table
Definition: def_glob.h:339
ptr_definition colonsym
Definition: def_glob.h:78
ptr_definition inputfilesym
Definition: def_glob.h:120
ptr_definition variable
Definition: def_glob.h:111
ptr_definition call_handlersym
Definition: def_glob.h:121
ptr_choice_point choice_stack
Definition: def_glob.h:51
long write_stderr
Definition: def_glob.h:181
ptr_psi_term old_saved_psi_term
Definition: def_glob.h:195
long int_stack[PARSER_STACK_SIZE]
Definition: def_glob.h:318
ptr_definition eval_argsym
Definition: def_glob.h:119
ptr_definition funcsym
Definition: def_glob.h:90
char * month_attr
Definition: def_glob.h:254
psi_term psi_term_stack[PARSER_STACK_SIZE]
Definition: def_glob.h:317
ptr_definition typesym
Definition: def_glob.h:110
ptr_definition xdrawable
Definition: def_glob.h:211
long more_v_attr
Definition: def_glob.h:304
long write_canon
Definition: def_glob.h:184
ptr_node printed_vars
Definition: def_glob.h:27