SimGrid  3.16
Versatile Simulation of Distributed Systems
automaton_lexer.yy.c File Reference
#include <stdio.h>
#include <string.h>
#include <errno.h>
#include <stdlib.h>
#include "simgrid_config.h"
#include "parserPromela.tab.hacc"

Classes

struct  yy_buffer_state
 
struct  yy_trans_info
 

Macros

#define YY_INT_ALIGNED   short int
 
#define yy_create_buffer   xbt_automaton_parser__create_buffer
 
#define yy_delete_buffer   xbt_automaton_parser__delete_buffer
 
#define yy_flex_debug   xbt_automaton_parser__flex_debug
 
#define yy_init_buffer   xbt_automaton_parser__init_buffer
 
#define yy_flush_buffer   xbt_automaton_parser__flush_buffer
 
#define yy_load_buffer_state   xbt_automaton_parser__load_buffer_state
 
#define yy_switch_to_buffer   xbt_automaton_parser__switch_to_buffer
 
#define yyin   xbt_automaton_parser_in
 
#define yyleng   xbt_automaton_parser_leng
 
#define yylex   xbt_automaton_parser_lex
 
#define yylineno   xbt_automaton_parser_lineno
 
#define yyout   xbt_automaton_parser_out
 
#define yyrestart   xbt_automaton_parser_restart
 
#define yytext   xbt_automaton_parser_text
 
#define yywrap   xbt_automaton_parser_wrap
 
#define yyalloc   xbt_automaton_parser_alloc
 
#define yyrealloc   xbt_automaton_parser_realloc
 
#define yyfree   xbt_automaton_parser_free
 
#define FLEX_SCANNER
 
#define YY_FLEX_MAJOR_VERSION   2
 
#define YY_FLEX_MINOR_VERSION   6
 
#define YY_FLEX_SUBMINOR_VERSION   0
 
#define FLEXINT_H
 
#define INT8_MIN   (-128)
 
#define INT16_MIN   (-32767-1)
 
#define INT32_MIN   (-2147483647-1)
 
#define INT8_MAX   (127)
 
#define INT16_MAX   (32767)
 
#define INT32_MAX   (2147483647)
 
#define UINT8_MAX   (255U)
 
#define UINT16_MAX   (65535U)
 
#define UINT32_MAX   (4294967295U)
 
#define yyconst
 
#define YY_NULL   0
 
#define YY_SC_TO_UI(c)   ((unsigned int) (unsigned char) c)
 
#define BEGIN   (yy_start) = 1 + 2 *
 
#define YY_START   (((yy_start) - 1) / 2)
 
#define YYSTATE   YY_START
 
#define YY_STATE_EOF(state)   (YY_END_OF_BUFFER + state + 1)
 
#define YY_NEW_FILE   xbt_automaton_parser_restart(xbt_automaton_parser_in )
 
#define YY_END_OF_BUFFER_CHAR   0
 
#define YY_BUF_SIZE   16384
 
#define YY_STATE_BUF_SIZE   ((YY_BUF_SIZE + 2) * sizeof(yy_state_type))
 
#define YY_TYPEDEF_YY_BUFFER_STATE
 
#define YY_TYPEDEF_YY_SIZE_T
 
#define EOB_ACT_CONTINUE_SCAN   0
 
#define EOB_ACT_END_OF_FILE   1
 
#define EOB_ACT_LAST_MATCH   2
 
#define YY_LESS_LINENO(n)
 
#define YY_LINENO_REWIND_TO(ptr)
 
#define yyless(n)
 
#define unput(c)   yyunput( c, (yytext_ptr) )
 
#define YY_STRUCT_YY_BUFFER_STATE
 
#define YY_BUFFER_NEW   0
 
#define YY_BUFFER_NORMAL   1
 
#define YY_BUFFER_EOF_PENDING   2
 
#define YY_CURRENT_BUFFER
 
#define YY_CURRENT_BUFFER_LVALUE   (yy_buffer_stack)[(yy_buffer_stack_top)]
 
#define YY_FLUSH_BUFFER   xbt_automaton_parser__flush_buffer(YY_CURRENT_BUFFER )
 
#define yy_new_buffer   xbt_automaton_parser__create_buffer
 
#define yy_set_interactive(is_interactive)
 
#define yy_set_bol(at_bol)
 
#define YY_AT_BOL()   (YY_CURRENT_BUFFER_LVALUE->yy_at_bol)
 
#define xbt_automaton_parser_wrap()   (/*CONSTCOND*/1)
 
#define YY_SKIP_YYWRAP
 
#define yytext_ptr   xbt_automaton_parser_text
 
#define YY_DO_BEFORE_ACTION
 
