summaryrefslogtreecommitdiff
path: root/src/hir/expr_ptr.hpp
blob: 97991bf20246ea2d07f5a7ec4bb1c00fd32e341a (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
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
/*
 * MRustC - Rust Compiler
 * - By John Hodge (Mutabah/thePowersGang)
 *
 * hir/expr_ptr.hpp
 * - HIR Expression
 */
#pragma once
#include <memory>
#include <vector>
#include <cassert>

#include <mir/mir_ptr.hpp>

namespace HIR {

class TypeRef;
class ExprNode;

class ExprPtrInner
{
    ::HIR::ExprNode* ptr;
public:
    ExprPtrInner():
        ptr(nullptr)
    {}
    ExprPtrInner(::std::unique_ptr< ::HIR::ExprNode> _);
    ExprPtrInner(ExprPtrInner&& x):
        ptr(x.ptr)
    {
        x.ptr = nullptr;
    }
    ~ExprPtrInner();

    ExprPtrInner& operator=(ExprPtrInner&& x)
    {
        this->~ExprPtrInner();
        ptr = x.ptr;
        x.ptr = nullptr;
        return *this;
    }

    ::std::unique_ptr< ::HIR::ExprNode> into_unique();
    operator bool () const { return ptr != nullptr; }
    ::HIR::ExprNode* get() const { return ptr; }
    void reset(::HIR::ExprNode* p) {
        this->~ExprPtrInner();
        this->ptr = p;
    }

          ::HIR::ExprNode& operator*()       { assert(ptr); return *ptr; }
    const ::HIR::ExprNode& operator*() const { assert(ptr); return *ptr; }
          ::HIR::ExprNode* operator->()       { assert(ptr); return ptr; }
    const ::HIR::ExprNode* operator->() const { assert(ptr); return ptr; }
};

class ExprPtr
{
    ::HIR::ExprPtrInner node;

public:
    ::std::vector< ::HIR::TypeRef>  m_bindings;
    ::std::vector< ::HIR::TypeRef>  m_erased_types;
    ::MIR::FunctionPointer  m_mir;

public:
    ExprPtr() {}
    ExprPtr(::std::unique_ptr< ::HIR::ExprNode> _);

    ::std::unique_ptr< ::HIR::ExprNode> into_unique();
    operator bool () const { return node; }
    ::HIR::ExprNode* get() const { return node.get(); }
    void reset(::HIR::ExprNode* p) { node.reset(p); }

          ::HIR::ExprNode& operator*()       { return *node; }
    const ::HIR::ExprNode& operator*() const { return *node; }
          ::HIR::ExprNode* operator->()       { return &*node; }
    const ::HIR::ExprNode* operator->() const { return &*node; }
};

}   // namespace HIR