#include "PromelaParser.h"#include "parser/promela.tab.hpp"#include "uscxml/messages/Event.h"#include "uscxml/interpreter/Logging.h"#include <string.h>
Include dependency graph for PromelaParser.cpp:
Typedefs | |
| typedef yy_buffer_state * | YY_BUFFER_STATE |
Functions | |
| void | promela__delete_buffer (YY_BUFFER_STATE, void *) |
| Destroy the buffer. More... | |
| YY_BUFFER_STATE | promela__scan_buffer (char *, size_t, void *) |
| Setup the input buffer state to scan directly from a user-specified character buffer. More... | |
| YY_BUFFER_STATE | promela__scan_string (const char *yystr, void *) |
| void | promela_error (void *yylloc_param, uscxml::PromelaParser *ctx, void *yyscanner, const char *err) |
| int | promela_lex (PROMELA_STYPE *yylval_param, PROMELA_LTYPE *yylloc_param, void *yyscanner) |
| int | promela_lex_destroy (void *) |
| int | promela_lex_init (void **) |
Detailed Description
- Copyright
- Simplified BSD
Function Documentation
| void promela__delete_buffer | ( | YY_BUFFER_STATE | b, |
| yyscan_t | yyscanner | ||
| ) |
- Parameters
-
b a buffer created with promela__create_buffer() yyscanner The scanner object.
| YY_BUFFER_STATE promela__scan_buffer | ( | char * | base, |
| yy_size_t | size, | ||
| yyscan_t | yyscanner | ||
| ) |
- Parameters
-
base the character buffer size the size in bytes of the character buffer yyscanner The scanner object.
- Returns
- the newly allocated buffer state object.