blob: f8b914f7e2689b8bb98f1456e1c356e9962ab44e (
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
82
83
84
85
86
87
88
89
90
|
/**
** \file type/named.hh
** \brief The class Named.
*/
#pragma once
#include <misc/symbol.hh>
#include <type/fwd.hh>
#include <type/type.hh>
namespace type
{
/** \brief Named types.
**
** Named types are used when new types are defined, i.e., in
** \b Example: let type name_ = type_.
*/
class Named : public Type
{
/** \name Ctor & dtor.
** \{ */
public:
/** \brief Construct a Named type.
** \param name user defined type's identifier. */
explicit Named(misc::symbol name);
/** \brief Construct a Named type.
** \param name user defined type's identifier.
** \param type defined type's structure */
Named(misc::symbol name, const Type* type);
/** \} */
/// \name Visitors entry point.
/** \{ */
/// Accept a const visitor \a v.
void accept(ConstVisitor& v) const override;
/// Accept a non-const visitor \a v.
void accept(Visitor& v) override;
/** \} */
/** \name Accessors.
** \{ */
/// Return the user defined type's structure.
const Type* type_get() const;
/** \brief Set the defined type's structure.
**
** This is the version which is used by TypeChecker which needs to
** assign a value to the Named type. */
void type_set(const Type* type) const;
/// Return the name of this type.
misc::symbol name_get() const;
/// (Re)set the name of this type.
void name_set(misc::symbol name);
/** \} */
/** \name Type resolution.
** \{ */
/// The type pointed to ultimately.
const Type& actual() const override;
/** \brief Whether the definition of this named type is sound,
** i.e. that there is no recursive dependency. */
bool sound() const;
/** \} */
bool compatible_with(const Type& other) const override;
protected:
/// Name of the defined type.
misc::symbol name_;
/** \brief The Type pointed to.
**
** "Mutable const" because most of the time types are handled as
** const objects. But Named types are built in two steps: first
** they are built without any value for \a type_ (by
** TypeChecker::visit_dec_header <ast::TypeDec>), and then
** they are completed (by TypeChecker::visit_dec_body <ast::TypeDec>).
** Because the second step of the construction is actually seen
** as a modification by the C++ type system, we have it accept
** it thanks to mutable.
**/
mutable const Type* type_{};
};
} // namespace type
#include <type/named.hxx>
|
