#include "xsb_config.h"
#include "xsb_debug.h"
#include <stdio.h>
#include <stdlib.h>
#include "auxlry.h"
#include "cell_xsb.h"
#include "psc_xsb.h"
#include "cinterf.h"
#include "trie_internals.h"
#include "macro_xsb.h"
#include "error_xsb.h"
#include "tr_utils.h"
#include "storage_xsb.h"
#include "debug_xsb.h"
#include "flags_xsb.h"
#include "context.h"
Defines | |
#define | find_or_insert_storage_handle(name) (STORAGE_HANDLE *)search_bucket(name,&bt_storage_hash_table,hashtable_insert) |
#define | destroy_storage_handle(name) search_bucket(name,&bt_storage_hash_table,hashtable_delete) |
#define | show_table_state() show_table_state(&bt_storage_hash_table) |
Functions | |
static STORAGE_HANDLE * | increment_storage_snapshot (CTXTdeclc Cell name) |
static STORAGE_HANDLE * | mark_storage_changed (CTXTdeclc Cell name) |
static STORAGE_HANDLE * | get_storage_handle (CTXTdeclc Cell name) |
STORAGE_HANDLE * | storage_builtin (CTXTdeclc int builtin_number, Cell name) |
Variables | |
xsbHashTable | bt_storage_hash_table |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Initial value: {STORAGE_TBL_SIZE,sizeof(STORAGE_HANDLE),FALSE,NULL} |