cprover
Loading...
Searching...
No Matches
convert_character_literal.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: C++ Language Conversion
4
5
Author: Daniel Kroening, kroening@kroening.com
6
7
\*******************************************************************/
8
11
12
#ifndef CPROVER_ANSI_C_LITERALS_CONVERT_CHARACTER_LITERAL_H
13
#define CPROVER_ANSI_C_LITERALS_CONVERT_CHARACTER_LITERAL_H
14
15
#include <string>
16
17
#include <
util/expr.h
>
18
19
// Ugh. Characters have type 'int' in C, but type
20
// 'char' in C++.
21
22
exprt
convert_character_literal
(
23
const
std::string &src,
24
bool
force_integer_type,
25
const
source_locationt
&source_location);
26
27
#endif
// CPROVER_ANSI_C_LITERALS_CONVERT_CHARACTER_LITERAL_H
exprt
Base class for all expressions.
Definition
expr.h:56
source_locationt
Definition
source_location.h:20
convert_character_literal
exprt convert_character_literal(const std::string &src, bool force_integer_type, const source_locationt &source_location)
Definition
convert_character_literal.cpp:21
expr.h
ansi-c
literals
convert_character_literal.h
Generated by
1.14.0