/usr/include/clips/pprint.h is in libclips-dev 6.24-3.2.
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 | /*******************************************************/
/* "C" Language Integrated Production System */
/* */
/* CLIPS Version 6.20 01/31/02 */
/* */
/* PRETTY PRINT HEADER FILE */
/*******************************************************/
/*************************************************************/
/* Purpose: Routines for processing the pretty print */
/* representation of constructs. */
/* */
/* Principal Programmer(s): */
/* Gary D. Riley */
/* */
/* Contributing Programmer(s): */
/* */
/* Revision History: */
/* */
/*************************************************************/
#ifndef _H_pprint
#define _H_pprint
#define PRETTY_PRINT_DATA 52
struct prettyPrintData
{
int PPBufferStatus;
int PPBufferEnabled;
int IndentationDepth;
int PPBufferPos;
unsigned PPBufferMax;
int PPBackupOnce;
int PPBackupTwice;
char *PrettyPrintBuffer;
};
#define PrettyPrintData(theEnv) ((struct prettyPrintData *) GetEnvironmentData(theEnv,PRETTY_PRINT_DATA))
#ifdef LOCALE
#undef LOCALE
#endif
#ifdef _PPRINT_SOURCE_
#define LOCALE
#else
#define LOCALE extern
#endif
LOCALE void InitializePrettyPrintData(void *);
LOCALE void FlushPPBuffer(void *);
LOCALE void DestroyPPBuffer(void *);
LOCALE void SavePPBuffer(void *,char *);
LOCALE void PPBackup(void *);
LOCALE char *CopyPPBuffer(void *);
LOCALE char *GetPPBuffer(void *);
LOCALE void PPCRAndIndent(void *);
LOCALE void IncrementIndentDepth(void *,int);
LOCALE void DecrementIndentDepth(void *,int);
LOCALE void SetIndentDepth(void *,int);
LOCALE void SetPPBufferStatus(void *,int);
LOCALE int GetPPBufferStatus(void *);
LOCALE int SetPPBufferEnabled(void *,int);
LOCALE int GetPPBufferEnabled(void *);
#endif
|