preprocessor_line.cpp

Go to the documentation of this file.

/*******************************************************************\
 
Module: ANSI-C Language Conversion
 
Author: Daniel Kroening, kroening@kroening.com
 
\*******************************************************************/
 
 
#include "preprocessor_line.h"
 
#include <cctype>
 
#include <util/string2int.h>
#include <util/parser.h>
 
#include "literals/unescape_string.h"
 
void preprocessor_line(
  const char *text,
  parsert &parser)
{
  const char *ptr=text;
  std::string line_number;
 
  // skip WS
  while(*ptr==' ' || *ptr=='\t') ptr++;
 
  // skip #
  if(*ptr!='#')
    return;
  ptr++;
 
  // skip WS
  while(*ptr==' ' || *ptr=='\t') ptr++;
 
  // skip "line"
  if(*ptr=='l')
  {
    while(*ptr!=0 && *ptr!=' ' && *ptr!='\t') ptr++;
  }
 
  // skip WS
  while(*ptr==' ' || *ptr=='\t') ptr++;
 
  // get line number
  while(isdigit(*ptr))
  {
    line_number+=*ptr;
    ptr++;
  }
 
  // skip until "
  while(*ptr!='\n' && *ptr!='"') ptr++;
 
  parser.set_line_no(unsafe_string2unsigned(line_number));
 
  // skip "
  if(*ptr!='"')
    return;
 
  ptr++;
 
  std::string file_name_tmp;
 
  // get file name
  while(*ptr!='\n' && *ptr!='"')
  {
    file_name_tmp+=*ptr;
    ptr++;
  }
 
  std::string file_name_tmp2=unescape_string(file_name_tmp);
  parser.set_file(file_name_tmp2);
}