00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021 #ifndef _H_factrhs
00022 #define _H_factrhs
00023
00024 #ifndef _H_expressn
00025 #include "expressn.h"
00026 #endif
00027 #ifndef _H_scanner
00028 #include "scanner.h"
00029 #endif
00030 #ifndef _H_factmngr
00031 #include "factmngr.h"
00032 #endif
00033 #ifndef _H_symbol
00034 #include "symbol.h"
00035 #endif
00036
00037 #ifdef LOCALE
00038 #undef LOCALE
00039 #endif
00040
00041 #ifdef _FACTRHS_SOURCE_
00042 #define LOCALE
00043 #else
00044 #define LOCALE extern
00045 #endif
00046
00047 LOCALE struct expr *BuildRHSAssert(void *,char *,struct token *,int *,int,int,char *);
00048 LOCALE struct expr *GetAssertArgument(void *,char *,struct token *,int *,int,int,int *);
00049 LOCALE struct expr *GetRHSPattern(void *,char *,struct token *,int *,int,
00050 int,int,int);
00051 LOCALE struct fact *StringToFact(void *,char *);
00052
00053 #endif
00054