cprover
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_UTIL_JSON_EXPR_H
13
#define CPROVER_UTIL_JSON_EXPR_H
14
15
#include "
json.h
"
16
17
class
source_locationt
;
18
class
typet
;
19
class
exprt
;
20
class
namespacet
;
21
22
json_objectt
json
(
23
const
exprt
&,
24
const
namespacet
&);
25
26
json_objectt
json
(
27
const
typet
&,
28
const
namespacet
&);
29
30
json_objectt
json
(
const
source_locationt
&);
31
32
#endif // CPROVER_UTIL_JSON_EXPR_H
typet
The type of an expression.
Definition:
type.h:20
json_objectt
Definition:
json.h:188
json
json_objectt json(const exprt &, const namespacet &)
Definition:
json_expr.cpp:147
json.h
namespacet
TO_BE_DOCUMENTED.
Definition:
namespace.h:62
source_locationt
Definition:
source_location.h:16
exprt
Base class for all expressions.
Definition:
expr.h:46
util
json_expr.h
Generated by
1.8.14