Wild Life: info.c Source File

Wild Life 2.30

- 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
Maximum depth of the parser stack.
Definition: def_const.h:198
wl_choice_point
Definition: def_struct.h:246
wl_goal
Definition: def_struct.h:237
defs.h
includes
wl_psi_term
Definition: def_struct.h:177
wl_stack
Definition: def_struct.h:230
wl_pair_list
Definition: def_struct.h:204
quietflag
long quietflag
Definition: def_glob.h:912
REAL
#define REAL
Which C type to use to represent reals and integers in Wild_Life.
Definition: def_const.h:132
wl_int_list
Definition: def_struct.h:84
title
void title()
TITLE.
Definition: info.c:39
wl_definition
Definition: def_struct.h:145
STRLEN
#define STRLEN
Maximum size of file names and input tokens (which includes input strings) (Note: calculated tokens c...
Definition: def_const.h:162
wl_node
Definition: def_struct.h:197