#define YY_NUM_RULES   25
 
#define YY_END_OF_BUFFER   26
 
#define REJECT   reject_used_but_not_detected
 
#define yymore()   yymore_used_but_not_detected
 
#define YY_MORE_ADJ   0
 
#define YY_RESTORE_YY_MORE_OFFSET
 
#define YY_NO_UNISTD_H   /* hello Windows */
 
#define INITIAL   0
 
#define YY_EXTRA_TYPE   void *
 
#define YY_READ_BUF_SIZE   8192
 
#define ECHO   do { if (fwrite( xbt_automaton_parser_text, xbt_automaton_parser_leng, 1, xbt_automaton_parser_out )) {} } while (0)
 
#define YY_INPUT(buf, result, max_size)
 
#define yyterminate()   return YY_NULL
 
#define YY_START_STACK_INCR   25
 
#define YY_FATAL_ERROR(msg)   yy_fatal_error( msg )
 
#define YY_DECL_IS_OURS   1
 
#define YY_DECL   int xbt_automaton_parser_lex (void)
 
#define YY_USER_ACTION
 
#define YY_BREAK   /*LINTED*/break;
 
#define YY_RULE_SETUP   YY_USER_ACTION
 
#define YY_EXIT_FAILURE   2
 
#define yyless(n)
 
#define YYTABLES_NAME   "yytables"
 

Typedefs

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 short int flex_uint16_t
 
typedef unsigned int flex_uint32_t
 
typedef struct yy_buffer_stateYY_BUFFER_STATE
 
typedef size_t yy_size_t
 
typedef unsigned char YY_CHAR
 
typedef int yy_state_type
 

Functions

void xbt_automaton_parser_restart (FILE *input_file)
 
void xbt_automaton_parser__switch_to_buffer (YY_BUFFER_STATE new_buffer)
 
YY_BUFFER_STATE xbt_automaton_parser__create_buffer (FILE *file, int size)
 
void xbt_automaton_parser__delete_buffer (YY_BUFFER_STATE b)
 
void xbt_automaton_parser__flush_buffer (YY_BUFFER_STATE b)
 
void xbt_automaton_parser_push_buffer_state (YY_BUFFER_STATE new_buffer)
 
void xbt_automaton_parser_pop_buffer_state (void)
 
static void xbt_automaton_parser_ensure_buffer_stack (void)
 
static void xbt_automaton_parser__load_buffer_state (void)
 
static void xbt_automaton_parser__init_buffer (YY_BUFFER_STATE b, FILE *file)
 
YY_BUFFER_STATE xbt_automaton_parser__scan_buffer (char *base, yy_size_t size)
 
YY_BUFFER_STATE xbt_automaton_parser__scan_string (yyconst char *yy_str)
 
YY_BUFFER_STATE xbt_automaton_parser__scan_bytes (yyconst char *bytes, yy_size_t len)
 
voidxbt_automaton_parser_alloc (yy_size_t)
 
voidxbt_automaton_parser_realloc (void *, yy_size_t)
 
void xbt_automaton_parser_free (void *)
 
static yy_state_type yy_get_previous_state (void)
 
static yy_state_type yy_try_NUL_trans (yy_state_type current_state)
 
static int yy_get_next_buffer (void)
 
static void yy_fatal_error (yyconst char msg[])
 
static int yy_init_globals (void)
 
int xbt_automaton_parser_lex_destroy (void)
 
int xbt_automaton_parser_get_debug (void)
 
void xbt_automaton_parser_set_debug (int debug_flag)
 
YY_EXTRA_TYPE xbt_automaton_parser_get_extra (void)
 
void xbt_automaton_parser_set_extra (YY_EXTRA_TYPE user_defined)
 
FILE * xbt_automaton_parser_get_in (void)
 
void xbt_automaton_parser_set_in (FILE *_in_str)
 
FILE * xbt_automaton_parser_get_out (void)
 
void xbt_automaton_parser_set_out (FILE *_out_str)
 
yy_size_t xbt_automaton_parser_get_leng (void)
 
char * xbt_automaton_parser_get_text (void)
 
int xbt_automaton_parser_get_lineno (void)
 
void xbt_automaton_parser_set_lineno (int _line_number)
 
static void yyunput (int c, char *buf_ptr)
 
static int input (void)
 
int xbt_automaton_parser_lex (void)
 
 if (!(yy_init))
 

Variables

yy_size_t xbt_automaton_parser_leng
 
FILE * xbt_automaton_parser_in = (FILE *) 0
 
FILE * xbt_automaton_parser_out = (FILE *) 0
 
static size_t yy_buffer_stack_top = 0
 index of top of stack. More...
 
static size_t yy_buffer_stack_max = 0
 capacity of stack. More...
 
