format_strings.h

Go to the documentation of this file.

/*******************************************************************\
 
Module: Format String Parser
 
Author: CM Wintersteiger
 
\*******************************************************************/
 
 
#ifndef CPROVER_GOTO_PROGRAMS_FORMAT_STRINGS_H
#define CPROVER_GOTO_PROGRAMS_FORMAT_STRINGS_H
 
#include <util/irep.h>
#include <util/mp_arith.h>
 
#include <list>
#include <optional>
#include <string>
 
class typet;
 
class format_tokent
{
public:
  enum class token_typet
  {
    UNKNOWN,
    TEXT,
    INT,    // d, i, o, u, x
    FLOAT,  // a, e, f, g
    CHAR,   // c
    STRING, // s
    POINTER // p
  };
 
  enum class flag_typet
  {
    ALTERNATE,
    ZERO_PAD,
    LEFT_ADJUST,
    SIGNED_SPACE,
    SIGN,
    ASTERISK
  };
 
  enum class length_modifierst
  {
    LEN_undef,
    LEN_h,
    LEN_hh,
    LEN_l,
    LEN_ll,
    LEN_L,
    LEN_j,
    LEN_t
  };
 
  enum class representationt
  {
    SIGNED_undef,
    SIGNED_DEC,
    UNSIGNED_DEC,
    UNSIGNED_OCT,
    UNSIGNED_HEX
  };
 
  explicit format_tokent(token_typet _type)
    : type(_type),
      length_modifier(length_modifierst::LEN_undef),
      representation(representationt::SIGNED_undef)
  {
  }
  format_tokent()
    : type(token_typet::UNKNOWN),
      length_modifier(length_modifierst::LEN_undef),
      representation(representationt::SIGNED_undef)
  {
  }
 
  token_typet type;
  std::list<flag_typet> flags;
  mp_integer field_width;
  mp_integer precision;
  length_modifierst length_modifier;
  representationt representation;
  irep_idt value; // for text and pattern matching
};
 
typedef std::list<format_tokent> format_token_listt;
 
format_token_listt parse_format_string(const std::string &);
 
std::optional<typet> get_type(const format_tokent &);
 
#endif // CPROVER_GOTO_PROGRAMS_FORMAT_STRINGS_H