X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/27e0d66723c8ddb57672492eb4e0055687927abb..bec5e322b6a2224e60927d26cf3c118e5aa5aa2d:/src/xbt/automaton/automaton_lexer.yy.c

diff --git a/src/xbt/automaton/automaton_lexer.yy.c b/src/xbt/automaton/automaton_lexer.yy.c
index 5e1f80c7b4..42970727ac 100644
--- a/src/xbt/automaton/automaton_lexer.yy.c
+++ b/src/xbt/automaton/automaton_lexer.yy.c
@@ -53,7 +53,7 @@
 #if defined (__STDC_VERSION__) && __STDC_VERSION__ >= 199901L
 
 /* C99 says to define __STDC_LIMIT_MACROS before including stdint.h,
- * if you want the limit (max/min) macros for int types.
+ * if you want the limit (max/min) macros for int types. 
  */
 #ifndef __STDC_LIMIT_MACROS
 #define __STDC_LIMIT_MACROS 1
@@ -70,7 +70,7 @@ typedef uint32_t flex_uint32_t;
 typedef signed char flex_int8_t;
 typedef short int flex_int16_t;
 typedef int flex_int32_t;
-typedef unsigned char flex_uint8_t;
+typedef unsigned char flex_uint8_t; 
 typedef unsigned short int flex_uint16_t;
 typedef unsigned int flex_uint32_t;
 
@@ -196,7 +196,7 @@ extern FILE *xbt_automaton_parser_in, *xbt_automaton_parser_out;
 
     #define YY_LESS_LINENO(n)
     #define YY_LINENO_REWIND_TO(ptr)
-
+    
 /* Return all but the first "n" matched characters back to the input stream. */
 #define yyless(n) \
 	do \
@@ -253,7 +253,7 @@ struct yy_buffer_state
 
     int yy_bs_lineno; /**< The line count. */
     int yy_bs_column; /**< The column count. */
-
+    
 	/* Whether to try to fill the input buffer when we reach the
 	 * end of it.
 	 */
@@ -522,21 +522,23 @@ int xbt_automaton_parser__flex_debug = 0;
 #define YY_RESTORE_YY_MORE_OFFSET
 char *xbt_automaton_parser_text;
 #line 1 "parserPromela.lex"
-/* Copyright (c) 2012, 2014-2015. The SimGrid Team.
+/* 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. */
-
 #line 10 "parserPromela.lex"
 
+#include "simgrid_config.h"
+#ifndef HAVE_UNISTD_H
+#define YY_NO_UNISTD_H /* hello Windows */
+#endif
 
 #include <stdio.h>
 #include "parserPromela.tab.hacc"
-
+  
   extern YYSTYPE yylval;
-
-#line 538 "automaton_lexer.yy.c"
+ 
+#line 542 "automaton_lexer.yy.c"
 
 #define INITIAL 0
 
@@ -596,7 +598,7 @@ extern int xbt_automaton_parser_wrap (void );
 #endif
 
     static void yyunput (int c,char *buf_ptr  );
-
+    
 #ifndef yytext_ptr
 static void yy_flex_strncpy (char *,yyconst char *,int );
 #endif
