blob: c2c50a3057c5ad554d6aabf44d66dce73fea31dc [file] [log] [blame]
Kate Stoneb9c1b512016-09-06 20:57:50 +00001//===-- Language.cpp -------------------------------------------------*- C++
2//-*-===//
Enrico Granata5f9d3102015-08-27 21:33:50 +00003//
Chandler Carruth2946cd72019-01-19 08:50:56 +00004// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
5// See https://llvm.org/LICENSE.txt for license information.
6// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
Enrico Granata5f9d3102015-08-27 21:33:50 +00007//
8//===----------------------------------------------------------------------===//
9
10#include <functional>
11#include <map>
Enrico Granata2996d822015-08-27 22:14:06 +000012#include <mutex>
Enrico Granata5f9d3102015-08-27 21:33:50 +000013
14#include "lldb/Target/Language.h"
15
Enrico Granata5f9d3102015-08-27 21:33:50 +000016#include "lldb/Core/PluginManager.h"
Enrico Granata63db2392016-11-01 18:50:49 +000017#include "lldb/Symbol/SymbolFile.h"
18#include "lldb/Symbol/TypeList.h"
19#include "lldb/Target/Target.h"
Zachary Turnerbf9a7732017-02-02 21:39:50 +000020#include "lldb/Utility/Stream.h"
Enrico Granata5f9d3102015-08-27 21:33:50 +000021
Kamil Rytarowskic5f28e22017-02-06 17:55:02 +000022#include "llvm/Support/Threading.h"
23
Enrico Granata5f9d3102015-08-27 21:33:50 +000024using namespace lldb;
25using namespace lldb_private;
Enrico Granataac494532015-09-09 22:30:24 +000026using namespace lldb_private::formatters;
Enrico Granata5f9d3102015-08-27 21:33:50 +000027
28typedef std::unique_ptr<Language> LanguageUP;
29typedef std::map<lldb::LanguageType, LanguageUP> LanguagesMap;
30
Kate Stoneb9c1b512016-09-06 20:57:50 +000031static LanguagesMap &GetLanguagesMap() {
32 static LanguagesMap *g_map = nullptr;
Kamil Rytarowskic5f28e22017-02-06 17:55:02 +000033 static llvm::once_flag g_initialize;
Kate Stoneb9c1b512016-09-06 20:57:50 +000034
Kamil Rytarowskic5f28e22017-02-06 17:55:02 +000035 llvm::call_once(g_initialize, [] {
Kate Stoneb9c1b512016-09-06 20:57:50 +000036 g_map = new LanguagesMap(); // NOTE: INTENTIONAL LEAK due to global
37 // destructor chain
38 });
39
40 return *g_map;
Enrico Granata5f9d3102015-08-27 21:33:50 +000041}
Kate Stoneb9c1b512016-09-06 20:57:50 +000042static std::mutex &GetLanguagesMutex() {
43 static std::mutex *g_mutex = nullptr;
Kamil Rytarowskic5f28e22017-02-06 17:55:02 +000044 static llvm::once_flag g_initialize;
Saleem Abdulrasool16ff8602016-05-18 01:59:10 +000045
Kamil Rytarowskic5f28e22017-02-06 17:55:02 +000046 llvm::call_once(g_initialize, [] {
Kate Stoneb9c1b512016-09-06 20:57:50 +000047 g_mutex = new std::mutex(); // NOTE: INTENTIONAL LEAK due to global
48 // destructor chain
49 });
Saleem Abdulrasool16ff8602016-05-18 01:59:10 +000050
Kate Stoneb9c1b512016-09-06 20:57:50 +000051 return *g_mutex;
Enrico Granata5f9d3102015-08-27 21:33:50 +000052}
53
Kate Stoneb9c1b512016-09-06 20:57:50 +000054Language *Language::FindPlugin(lldb::LanguageType language) {
55 std::lock_guard<std::mutex> guard(GetLanguagesMutex());
56 LanguagesMap &map(GetLanguagesMap());
57 auto iter = map.find(language), end = map.end();
58 if (iter != end)
59 return iter->second.get();
60
61 Language *language_ptr = nullptr;
62 LanguageCreateInstance create_callback;
63
64 for (uint32_t idx = 0;
65 (create_callback =
66 PluginManager::GetLanguageCreateCallbackAtIndex(idx)) != nullptr;
67 ++idx) {
68 language_ptr = create_callback(language);
69
70 if (language_ptr) {
71 map[language] = std::unique_ptr<Language>(language_ptr);
72 return language_ptr;
Enrico Granata5f9d3102015-08-27 21:33:50 +000073 }
Kate Stoneb9c1b512016-09-06 20:57:50 +000074 }
75
76 return nullptr;
Enrico Granata5f9d3102015-08-27 21:33:50 +000077}
78
Raphael Isemann566afa02018-08-02 00:30:15 +000079Language *Language::FindPlugin(llvm::StringRef file_path) {
80 Language *result = nullptr;
81 ForEach([&result, file_path](Language *language) {
82 if (language->IsSourceFile(file_path)) {
83 result = language;
84 return false;
85 }
86 return true;
87 });
88 return result;
89}
90
91Language *Language::FindPlugin(LanguageType language,
92 llvm::StringRef file_path) {
93 Language *result = FindPlugin(language);
94 // Finding a language by file path is slower, we so we use this as the
95 // fallback.
96 if (!result)
97 result = FindPlugin(file_path);
98 return result;
99}
100
Kate Stoneb9c1b512016-09-06 20:57:50 +0000101void Language::ForEach(std::function<bool(Language *)> callback) {
Raphael Isemann566afa02018-08-02 00:30:15 +0000102 // If we want to iterate over all languages, we first have to complete the
103 // LanguagesMap.
104 static llvm::once_flag g_initialize;
105 llvm::call_once(g_initialize, [] {
106 for (unsigned lang = eLanguageTypeUnknown; lang < eNumLanguageTypes;
107 ++lang) {
108 FindPlugin(static_cast<lldb::LanguageType>(lang));
109 }
110 });
111
Kate Stoneb9c1b512016-09-06 20:57:50 +0000112 std::lock_guard<std::mutex> guard(GetLanguagesMutex());
113 LanguagesMap &map(GetLanguagesMap());
114 for (const auto &entry : map) {
115 if (!callback(entry.second.get()))
116 break;
117 }
Enrico Granata5f9d3102015-08-27 21:33:50 +0000118}
119
Kate Stoneb9c1b512016-09-06 20:57:50 +0000120bool Language::IsTopLevelFunction(Function &function) { return false; }
121
122lldb::TypeCategoryImplSP Language::GetFormatters() { return nullptr; }
123
124HardcodedFormatters::HardcodedFormatFinder Language::GetHardcodedFormats() {
125 return {};
Enrico Granata6754e042015-09-30 23:12:22 +0000126}
127
Kate Stoneb9c1b512016-09-06 20:57:50 +0000128HardcodedFormatters::HardcodedSummaryFinder Language::GetHardcodedSummaries() {
129 return {};
Enrico Granata7cb59e12015-09-16 18:28:11 +0000130}
131
132HardcodedFormatters::HardcodedSyntheticFinder
Kate Stoneb9c1b512016-09-06 20:57:50 +0000133Language::GetHardcodedSynthetics() {
134 return {};
Enrico Granata7cb59e12015-09-16 18:28:11 +0000135}
136
137HardcodedFormatters::HardcodedValidatorFinder
Kate Stoneb9c1b512016-09-06 20:57:50 +0000138Language::GetHardcodedValidators() {
139 return {};
Enrico Granata7cb59e12015-09-16 18:28:11 +0000140}
141
Enrico Granatad3233c12015-09-09 01:10:46 +0000142std::vector<ConstString>
Kate Stoneb9c1b512016-09-06 20:57:50 +0000143Language::GetPossibleFormattersMatches(ValueObject &valobj,
144 lldb::DynamicValueType use_dynamic) {
145 return {};
Enrico Granatad3233c12015-09-09 01:10:46 +0000146}
147
Enrico Granataac494532015-09-09 22:30:24 +0000148lldb_private::formatters::StringPrinter::EscapingHelper
Kate Stoneb9c1b512016-09-06 20:57:50 +0000149Language::GetStringPrinterEscapingHelper(
150 lldb_private::formatters::StringPrinter::GetPrintableElementType
151 elem_type) {
152 return StringPrinter::GetDefaultEscapingHelper(elem_type);
Enrico Granataac494532015-09-09 22:30:24 +0000153}
154
Jim Ingham0e0984e2015-09-02 01:06:46 +0000155struct language_name_pair {
Kate Stoneb9c1b512016-09-06 20:57:50 +0000156 const char *name;
157 LanguageType type;
Jim Ingham0e0984e2015-09-02 01:06:46 +0000158};
159
Kate Stoneb9c1b512016-09-06 20:57:50 +0000160struct language_name_pair language_names[] = {
Jim Ingham0e0984e2015-09-02 01:06:46 +0000161 // To allow GetNameForLanguageType to be a simple array lookup, the first
162 // part of this array must follow enum LanguageType exactly.
Kate Stoneb9c1b512016-09-06 20:57:50 +0000163 {"unknown", eLanguageTypeUnknown},
164 {"c89", eLanguageTypeC89},
165 {"c", eLanguageTypeC},
166 {"ada83", eLanguageTypeAda83},
167 {"c++", eLanguageTypeC_plus_plus},
168 {"cobol74", eLanguageTypeCobol74},
169 {"cobol85", eLanguageTypeCobol85},
170 {"fortran77", eLanguageTypeFortran77},
171 {"fortran90", eLanguageTypeFortran90},
172 {"pascal83", eLanguageTypePascal83},
173 {"modula2", eLanguageTypeModula2},
174 {"java", eLanguageTypeJava},
175 {"c99", eLanguageTypeC99},
176 {"ada95", eLanguageTypeAda95},
177 {"fortran95", eLanguageTypeFortran95},
178 {"pli", eLanguageTypePLI},
179 {"objective-c", eLanguageTypeObjC},
180 {"objective-c++", eLanguageTypeObjC_plus_plus},
181 {"upc", eLanguageTypeUPC},
182 {"d", eLanguageTypeD},
183 {"python", eLanguageTypePython},
184 {"opencl", eLanguageTypeOpenCL},
185 {"go", eLanguageTypeGo},
186 {"modula3", eLanguageTypeModula3},
187 {"haskell", eLanguageTypeHaskell},
188 {"c++03", eLanguageTypeC_plus_plus_03},
189 {"c++11", eLanguageTypeC_plus_plus_11},
190 {"ocaml", eLanguageTypeOCaml},
191 {"rust", eLanguageTypeRust},
192 {"c11", eLanguageTypeC11},
193 {"swift", eLanguageTypeSwift},
194 {"julia", eLanguageTypeJulia},
195 {"dylan", eLanguageTypeDylan},
196 {"c++14", eLanguageTypeC_plus_plus_14},
197 {"fortran03", eLanguageTypeFortran03},
198 {"fortran08", eLanguageTypeFortran08},
Jim Ingham0e0984e2015-09-02 01:06:46 +0000199 // Vendor Extensions
Kate Stoneb9c1b512016-09-06 20:57:50 +0000200 {"mipsassem", eLanguageTypeMipsAssembler},
201 {"renderscript", eLanguageTypeExtRenderScript},
Jim Ingham0e0984e2015-09-02 01:06:46 +0000202 // Now synonyms, in arbitrary order
Kate Stoneb9c1b512016-09-06 20:57:50 +0000203 {"objc", eLanguageTypeObjC},
204 {"objc++", eLanguageTypeObjC_plus_plus},
205 {"pascal", eLanguageTypePascal83}};
Jim Ingham0e0984e2015-09-02 01:06:46 +0000206
Kate Stoneb9c1b512016-09-06 20:57:50 +0000207static uint32_t num_languages =
208 sizeof(language_names) / sizeof(struct language_name_pair);
Jim Ingham0e0984e2015-09-02 01:06:46 +0000209
Zachary Turner6fa7681b2016-09-17 02:00:02 +0000210LanguageType Language::GetLanguageTypeFromString(llvm::StringRef string) {
211 for (const auto &L : language_names) {
212 if (string.equals_lower(L.name))
213 return static_cast<LanguageType>(L.type);
Kate Stoneb9c1b512016-09-06 20:57:50 +0000214 }
Zachary Turner6fa7681b2016-09-17 02:00:02 +0000215
Kate Stoneb9c1b512016-09-06 20:57:50 +0000216 return eLanguageTypeUnknown;
Jim Ingham0e0984e2015-09-02 01:06:46 +0000217}
218
Kate Stoneb9c1b512016-09-06 20:57:50 +0000219const char *Language::GetNameForLanguageType(LanguageType language) {
220 if (language < num_languages)
221 return language_names[language].name;
222 else
223 return language_names[eLanguageTypeUnknown].name;
Jim Ingham0e0984e2015-09-02 01:06:46 +0000224}
225
Kate Stoneb9c1b512016-09-06 20:57:50 +0000226void Language::PrintAllLanguages(Stream &s, const char *prefix,
227 const char *suffix) {
228 for (uint32_t i = 1; i < num_languages; i++) {
229 s.Printf("%s%s%s", prefix, language_names[i].name, suffix);
230 }
Jim Ingham0e0984e2015-09-02 01:06:46 +0000231}
232
Kate Stoneb9c1b512016-09-06 20:57:50 +0000233void Language::ForAllLanguages(
234 std::function<bool(lldb::LanguageType)> callback) {
235 for (uint32_t i = 1; i < num_languages; i++) {
236 if (!callback(language_names[i].type))
237 break;
238 }
Enrico Granata28b38312015-09-02 01:31:10 +0000239}
240
Kate Stoneb9c1b512016-09-06 20:57:50 +0000241bool Language::LanguageIsCPlusPlus(LanguageType language) {
242 switch (language) {
243 case eLanguageTypeC_plus_plus:
244 case eLanguageTypeC_plus_plus_03:
245 case eLanguageTypeC_plus_plus_11:
246 case eLanguageTypeC_plus_plus_14:
247 case eLanguageTypeObjC_plus_plus:
248 return true;
249 default:
Enrico Granata675f49b2015-10-07 18:36:53 +0000250 return false;
Kate Stoneb9c1b512016-09-06 20:57:50 +0000251 }
Enrico Granata675f49b2015-10-07 18:36:53 +0000252}
253
Kate Stoneb9c1b512016-09-06 20:57:50 +0000254bool Language::LanguageIsObjC(LanguageType language) {
255 switch (language) {
256 case eLanguageTypeObjC:
257 case eLanguageTypeObjC_plus_plus:
258 return true;
259 default:
Enrico Granata608d67c2015-11-10 22:39:15 +0000260 return false;
Kate Stoneb9c1b512016-09-06 20:57:50 +0000261 }
Enrico Granata608d67c2015-11-10 22:39:15 +0000262}
263
Kate Stoneb9c1b512016-09-06 20:57:50 +0000264bool Language::LanguageIsC(LanguageType language) {
265 switch (language) {
266 case eLanguageTypeC:
267 case eLanguageTypeC89:
268 case eLanguageTypeC99:
269 case eLanguageTypeC11:
270 return true;
271 default:
Enrico Granata608d67c2015-11-10 22:39:15 +0000272 return false;
Kate Stoneb9c1b512016-09-06 20:57:50 +0000273 }
Enrico Granata608d67c2015-11-10 22:39:15 +0000274}
275
Kate Stoneb9c1b512016-09-06 20:57:50 +0000276bool Language::LanguageIsPascal(LanguageType language) {
277 switch (language) {
278 case eLanguageTypePascal83:
279 return true;
280 default:
Enrico Granatad4129b42015-11-19 01:11:53 +0000281 return false;
Kate Stoneb9c1b512016-09-06 20:57:50 +0000282 }
Enrico Granatad4129b42015-11-19 01:11:53 +0000283}
284
Kate Stoneb9c1b512016-09-06 20:57:50 +0000285LanguageType Language::GetPrimaryLanguage(LanguageType language) {
286 switch (language) {
287 case eLanguageTypeC_plus_plus:
288 case eLanguageTypeC_plus_plus_03:
289 case eLanguageTypeC_plus_plus_11:
290 case eLanguageTypeC_plus_plus_14:
291 return eLanguageTypeC_plus_plus;
292 case eLanguageTypeC:
293 case eLanguageTypeC89:
294 case eLanguageTypeC99:
295 case eLanguageTypeC11:
296 return eLanguageTypeC;
297 case eLanguageTypeObjC:
298 case eLanguageTypeObjC_plus_plus:
299 return eLanguageTypeObjC;
300 case eLanguageTypePascal83:
301 case eLanguageTypeCobol74:
302 case eLanguageTypeCobol85:
303 case eLanguageTypeFortran77:
304 case eLanguageTypeFortran90:
305 case eLanguageTypeFortran95:
306 case eLanguageTypeFortran03:
307 case eLanguageTypeFortran08:
308 case eLanguageTypeAda83:
309 case eLanguageTypeAda95:
310 case eLanguageTypeModula2:
311 case eLanguageTypeJava:
312 case eLanguageTypePLI:
313 case eLanguageTypeUPC:
314 case eLanguageTypeD:
315 case eLanguageTypePython:
316 case eLanguageTypeOpenCL:
317 case eLanguageTypeGo:
318 case eLanguageTypeModula3:
319 case eLanguageTypeHaskell:
320 case eLanguageTypeOCaml:
321 case eLanguageTypeRust:
322 case eLanguageTypeSwift:
323 case eLanguageTypeJulia:
324 case eLanguageTypeDylan:
325 case eLanguageTypeMipsAssembler:
326 case eLanguageTypeExtRenderScript:
327 case eLanguageTypeUnknown:
328 default:
329 return language;
330 }
Jim Inghama2023572015-12-18 02:14:04 +0000331}
332
Kate Stoneb9c1b512016-09-06 20:57:50 +0000333void Language::GetLanguagesSupportingTypeSystems(
334 std::set<lldb::LanguageType> &languages,
335 std::set<lldb::LanguageType> &languages_for_expressions) {
336 uint32_t idx = 0;
337
338 while (TypeSystemEnumerateSupportedLanguages enumerate = PluginManager::
339 GetTypeSystemEnumerateSupportedLanguagesCallbackAtIndex(idx++)) {
340 (*enumerate)(languages, languages_for_expressions);
341 }
342}
343
344void Language::GetLanguagesSupportingREPLs(
345 std::set<lldb::LanguageType> &languages) {
346 uint32_t idx = 0;
347
348 while (REPLEnumerateSupportedLanguages enumerate =
349 PluginManager::GetREPLEnumerateSupportedLanguagesCallbackAtIndex(
350 idx++)) {
351 (*enumerate)(languages);
352 }
353}
354
355std::unique_ptr<Language::TypeScavenger> Language::GetTypeScavenger() {
356 return nullptr;
357}
358
359const char *Language::GetLanguageSpecificTypeLookupHelp() { return nullptr; }
360
361size_t Language::TypeScavenger::Find(ExecutionContextScope *exe_scope,
362 const char *key, ResultSet &results,
363 bool append) {
364 if (!exe_scope || !exe_scope->CalculateTarget().get())
365 return false;
366
367 if (!key || !key[0])
368 return false;
369
370 if (!append)
371 results.clear();
372
373 size_t old_size = results.size();
374
375 if (this->Find_Impl(exe_scope, key, results))
376 return results.size() - old_size;
377 return 0;
378}
379
Enrico Granata63db2392016-11-01 18:50:49 +0000380bool Language::ImageListTypeScavenger::Find_Impl(
381 ExecutionContextScope *exe_scope, const char *key, ResultSet &results) {
382 bool result = false;
383
384 Target *target = exe_scope->CalculateTarget().get();
385 if (target) {
386 const auto &images(target->GetImages());
Enrico Granata63db2392016-11-01 18:50:49 +0000387 ConstString cs_key(key);
388 llvm::DenseSet<SymbolFile *> searched_sym_files;
389 TypeList matches;
Zachary Turner576495e2019-01-14 22:41:21 +0000390 images.FindTypes(nullptr, cs_key, false, UINT32_MAX, searched_sym_files,
Enrico Granata63db2392016-11-01 18:50:49 +0000391 matches);
392 for (const auto &match : matches.Types()) {
393 if (match.get()) {
394 CompilerType compiler_type(match->GetFullCompilerType());
395 compiler_type = AdjustForInclusion(compiler_type);
396 if (!compiler_type)
397 continue;
398 std::unique_ptr<Language::TypeScavenger::Result> scavengeresult(
399 new Result(compiler_type));
400 results.insert(std::move(scavengeresult));
401 result = true;
402 }
403 }
404 }
405
406 return result;
407}
408
Kate Stoneb9c1b512016-09-06 20:57:50 +0000409bool Language::GetFormatterPrefixSuffix(ValueObject &valobj,
410 ConstString type_hint,
411 std::string &prefix,
412 std::string &suffix) {
413 return false;
414}
415
416DumpValueObjectOptions::DeclPrintingHelper Language::GetDeclPrintingHelper() {
417 return nullptr;
418}
419
Zachary Turner97206d52017-05-12 04:51:55 +0000420LazyBool Language::IsLogicalTrue(ValueObject &valobj, Status &error) {
Kate Stoneb9c1b512016-09-06 20:57:50 +0000421 return eLazyBoolCalculate;
422}
423
424bool Language::IsNilReference(ValueObject &valobj) { return false; }
425
426bool Language::IsUninitializedReference(ValueObject &valobj) { return false; }
427
428bool Language::GetFunctionDisplayName(const SymbolContext *sc,
429 const ExecutionContext *exe_ctx,
430 FunctionNameRepresentation representation,
431 Stream &s) {
432 return false;
433}
434
435void Language::GetExceptionResolverDescription(bool catch_on, bool throw_on,
436 Stream &s) {
437 GetDefaultExceptionResolverDescription(catch_on, throw_on, s);
438}
439
440void Language::GetDefaultExceptionResolverDescription(bool catch_on,
441 bool throw_on,
442 Stream &s) {
443 s.Printf("Exception breakpoint (catch: %s throw: %s)",
444 catch_on ? "on" : "off", throw_on ? "on" : "off");
Jim Inghama2023572015-12-18 02:14:04 +0000445}
Enrico Granata5f9d3102015-08-27 21:33:50 +0000446//----------------------------------------------------------------------
447// Constructor
448//----------------------------------------------------------------------
Kate Stoneb9c1b512016-09-06 20:57:50 +0000449Language::Language() {}
Enrico Granata5f9d3102015-08-27 21:33:50 +0000450
451//----------------------------------------------------------------------
452// Destructor
453//----------------------------------------------------------------------
Kate Stoneb9c1b512016-09-06 20:57:50 +0000454Language::~Language() {}