cprover
mm_parser.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module:
4 
5 Author: Daniel Kroening, kroening@kroening.com
6 
7 \*******************************************************************/
8 
9 
10 #ifndef CPROVER_MEMORY_MODELS_MM_PARSER_H
11 #define CPROVER_MEMORY_MODELS_MM_PARSER_H
12 
13 #include <util/parser.h>
14 #include <util/std_code.h>
15 
16 int yymmparse();
17 
18 class mm_parsert:public parsert
19 {
20 public:
23 
24  virtual bool parse()
25  {
26  return yymmparse()!=0;
27  }
28 
29  virtual void clear()
30  {
31  model_name.clear();
33  }
34 };
35 
36 extern mm_parsert mm_parser;
37 
38 #endif // CPROVER_MEMORY_MODELS_MM_PARSER_H
irep_idt model_name
Definition: mm_parser.h:21
virtual bool parse()
Definition: mm_parser.h:24
Definition: parser.h:23
Parser utilities.
int yymmparse()
Base class for tree-like data structures with sharing.
Definition: irep.h:86
mm_parsert mm_parser
Definition: mm_parser.cpp:12
irept instruction
Definition: mm_parser.h:22
void clear()
Definition: dstring.h:115
void clear()
Definition: irep.h:241
virtual void clear()
Definition: mm_parser.h:29