cprover
xml_expr.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_UTIL_XML_EXPR_H
11 #define CPROVER_UTIL_XML_EXPR_H
12 
13 #include "xml.h"
14 
15 class source_locationt;
16 class typet;
17 class exprt;
18 class namespacet;
19 
20 xmlt xml(
21  const exprt &,
22  const namespacet &);
23 
24 xmlt xml(
25  const typet &,
26  const namespacet &);
27 
28 xmlt xml(const source_locationt &);
29 
30 #endif // CPROVER_UTIL_XML_EXPR_H
typet
The type of an expression, extends irept.
Definition: type.h:27
exprt
Base class for all expressions.
Definition: expr.h:54
xml.h
namespacet
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
Definition: namespace.h:93
xml
xmlt xml(const exprt &, const namespacet &)
Definition: xml_expr.cpp:150
xmlt
Definition: xml.h:18
source_locationt
Definition: source_location.h:20