static YY_BUFFER_STATEyy_buffer_stack = 0
 Stack as an array. More...
 
static char yy_hold_char
 
static int yy_n_chars
 
static char * yy_c_buf_p = (char *) 0
 
static int yy_init = 0
 
static int yy_start = 0
 
static int yy_did_buffer_switch_on_eof
 
int xbt_automaton_parser_lineno = 1
 
char * xbt_automaton_parser_text
 
static yyconst flex_int16_t yy_accept [54]
 
static yyconst YY_CHAR yy_ec [256]
 
static yyconst YY_CHAR yy_meta [34]
 
static yyconst flex_uint16_t yy_base [57]
 
static yyconst flex_int16_t yy_def [57]
 
static yyconst flex_uint16_t yy_nxt [124]
 
static yyconst flex_int16_t yy_chk [124]
 
static yy_state_type yy_last_accepting_state
 
static char * yy_last_accepting_cpos
 
int xbt_automaton_parser__flex_debug = 0
 
YYSTYPE yylval
 
 YY_DECL
 The main scanner function which does all the work. More...
 
char * yy_cp
 
char * yy_bp
 
int yy_act
 

Macro Definition Documentation

◆ YY_INT_ALIGNED

#define YY_INT_ALIGNED   short int

◆ yy_create_buffer

#define yy_create_buffer   xbt_automaton_parser__create_buffer

◆ yy_delete_buffer

#define yy_delete_buffer   xbt_automaton_parser__delete_buffer

◆ yy_flex_debug

#define yy_flex_debug   xbt_automaton_parser__flex_debug

◆ yy_init_buffer

#define yy_init_buffer   xbt_automaton_parser__init_buffer

◆ yy_flush_buffer

#define yy_flush_buffer   xbt_automaton_parser__flush_buffer

◆ yy_load_buffer_state

#define yy_load_buffer_state   xbt_automaton_parser__load_buffer_state

◆ yy_switch_to_buffer

#define yy_switch_to_buffer   xbt_automaton_parser__switch_to_buffer

◆ yyin

#define yyin   xbt_automaton_parser_in

◆ yyleng

#define yyleng   xbt_automaton_parser_leng

◆ yylex

#define yylex   xbt_automaton_parser_lex

◆ yylineno

#define yylineno   xbt_automaton_parser_lineno

◆ yyout

#define yyout   xbt_automaton_parser_out

◆ yyrestart

#define yyrestart   xbt_automaton_parser_restart

◆ yytext

#define yytext   xbt_automaton_parser_text

◆ yywrap

#define yywrap   xbt_automaton_parser_wrap

◆ yyalloc

#define yyalloc   xbt_automaton_parser_alloc

◆ yyrealloc

#define yyrealloc   xbt_automaton_parser_realloc

◆ yyfree

#define yyfree   xbt_automaton_parser_free

◆ FLEX_SCANNER

#define FLEX_SCANNER

◆ YY_FLEX_MAJOR_VERSION

#define YY_FLEX_MAJOR_VERSION   2

◆ YY_FLEX_MINOR_VERSION

#define YY_FLEX_MINOR_VERSION   6

◆ YY_FLEX_SUBMINOR_VERSION

#define YY_FLEX_SUBMINOR_VERSION   0

◆ FLEXINT_H

#define FLEXINT_H

◆ INT8_MIN

#define INT8_MIN   (-128)

◆ INT16_MIN

#define INT16_MIN   (-32767-1)

◆ INT32_MIN

#define INT32_MIN   (-2147483647-1)

◆ INT8_MAX

#define INT8_MAX   (127)

◆ INT16_MAX

#define INT16_MAX   (32767)

◆ INT32_MAX

#define INT32_MAX   (2147483647)

◆ UINT8_MAX

#define UINT8_MAX   (255U)

◆ UINT16_MAX

#define UINT16_MAX   (65535U)

◆ UINT32_MAX

#define UINT32_MAX   (4294967295U)

◆ yyconst

#define yyconst

◆ YY_NULL

#define YY_NULL   0

◆ YY_SC_TO_UI

#define YY_SC_TO_UI (   c)    ((unsigned int) (unsigned char) c)

◆ BEGIN

#define BEGIN   (yy_start) = 1 + 2 *

◆ YY_START

#define YY_START   (((yy_start) - 1) / 2)

◆ YYSTATE

#define YYSTATE   YY_START

◆ YY_STATE_EOF

#define YY_STATE_EOF (   state)    (YY_END_OF_BUFFER + state + 1)

◆ YY_NEW_FILE

◆ YY_END_OF_BUFFER_CHAR

#define YY_END_OF_BUFFER_CHAR   0

