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
:
21
irep_idt
model_name
;
22
irept
instruction
;
23
24
virtual
bool
parse
()
25
{
26
return
yymmparse
()!=0;
27
}
28
29
virtual
void
clear
()
30
{
31
model_name.
clear
();
32
instruction.
clear
();
33
}
34
};
35
36
extern
mm_parsert
mm_parser
;
37
38
#endif // CPROVER_MEMORY_MODELS_MM_PARSER_H
mm_parsert::model_name
irep_idt model_name
Definition:
mm_parser.h:21
mm_parsert::parse
virtual bool parse()
Definition:
mm_parser.h:24
parsert
Definition:
parser.h:23
std_code.h
parser.h
Parser utilities.
yymmparse
int yymmparse()
irept
Base class for tree-like data structures with sharing.
Definition:
irep.h:87
dstringt
Definition:
dstring.h:21
mm_parser
mm_parsert mm_parser
Definition:
mm_parser.cpp:12
mm_parsert
Definition:
mm_parser.h:18
mm_parsert::instruction
irept instruction
Definition:
mm_parser.h:22
dstringt::clear
void clear()
Definition:
dstring.h:115
irept::clear
void clear()
Definition:
irep.h:241
mm_parsert::clear
virtual void clear()
Definition:
mm_parser.h:29
memory-models
mm_parser.h
Generated by
1.8.12