#include "YapGFlagInfo.h"
#include "YapLFlagInfo.h"

#define	SYSTEM_OPTION_0 "attributed_variables,rational_trees]"

#define	SYSTEM_OPTION_3 "big_numbers,"

#define	YAP_FLAG(ITEM, NAME, WRITABLE, DEF, INIT, HELPER) ITEM

#define	START_LOCAL_FLAGS enum THREAD_LOCAL_FLAGS {

#define	END_LOCAL_FLAGS NULL_LFLAG };

#define	START_GLOBAL_FLAGS enum GLOBAL_FLAGS {

#define	END_GLOBAL_FLAGS NULL_GFLAG};

#define	Yap_ArgListToVector(l, def, n, a, e) Yap_ArgListToVector__(__FILE__, __FUNCTION__, __LINE__, l, def, n, a, e)

#define	Yap_ArgList2ToVector(l, def, n, e) Yap_ArgList2ToVector__(__FILE__, __FUNCTION__, __LINE__, l, def, n, e)

typedef struct x_el	xarg

typedef struct struct_param	param_t

typedef struct struct_param2	param2_t

typedef union flagTerm	flag_term
	a flag is represented as a Prolog term

Term	ro (Term inp)

Term	aro (Term inp)

Term	booleanFlag (Term inp)

Term	febooleanFlag (Term inp)

Term	synerr (Term inp)

void	Yap_InitFlags (bool)
	Init System Prolog flags. More...

bool	Yap_InitSIGSEGV (Term enable)
	This function implements the sigsegv prolog flag. More...

bool	Yap_set_flag (Term tflag, Term t2)

Term	getYapFlag (Term tflag)

int	Yap_ArgKey (Atom key, const param_t *def, int n)
	Returns the index of an argument key, or -1 if not found. More...

Term	Yap_UnknownFlag (Term mod)

bool	rmdot (Term inp)

xarg *	Yap_ArgListToVector__ (const char file, const char function, int lineno, Term listl, const param_t def, int n, xarg a, yap_error_number e)

xarg *	Yap_ArgList2ToVector__ (const char file, const char function, int lineno, Term listl, const param2_t *def, int n, yap_error_number e)
	Yap_ArgList2ToVector is much the same as before, but assumes parameters also have something called a scope. More...

Macro Definition Documentation

◆ END_GLOBAL_FLAGS

#define END_GLOBAL_FLAGS NULL_GFLAG};

Definition at line 209 of file YapFlags.h.

◆ END_LOCAL_FLAGS

#define END_LOCAL_FLAGS NULL_LFLAG };

Definition at line 207 of file YapFlags.h.

◆ START_GLOBAL_FLAGS

#define START_GLOBAL_FLAGS enum GLOBAL_FLAGS {

Definition at line 208 of file YapFlags.h.

◆ START_LOCAL_FLAGS

#define START_LOCAL_FLAGS enum THREAD_LOCAL_FLAGS {

Definition at line 206 of file YapFlags.h.

◆ SYSTEM_OPTION_0

#define SYSTEM_OPTION_0 "attributed_variables,rational_trees]"

Definition at line 31 of file YapFlags.h.

◆ SYSTEM_OPTION_3

#define SYSTEM_OPTION_3 "big_numbers,"

Definition at line 35 of file YapFlags.h.

◆ Yap_ArgList2ToVector

#define Yap_ArgList2ToVector	(	l,
		def,
		n,
		e
	)	Yap_ArgList2ToVector__(__FILE__, __FUNCTION__, __LINE__, l, def, n, e)

Definition at line 402 of file YapFlags.h.

◆ Yap_ArgListToVector

#define Yap_ArgListToVector	(	l,
		def,
		n,
		a,
		e
	)	Yap_ArgListToVector__(__FILE__, __FUNCTION__, __LINE__, l, def, n, a, e)

Definition at line 394 of file YapFlags.h.

◆ YAP_FLAG

#define YAP_FLAG	(	ITEM,
		NAME,
		WRITABLE,
		DEF,
		INIT,
		HELPER
	)	ITEM

Definition at line 205 of file YapFlags.h.

Function Documentation

◆ Yap_ArgKey()

int Yap_ArgKey	(	Atom	key,
		const param_t *	def,
		int	n
	)

Returns the index of an argument key, or -1 if not found.

Definition at line 42 of file args.c.

◆ Yap_ArgList2ToVector__()

xarg * Yap_ArgList2ToVector__	(	const char *	file,
		const char *	function,
		int	lineno,
		Term	listl,
		const param2_t *	def,
		int	n,
		yap_error_number	e
	)

Yap_ArgList2ToVector is much the same as before, but assumes parameters also have something called a scope.

Definition at line 153 of file args.c.

◆ Yap_ArgListToVector__()

xarg * Yap_ArgListToVector__	(	const char *	file,
		const char *	function,
		int	lineno,
		Term	listl,
		const param_t *	def,
		int	n,
		xarg *	a,
		yap_error_number	e
	)

Definition at line 56 of file args.c.

◆ Yap_InitSIGSEGV()

bool Yap_InitSIGSEGV ( Term enable )

This function implements the sigsegv prolog flag.

It should be called when we want other languages to take over handling this signal

Parameters

enable on off

Returns: should always succeed

Definition at line 845 of file sig.c.