blob: 6c898627b7042508afae5f0cf1cbe1d6147c0018 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
|
/**
** \file overload/liboverload.hh
** \brief Declare functions and variables exported by overload module.
*/
#pragma once
#include <ast/fwd.hh>
#include <misc/error.hh>
#include <overload/binder.hh>
/**
** \brief Perform type checking, allowing function overloading.
*/
namespace overload
{
/** \brief Bind identifier uses to their definition, allowing
function overloading, and return a list of potential definition
sites for each function call.
\param tree AST to bind.
\return a pair whose first element is the potential function
bindings, and the second element the error status. */
std::pair<overfun_bindings_type, misc::error> bind(ast::Ast& tree);
/** \brief Check types allowing function overloading.
\param tree abstract syntax tree's root.
\param overfun_bindings potential function bindings.
\return success of the type-checking. */
misc::error types_check(ast::Ast& tree,
const overfun_bindings_type& overfun_bindings);
} // namespace overload
|
