value_kinds.h

Go to the documentation of this file.

#pragma once
 
#include <nlohmann/json.hpp>
 
#include <set>
#include <string>
#include <utility>
#include <vector>

class value_kinds
{
public:
  explicit value_kinds(const nlohmann::json &module);

  bool diverges(const nlohmann::json &expr, const nlohmann::json &scope);

  const nlohmann::json &scope_of(const std::string &function_name) const;
 
private:
  using scoped = std::pair<const nlohmann::json *, const nlohmann::json *>;
 
  void kinds_of(
    const nlohmann::json &expr,
    const nlohmann::json &scope,
    std::set<std::string> &out,
    unsigned depth);
  void call_kinds(
    const nlohmann::json &call,
    const nlohmann::json &scope,
    std::set<std::string> &out,
    unsigned depth);
  std::vector<scoped>
  name_values(const std::string &name, const nlohmann::json &scope) const;
  std::vector<scoped> callees(
    const nlohmann::json &callee,
    const nlohmann::json &scope,
    unsigned depth) const;
  void parameter_values(
    const nlohmann::json &def,
    const std::string &name,
    std::vector<scoped> &out) const;
  const nlohmann::json *top_level_def(const std::string &name) const;
  const nlohmann::json *enclosing_scope(const nlohmann::json &call) const;
 
  const nlohmann::json &module_;
};