verilog_parser.cpp

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

Module:

Author: Daniel Kroening, kroening@kroening.com

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

#include "verilog_parser.h"

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

#include "verilog_expr.h"

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

verilog_parsert verilog_parser;

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

Function:

  Inputs:

 Outputs:

 Purpose:

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

bool parse_verilog_file(const std::string &filename)
{
  std::ifstream in(widen_if_needed(filename));
  console_message_handlert console_message_handler;

  verilog_parser.set_file(filename);
  verilog_parser.log.set_message_handler(console_message_handler);

  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();
}

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

Function: verilog_parsert::lookup

  Inputs:

 Outputs:

 Purpose:

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

const verilog_parsert::scopet *verilog_parsert::lookup(irep_idt name) const
{
  // we start from the current scope, and walk upwards to the root
  auto scope = current_scope;
  while(scope != nullptr)
  {
    auto name_it = scope->scope_map.find(name);
    if(name_it == scope->scope_map.end())
      scope = scope->parent;
    else
      return &name_it->second; // found it
  }

  // not found, give up
  return nullptr;
}

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

Function: verilog_parsert::scopet::import_item

  Inputs:

 Outputs:

 Purpose:

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

void verilog_parsert::scopet::import_item(
  const verilog_import_itemt &import_item)
{
}