◆ YY_BUF_SIZE

#define YY_BUF_SIZE   16384

◆ YY_STATE_BUF_SIZE

#define YY_STATE_BUF_SIZE   ((YY_BUF_SIZE + 2) * sizeof(yy_state_type))

◆ YY_TYPEDEF_YY_BUFFER_STATE

#define YY_TYPEDEF_YY_BUFFER_STATE

◆ YY_TYPEDEF_YY_SIZE_T

#define YY_TYPEDEF_YY_SIZE_T

◆ EOB_ACT_CONTINUE_SCAN

#define EOB_ACT_CONTINUE_SCAN   0

◆ EOB_ACT_END_OF_FILE

#define EOB_ACT_END_OF_FILE   1

◆ EOB_ACT_LAST_MATCH

#define EOB_ACT_LAST_MATCH   2

◆ YY_LESS_LINENO

#define YY_LESS_LINENO (   n)

◆ YY_LINENO_REWIND_TO

#define YY_LINENO_REWIND_TO (   ptr)

◆ yyless [1/2]

#define yyless (   n)
Value:
do \
{ \
/* Undo effects of setting up xbt_automaton_parser_text. */ \
int yyless_macro_arg = (n); \
YY_LESS_LINENO(yyless_macro_arg);\
YY_RESTORE_YY_MORE_OFFSET \
(yy_c_buf_p) = yy_cp = yy_bp + yyless_macro_arg - YY_MORE_ADJ; \
YY_DO_BEFORE_ACTION; /* set up xbt_automaton_parser_text again */ \
} \
while ( 0 )
char * yy_cp
Definition: automaton_lexer.yy.c:735
static char * yy_c_buf_p
Definition: automaton_lexer.yy.c:307
int int errorclass int flag void baseptr void int MPI_Datatype void int int MPI_Datatype int MPI_Comm comm MPI_Status MPI_Datatype int count char int resultlen void int MPI_Datatype int MPI_Aint int MPI_Datatype MPI_Win win void void MPI_Datatype int MPI_Aint MPI_Op MPI_Win win MPI_Group MPI_Group MPI_Group newgroup MPI_Group group MPI_Group MPI_Group MPI_Group newgroup MPI_Group int n
Definition: smpi_mpi.cpp:99
char * yy_bp
Definition: automaton_lexer.yy.c:735
#define YY_MORE_ADJ
Definition: automaton_lexer.yy.c:527
static char yy_hold_char
Definition: automaton_lexer.yy.c:302

◆ unput

#define unput (   c)    yyunput( c, (yytext_ptr) )

◆ YY_STRUCT_YY_BUFFER_STATE

#define YY_STRUCT_YY_BUFFER_STATE

◆ YY_BUFFER_NEW

#define YY_BUFFER_NEW   0

◆ YY_BUFFER_NORMAL

#define YY_BUFFER_NORMAL   1

◆ YY_BUFFER_EOF_PENDING

#define YY_BUFFER_EOF_PENDING   2

◆ YY_CURRENT_BUFFER

#define YY_CURRENT_BUFFER
Value:
: NULL)
static YY_BUFFER_STATE * yy_buffer_stack
Stack as an array.
Definition: automaton_lexer.yy.c:284
static size_t yy_buffer_stack_top
index of top of stack.
Definition: automaton_lexer.yy.c:282

◆ YY_CURRENT_BUFFER_LVALUE

#define YY_CURRENT_BUFFER_LVALUE   (yy_buffer_stack)[(yy_buffer_stack_top)]

◆ YY_FLUSH_BUFFER

#define YY_FLUSH_BUFFER   xbt_automaton_parser__flush_buffer(YY_CURRENT_BUFFER )

◆ yy_new_buffer

#define yy_new_buffer   xbt_automaton_parser__create_buffer

◆ yy_set_interactive

#define yy_set_interactive (   is_interactive)
Value:
{ \
if ( ! YY_CURRENT_BUFFER ){ \
xbt_automaton_parser_ensure_buffer_stack (); \
YY_CURRENT_BUFFER_LVALUE = \
xbt_automaton_parser__create_buffer(xbt_automaton_parser_in,YY_BUF_SIZE ); \
} \
YY_CURRENT_BUFFER_LVALUE->yy_is_interactive = is_interactive; \
}
#define YY_CURRENT_BUFFER
Definition: automaton_lexer.yy.c:292
#define YY_BUF_SIZE
Definition: automaton_lexer.yy.c:171
FILE * xbt_automaton_parser_in
Definition: automaton_lexer.yy.c:369

◆ yy_set_bol

