Spicy
reference.h
1 // Copyright (c) 2020-2021 by the Zeek Project. See LICENSE for details.
2 
3 #pragma once
4 
5 #include <utility>
6 
7 #include <hilti/ast/ctor.h>
8 #include <hilti/ast/ctors/null.h>
9 #include <hilti/ast/expressions/ctor.h>
10 #include <hilti/ast/type.h>
11 #include <hilti/ast/types/auto.h>
12 #include <hilti/ast/types/reference.h>
13 
14 namespace hilti::ctor {
15 
18 public:
20  StrongReference(const Type& t, const Meta& m = Meta()) : NodeBase(nodes(t, type::StrongReference(t, m)), m) {}
21 
22  const Type& dereferencedType() const { return child<Type>(0); }
23 
24  bool operator==(const StrongReference& other) const { return dereferencedType() == other.dereferencedType(); }
25 
27  const Type& type() const { return child<Type>(1); }
28 
30  bool isConstant() const { return true; }
32  bool isLhs() const { return false; }
34  auto isTemporary() const { return true; }
35 
37  auto isEqual(const Ctor& other) const { return node::isEqual(this, other); }
38 
40  auto properties() const { return node::Properties{}; }
41 };
42 
45 public:
47  WeakReference(const Type& t, const Meta& m = Meta()) : NodeBase(nodes(t, type::WeakReference(t, m)), m) {}
48 
49  const Type& dereferencedType() const { return child<Type>(0); }
50 
51  bool operator==(const WeakReference& other) const { return dereferencedType() == other.dereferencedType(); }
52 
54  const Type& type() const { return child<Type>(1); }
55 
57  bool isConstant() const { return true; }
59  bool isLhs() const { return false; }
61  auto isTemporary() const { return true; }
62 
64  auto isEqual(const Ctor& other) const { return node::isEqual(this, other); }
65 
67  auto properties() const { return node::Properties{}; }
68 };
69 
72 public:
74  ValueReference(Expression e, Meta m = Meta())
75  : NodeBase(nodes(type::ValueReference(type::auto_, m), std::move(e)), std::move(m)) {}
76 
77  const Type& dereferencedType() const { return child<type::ValueReference>(0).dereferencedType(); }
78  const Expression& expression() const { return child<Expression>(1); }
79 
80  void setDereferencedType(Type x) { children()[0] = type::ValueReference(std::move(x)); }
81 
82  bool operator==(const ValueReference& other) const { return dereferencedType() == other.dereferencedType(); }
83 
85  const Type& type() const { return child<Type>(0); }
87  bool isConstant() const { return true; }
89  bool isLhs() const { return false; }
91  auto isTemporary() const { return true; }
92 
94  auto isEqual(const Ctor& other) const { return node::isEqual(this, other); }
95 
97  auto properties() const { return node::Properties{}; }
98 };
99 
100 } // namespace hilti::ctor
Definition: reference.h:17
WeakReference(const Type &t, const Meta &m=Meta())
Definition: reference.h:47
bool isConstant() const
Definition: reference.h:30
const Type & type() const
Definition: reference.h:54
Definition: optional.h:79
auto properties() const
Definition: reference.h:97
const auto & children() const
Definition: node.h:472
const Type & type() const
Definition: reference.h:85
auto isEqual(const Ctor &other) const
Definition: reference.h:94
auto properties() const
Definition: reference.h:67
Definition: meta.h:19
auto isTemporary() const
Definition: reference.h:61
auto isEqual(const Ctor &other) const
Definition: reference.h:64
bool isConstant() const
Definition: reference.h:87
Definition: reference.h:82
Definition: type.h:160
auto isTemporary() const
Definition: reference.h:34
const Type & type() const
Definition: reference.h:27
bool isLhs() const
Definition: reference.h:32
auto isEqual(const Ctor &other) const
Definition: reference.h:37
StrongReference(const Type &t, const Meta &m=Meta())
Definition: reference.h:20
std::map< std::string, node::detail::PropertyValue > Properties
Definition: node.h:98
ValueReference(Expression e, Meta m=Meta())
Definition: reference.h:74
auto isTemporary() const
Definition: reference.h:91
auto properties() const
Definition: reference.h:40
Definition: ctor.h:15
bool isLhs() const
Definition: reference.h:59
bool isLhs() const
Definition: reference.h:89
bool isConstant() const
Definition: reference.h:57
Definition: reference.h:71
Definition: reference.h:44
Definition: node.h:360