1 files changed, 70 insertions, 0 deletions
diff --git a/semantics.h b/semantics.h
new file mode 100644
index 0000000..59a7a81
--- /dev/null
+++ b/semantics.h
@@ -0,0 +1,70 @@
+#ifndef SEMANTICS_H
+#define SEMANTICS_H
+
+#define MAX_TABLE_SIZE  1021
+
+struct CTable;
+
+typedef struct CVar{
+    char *name;
+    struct CVar *next;    /* next in the linked list */
+    struct CType *type;
+    int ref_lvl;   /* reference level: >0 for pointers */
+    int offset;
+} CVar;
+
+typedef struct CType {
+    char *name;
+    struct CType *next;
+    struct CType *fields; /* for a struct or union */
+    int size;   /* memory footprint */
+} CType;
+
+typedef int (*Cmp_t)(void *, void *);
+typedef unsigned int (*Hashfunc_t) (char *);
+typedef struct CTable *CTable_t;
+
+typedef struct CTNode {
+    char *key;
+    void *val;
+    struct CTNode *next;
+    int lvl;
+} CTNode;
+
+typedef struct CTable {
+    struct CTNode *head[MAX_TABLE_SIZE];
+    Cmp_t cmp;
+    Hashfunc_t hfunc;
+} CTable;
+
+
+CTable_t ctable_create(Cmp_t cmp, Hashfunc_t hfunc);
+void *ctable_lookup(CTable_t ct, char *key);
+void ctable_insert(CTable_t ct, char *key, void *val, int lvl);
+void ctable_clip(CTable_t ct, unsigned int hv, int max_lvl);
+
+typedef struct CSNode {
+    struct CVar *vhead;
+    struct CType *thead;
+    struct CSNode *next;
+} CSNode;
+
+typedef struct CScope *CScope_t;
+typedef struct CScope {
+    int lvl;
+    struct CSNode *top; 
+    struct CTable *tvar;
+    struct CTable *ttype;
+} CScope;
+
+CScope_t cscope_create();
+CVar *cscope_lookup_var(CScope_t cs, char *name);
+CType *cscope_lookup_type(CScope_t cs, char *name);
+void cscope_push_var(CScope_t cs, CVar *var);
+void cscope_push_type(CScope_t cs, CType *type);
+void cscope_enter(CScope_t cs);
+void cscope_exit(CScope_t cs);
+
+Cmp_t var_cmp, type_cmp;
+Hashfunc_t var_hfunc, type_hfunc;
+#endif