#define yy_set_bol (   at_bol)
Value:
{ \
if ( ! YY_CURRENT_BUFFER ){\
xbt_automaton_parser_ensure_buffer_stack (); \
YY_CURRENT_BUFFER_LVALUE = \
xbt_automaton_parser__create_buffer(xbt_automaton_parser_in,YY_BUF_SIZE ); \
} \
YY_CURRENT_BUFFER_LVALUE->yy_at_bol = at_bol; \
}
#define YY_CURRENT_BUFFER
Definition: automaton_lexer.yy.c:292
#define YY_BUF_SIZE
Definition: automaton_lexer.yy.c:171
FILE * xbt_automaton_parser_in
Definition: automaton_lexer.yy.c:369

◆ YY_AT_BOL

#define YY_AT_BOL ( )    (YY_CURRENT_BUFFER_LVALUE->yy_at_bol)

◆ xbt_automaton_parser_wrap

#define xbt_automaton_parser_wrap ( )    (/*CONSTCOND*/1)

◆ YY_SKIP_YYWRAP

#define YY_SKIP_YYWRAP

◆ yytext_ptr

#define yytext_ptr   xbt_automaton_parser_text

◆ YY_DO_BEFORE_ACTION

#define YY_DO_BEFORE_ACTION
Value:
xbt_automaton_parser_leng = (size_t) (yy_cp - yy_bp); \
*yy_cp = '\0'; \
char * yy_cp
Definition: automaton_lexer.yy.c:735
static char * yy_c_buf_p
Definition: automaton_lexer.yy.c:307
char * yy_bp
Definition: automaton_lexer.yy.c:735
static char yy_hold_char
Definition: automaton_lexer.yy.c:302
#define yytext_ptr
Definition: automaton_lexer.yy.c:381

◆ YY_NUM_RULES

#define YY_NUM_RULES   25

◆ YY_END_OF_BUFFER

#define YY_END_OF_BUFFER   26

◆ REJECT

#define REJECT   reject_used_but_not_detected

◆ yymore

#define yymore ( )    yymore_used_but_not_detected

◆ YY_MORE_ADJ

#define YY_MORE_ADJ   0

◆ YY_RESTORE_YY_MORE_OFFSET

#define YY_RESTORE_YY_MORE_OFFSET

◆ YY_NO_UNISTD_H

#define YY_NO_UNISTD_H   /* hello Windows */

◆ INITIAL

#define INITIAL   0

◆ YY_EXTRA_TYPE

#define YY_EXTRA_TYPE   void *

◆ YY_READ_BUF_SIZE

#define YY_READ_BUF_SIZE   8192

◆ ECHO

#define ECHO   do { if (fwrite( xbt_automaton_parser_text, xbt_automaton_parser_leng, 1, xbt_automaton_parser_out )) {} } while (0)

◆ YY_INPUT

#define YY_INPUT (   buf,
  result,
  max_size 
)
Value:
if ( YY_CURRENT_BUFFER_LVALUE->yy_is_interactive ) \
{ \
int c = '*'; \
size_t n; \
for ( n = 0; n < max_size && \
(c = getc( xbt_automaton_parser_in )) != EOF && c != '\n'; ++n ) \
buf[n] = (char) c; \
if ( c == '\n' ) \
buf[n++] = (char) c; \
if ( c == EOF && ferror( xbt_automaton_parser_in ) ) \
YY_FATAL_ERROR( "input in flex scanner failed" ); \
result = n; \
} \
else \
{ \
errno=0; \
while ( (result = fread(buf, 1, max_size, xbt_automaton_parser_in))==0 && ferror(xbt_automaton_parser_in)) \
{ \
if( errno != EINTR) \
{ \
YY_FATAL_ERROR( "input in flex scanner failed" ); \
break; \
} \
errno=0; \
} \
}\
\
void int MPI_Datatype int MPI_Aint int MPI_Datatype MPI_Op MPI_Win win void int MPI_Datatype void int MPI_Datatype MPI_Comm comm MPI_Aint MPI_Info void baseptr void int MPI_Datatype void int MPI_Datatype MPI_Comm comm MPI_Comm int keyval MPI_Comm int void attr_value void * buf
Definition: smpi_mpi.cpp:50
void int MPI_Datatype int MPI_Aint int MPI_Datatype MPI_Op MPI_Win win void int MPI_Datatype void int MPI_Datatype MPI_Comm comm MPI_Aint MPI_Info void baseptr void int MPI_Datatype void int MPI_Datatype MPI_Comm comm MPI_Comm int keyval MPI_Comm int void attr_value void int MPI_Datatype int MPI_Comm comm MPI_Comm int int int int MPI_Comm comm_cart MPI_Comm int int int int coords MPI_Comm int int int int dest MPI_Comm MPI_Comm int * result
Definition: smpi_mpi.cpp:58
#define YY_CURRENT_BUFFER_LVALUE
Definition: automaton_lexer.yy.c:299
int int errorclass int flag void baseptr void int MPI_Datatype void int int MPI_Datatype int MPI_Comm comm MPI_Status MPI_Datatype int count char int resultlen void int MPI_Datatype int MPI_Aint int MPI_Datatype MPI_Win win void void MPI_Datatype int MPI_Aint MPI_Op MPI_Win win MPI_Group MPI_Group MPI_Group newgroup MPI_Group group MPI_Group MPI_Group MPI_Group newgroup MPI_Group int n
Definition: smpi_mpi.cpp:99
FILE * xbt_automaton_parser_in
Definition: automaton_lexer.yy.c:369

