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/type.h>
8 #include <hilti/ast/types/unknown.h>
9 
10 namespace hilti::type {
11 
12 /*
13  * AST node for a `strong_ref<T>` type.
14  */
15 class StrongReference : public TypeBase,
20 public:
21  StrongReference(Wildcard /*unused*/, Meta m = Meta()) : TypeBase({type::unknown}, std::move(m)), _wildcard(true) {}
22  StrongReference(Type ct, Meta m = Meta()) : TypeBase(nodes(std::move(ct)), std::move(m)) {}
23  StrongReference(NodeRef ct, Meta m = Meta()) : TypeBase(nodes(node::none), std::move(m)), _type(std::move(ct)) {}
24 
25  const Type& dereferencedType() const {
26  if ( _type )
27  return _type->as<Type>();
28  else
29  return children()[0].as<Type>();
30  }
31 
32  bool operator==(const StrongReference& other) const { return dereferencedType() == other.dereferencedType(); }
33 
35  auto isEqual(const Type& other) const { return node::isEqual(this, other); }
37  auto _isResolved(ResolvedState* rstate) const { return type::detail::isResolved(dereferencedType(), rstate); }
39  auto typeParameters() const { return children(); }
41  auto isWildcard() const { return _wildcard; }
42 
44  auto properties() const { return node::Properties{{"type", _type.renderedRid()}}; }
45 
46 private:
47  bool _wildcard = false;
48  NodeRef _type;
49 };
50 
52 class WeakReference : public TypeBase,
57 public:
58  WeakReference(Wildcard /*unused*/, Meta m = Meta()) : TypeBase({type::unknown}, std::move(m)), _wildcard(true) {}
59  WeakReference(Type ct, Meta m = Meta()) : TypeBase({std::move(ct)}, std::move(m)) {}
60 
61  const Type& dereferencedType() const { return children()[0].as<Type>(); }
62 
63  bool operator==(const WeakReference& other) const { return dereferencedType() == other.dereferencedType(); }
64 
66  auto isEqual(const Type& other) const { return node::isEqual(this, other); }
68  auto _isResolved(ResolvedState* rstate) const { return type::detail::isResolved(dereferencedType(), rstate); }
70  auto typeParameters() const { return children(); }
72  auto isWildcard() const { return _wildcard; }
73 
75  auto properties() const { return node::Properties{}; }
76 
77 private:
78  bool _wildcard = false;
79 };
80 
82 class ValueReference : public TypeBase,
87 public:
88  ValueReference(Wildcard /*unused*/, Meta m = Meta())
89  : TypeBase(nodes(type::unknown), std::move(m)), _wildcard(true) {}
90  ValueReference(Type ct, Meta m = Meta()) : TypeBase(nodes(std::move(ct)), std::move(m)) {}
91  ValueReference(NodeRef ct, Meta m = Meta()) : TypeBase(nodes(type::unknown), std::move(m)), _node(std::move(ct)) {}
92 
93  const Type& dereferencedType() const {
94  if ( _node )
95  return _node->as<Type>();
96  else
97  return children()[0].as<Type>();
98  }
99 
100  bool operator==(const ValueReference& other) const { return dereferencedType() == other.dereferencedType(); }
101 
103  auto isEqual(const Type& other) const { return node::isEqual(this, other); }
105  auto _isResolved(ResolvedState* rstate) const { return type::detail::isResolved(dereferencedType(), rstate); }
107  auto typeParameters() const { return children(); }
109  auto isWildcard() const { return _wildcard; }
110 
112  auto properties() const { return node::Properties{{"rid", (_node ? _node->rid() : 0U)}}; }
113 
114 private:
115  bool _wildcard = false;
116  NodeRef _node;
117 };
118 
119 } // namespace hilti::type
auto _isResolved(ResolvedState *rstate) const
Definition: reference.h:105
std::string renderedRid() const
Definition: node-ref.h:69
auto isWildcard() const
Definition: reference.h:109
auto _isResolved(ResolvedState *rstate) const
Definition: reference.h:37
const Node none
Definition: node.cc:14
auto typeParameters() const
Definition: reference.h:107
const auto & children() const
Definition: node.h:471
auto isEqual(const Type &other) const
Definition: reference.h:35
auto properties() const
Definition: reference.h:44
Definition: reference.h:15
auto isEqual(const Type &other) const
Definition: reference.h:103
Definition: meta.h:19
Definition: reference.h:82
Definition: type.h:158
auto properties() const
Definition: reference.h:75
auto _isResolved(ResolvedState *rstate) const
Definition: reference.h:68
auto typeParameters() const
Definition: reference.h:70
std::map< std::string, node::detail::PropertyValue > Properties
Definition: node.h:97
auto typeParameters() const
Definition: reference.h:39
Definition: type.h:197
Definition: node-ref.h:45
Definition: type.h:32
Definition: type.h:268
auto isWildcard() const
Definition: reference.h:72
Definition: reference.h:52
auto isWildcard() const
Definition: reference.h:41
auto properties() const
Definition: reference.h:112
auto isEqual(const Type &other) const
Definition: reference.h:66
Definition: type.h:25