YAP 7.1.0
C-code to handle Prolog flags.

Low-level code to support flags. More...

Detailed Description

Low-level code to support flags.

Macro Definition Documentation

◆ END_GLOBAL_FLAGS

#define END_GLOBAL_FLAGS
Value:
GZERO_FLAG \
} \
;

Definition at line 182 of file flags.c.

◆ END_LOCAL_FLAGS

#define END_LOCAL_FLAGS
Value:
LZERO_FLAG \
} \
;

Definition at line 176 of file flags.c.

◆ GZERO_FLAG

#define GZERO_FLAG    { NULL, false, NULL, NULL, NULL }

Definition at line 187 of file flags.c.

◆ INIT_FLAGS

#define INIT_FLAGS   1

Definition at line 39 of file flags.c.

◆ LZERO_FLAG

#define LZERO_FLAG    { NULL, false, NULL, NULL, NULL }

Definition at line 189 of file flags.c.

◆ START_GLOBAL_FLAGS

#define START_GLOBAL_FLAGS   static flag_info global_flags_setup[] = {

Definition at line 181 of file flags.c.

◆ START_LOCAL_FLAGS

#define START_LOCAL_FLAGS   static flag_info local_flags_setup[] = {

Definition at line 175 of file flags.c.

◆ YAP_FLAG

#define YAP_FLAG (   ID,
  NAME,
  WRITABLE,
  DEF,
  INIT,
  HELPER 
)     { NAME, WRITABLE, DEF, INIT, HELPER }

Definition at line 172 of file flags.c.

Function Documentation

◆ aro()

Term aro ( Term  inp)

Definition at line 98 of file flags.c.

◆ booleanFlag()

Term booleanFlag ( Term  inp)

Definition at line 107 of file flags.c.

◆ febooleanFlag()

Term febooleanFlag ( Term  inp)

Definition at line 131 of file flags.c.

◆ ro()

Term ro ( Term  inp)

Definition at line 87 of file flags.c.

◆ synerr()

Term synerr ( Term  inp)

Definition at line 154 of file flags.c.

Macros

#define INIT_FLAGS   1
 
#define YAP_FLAG(ID, NAME, WRITABLE, DEF, INIT, HELPER)    { NAME, WRITABLE, DEF, INIT, HELPER }
 
#define START_LOCAL_FLAGS   static flag_info local_flags_setup[] = {
 
#define END_LOCAL_FLAGS
 
#define START_GLOBAL_FLAGS   static flag_info global_flags_setup[] = {
 
#define END_GLOBAL_FLAGS
 
#define GZERO_FLAG    { NULL, false, NULL, NULL, NULL }
 
#define LZERO_FLAG    { NULL, false, NULL, NULL, NULL }
 

Functions

Term ro (Term inp)
 
Term nat (Term inp)
 
Term isatom (Term inp)
 
Term booleanFlag (Term inp)
 
Term aro (Term inp)
 
Term febooleanFlag (Term inp)
 
Term synerr (Term inp)