◆ yyterminate

#define yyterminate ( )    return YY_NULL

◆ YY_START_STACK_INCR

#define YY_START_STACK_INCR   25

◆ YY_FATAL_ERROR

#define YY_FATAL_ERROR (   msg)    yy_fatal_error( msg )

◆ YY_DECL_IS_OURS

#define YY_DECL_IS_OURS   1

◆ YY_DECL

#define YY_DECL   int xbt_automaton_parser_lex (void)

◆ YY_USER_ACTION

#define YY_USER_ACTION

◆ YY_BREAK

#define YY_BREAK   /*LINTED*/break;

◆ YY_RULE_SETUP

#define YY_RULE_SETUP   YY_USER_ACTION

◆ YY_EXIT_FAILURE

#define YY_EXIT_FAILURE   2

◆ yyless [2/2]

#define yyless (   n)
Value:
do \
{ \
/* Undo effects of setting up xbt_automaton_parser_text. */ \
int yyless_macro_arg = (n); \
YY_LESS_LINENO(yyless_macro_arg);\
xbt_automaton_parser_text[xbt_automaton_parser_leng] = (yy_hold_char); \
(yy_c_buf_p) = xbt_automaton_parser_text + yyless_macro_arg; \
*(yy_c_buf_p) = '\0'; \
xbt_automaton_parser_leng = yyless_macro_arg; \
} \
while ( 0 )
static char * yy_c_buf_p
Definition: automaton_lexer.yy.c:307
int int errorclass int flag void baseptr void int MPI_Datatype void int int MPI_Datatype int MPI_Comm comm MPI_Status MPI_Datatype int count char int resultlen void int MPI_Datatype int MPI_Aint int MPI_Datatype MPI_Win win void void MPI_Datatype int MPI_Aint MPI_Op MPI_Win win MPI_Group MPI_Group MPI_Group newgroup MPI_Group group MPI_Group MPI_Group MPI_Group newgroup MPI_Group int n
Definition: smpi_mpi.cpp:99
static char yy_hold_char
Definition: automaton_lexer.yy.c:302
char * xbt_automaton_parser_text
Definition: automaton_lexer.yy.c:529
yy_size_t xbt_automaton_parser_leng
Definition: automaton_lexer.yy.c:304

◆ YYTABLES_NAME

#define YYTABLES_NAME   "yytables"

Typedef Documentation

◆ flex_int8_t

typedef signed char flex_int8_t

◆ flex_int16_t

typedef short int flex_int16_t

◆ flex_int32_t

typedef int flex_int32_t

◆ flex_uint8_t

typedef unsigned char flex_uint8_t

◆ flex_uint16_t

typedef unsigned short int flex_uint16_t

◆ flex_uint32_t

typedef unsigned int flex_uint32_t

◆ YY_BUFFER_STATE

◆ yy_size_t

typedef size_t yy_size_t

◆ YY_CHAR

typedef unsigned char YY_CHAR

◆ yy_state_type

typedef int yy_state_type

Function Documentation

◆ xbt_automaton_parser_restart()

void xbt_automaton_parser_restart ( FILE *  input_file)

◆ xbt_automaton_parser__switch_to_buffer()

void xbt_automaton_parser__switch_to_buffer ( YY_BUFFER_STATE  new_buffer)

◆ xbt_automaton_parser__create_buffer()

YY_BUFFER_STATE xbt_automaton_parser__create_buffer ( FILE *  file,
int  size 
)

◆ xbt_automaton_parser__delete_buffer()

void xbt_automaton_parser__delete_buffer ( YY_BUFFER_STATE  b)

◆ xbt_automaton_parser__flush_buffer()

void xbt_automaton_parser__flush_buffer ( YY_BUFFER_STATE  b)

◆ xbt_automaton_parser_push_buffer_state()

void xbt_automaton_parser_push_buffer_state ( YY_BUFFER_STATE  new_buffer)

◆ xbt_automaton_parser_pop_buffer_state()

