verilog_parser.cpp

/*******************************************************************\

Module:

Author: Daniel Kroening, kroening@kroening.com

\*******************************************************************/

#include "verilog_parser.h"

#include <util/cout_message.h>
#include <util/unicode.h>

#include <fstream>
#include <iostream>
#include <stdio.h>

verilog_parsert *verilog_parser_ptr = nullptr;
verilog_scopest verilog_scopes;

/*******************************************************************\

Function: verilog_parsert::scopes

  Inputs:

 Outputs:

 Purpose:

\*******************************************************************/

verilog_scopest &verilog_parsert::scopes()
{
  return verilog_scopes;
}

/*******************************************************************\

Function:

  Inputs:

 Outputs:

 Purpose:

\*******************************************************************/

bool parse_verilog_file(
  const std::string &filename,
  verilog_standardt standard,
  verilog_scopest &scopes)
{
  std::ifstream in(widen_if_needed(filename));
  console_message_handlert console_message_handler;

  verilog_parsert verilog_parser(standard, console_message_handler);

  verilog_parser.set_file(filename);

  if(filename=="")
    verilog_parser.in=&std::cin;
  else
  {
    if(!in)
    {
      std::cerr << "failed to open " << filename << std::endl;
      return true;
    }

    verilog_parser.in=&in;
  }

  return verilog_parser.parse();
}