version 1.1, 2010/09/07 12:53:06
|
version 1.2, 2013/06/12 09:47:52
|
Line 43 extern fa *mkdfa(const char *, int);
|
Line 43 extern fa *mkdfa(const char *, int);
|
extern int makeinit(fa *, int); |
extern int makeinit(fa *, int); |
extern void penter(Node *); |
extern void penter(Node *); |
extern void freetr(Node *); |
extern void freetr(Node *); |
extern int hexstr(char **); |
extern int hexstr(uschar **); |
extern int quoted(char **); |
extern int quoted(uschar **); |
extern char *cclenter(const char *); |
extern char *cclenter(const char *); |
extern void overflo(const char *); |
extern void overflo(const char *) __attribute__((__noreturn__)); |
extern void cfoll(fa *, Node *); |
extern void cfoll(fa *, Node *); |
extern int first(Node *); |
extern int first(Node *); |
extern void follow(Node *); |
extern void follow(Node *); |
Line 132 extern void fpecatch(int);
|
Line 132 extern void fpecatch(int);
|
extern void bracecheck(void); |
extern void bracecheck(void); |
extern void bcheck2(int, int, int); |
extern void bcheck2(int, int, int); |
extern void SYNTAX(const char *, ...); |
extern void SYNTAX(const char *, ...); |
extern void FATAL(const char *, ...); |
extern void FATAL(const char *, ...) __attribute__((__noreturn__)); |
extern void WARNING(const char *, ...); |
extern void WARNING(const char *, ...); |
extern void error(void); |
extern void error(void); |
extern void eprint(void); |
extern void eprint(void); |