Wild Life
2.29
Main Page
Data Structures
Files
File List
Globals
All
Data Structures
Files
Functions
Variables
Typedefs
Macros
info.c
Go to the documentation of this file.
1
6
/* Copyright 1991 Digital Equipment Corporation.
7
** All Rights Reserved.
8
*****************************************************************/
9
10
#include "
defs.h
"
11
21
static
void
pnf
(
char
*s,
int
n)
22
{
23
long
i;
24
25
printf(
" %s "
,s);
26
i=strlen(s);
27
while
(++i<40) printf(
"."
);
28
printf(
" %3d bytes.\n"
,n);
29
}
30
39
void
title
()
40
{
41
if
(
quietflag
)
42
return
;
/* RM: Feb 17 1993 */
43
44
printf(
"Wild_Life Interpreter Version +VERSION+ +DATE+\n"
);
45
printf(
"Copyright (C) 1991-93 DEC Paris Research Laboratory\n"
);
46
printf(
"Extensions, Copyright (C) 1994-1995 Intelligent Software Group, SFU\n"
);
47
// should comment next 4 lines for test suite
48
// printf("OS/2 Port by Dennis J. Darland 06/17/96\n");
49
// printf("SUSE Linux Port by Dennis J. Darland May 2014\n");
50
// printf("Cygwin Port by Dennis J. Darland March 2015\n");
51
// printf("Further Debugging of Port by Dennis J. Darland June 2016\n");
52
// I don't understand why I cannot have above lines.
53
// has to to with title call in lib.c & life.c - related to memory.c
54
// may be important to understand even not just for above printf's
55
56
#ifndef X11
57
printf(
"X interface not installed.\n"
);
58
#endif
59
60
#if 0
61
printf(
"\n- Main data-structure sizes:\n"
);
62
pnf
(
"rule"
,
sizeof
(
struct
pair_list
));
63
pnf
(
"psi_term"
,
sizeof
(
struct
psi_term
));
64
pnf
(
"binary tree node"
,
sizeof
(
struct
node
));
65
pnf
(
"stacked goal"
,
sizeof
(
struct
goal
));
66
pnf
(
"stacked choice-point"
,
sizeof
(
struct
choice_point
));
67
pnf
(
"backtracking action"
,
sizeof
(
struct
ptr_stack
));
68
pnf
(
"symbol definition"
,
sizeof
(
struct
definition
));
69
pnf
(
"code node"
,
sizeof
(
struct
int_list
));
70
pnf
(
"list node"
,
sizeof
(
struct
list));
71
pnf
(
"real number"
,
sizeof
(
REAL
));
72
73
printf(
"\n- Size of C built-in types:\n"
);
74
pnf
(
"REAL"
,
sizeof
(
REAL
));
75
pnf
(
"long"
,
sizeof
(
long
));
76
pnf
(
"int"
,
sizeof
(
unsigned
long
));
77
pnf
(
"pointer"
,
sizeof
(
char
*));
78
79
printf(
"\n- System constants:\n"
);
80
pnf
(
"Maximum string or line length:"
,
STRLEN
);
81
pnf
(
"Parser stack depth:"
,
PARSER_STACK_SIZE
);
82
pnf
(
"Size of real numbers:"
,
sizeof
(
REAL
));
83
printf(
"\n\n"
);
84
#endif
85
}
pnf
static void pnf(char *s, int n)
PNF.
Definition:
info.c:21
PARSER_STACK_SIZE
#define PARSER_STACK_SIZE
Definition:
def_const.h:100
wl_choice_point
Definition:
def_struct.h:231
wl_goal
Definition:
def_struct.h:222
defs.h
wl_psi_term
Definition:
def_struct.h:161
wl_stack
Definition:
def_struct.h:215
wl_pair_list
Definition:
def_struct.h:188
quietflag
long quietflag
Definition:
def_glob.h:271
REAL
#define REAL
Definition:
def_const.h:72
wl_int_list
Definition:
def_struct.h:53
title
void title()
TITLE.
Definition:
info.c:39
wl_definition
Definition:
def_struct.h:121
STRLEN
#define STRLEN
Definition:
def_const.h:86
wl_node
Definition:
def_struct.h:181
Generated on Sun Dec 11 2016 04:47:44 for Wild Life by
1.8.6