C:/Users/Dennis/src/lang/Life_start/Life/life-1.02/source/bi_sys.c File Reference

#include "extern.h"
#include "trees.h"
#include "login.h"
#include "parser.h"
#include "copy.h"
#include "token.h"
#include "print.h"
#include "lefun.h"
#include "memory.h"
#include "modules.h"
#include "built_ins.h"

Go to the source code of this file.

Defines
#define	copyPsiTerm(a, b)   (ptr_psi_term )memcpy(a,b,sizeof(psi_term))
Functions
long	c_trace ()
long	c_tprove ()
static long	c_step ()
static long	c_verbose ()
static long	c_warning ()
static long	c_maxint ()
long	c_quiet ()
static long	c_cputime ()
static long	c_realtime ()
static long	c_localtime ()
static long	c_statistics ()
static long	c_garbage ()
static long	c_getenv ()
static long	c_system ()
static long	c_encode ()
void	setUnitList (GENERIC x)
ptr_psi_term	unitListValue ()
GENERIC	unitListNext ()
ptr_psi_term	intListValue (ptr_int_list p)
GENERIC	intListNext (ptr_int_list p)
ptr_psi_term	quotedStackCopy (ptr_psi_term p)
ptr_psi_term	residListGoalQuote (ptr_residuation p)
GENERIC	residListNext (ptr_residuation p)
ptr_psi_term	makePsiTerm (ptr_definition x)
ptr_psi_term	makePsiList (GENERIC head, ptr_psi_term(*valueFunc)(), GENERIC(*nextFunc)())
static long	c_residList ()
ptr_goal	makeGoal (ptr_psi_term p)
static long	c_residuate ()
static long	c_mresiduate ()
void	insert_system_builtins ()
Variables
static char	vcid [] = "$Id: bi_sys.c,v 1.2 1994/12/08 23:08:17 duchier Exp $"
static GENERIC	unitListElement

---

Define Documentation

#define copyPsiTerm	(	a,
		b		)	(ptr_psi_term )memcpy(a,b,sizeof(psi_term))

Definition at line 26 of file bi_sys.c.

---

Function Documentation

static long c_cputime

(

)

[static]

Definition at line 193 of file bi_sys.c.

References wl_goal::a, aim, wl_goal::b, deref_args, deref_ptr, get_real_value(), life_end, REAL, set_empty, and unify_real_result().

static long c_encode

(

)

[static]

Definition at line 433 of file bi_sys.c.

static long c_garbage

(

)

[static]

Definition at line 336 of file bi_sys.c.

static long c_getenv

(

)

[static]

Definition at line 350 of file bi_sys.c.

static long c_localtime

(

)

[static]

Definition at line 261 of file bi_sys.c.

References wl_goal::a, aim, wl_goal::b, day_attr, deref_args, deref_ptr, hour_attr, minute_attr, month_attr, NULL, push_goal(), second_attr, set_empty, stack_add_int_attr(), stack_psi_term(), timesym, TRUE, wl_psi_term::type, unify, weekday_attr, and year_attr.

static long c_maxint

(

)

[static]

Definition at line 147 of file bi_sys.c.

References wl_goal::a, aim, wl_goal::b, deref_args, deref_ptr, get_real_value(), REAL, set_empty, unify_real_result(), and WL_MAXINT.

static long c_mresiduate

(

)

[static]

Definition at line 619 of file bi_sys.c.

References wl_goal::a, aim, alist, wl_psi_term::attr_list, deref_args, deref_ptr, Errorline(), FALSE, get_two_args(), makeGoal(), nil, NULL, residuateGoalOnVar(), set_1_2, TRUE, and wl_psi_term::type.

long c_quiet

(

)

Definition at line 173 of file bi_sys.c.

References wl_goal::a, aim, wl_goal::b, deref_args, deref_ptr, NOTQUIET, NULL, push_goal(), set_empty, stack_psi_term(), TRUE, wl_psi_term::type, and unify.

static long c_realtime

