ParserIdList Struct Reference
The header file of ParserIdList class.
More...
#include <ParserIdList.h>
Related Functions |
(Note that these are not member functions.)
|
void | parser_id_list_add_id (ParserIdList_ptr self, node_ptr name) |
| The private header file of ParserIdList class.
|
node_ptr | parser_id_list_mk_array (ParserIdList_ptr self, node_ptr l, node_ptr r) |
node_ptr | parser_id_list_mk_atom (ParserIdList_ptr self, const char *name) |
node_ptr | parser_id_list_mk_bit (ParserIdList_ptr self, node_ptr left, int suffix) |
node_ptr | parser_id_list_mk_dot (ParserIdList_ptr self, node_ptr l, node_ptr r) |
node_ptr | parser_id_list_mk_num (ParserIdList_ptr self, const int num) |
ParserIdList_ptr | ParserIdList_create (const NuSMVEnv_ptr env) |
void | ParserIdList_destroy (ParserIdList_ptr self) |
NodeList_ptr | ParserIdList_get_id_list (const ParserIdList_ptr self) |
| Returns the list of variables read by the parser.
|
void | ParserIdList_parse_from_file (ParserIdList_ptr self, FILE *f) |
void | ParserIdList_parse_from_string (ParserIdList_ptr self, const char *str) |
void | ParserIdList_reset (ParserIdList_ptr self) |
Detailed Description
The header file of ParserIdList class.
- Author:
- Roberto Cavada
- Todo:
- : Missing description
- Todo:
- Missing synopsis
- Todo:
- Missing description
Friends And Related Function Documentation
The private header file of ParserIdList class.
- Author:
- Roberto Cavada
- Todo:
- : Missing description
node_ptr parser_id_list_mk_array |
( |
ParserIdList_ptr |
self, |
|
|
node_ptr |
l, |
|
|
node_ptr |
r | |
|
) |
| | [related] |
node_ptr parser_id_list_mk_atom |
( |
ParserIdList_ptr |
self, |
|
|
const char * |
name | |
|
) |
| | [related] |
node_ptr parser_id_list_mk_bit |
( |
ParserIdList_ptr |
self, |
|
|
node_ptr |
left, |
|
|
int |
suffix | |
|
) |
| | [related] |
node_ptr parser_id_list_mk_dot |
( |
ParserIdList_ptr |
self, |
|
|
node_ptr |
l, |
|
|
node_ptr |
r | |
|
) |
| | [related] |
node_ptr parser_id_list_mk_num |
( |
ParserIdList_ptr |
self, |
|
|
const int |
num | |
|
) |
| | [related] |
Returns the list of variables read by the parser.
Returned list is owned by self, and should not be changed or destroyed
void ParserIdList_parse_from_string |
( |
ParserIdList_ptr |
self, |
|
|
const char * |
str | |
|
) |
| | [related] |
The documentation for this struct was generated from the following files: