VerilogDriver.h

Go to the documentation of this file.

#ifndef VERILOGPARSER_DRIVER_H
#define VERILOGPARSER_DRIVER_H

#include "VerilogDataBase.h"

namespace VerilogParser {

using std::cout;
using std::endl;
using std::cerr;
using std::string; 
using std::vector;
using std::pair;
using std::make_pair;
using std::ostringstream;

class Driver
{
public:
    Driver(VerilogDataBase& db);

    bool trace_scanning;

    bool trace_parsing;

    string streamname;

    bool parse_stream(std::istream& in,
              const string& sname = "stream input");

    bool parse_string(const string& input,
              const string& sname = "string stream");

    bool parse_file(const string& filename);

    // To demonstrate pure handling of parse errors, instead of
    // simply dumping them on the standard error output, we will pass
    // them to the driver using the following two member functions.

    void error(const class location& l, const string& m);

    void error(const string& m);

    class Scanner* lexer;

    VerilogDataBase& m_db;

    void module_name_cbk(std::string const&, std::vector<GeneralName> const&); 
    void wire_pin_cbk(std::string&, std::string&, Range const& = Range());
    void wire_pin_cbk(int, int, std::string&);
    void wire_pin_cbk(std::vector<GeneralName>&, std::string&);
    void wire_declare_cbk(std::vector<GeneralName> const&, Range const&);
    void wire_declare_cbk(std::vector<GeneralName> const& vNetName);
    void pin_declare_cbk(std::vector<GeneralName> const&, unsigned, Range const&);
    void pin_declare_cbk(std::vector<GeneralName> const&, unsigned);
    void module_instance_cbk(std::string const&, std::string const&);
    void assignment_cbk(std::string const&, Range const&, std::string const&, Range const&); 

protected:
    vector<NetPin> m_vNetPin;
};

bool read(VerilogDataBase& db, const string& verilogFile);

} // namespace example

#endif // EXAMPLE_DRIVER_H