void xbt_automaton_parser_pop_buffer_state ( void  )

◆ xbt_automaton_parser_ensure_buffer_stack()

static void xbt_automaton_parser_ensure_buffer_stack ( void  )
static

◆ xbt_automaton_parser__load_buffer_state()

static void xbt_automaton_parser__load_buffer_state ( void  )
static

◆ xbt_automaton_parser__init_buffer()

static void xbt_automaton_parser__init_buffer ( YY_BUFFER_STATE  b,
FILE *  file 
)
static

◆ xbt_automaton_parser__scan_buffer()

YY_BUFFER_STATE xbt_automaton_parser__scan_buffer ( char *  base,
yy_size_t  size 
)

◆ xbt_automaton_parser__scan_string()

YY_BUFFER_STATE xbt_automaton_parser__scan_string ( yyconst char *  yy_str)

◆ xbt_automaton_parser__scan_bytes()

YY_BUFFER_STATE xbt_automaton_parser__scan_bytes ( yyconst char *  bytes,
yy_size_t  len 
)

◆ xbt_automaton_parser_alloc()

void* xbt_automaton_parser_alloc ( yy_size_t  )

◆ xbt_automaton_parser_realloc()

void* xbt_automaton_parser_realloc ( void ,
yy_size_t   
)

◆ xbt_automaton_parser_free()

void xbt_automaton_parser_free ( void )

◆ yy_get_previous_state()

static yy_state_type yy_get_previous_state ( void  )
static

◆ yy_try_NUL_trans()

static yy_state_type yy_try_NUL_trans ( yy_state_type  current_state)
static

◆ yy_get_next_buffer()

static int yy_get_next_buffer ( void  )
static

◆ yy_fatal_error()

static void yy_fatal_error ( yyconst char  msg[])
static

◆ yy_init_globals()

static int yy_init_globals ( void  )
static

◆ xbt_automaton_parser_lex_destroy()

int xbt_automaton_parser_lex_destroy ( void  )

◆ xbt_automaton_parser_get_debug()

int xbt_automaton_parser_get_debug ( void  )

◆ xbt_automaton_parser_set_debug()

void xbt_automaton_parser_set_debug ( int  debug_flag)

◆ xbt_automaton_parser_get_extra()

YY_EXTRA_TYPE xbt_automaton_parser_get_extra ( void  )

◆ xbt_automaton_parser_set_extra()

void xbt_automaton_parser_set_extra ( YY_EXTRA_TYPE  user_defined)

◆ xbt_automaton_parser_get_in()

FILE* xbt_automaton_parser_get_in ( void  )

◆ xbt_automaton_parser_set_in()

void xbt_automaton_parser_set_in ( FILE *  _in_str)

◆ xbt_automaton_parser_get_out()

FILE* xbt_automaton_parser_get_out ( void  )

◆ xbt_automaton_parser_set_out()

void xbt_automaton_parser_set_out ( FILE *  _out_str)

◆ xbt_automaton_parser_get_leng()

yy_size_t xbt_automaton_parser_get_leng ( void  )

◆ xbt_automaton_parser_get_text()

char* xbt_automaton_parser_get_text ( void  )

◆ xbt_automaton_parser_get_lineno()

int xbt_automaton_parser_get_lineno ( void  )

◆ xbt_automaton_parser_set_lineno()

void xbt_automaton_parser_set_lineno ( int  _line_number)

◆ yyunput()

static void yyunput ( int  c,
char *  buf_ptr 
)
static

◆ input()

static int input ( void  )
static

◆ xbt_automaton_parser_lex()

int xbt_automaton_parser_lex ( void  )

◆ if()

if ( yy_init)

Variable Documentation

◆ xbt_automaton_parser_leng

yy_size_t xbt_automaton_parser_leng

◆ xbt_automaton_parser_in

FILE * xbt_automaton_parser_in = (FILE *) 0

◆ xbt_automaton_parser_out

FILE * xbt_automaton_parser_out = (FILE *) 0

◆ yy_buffer_stack_top

size_t yy_buffer_stack_top = 0
static

index of top of stack.

◆ yy_buffer_stack_max

size_t yy_buffer_stack_max = 0
static

capacity of stack.

◆ yy_buffer_stack

YY_BUFFER_STATE* yy_buffer_stack = 0
static

Stack as an array.

◆ yy_hold_char

char yy_hold_char
static

◆ yy_n_chars

int yy_n_chars
static

◆ yy_c_buf_p

char* yy_c_buf_p = (char *) 0
static

◆ yy_init

int yy_init = 0
static

◆ yy_start

int yy_start = 0
static

◆ yy_did_buffer_switch_on_eof

int yy_did_buffer_switch_on_eof
static

