diff options
| author | krasimir <krasimir@chalmers.se> | 2010-06-16 15:14:34 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2010-06-16 15:14:34 +0000 |
| commit | c760c52223c4737bf2803e2c28699a923c4c12c5 (patch) | |
| tree | 78a93bc98fe5914105cdbdc747f9968c9c50b446 /src/runtime/c/pgf.h | |
| parent | 106d056f54ca8cdc887680d822ac31614ccf383b (diff) | |
grammar loader and unloader in C. Abstract Syntax only!
Diffstat (limited to 'src/runtime/c/pgf.h')
| -rw-r--r-- | src/runtime/c/pgf.h | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/src/runtime/c/pgf.h b/src/runtime/c/pgf.h new file mode 100644 index 000000000..ff9e6aba9 --- /dev/null +++ b/src/runtime/c/pgf.h @@ -0,0 +1,14 @@ +#ifndef PGF_H +#define PGF_H + +typedef struct _CId *CId; +typedef struct _String *String; +typedef struct _Literal *Literal ; +typedef struct _Type *Type ; +typedef struct _Expr *Expr ; +typedef struct _PGF *PGF ; + +PGF readPGF(char *filename); +void freePGF(PGF pgf); + +#endif |