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