◆ xbt_automaton_parser_lineno

int xbt_automaton_parser_lineno = 1

◆ xbt_automaton_parser_text

char * xbt_automaton_parser_text

◆ yy_accept

yyconst flex_int16_t yy_accept[54]
static
Initial value:
=
{ 0,
0, 0, 26, 24, 18, 23, 8, 24, 24, 9,
10, 24, 24, 20, 14, 12, 13, 22, 22, 22,
22, 22, 15, 24, 16, 18, 0, 0, 21, 0,
6, 4, 0, 0, 20, 11, 22, 3, 22, 2,
22, 7, 0, 0, 0, 19, 22, 22, 17, 5,
22, 1, 0
}

◆ yy_ec

yyconst YY_CHAR yy_ec[256]
static

◆ yy_meta

yyconst YY_CHAR yy_meta[34]
static
Initial value:
=
{ 0,
1, 1, 2, 2, 1, 2, 1, 1, 1, 1,
1, 1, 3, 4, 4, 1, 1, 1, 4, 2,
4, 4, 4, 4, 4, 4, 4, 4, 4, 4,
1, 1, 1
}

◆ yy_base

yyconst flex_uint16_t yy_base[57]
static
Initial value:
=
{ 0,
0, 0, 89, 90, 32, 90, 90, 34, 81, 90,
90, 69, 76, 27, 31, 69, 90, 0, 59, 56,
58, 55, 90, 42, 90, 45, 47, 0, 0, 0,
90, 90, 52, 43, 49, 90, 0, 0, 44, 0,
42, 90, 56, 65, 52, 56, 25, 26, 90, 0,
16, 0, 90, 74, 31, 78
}

◆ yy_def

yyconst flex_int16_t yy_def[57]
static
Initial value:
=
{ 0,
53, 1, 53, 53, 53, 53, 53, 54, 53, 53,
53, 53, 53, 53, 53, 53, 53, 55, 55, 55,
55, 55, 53, 53, 53, 53, 54, 27, 27, 27,
53, 53, 56, 53, 53, 53, 55, 55, 55, 55,
55, 53, 56, 56, 53, 53, 55, 55, 53, 55,
55, 55, 0, 53, 53, 53
}

◆ yy_nxt

yyconst flex_uint16_t yy_nxt[124]
static
Initial value:
=
{ 0,
4, 5, 6, 5, 7, 8, 9, 10, 11, 4,
12, 4, 13, 14, 15, 16, 17, 4, 18, 4,
4, 18, 19, 20, 21, 22, 18, 18, 18, 18,
23, 24, 25, 26, 37, 26, 27, 28, 34, 29,
35, 35, 34, 52, 35, 35, 26, 51, 26, 27,
28, 50, 29, 27, 44, 44, 46, 46, 44, 44,
34, 45, 35, 35, 49, 45, 27, 44, 44, 46,
46, 48, 47, 42, 45, 30, 41, 30, 43, 43,
40, 43, 39, 38, 36, 33, 32, 31, 53, 3,
53, 53, 53, 53, 53, 53, 53, 53, 53, 53,
53, 53, 53, 53, 53, 53, 53, 53, 53, 53,
53, 53, 53, 53, 53, 53, 53, 53, 53, 53,
53, 53, 53
}

◆ yy_chk

yyconst flex_int16_t yy_chk[124]
static
Initial value:
=
{ 0,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 5, 55, 5, 8, 8, 14, 8,
14, 14, 15, 51, 15, 15, 26, 48, 26, 27,
27, 47, 27, 8, 33, 33, 34, 34, 43, 43,
35, 33, 35, 35, 45, 43, 27, 44, 44, 46,
46, 41, 39, 24, 44, 54, 22, 54, 56, 56,
21, 56, 20, 19, 16, 13, 12, 9, 3, 53,
53, 53, 53, 53, 53, 53, 53, 53, 53, 53,
53, 53, 53, 53, 53, 53, 53, 53, 53, 53,
53, 53, 53, 53, 53, 53, 53, 53, 53, 53,
53, 53, 53
}

◆ yy_last_accepting_state

yy_state_type yy_last_accepting_state
static

◆ yy_last_accepting_cpos

char* yy_last_accepting_cpos
static

◆ xbt_automaton_parser__flex_debug

int xbt_automaton_parser__flex_debug = 0

◆ yylval

YYSTYPE yylval

◆ YY_DECL

YY_DECL
Initial value:
{
yy_state_type yy_current_state
int yy_state_type
Definition: simgrid_dtd.c:375

The main scanner function which does all the work.

◆ yy_cp

char* yy_cp

◆ yy_bp

char * yy_bp

◆ yy_act

int yy_act