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
| //===-- DynamicCheckerFunctions.h -------------------------------*- C++ -*-===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//
#ifndef liblldb_DynamicCheckerFunctions_h_
#define liblldb_DynamicCheckerFunctions_h_
#include "lldb/lldb-types.h"
namespace lldb_private {
class DiagnosticManager;
class ExecutionContext;
/// Encapsulates dynamic check functions used by expressions.
///
/// Each of the utility functions encapsulated in this class is responsible
/// for validating some data that an expression is about to use. Examples
/// are:
///
/// a = *b; // check that b is a valid pointer
/// [b init]; // check that b is a valid object to send "init" to
///
/// The class installs each checker function into the target process and makes
/// it available to IRDynamicChecks to use.
class DynamicCheckerFunctions {
public:
enum DynamicCheckerFunctionsKind {
DCF_Clang,
};
DynamicCheckerFunctions(DynamicCheckerFunctionsKind kind) : m_kind(kind) {}
virtual ~DynamicCheckerFunctions() = default;
/// Install the utility functions into a process. This binds the instance
/// of DynamicCheckerFunctions to that process.
///
/// \param[in] diagnostic_manager
/// A diagnostic manager to report errors to.
///
/// \param[in] exe_ctx
/// The execution context to install the functions into.
///
/// \return
/// True on success; false on failure, or if the functions have
/// already been installed.
virtual bool Install(DiagnosticManager &diagnostic_manager,
ExecutionContext &exe_ctx) = 0;
virtual bool DoCheckersExplainStop(lldb::addr_t addr, Stream &message) = 0;
DynamicCheckerFunctionsKind GetKind() const { return m_kind; }
private:
const DynamicCheckerFunctionsKind m_kind;
};
} // namespace lldb_private
#endif // liblldb_DynamicCheckerFunctions_h_
|