function_values.h

Go to the documentation of this file.

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

class function_values
{
public:
  struct candidate
  {
    const nlohmann::json *def;
    const nlohmann::json *module;
  };

  function_values(
    const nlohmann::json &module,
    const std::vector<const nlohmann::json *> &others);

  std::optional<std::vector<candidate>> of(const nlohmann::json &expr);

  std::optional<std::vector<const nlohmann::json *>>
  parameter_arguments(const nlohmann::json &name);
 
private:
  using chaint = std::vector<const nlohmann::json *>;
  using valuet = std::pair<const nlohmann::json *, chaint>;

  const nlohmann::json *locate(const nlohmann::json &expr, chaint &chain);
 
  bool resolve(
    const nlohmann::json &expr,
    const chaint &chain,
    std::vector<candidate> &out,
    unsigned depth);
  bool name_values(
    const nlohmann::json &name,
    const chaint &chain,
    std::vector<valuet> &values,
    std::vector<candidate> &out);
  bool local_values(
    const nlohmann::json &name,
    const chaint &chain,
    std::vector<valuet> &values);
  bool module_name_values(
    const nlohmann::json &name,
    const chaint &chain,
    std::vector<valuet> &values,
    std::vector<candidate> &out);
  bool parameter_values(
    const nlohmann::json &def,
    const chaint &chain,
    const std::string &name,
    std::vector<valuet> &values);
  std::optional<std::vector<std::pair<const nlohmann::json *, std::string>>>
  callers_of(const nlohmann::json &def, const nlohmann::json &module) const;
  bool bound_arguments(
    const nlohmann::json &module,
    const nlohmann::json *scope,
    const std::string &callee,
    const nlohmann::json &args,
    std::size_t index,
    const std::string &name,
    std::vector<valuet> &values) const;
  bool
  only_called(const nlohmann::json &def, const nlohmann::json &module) const;
  bool element_values(
    const nlohmann::json &subscript,
    const chaint &chain,
    std::vector<valuet> &values);
  bool returned_values(
    const std::vector<candidate> &callees,
    std::vector<valuet> &values);
  bool imported_function(
    const nlohmann::json &module,
    const nlohmann::json &import_from,
    const nlohmann::json &alias,
    std::vector<candidate> &out);
  bool mentioned_elsewhere(
    const nlohmann::json &module,
    const std::string &name) const;
 
  const nlohmann::json &module_;
  std::vector<const nlohmann::json *> others_;
  std::map<std::string, nlohmann::json> loaded_;
};