以下にディレクトリ$PROROOT/demos/cの中にあるreadatom.cのリストを示します。別のリストは、cpred.hの中のマクロ定義がCプリプロセッサによって展開された後のファイルを示しています。 （注意：stdio.hは重要でないので、プリプロセッサにかけていません）
/*------------------------------------------------------*/
/* filename : $PROROOT/demos/c/readatom.c */
/* demonstrates use of EPILOG: test with: */
/* go :- readatom(Filename,Atom),write(Atom),nl,!,fail. */
/*------------------------------------------------------*/
#include "cpred.h"
#include
char line[MAXLEN+1]; /* max line length */ FILE *fp, *fopen(); char *name; typedef struct { FILE *fp } READSTATE; /* STATE */
Cboot() { CPRED("readatom", 2, readatom, sizeof(READSTATE) ); } /*------------------------------------------------------*/ COROUTINE( readatom, READSTATE, state) /* FUNCTION */ RESUME(1, Label1); HASEPILOG; BEGIN if(!XChk(IsString(Arg(1), &name), "atom expected for file name")) { FAIL; } if(!XChk( (((state->fp)=fopen(name, "r")) != (FILE *)NULL), "Could not open file")) { FAIL; }
EnableEpilog(); printf("epilog enabled\n"); while ( readline(state->fp) ) { if( UnifyArg(2, (StrAt(line))) ) DETACH(1, Label1) }
EPILOG: printf("start of epilog\n"); if(state->fp){ fclose(state->fp); printf("file closed by epilog\n"); } END
/*------------------------------------------------------*/ int readline(fp) FILE *fp; { char c; int i = 0;
while ( (c = getc(fp)) != EOF && c != '\n' ) { if ( i < MAXLEN ) line[i++] = c; } line[i] = '\0'; if (c != EOF) return(1); else return(0); }