Ajout nouveaux tests

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@708 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e

1 files changed, 21 insertions, 0 deletions

diff --git a/test/raytracer/gmllexer.h b/test/raytracer/gmllexer.h
new file mode 100644
index 0000000..9b8d630
--- /dev/null
+++ b/test/raytracer/gmllexer.h
@@ -0,0 +1,21 @@
+/* Lexer for GML */
+
+struct lexeme {
+  enum {
+    NONE,
+    OPERATOR, IDENTIFIER, BINDER, BOOLEAN, INTEGER, REAL, STRING,
+    LBRACE, RBRACE, LBRACKET, RBRACKET, END_OF_FILE
+  } kind;
+  union {
+    int op;                     /* for operators */
+    char * s;                   /* for identifiers, binders, strings */
+    int i;                      /* for integer and boolean literals */
+    flt d;                      /* for float literals */
+  } u;
+};
+
+extern struct lexeme current_lexeme;
+
+extern void get_lexeme(void);
+extern void discard_lexeme(void);
+extern void init_lexer(void);