convert_character_literal.h

Go to the documentation of this file.

/*******************************************************************\
 
Module: C++ Language Conversion
 
Author: Daniel Kroening, kroening@kroening.com
 
\*******************************************************************/
 
 
#ifndef CPROVER_ANSI_C_LITERALS_CONVERT_CHARACTER_LITERAL_H
#define CPROVER_ANSI_C_LITERALS_CONVERT_CHARACTER_LITERAL_H
 
#include <string>
 
#include <util/expr.h>
 
// Ugh. Characters have type 'int' in C, but type
// 'char' in C++.
 
exprt convert_character_literal(
  const std::string &src,
  bool force_integer_type,
  const source_locationt &source_location);
 
#endif // CPROVER_ANSI_C_LITERALS_CONVERT_CHARACTER_LITERAL_H