verilog_const_parser.h

Go to the documentation of this file.

// -- Hongce Zhang (hongcez@princeton.edu)

#ifndef ILANG_VERILOG_IN_VERILOG_CONST_PARSER_H__
#define ILANG_VERILOG_IN_VERILOG_CONST_PARSER_H__

#include <map>
#include <string>
#include <vector>

extern "C" {
#include <verilogparser/verilog_ast.h>
}

namespace ilang {

class VerilogConstantExprEval {
public:
  // --------------------- Type Definitions ---------------------------- //
  typedef std::pair<ast_module_declaration*, ast_module_instantiation*>
      param_hier_item_t;
  typedef std::vector<param_hier_item_t> param_def_hierarchy;
  typedef std::map<std::string, double> named_parameter_dict_t;
  typedef std::vector<double> ordered_parameter_dict_t;

protected:
  bool eval_error;
  std::string error_str;
  named_parameter_dict_t current_module_param_defs;
  // --------------------- HELPER FUNC ---------------------------- //
  double virtual _eval(ast_expression* e,
                       const named_parameter_dict_t& param_defs);
  void ParseCurrentModuleParameters(
      ast_module_declaration* m,
      const named_parameter_dict_t& named_parameter_override,
      const ordered_parameter_dict_t& ordered_parameter_override,
      named_parameter_dict_t& output_parameter_dict);

public:
  // --------------------- CONSTRUCTOR ---------------------------- //
  VerilogConstantExprEval();
  void PopulateParameterDefByHierarchy(const param_def_hierarchy& hier,
                                       ast_module_declaration* current_module);
  double Eval(ast_expression* _s);
  bool error() const;
}; // class VerilogConstantExprEval

}; // namespace ilang

#endif // ILANG_VERILOG_IN_VERILOG_CONST_PARSER_H__