#include <stdio.h>
#include <string.h>
#include <errno.h>
#include <stdlib.h>
#include "MPoly_lex.hpp"
#include <unistd.h>
#define BEGIN (yy_start) = 1 + 2 * |
#define EOB_ACT_CONTINUE_SCAN 0 |
#define EOB_ACT_END_OF_FILE 1 |
#define EOB_ACT_LAST_MATCH 2 |
#define INT16_MAX (32767) |
#define INT16_MIN (-32767-1) |
#define INT32_MAX (2147483647) |
#define INT32_MIN (-2147483647-1) |
#define REJECT reject_used_but_not_detected |
#define UINT16_MAX (65535U) |
#define UINT32_MAX (4294967295U) |
#define YY_BUF_SIZE 16384 |
#define YY_BUFFER_EOF_PENDING 2 |
#define YY_BUFFER_NORMAL 1 |
#define YY_CURRENT_BUFFER |
Value:( (yy_buffer_stack) \
? (yy_buffer_stack)[(yy_buffer_stack_top)] \
: NULL)
#define YY_CURRENT_BUFFER_LVALUE (yy_buffer_stack)[(yy_buffer_stack_top)] |
#define YY_DECL_IS_OURS 1 |
#define YY_DO_BEFORE_ACTION |
Value:
(yy_hold_char) = *
yy_cp; \
register char * yy_cp
Definition: lex.mpoly.c:681
register char * yy_bp
Definition: lex.mpoly.c:681
int mpolyleng
Definition: lex.mpoly.c:302
#define yytext_ptr
Definition: lex.mpoly.c:373
#define YY_END_OF_BUFFER 8 |
#define YY_END_OF_BUFFER_CHAR 0 |
#define YY_EXIT_FAILURE 2 |
#define YY_EXTRA_TYPE void * |
#define YY_FATAL_ERROR |
( |
|
msg | ) |
yy_fatal_error( msg ) |
#define YY_FLEX_MAJOR_VERSION 2 |
#define YY_FLEX_MINOR_VERSION 5 |
#define YY_FLEX_SUBMINOR_VERSION 35 |
#define yy_init_buffer mpoly_init_buffer |
#define YY_INPUT |
( |
|
buf, |
|
|
|
result, |
|
|
|
max_size |
|
) |
| |
Value:
{ \
size_t n; \
for ( n = 0; n < max_size && \
(c = getc(
mpolyin )) != EOF && c !=
'\n'; ++n ) \
buf[n] = (char) c; \
buf[n++] = (char) c; \
result = n; \
} \
else \
{ \
break; \
} \
errno=0; \
} \
}\
\
#define YY_FATAL_ERROR(msg)
Definition: lex.mpoly.c:645
size_t size_t MSKwchart MSKCONST char * input
Definition: mosek.h:4929
if(!(yy_init))
Definition: lex.mpoly.c:689
while(1)
Definition: lex.mpoly.c:715
FILE * mpolyin
Definition: lex.mpoly.c:364
MSKrealt * c
Definition: mosek.h:2678
#define YY_CURRENT_BUFFER_LVALUE
Definition: lex.mpoly.c:297
#define YY_INT_ALIGNED short int |
#define YY_LESS_LINENO |
( |
|
n | ) |
|
#define yy_load_buffer_state mpoly_load_buffer_state |
#define YY_READ_BUF_SIZE 8192 |
#define YY_RESTORE_YY_MORE_OFFSET |
#define YY_SC_TO_UI |
( |
|
c | ) |
((unsigned int) (unsigned char) c) |
#define yy_set_bol |
( |
|
at_bol | ) |
|
Value:
mpolyensure_buffer_stack ();
\
}
#define YY_CURRENT_BUFFER
Definition: lex.mpoly.c:290
#define YY_BUF_SIZE
Definition: lex.mpoly.c:170
if(!(yy_init))
Definition: lex.mpoly.c:689
FILE * mpolyin
Definition: lex.mpoly.c:364
#define YY_CURRENT_BUFFER_LVALUE
Definition: lex.mpoly.c:297
YY_BUFFER_STATE mpoly_create_buffer(FILE *file, int size)
Definition: lex.mpoly.c:1322
#define yy_set_interactive |
( |
|
is_interactive | ) |
|
Value:
mpolyensure_buffer_stack ();
\
}
#define YY_CURRENT_BUFFER
Definition: lex.mpoly.c:290
#define YY_BUF_SIZE
Definition: lex.mpoly.c:170
if(!(yy_init))
Definition: lex.mpoly.c:689
FILE * mpolyin
Definition: lex.mpoly.c:364
#define YY_CURRENT_BUFFER_LVALUE
Definition: lex.mpoly.c:297
YY_BUFFER_STATE mpoly_create_buffer(FILE *file, int size)
Definition: lex.mpoly.c:1322
#define YY_START (((yy_start) - 1) / 2) |
#define YY_START_STACK_INCR 25 |
#define YY_STRUCT_YY_BUFFER_STATE |
#define YY_TYPEDEF_YY_BUFFER_STATE |
#define YY_TYPEDEF_YY_SIZE_T |
Value:do \
{ \
\
int yyless_macro_arg = (n);
\
#define YY_RESTORE_YY_MORE_OFFSET
Definition: lex.mpoly.c:485
#define YY_MORE_ADJ
Definition: lex.mpoly.c:484
#define YY_LESS_LINENO(n)
Definition: lex.mpoly.c:191
#define YY_DO_BEFORE_ACTION
Definition: lex.mpoly.c:383
register char * yy_cp
Definition: lex.mpoly.c:681
while(1)
Definition: lex.mpoly.c:715
register char * yy_bp
Definition: lex.mpoly.c:681
Value:do \
{ \
\
int yyless_macro_arg = (n);
\
(yy_c_buf_p) =
mpolytext + yyless_macro_arg; \
(yy_hold_char) = *(yy_c_buf_p); \
char * mpolytext
Definition: lex.mpoly.c:486
#define YY_LESS_LINENO(n)
Definition: lex.mpoly.c:191
while(1)
Definition: lex.mpoly.c:715
int mpolyleng
Definition: lex.mpoly.c:302
#define yymore |
( |
| ) |
yymore_used_but_not_detected |
#define YYTABLES_NAME "yytables" |
#define yyterminate |
( |
| ) |
return YY_NULL |
Allocate and initialize an input buffer state.
- Parameters
-
file | A readable stream. |
size | The character buffer size in bytes. When in doubt, use YY_BUF_SIZE . |
- Returns
- the allocated buffer state.
Destroy the buffer.
- Parameters
-
Discard all buffered characters. On the next scan, YY_INPUT will be called.
- Parameters
-
b | the buffer state to be flushed, usually YY_CURRENT_BUFFER . |
Setup the input buffer state to scan directly from a user-specified character buffer.
- Parameters
-
base | the character buffer |
size | the size in bytes of the character buffer |
- Returns
- the newly allocated buffer state object.
Setup the input buffer state to scan the given bytes. The next call to mpolylex() will scan from a copy of bytes.
- Parameters
-
yybytes | the byte buffer to scan |
_yybytes_len | the number of bytes in the buffer pointed to by bytes. |
- Returns
- the newly allocated buffer state object.
Setup the input buffer state to scan a string. The next call to mpolylex() will scan from a copy of str.
- Parameters
-
yystr | a NUL-terminated string to scan |
- Returns
- the newly allocated buffer state object.
- Note
- If you want to scan bytes that may contain NUL values, then use mpoly_scan_bytes() instead.
Switch to a different input buffer.
- Parameters
-
new_buffer | The new input buffer. |
int mpolyget_debug |
( |
void |
| ) |
|
FILE * mpolyget_in |
( |
void |
| ) |
|
int mpolyget_leng |
( |
void |
| ) |
|
Get the length of the current token.
int mpolyget_lineno |
( |
void |
| ) |
|
Get the current line number.
FILE * mpolyget_out |
( |
void |
| ) |
|
char * mpolyget_text |
( |
void |
| ) |
|
int mpolylex_destroy |
( |
void |
| ) |
|
Removes and deletes the top of the stack, if present. The next element becomes the new top.
Pushes the new state onto the stack. The new state becomes the current state. This function will allocate the stack if necessary.
- Parameters
-
void mpolyrestart |
( |
FILE * |
input_file | ) |
|
Immediately switch to a different input stream.
- Parameters
-
input_file | A readable stream. |
- Note
- This function does not reset the start condition to
INITIAL
.
void mpolyset_debug |
( |
int |
debug_flag | ) |
|
void mpolyset_in |
( |
FILE * |
in_str | ) |
|
Set the input stream. This does not discard the current input buffer.
- Parameters
-
- See also
- mpoly_switch_to_buffer
void mpolyset_lineno |
( |
int |
line_number | ) |
|
Set the current line number.
- Parameters
-
void mpolyset_out |
( |
FILE * |
out_str | ) |
|
int my_yyinput |
( |
char * |
buf, |
|
|
int |
max_size |
|
) |
| |
FILE * mpolyin = (FILE *) 0 |
FILE * mpolyout = (FILE *) 0 |
Initial value:{
int yy_state_type
Definition: lex.mpoly.c:366
The main scanner function which does all the work.