(

)

[static]

Definition at line 223 of file bi_sys.c.

References wl_goal::a, aim, wl_goal::b, deref_args, deref_ptr, get_real_value(), REAL, set_empty, and unify_real_result().

static long c_residList

(

)

[static]

Definition at line 542 of file bi_sys.c.

References wl_goal::a, aim, wl_psi_term::attr_list, wl_goal::b, curry(), deref, deref_args, deref_ptr, get_one_arg(), makePsiList(), wl_psi_term::resid, residListGoalQuote(), residListNext(), set_1, and TRUE.

static long c_residuate

(

)

[static]

Definition at line 588 of file bi_sys.c.

static long c_statistics

(

)

[static]

Definition at line 302 of file bi_sys.c.

static long c_step

(

)

[static]

Definition at line 97 of file bi_sys.c.

References wl_goal::a, aim, deref_args, set_empty, toggle_step(), and TRUE.

static long c_system

(

)

[static]

Definition at line 387 of file bi_sys.c.

long c_tprove

(

)

Definition at line 83 of file bi_sys.c.

References wl_goal::a, aim, deref_args, set_empty, set_trace_to_prove(), and TRUE.

long c_trace

(

)

Definition at line 38 of file bi_sys.c.

References wl_goal::a, aim, wl_psi_term::attr_list, deref_args, deref_ptr, Errorline(), FALSE, get_two_args(), is_top, set_empty, stepflag, toggle_trace(), trace, TRUE, wl_psi_term::type, and unify_bool_result().

static long c_verbose

(

)

[static]

Definition at line 111 of file bi_sys.c.

References wl_goal::a, aim, deref_args, set_empty, TRUE, and verbose.

static long c_warning

(

)

[static]

Definition at line 129 of file bi_sys.c.

References wl_goal::a, aim, deref_args, Infoline, set_empty, TRUE, and warningflag.

void insert_system_builtins

(

)

Definition at line 664 of file bi_sys.c.

Referenced by init_built_in_types().

GENERIC intListNext

(

ptr_int_list

p

)

Definition at line 468 of file bi_sys.c.

References makePsiTerm().

ptr_psi_term intListValue

(

ptr_int_list

p

)

Definition at line 462 of file bi_sys.c.

References NULL, and unitListElement.

ptr_goal makeGoal

(

ptr_psi_term

p

)

Definition at line 571 of file bi_sys.c.

Referenced by c_mresiduate().

ptr_psi_term makePsiList	(	GENERIC	head,
		ptr_psi_term (*)()	valueFunc,
		GENERIC (*)()	nextFunc
	)

Definition at line 518 of file bi_sys.c.

Referenced by c_residList().

ptr_psi_term makePsiTerm

(

ptr_definition

x

)

Definition at line 506 of file bi_sys.c.

Referenced by c_glb(), c_lub(), intListNext(), and unitListNext().

ptr_psi_term quotedStackCopy

(

ptr_psi_term

p

)

Definition at line 474 of file bi_sys.c.

ptr_psi_term residListGoalQuote

(

ptr_residuation

p

)

Definition at line 489 of file bi_sys.c.

Referenced by c_residList().

GENERIC residListNext

(

ptr_residuation

p

)

Definition at line 500 of file bi_sys.c.

Referenced by c_residList().

void setUnitList

(

GENERIC

x

)

Definition at line 445 of file bi_sys.c.

GENERIC unitListNext

(

)

Definition at line 456 of file bi_sys.c.

References makePsiTerm(), and unitListElement.

ptr_psi_term unitListValue

(

)

Definition at line 451 of file bi_sys.c.

References unitListElement.

---

Variable Documentation

GENERIC unitListElement [static]

Definition at line 443 of file bi_sys.c.

Referenced by intListValue(), unitListNext(), and unitListValue().

char vcid[] = "$Id: bi_sys.c,v 1.2 1994/12/08 23:08:17 duchier Exp $" [static]

Definition at line 7 of file bi_sys.c.

---