cprover
Loading...
Searching...
No Matches
json_expr.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: Expressions in JSON
4
5
Author: Peter Schrammel
6
7
\*******************************************************************/
8
11
12
#ifndef CPROVER_GOTO_PROGRAMS_JSON_EXPR_H
13
#define CPROVER_GOTO_PROGRAMS_JSON_EXPR_H
14
15
#include <
util/irep.h
>
16
#include <
util/json.h
>
17
18
class
typet
;
19
class
exprt
;
20
class
namespacet
;
21
22
json_objectt
json
(
const
exprt
&,
const
namespacet
&,
const
irep_idt
&mode);
23
24
json_objectt
json
(
const
typet
&,
const
namespacet
&,
const
irep_idt
&mode);
25
26
#endif
// CPROVER_GOTO_PROGRAMS_JSON_EXPR_H
exprt
Base class for all expressions.
Definition
expr.h:56
json_objectt
Definition
json.h:298
namespacet
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
Definition
namespace.h:94
typet
The type of an expression, extends irept.
Definition
type.h:29
irep.h
json.h
json
json_objectt json(const exprt &, const namespacet &, const irep_idt &mode)
Output a CBMC expression in json.
Definition
json_expr.cpp:205
irep_idt
dstringt irep_idt
Definition
verification_result.h:16
goto-programs
json_expr.h
Generated by
1.13.2