+/* Copyright (c) 2012-2014. The SimGrid Team.
+ * All rights reserved. */
+
+/* This program is free software; you can redistribute it and/or modify it
+ * under the terms of the license (GNU LGPL) which comes with this package. */
+
%{
+#include "simgrid_config.h"
+#ifndef HAVE_UNISTD_H
+#define YY_NO_UNISTD_H /* hello Windows */
+#endif
-#include "automaton_parse.yy.c"
+#include "automaton_lexer.yy.c"
#include <xbt/automaton.h>
-#include <xbt/automatonparse_promela.h>
void yyerror(const char *s);
double real;
int integer;
char* string;
- xbt_exp_label_t label;
+ xbt_automaton_exp_label_t label;
}
%token NEVER