Manuel Klimek | f7f295f | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 1 | //===--- VariantValue.cpp - Polymorphic value type -*- C++ -*-===/ |
| 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
| 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
| 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | /// |
| 10 | /// \file |
| 11 | /// \brief Polymorphic value type. |
| 12 | /// |
| 13 | //===----------------------------------------------------------------------===// |
| 14 | |
| 15 | #include "clang/ASTMatchers/Dynamic/VariantValue.h" |
| 16 | |
Samuel Benzaquen | 76c2f92 | 2013-06-20 14:28:32 +0000 | [diff] [blame] | 17 | #include "clang/Basic/LLVM.h" |
Samuel Benzaquen | 9d02807 | 2013-08-13 14:54:51 +0000 | [diff] [blame^] | 18 | #include "llvm/ADT/STLExtras.h" |
Samuel Benzaquen | 76c2f92 | 2013-06-20 14:28:32 +0000 | [diff] [blame] | 19 | |
Manuel Klimek | f7f295f | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 20 | namespace clang { |
| 21 | namespace ast_matchers { |
| 22 | namespace dynamic { |
| 23 | |
Samuel Benzaquen | 9d02807 | 2013-08-13 14:54:51 +0000 | [diff] [blame^] | 24 | VariantMatcher::VariantMatcher() : List() {} |
Samuel Benzaquen | ef7eb02 | 2013-06-21 15:51:31 +0000 | [diff] [blame] | 25 | |
Samuel Benzaquen | 9d02807 | 2013-08-13 14:54:51 +0000 | [diff] [blame^] | 26 | VariantMatcher::VariantMatcher(const VariantMatcher& Other) { |
Samuel Benzaquen | ef7eb02 | 2013-06-21 15:51:31 +0000 | [diff] [blame] | 27 | *this = Other; |
| 28 | } |
| 29 | |
Samuel Benzaquen | 9d02807 | 2013-08-13 14:54:51 +0000 | [diff] [blame^] | 30 | VariantMatcher VariantMatcher::SingleMatcher(const DynTypedMatcher &Matcher) { |
| 31 | VariantMatcher Out; |
| 32 | Out.List.push_back(Matcher.clone()); |
| 33 | return Out; |
| 34 | } |
| 35 | |
| 36 | VariantMatcher |
| 37 | VariantMatcher::PolymorphicMatcher(ArrayRef<const DynTypedMatcher *> Matchers) { |
| 38 | VariantMatcher Out; |
| 39 | for (size_t i = 0, e = Matchers.size(); i != e; ++i) { |
| 40 | Out.List.push_back(Matchers[i]->clone()); |
| 41 | } |
| 42 | return Out; |
| 43 | } |
| 44 | |
| 45 | VariantMatcher::~VariantMatcher() { |
Samuel Benzaquen | ef7eb02 | 2013-06-21 15:51:31 +0000 | [diff] [blame] | 46 | reset(); |
| 47 | } |
| 48 | |
Samuel Benzaquen | 9d02807 | 2013-08-13 14:54:51 +0000 | [diff] [blame^] | 49 | VariantMatcher &VariantMatcher::operator=(const VariantMatcher &Other) { |
Samuel Benzaquen | ef7eb02 | 2013-06-21 15:51:31 +0000 | [diff] [blame] | 50 | if (this == &Other) return *this; |
| 51 | reset(); |
| 52 | for (size_t i = 0, e = Other.List.size(); i != e; ++i) { |
| 53 | List.push_back(Other.List[i]->clone()); |
| 54 | } |
| 55 | return *this; |
| 56 | } |
| 57 | |
Samuel Benzaquen | 9d02807 | 2013-08-13 14:54:51 +0000 | [diff] [blame^] | 58 | bool VariantMatcher::getSingleMatcher(const DynTypedMatcher *&Out) const { |
| 59 | if (List.size() != 1) return false; |
| 60 | Out = List[0]; |
| 61 | return true; |
Samuel Benzaquen | ef7eb02 | 2013-06-21 15:51:31 +0000 | [diff] [blame] | 62 | } |
| 63 | |
Samuel Benzaquen | 9d02807 | 2013-08-13 14:54:51 +0000 | [diff] [blame^] | 64 | void VariantMatcher::reset() { |
| 65 | llvm::DeleteContainerPointers(List); |
Samuel Benzaquen | ef7eb02 | 2013-06-21 15:51:31 +0000 | [diff] [blame] | 66 | } |
| 67 | |
Samuel Benzaquen | 9d02807 | 2013-08-13 14:54:51 +0000 | [diff] [blame^] | 68 | std::string VariantMatcher::getTypeAsString() const { |
Samuel Benzaquen | ef7eb02 | 2013-06-21 15:51:31 +0000 | [diff] [blame] | 69 | std::string Inner; |
| 70 | for (size_t I = 0, E = List.size(); I != E; ++I) { |
| 71 | if (I != 0) Inner += "|"; |
| 72 | Inner += List[I]->getSupportedKind().asStringRef(); |
| 73 | } |
| 74 | return (Twine("Matcher<") + Inner + ">").str(); |
| 75 | } |
| 76 | |
Samuel Benzaquen | 9d02807 | 2013-08-13 14:54:51 +0000 | [diff] [blame^] | 77 | const DynTypedMatcher *VariantMatcher::getTypedMatcher( |
| 78 | bool (*CanConstructCallback)(const DynTypedMatcher &)) const { |
| 79 | const DynTypedMatcher *Out = NULL; |
| 80 | for (size_t i = 0, e = List.size(); i != e; ++i) { |
| 81 | if (CanConstructCallback(*List[i])) { |
| 82 | if (Out) return NULL; |
| 83 | Out = List[i]; |
| 84 | } |
| 85 | } |
| 86 | return Out; |
| 87 | } |
| 88 | |
Manuel Klimek | f7f295f | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 89 | VariantValue::VariantValue(const VariantValue &Other) : Type(VT_Nothing) { |
| 90 | *this = Other; |
| 91 | } |
| 92 | |
Samuel Benzaquen | 7a337af | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 93 | VariantValue::VariantValue(unsigned Unsigned) : Type(VT_Nothing) { |
| 94 | setUnsigned(Unsigned); |
Manuel Klimek | f7f295f | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 95 | } |
| 96 | |
| 97 | VariantValue::VariantValue(const std::string &String) : Type(VT_Nothing) { |
| 98 | setString(String); |
| 99 | } |
| 100 | |
Samuel Benzaquen | 9d02807 | 2013-08-13 14:54:51 +0000 | [diff] [blame^] | 101 | VariantValue::VariantValue(const VariantMatcher &Matcher) : Type(VT_Nothing) { |
| 102 | setMatcher(Matcher); |
Samuel Benzaquen | 7a337af | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 103 | } |
| 104 | |
Manuel Klimek | f7f295f | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 105 | VariantValue::~VariantValue() { reset(); } |
| 106 | |
| 107 | VariantValue &VariantValue::operator=(const VariantValue &Other) { |
| 108 | if (this == &Other) return *this; |
| 109 | reset(); |
| 110 | switch (Other.Type) { |
Samuel Benzaquen | 7a337af | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 111 | case VT_Unsigned: |
| 112 | setUnsigned(Other.getUnsigned()); |
| 113 | break; |
Manuel Klimek | f7f295f | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 114 | case VT_String: |
| 115 | setString(Other.getString()); |
| 116 | break; |
Samuel Benzaquen | 9d02807 | 2013-08-13 14:54:51 +0000 | [diff] [blame^] | 117 | case VT_Matcher: |
| 118 | setMatcher(Other.getMatcher()); |
Manuel Klimek | f7f295f | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 119 | break; |
| 120 | case VT_Nothing: |
| 121 | Type = VT_Nothing; |
| 122 | break; |
| 123 | } |
| 124 | return *this; |
| 125 | } |
| 126 | |
| 127 | void VariantValue::reset() { |
| 128 | switch (Type) { |
| 129 | case VT_String: |
| 130 | delete Value.String; |
| 131 | break; |
Samuel Benzaquen | 9d02807 | 2013-08-13 14:54:51 +0000 | [diff] [blame^] | 132 | case VT_Matcher: |
| 133 | delete Value.Matcher; |
Manuel Klimek | f7f295f | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 134 | break; |
| 135 | // Cases that do nothing. |
Samuel Benzaquen | 7a337af | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 136 | case VT_Unsigned: |
Manuel Klimek | f7f295f | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 137 | case VT_Nothing: |
| 138 | break; |
| 139 | } |
| 140 | Type = VT_Nothing; |
| 141 | } |
| 142 | |
Samuel Benzaquen | 7a337af | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 143 | bool VariantValue::isUnsigned() const { |
| 144 | return Type == VT_Unsigned; |
| 145 | } |
| 146 | |
| 147 | unsigned VariantValue::getUnsigned() const { |
| 148 | assert(isUnsigned()); |
| 149 | return Value.Unsigned; |
| 150 | } |
| 151 | |
| 152 | void VariantValue::setUnsigned(unsigned NewValue) { |
| 153 | reset(); |
| 154 | Type = VT_Unsigned; |
| 155 | Value.Unsigned = NewValue; |
| 156 | } |
| 157 | |
Manuel Klimek | f7f295f | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 158 | bool VariantValue::isString() const { |
| 159 | return Type == VT_String; |
| 160 | } |
| 161 | |
| 162 | const std::string &VariantValue::getString() const { |
| 163 | assert(isString()); |
| 164 | return *Value.String; |
| 165 | } |
| 166 | |
| 167 | void VariantValue::setString(const std::string &NewValue) { |
| 168 | reset(); |
| 169 | Type = VT_String; |
| 170 | Value.String = new std::string(NewValue); |
| 171 | } |
| 172 | |
Samuel Benzaquen | 9d02807 | 2013-08-13 14:54:51 +0000 | [diff] [blame^] | 173 | bool VariantValue::isMatcher() const { |
| 174 | return Type == VT_Matcher; |
Manuel Klimek | f7f295f | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 175 | } |
| 176 | |
Samuel Benzaquen | 9d02807 | 2013-08-13 14:54:51 +0000 | [diff] [blame^] | 177 | const VariantMatcher &VariantValue::getMatcher() const { |
| 178 | assert(isMatcher()); |
| 179 | return *Value.Matcher; |
Manuel Klimek | f7f295f | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 180 | } |
| 181 | |
Samuel Benzaquen | 9d02807 | 2013-08-13 14:54:51 +0000 | [diff] [blame^] | 182 | void VariantValue::setMatcher(const VariantMatcher &NewValue) { |
Manuel Klimek | f7f295f | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 183 | reset(); |
Samuel Benzaquen | 9d02807 | 2013-08-13 14:54:51 +0000 | [diff] [blame^] | 184 | Type = VT_Matcher; |
| 185 | Value.Matcher = new VariantMatcher(NewValue); |
Manuel Klimek | f7f295f | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 186 | } |
| 187 | |
Samuel Benzaquen | 76c2f92 | 2013-06-20 14:28:32 +0000 | [diff] [blame] | 188 | std::string VariantValue::getTypeAsString() const { |
| 189 | switch (Type) { |
| 190 | case VT_String: return "String"; |
Samuel Benzaquen | 9d02807 | 2013-08-13 14:54:51 +0000 | [diff] [blame^] | 191 | case VT_Matcher: return getMatcher().getTypeAsString(); |
Samuel Benzaquen | 76c2f92 | 2013-06-20 14:28:32 +0000 | [diff] [blame] | 192 | case VT_Unsigned: return "Unsigned"; |
| 193 | case VT_Nothing: return "Nothing"; |
| 194 | } |
| 195 | llvm_unreachable("Invalid Type"); |
| 196 | } |
| 197 | |
Manuel Klimek | f7f295f | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 198 | } // end namespace dynamic |
| 199 | } // end namespace ast_matchers |
| 200 | } // end namespace clang |