/usr/include/clips/userdata.h is in libclips-dev 6.24-3.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 | /*******************************************************/
/* "C" Language Integrated Production System */
/* */
/* CLIPS Version 6.20 01/31/02 */
/* */
/* USER DATA HEADER FILE */
/*******************************************************/
/*************************************************************/
/* Purpose: Routines for attaching user data to constructs, */
/* facts, instances, user functions, etc. */
/* */
/* Principal Programmer(s): */
/* Gary D. Riley */
/* */
/* Revision History: */
/* */
/*************************************************************/
#ifndef _H_userdata
#define _H_userdata
#ifdef LOCALE
#undef LOCALE
#endif
#ifdef _USERDATA_SOURCE_
#define LOCALE
#else
#define LOCALE extern
#endif
struct userData
{
unsigned char dataID;
struct userData *next;
};
typedef struct userData USER_DATA;
typedef struct userData * USER_DATA_PTR;
struct userDataRecord
{
unsigned char dataID;
void *(*createUserData)(void *);
void (*deleteUserData)(void *,void *);
};
typedef struct userDataRecord USER_DATA_RECORD;
typedef struct userDataRecord * USER_DATA_RECORD_PTR;
#define MAXIMUM_USER_DATA_RECORDS 100
#define USER_DATA_DATA 56
struct userDataData
{
struct userDataRecord *UserDataRecordArray[MAXIMUM_USER_DATA_RECORDS];
unsigned char UserDataRecordCount;
};
#define UserDataData(theEnv) ((struct userDataData *) GetEnvironmentData(theEnv,USER_DATA_DATA))
LOCALE void InitializeUserDataData(void *);
LOCALE unsigned char InstallUserDataRecord(void *,struct userDataRecord *);
LOCALE struct userData *FetchUserData(void *,unsigned char,struct userData **);
LOCALE struct userData *TestUserData(unsigned char,struct userData *);
LOCALE void ClearUserDataList(void *,struct userData *);
LOCALE struct userData *DeleteUserData(void *,unsigned char,struct userData *);
#endif
|