@@ -719,10 +721,10 @@ extern int xbt_automaton_parser_lex (void);
  */
 YY_DECL
 {
-	yy_state_type yy_current_state;
-	char *yy_cp, *yy_bp;
-	int yy_act;
-
+	register yy_state_type yy_current_state;
+	register char *yy_cp, *yy_bp;
+	register int yy_act;
+    
 	if ( !(yy_init) )
 		{
 		(yy_init) = 1;
@@ -750,10 +752,10 @@ YY_DECL
 		}
 
 	{
-#line 34 "parserPromela.lex"
+#line 38 "parserPromela.lex"
 
 
-#line 755 "automaton_lexer.yy.c"
+#line 759 "automaton_lexer.yy.c"
 
 	while ( 1 )		/* loops until end-of-file is reached */
 		{
@@ -771,7 +773,7 @@ YY_DECL
 yy_match:
 		do
 			{
-			YY_CHAR yy_c = yy_ec[YY_SC_TO_UI(*yy_cp)] ;
+			register YY_CHAR yy_c = yy_ec[YY_SC_TO_UI(*yy_cp)] ;
 			if ( yy_accept[yy_current_state] )
 				{
 				(yy_last_accepting_state) = yy_current_state;
@@ -812,118 +814,118 @@ do_action:	/* This label is used only to access EOF actions. */
 
 case 1:
 YY_RULE_SETUP
-#line 36 "parserPromela.lex"
+#line 40 "parserPromela.lex"
 { return (NEVER); }
 	YY_BREAK
 case 2:
 YY_RULE_SETUP
-#line 37 "parserPromela.lex"
+#line 41 "parserPromela.lex"
 { return (IF); }
 	YY_BREAK
 case 3:
 YY_RULE_SETUP
-#line 38 "parserPromela.lex"
+#line 42 "parserPromela.lex"
 { return (FI); }
 	YY_BREAK
 case 4:
 YY_RULE_SETUP
-#line 39 "parserPromela.lex"
+#line 43 "parserPromela.lex"
 { return (IMPLIES); }
 	YY_BREAK
 case 5:
 YY_RULE_SETUP
-#line 40 "parserPromela.lex"
+#line 44 "parserPromela.lex"
 { return (GOTO); }
 	YY_BREAK
 case 6:
 YY_RULE_SETUP
-#line 41 "parserPromela.lex"
+#line 45 "parserPromela.lex"
 { return (AND); }
 	YY_BREAK
 case 7:
 YY_RULE_SETUP
-#line 42 "parserPromela.lex"
+#line 46 "parserPromela.lex"
 { return (OR); }
 	YY_BREAK
 case 8:
 YY_RULE_SETUP
-#line 43 "parserPromela.lex"
+#line 47 "parserPromela.lex"
 { return (NOT); }
 	YY_BREAK
 case 9:
 YY_RULE_SETUP
-#line 44 "parserPromela.lex"
+#line 48 "parserPromela.lex"
 { return (LEFT_PAR); }
 	YY_BREAK
 case 10:
 YY_RULE_SETUP
-#line 45 "parserPromela.lex"
+#line 49 "parserPromela.lex"
 { return (RIGHT_PAR); }
 	YY_BREAK
 case 11:
 YY_RULE_SETUP
-#line 46 "parserPromela.lex"
+#line 50 "parserPromela.lex"
 { return (CASE); }
 	YY_BREAK
 case 12:
 YY_RULE_SETUP
-#line 47 "parserPromela.lex"
+#line 51 "parserPromela.lex"
 { return (COLON); }
 	YY_BREAK
 case 13:
 YY_RULE_SETUP
-#line 48 "parserPromela.lex"
+#line 52 "parserPromela.lex"
 { return (SEMI_COLON); }
 	YY_BREAK
 case 14:
 YY_RULE_SETUP
-#line 49 "parserPromela.lex"
+#line 53 "parserPromela.lex"
 { return (CASE_TRUE); }
 	YY_BREAK
 case 15:
 YY_RULE_SETUP
-#line 50 "parserPromela.lex"
+#line 54 "parserPromela.lex"
 { return (LEFT_BRACE); }
 	YY_BREAK
 case 16:
 YY_RULE_SETUP
-#line 51 "parserPromela.lex"
+#line 55 "parserPromela.lex"
 { return (RIGHT_BRACE); }
 	YY_BREAK
 case 17:
 /* rule 17 can match eol */
 YY_RULE_SETUP
-#line 54 "parserPromela.lex"
+#line 58 "parserPromela.lex"
 { }
 	YY_BREAK
 case 18:
 YY_RULE_SETUP
-#line 56 "parserPromela.lex"
+#line 60 "parserPromela.lex"
 { }
 	YY_BREAK
 case 19:
 YY_RULE_SETUP
-#line 59 "parserPromela.lex"
-{ sscanf(xbt_automaton_parser_text,"%lf",&yylval.real);
+#line 63 "parserPromela.lex"
+{ sscanf(xbt_automaton_parser_text,"%lf",&yylval.real); 
                             return (LITT_REEL); }
 	YY_BREAK
 case 20:
 YY_RULE_SETUP
-#line 62 "parserPromela.lex"
-{ sscanf(xbt_automaton_parser_text,"%d",&yylval.integer);
+#line 66 "parserPromela.lex"
+{ sscanf(xbt_automaton_parser_text,"%d",&yylval.integer); 
                             return (LITT_ENT); }
 	YY_BREAK
 case 21:
 /* rule 21 can match eol */
 YY_RULE_SETUP
-#line 65 "parserPromela.lex"
+#line 69 "parserPromela.lex"
 { yylval.string=(char *)malloc(strlen(xbt_automaton_parser_text)+1);
-                            sscanf(xbt_automaton_parser_text,"%s",yylval.string);
+                            sscanf(xbt_automaton_parser_text,"%s",yylval.string); 
                             return (LITT_CHAINE); }
 	YY_BREAK
 case 22:
 YY_RULE_SETUP
-#line 69 "parserPromela.lex"
+#line 73 "parserPromela.lex"
 { yylval.string=(char *)malloc(strlen(xbt_automaton_parser_text)+1);
                             sscanf(xbt_automaton_parser_text,"%s",yylval.string);
 			                      return (ID); }
@@ -931,20 +933,20 @@ YY_RULE_SETUP
 case 23:
 /* rule 23 can match eol */
 YY_RULE_SETUP
-#line 73 "parserPromela.lex"
+#line 77 "parserPromela.lex"
 { }
 	YY_BREAK
 case 24:
 YY_RULE_SETUP
-#line 75 "parserPromela.lex"
+#line 79 "parserPromela.lex"
 { }
 	YY_BREAK
 case 25:
 YY_RULE_SETUP
-#line 77 "parserPromela.lex"
+#line 81 "parserPromela.lex"
 ECHO;
 	YY_BREAK
-#line 946 "automaton_lexer.yy.c"
+#line 950 "automaton_lexer.yy.c"
 case YY_STATE_EOF(INITIAL):
 	yyterminate();
 
@@ -1087,9 +1089,9 @@ case YY_STATE_EOF(INITIAL):
  */
 static int yy_get_next_buffer (void)
 {
-    	char *dest = YY_CURRENT_BUFFER_LVALUE->yy_ch_buf;
-	char *source = (yytext_ptr);
-	int number_to_move, i;
+    	register char *dest = YY_CURRENT_BUFFER_LVALUE->yy_ch_buf;
+	register char *source = (yytext_ptr);
+	register int number_to_move, i;
 	int ret_val;
 
 	if ( (yy_c_buf_p) > &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars) + 1] )
@@ -1221,14 +1223,14 @@ static int yy_get_next_buffer (void)
 
     static yy_state_type yy_get_previous_state (void)
 {
-	yy_state_type yy_current_state;
-	char *yy_cp;
-
+	register yy_state_type yy_current_state;
+	register char *yy_cp;
+    
 	yy_current_state = (yy_start);
 
 	for ( yy_cp = (yytext_ptr) + YY_MORE_ADJ; yy_cp < (yy_c_buf_p); ++yy_cp )
 		{
-		YY_CHAR yy_c = (*yy_cp ? yy_ec[YY_SC_TO_UI(*yy_cp)] : 1);
+		register YY_CHAR yy_c = (*yy_cp ? yy_ec[YY_SC_TO_UI(*yy_cp)] : 1);
 		if ( yy_accept[yy_current_state] )
 			{
 			(yy_last_accepting_state) = yy_current_state;
@@ -1253,10 +1255,10 @@ static int yy_get_next_buffer (void)
  */
     static yy_state_type yy_try_NUL_trans  (yy_state_type yy_current_state )
 {
-	int yy_is_jam;
-    	char *yy_cp = (yy_c_buf_p);
+	register int yy_is_jam;
+    	register char *yy_cp = (yy_c_buf_p);
 
-	YY_CHAR yy_c = 1;
+	register YY_CHAR yy_c = 1;
 	if ( yy_accept[yy_current_state] )
 		{
 		(yy_last_accepting_state) = yy_current_state;
@@ -1274,10 +1276,10 @@ static int yy_get_next_buffer (void)
 		return yy_is_jam ? 0 : yy_current_state;
 }
 
-    static void yyunput (int c, char * yy_bp )
+    static void yyunput (int c, register char * yy_bp )
 {
-	char *yy_cp;
-
+	register char *yy_cp;
+    
     yy_cp = (yy_c_buf_p);
 
 	/* undo effects of setting up xbt_automaton_parser_text */
@@ -1286,10 +1288,10 @@ static int yy_get_next_buffer (void)
 	if ( yy_cp < YY_CURRENT_BUFFER_LVALUE->yy_ch_buf + 2 )
 		{ /* need to shift things up to make room */
 		/* +2 for EOB chars. */
-		yy_size_t number_to_move = (yy_n_chars) + 2;
-		char *dest = &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[
+		register yy_size_t number_to_move = (yy_n_chars) + 2;
+		register char *dest = &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[
 					YY_CURRENT_BUFFER_LVALUE->yy_buf_size + 2];
-		char *source =
+		register char *source =
 				&YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[number_to_move];
 
 		while ( source > YY_CURRENT_BUFFER_LVALUE->yy_ch_buf )
@@ -1320,7 +1322,7 @@ static int yy_get_next_buffer (void)
 
 {
 	int c;
-
+    
 	*(yy_c_buf_p) = (yy_hold_char);
 
 	if ( *(yy_c_buf_p) == YY_END_OF_BUFFER_CHAR )
@@ -1387,12 +1389,12 @@ static int yy_get_next_buffer (void)
 
 /** Immediately switch to a different input stream.
  * @param input_file A readable stream.
- *
+ * 
  * @note This function does not reset the start condition to @c INITIAL .
  */
     void xbt_automaton_parser_restart  (FILE * input_file )
 {
-
+    
 	if ( ! YY_CURRENT_BUFFER ){
         xbt_automaton_parser_ensure_buffer_stack ();
 		YY_CURRENT_BUFFER_LVALUE =
@@ -1405,11 +1407,11 @@ static int yy_get_next_buffer (void)
 
 /** Switch to a different input buffer.
  * @param new_buffer The new input buffer.
- *
+ * 
  */
     void xbt_automaton_parser__switch_to_buffer  (YY_BUFFER_STATE  new_buffer )
 {
-
+    
 	/* TODO. We should be able to replace this entire function body
 	 * with
 	 *		xbt_automaton_parser_pop_buffer_state();
@@ -1449,13 +1451,13 @@ static void xbt_automaton_parser__load_buffer_state  (void)
 /** Allocate and initialize an input buffer state.
  * @param file A readable stream.
  * @param size The character buffer size in bytes. When in doubt, use @c YY_BUF_SIZE.
- *
+ * 
  * @return the allocated buffer state.
  */
     YY_BUFFER_STATE xbt_automaton_parser__create_buffer  (FILE * file, int  size )
 {
 	YY_BUFFER_STATE b;
-
+    
 	b = (YY_BUFFER_STATE) xbt_automaton_parser_alloc(sizeof( struct yy_buffer_state )  );
 	if ( ! b )
 		YY_FATAL_ERROR( "out of dynamic memory in xbt_automaton_parser__create_buffer()" );
@@ -1478,11 +1480,11 @@ static void xbt_automaton_parser__load_buffer_state  (void)
 
 /** Destroy the buffer.
  * @param b a buffer created with xbt_automaton_parser__create_buffer()
- *
+ * 
  */
     void xbt_automaton_parser__delete_buffer (YY_BUFFER_STATE  b )
 {
-
+    
 	if ( ! b )
 		return;
 
@@ -1503,7 +1505,7 @@ static void xbt_automaton_parser__load_buffer_state  (void)
 
 {
 	int oerrno = errno;
-
+    
 	xbt_automaton_parser__flush_buffer(b );
 
 	b->yy_input_file = file;
@@ -1519,13 +1521,13 @@ static void xbt_automaton_parser__load_buffer_state  (void)
     }
 
         b->yy_is_interactive = file ? (isatty( fileno(file) ) > 0) : 0;
-
+    
 	errno = oerrno;
 }
 
 /** Discard all buffered characters. On the next scan, YY_INPUT will be called.
  * @param b the buffer state to be flushed, usually @c YY_CURRENT_BUFFER.
- *
+ * 
  */
     void xbt_automaton_parser__flush_buffer (YY_BUFFER_STATE  b )
 {
@@ -1554,7 +1556,7 @@ static void xbt_automaton_parser__load_buffer_state  (void)
  *  the current state. This function will allocate the stack
  *  if necessary.
  *  @param new_buffer The new state.
- *
+ *  
  */
 void xbt_automaton_parser_push_buffer_state (YY_BUFFER_STATE new_buffer )
 {
@@ -1584,7 +1586,7 @@ void xbt_automaton_parser_push_buffer_state (YY_BUFFER_STATE new_buffer )
 
 /** Removes and deletes the top of the stack, if present.
  *  The next element becomes the new top.
- *
+ *  
  */
 void xbt_automaton_parser_pop_buffer_state (void)
 {
@@ -1608,7 +1610,7 @@ void xbt_automaton_parser_pop_buffer_state (void)
 static void xbt_automaton_parser_ensure_buffer_stack (void)
 {
 	yy_size_t num_to_alloc;
-
+    
 	if (!(yy_buffer_stack)) {
 
 		/* First allocation is just for 2 elements, since we don't know if this
@@ -1621,9 +1623,9 @@ static void xbt_automaton_parser_ensure_buffer_stack (void)
 								);
 		if ( ! (yy_buffer_stack) )
 			YY_FATAL_ERROR( "out of dynamic memory in xbt_automaton_parser_ensure_buffer_stack()" );
-
+								  
 		memset((yy_buffer_stack), 0, num_to_alloc * sizeof(struct yy_buffer_state*));
-
+				
 		(yy_buffer_stack_max) = num_to_alloc;
 		(yy_buffer_stack_top) = 0;
 		return;
@@ -1651,13 +1653,13 @@ static void xbt_automaton_parser_ensure_buffer_stack (void)
 /** Setup the input buffer state to scan directly from a user-specified character buffer.
  * @param base the character buffer
  * @param size the size in bytes of the character buffer
- *
- * @return the newly allocated buffer state object.
+ * 
+ * @return the newly allocated buffer state object. 
  */
 YY_BUFFER_STATE xbt_automaton_parser__scan_buffer  (char * base, yy_size_t  size )
 {
 	YY_BUFFER_STATE b;
-
+    
 	if ( size < 2 ||
 	     base[size-2] != YY_END_OF_BUFFER_CHAR ||
 	     base[size-1] != YY_END_OF_BUFFER_CHAR )
@@ -1686,14 +1688,14 @@ YY_BUFFER_STATE xbt_automaton_parser__scan_buffer  (char * base, yy_size_t  size
 /** Setup the input buffer state to scan a string. The next call to xbt_automaton_parser_lex() will
  * scan from a @e copy of @a str.
  * @param yystr a NUL-terminated string to scan
- *
+ * 
  * @return the newly allocated buffer state object.
  * @note If you want to scan bytes that may contain NUL values, then use
  *       xbt_automaton_parser__scan_bytes() instead.
  */
 YY_BUFFER_STATE xbt_automaton_parser__scan_string (yyconst char * yystr )
 {
-
+    
 	return xbt_automaton_parser__scan_bytes(yystr,strlen(yystr) );
 }
 
@@ -1701,7 +1703,7 @@ YY_BUFFER_STATE xbt_automaton_parser__scan_string (yyconst char * yystr )
  * scan from a @e copy of @a bytes.
  * @param yybytes the byte buffer to scan
  * @param _yybytes_len the number of bytes in the buffer pointed to by @a bytes.
- *
+ * 
  * @return the newly allocated buffer state object.
  */
 YY_BUFFER_STATE xbt_automaton_parser__scan_bytes  (yyconst char * yybytes, yy_size_t  _yybytes_len )
@@ -1710,7 +1712,7 @@ YY_BUFFER_STATE xbt_automaton_parser__scan_bytes  (yyconst char * yybytes, yy_si
 	char *buf;
 	yy_size_t n;
 	yy_size_t i;
-
+    
 	/* Get memory for full buffer, including space for trailing EOB's. */
 	n = _yybytes_len + 2;
 	buf = (char *) xbt_automaton_parser_alloc(n  );
@@ -1764,16 +1766,16 @@ static void yy_fatal_error (yyconst char* msg )
 /* Accessor  methods (get/set functions) to struct members. */
 
 /** Get the current line number.
- *
+ * 
  */
 int xbt_automaton_parser_get_lineno  (void)
 {
-
+        
     return xbt_automaton_parser_lineno;
 }
 
 /** Get the input stream.
- *
+ * 
  */
 FILE *xbt_automaton_parser_get_in  (void)
 {
@@ -1781,7 +1783,7 @@ FILE *xbt_automaton_parser_get_in  (void)
 }
 
 /** Get the output stream.
- *
+ * 
  */
 FILE *xbt_automaton_parser_get_out  (void)
 {
@@ -1789,7 +1791,7 @@ FILE *xbt_automaton_parser_get_out  (void)
 }
 
 /** Get the length of the current token.
- *
+ * 
  */
 yy_size_t xbt_automaton_parser_get_leng  (void)
 {
@@ -1797,7 +1799,7 @@ yy_size_t xbt_automaton_parser_get_leng  (void)
 }
 
 /** Get the current token.
- *
+ * 
  */
 
 char *xbt_automaton_parser_get_text  (void)
@@ -1807,18 +1809,18 @@ char *xbt_automaton_parser_get_text  (void)
 
 /** Set the current line number.
  * @param line_number
- *
+ * 
  */
 void xbt_automaton_parser_set_lineno (int  line_number )
 {
-
+    
     xbt_automaton_parser_lineno = line_number;
 }
 
 /** Set the input stream. This does not discard the current
  * input buffer.
  * @param in_str A readable stream.
- *
+ * 
  * @see xbt_automaton_parser__switch_to_buffer
  */
 void xbt_automaton_parser_set_in (FILE *  in_str )
@@ -1872,7 +1874,7 @@ static int yy_init_globals (void)
 /* xbt_automaton_parser_lex_destroy is for both reentrant and non-reentrant scanners. */
 int xbt_automaton_parser_lex_destroy  (void)
 {
-
+    
     /* Pop the buffer stack, destroying each element. */
 	while(YY_CURRENT_BUFFER){
 		xbt_automaton_parser__delete_buffer(YY_CURRENT_BUFFER  );
@@ -1898,7 +1900,7 @@ int xbt_automaton_parser_lex_destroy  (void)
 #ifndef yytext_ptr
 static void yy_flex_strncpy (char* s1, yyconst char * s2, int n )
 {
-	int i;
+	register int i;
 	for ( i = 0; i < n; ++i )
 		s1[i] = s2[i];
 }
@@ -1907,7 +1909,7 @@ static void yy_flex_strncpy (char* s1, yyconst char * s2, int n )
 #ifdef YY_NEED_STRLEN
 static int yy_flex_strlen (yyconst char * s )
 {
-	int n;
+	register int n;
 	for ( n = 0; s[n]; ++n )
 		;
 
@@ -1939,7 +1941,7 @@ void xbt_automaton_parser_free (void * ptr )
 
 #define YYTABLES_NAME "yytables"
 
-#line 76 "parserPromela.lex"
+#line 80 "parserPromela.lex"