summaryrefslogtreecommitdiff
path: root/src/include/main_bindings.hpp
blob: 016b2f279213209ee0e96903a411956345c6585c (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
37
38
39
40
/*
 */
#ifndef _MAIN_BINDINGS_HPP_
#define _MAIN_BINDINGS_HPP_

#include <string>

namespace AST {
    class Crate;
    class Flat;
}

/// Parse a crate from the given file
extern AST::Crate Parse_Crate(::std::string mainfile);


extern void Expand(::AST::Crate& crate);

/// Process #[] decorators
extern void Process_Decorators(AST::Crate& crate);


/// Resolve all in-text paths to absolute variants
extern void ResolvePaths(AST::Crate& crate);
/// Check that generic bounds are valid
extern void Typecheck_GenericBounds(AST::Crate& crate);
/// Check that parameters for generics are valid
extern void Typecheck_GenericParams(AST::Crate& crate);
/// Type resolution (and hence checking) for expressions
extern void Typecheck_Expr(AST::Crate& crate);

/// Convert the AST to a flat tree
extern AST::Flat Convert_Flatten(const AST::Crate& crate);


/// Dump the crate as annotated rust
extern void Dump_Rust(const char *Filename, const AST::Crate& crate);

#endif