cprover
Loading...
Searching...
No Matches
convert_character_literal.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: C++ Language Conversion
4
5Author: 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
23 const std::string &src,
24 bool force_integer_type);
25
26#endif // CPROVER_ANSI_C_LITERALS_CONVERT_CHARACTER_LITERAL_H
Base class for all expressions.
Definition expr.h:54
exprt convert_character_literal(const std::string &src, bool force_integer_type)