1*0b57cec5SDimitry Andric //===-- PythonDataObjects.h--------------------------------------*- C++ -*-===//
2*0b57cec5SDimitry Andric //
3*0b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4*0b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
5*0b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6*0b57cec5SDimitry Andric //
7*0b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
8*0b57cec5SDimitry Andric 
99dba64beSDimitry Andric //
109dba64beSDimitry Andric // !! FIXME FIXME FIXME !!
119dba64beSDimitry Andric //
129dba64beSDimitry Andric // Python APIs nearly all can return an exception.   They do this
139dba64beSDimitry Andric // by returning NULL, or -1, or some such value and setting
149dba64beSDimitry Andric // the exception state with PyErr_Set*().   Exceptions must be
159dba64beSDimitry Andric // handled before further python API functions are called.   Failure
169dba64beSDimitry Andric // to do so will result in asserts on debug builds of python.
179dba64beSDimitry Andric // It will also sometimes, but not usually result in crashes of
189dba64beSDimitry Andric // release builds.
199dba64beSDimitry Andric //
209dba64beSDimitry Andric // Nearly all the code in this header does not handle python exceptions
219dba64beSDimitry Andric // correctly.  It should all be converted to return Expected<> or
229dba64beSDimitry Andric // Error types to capture the exception.
239dba64beSDimitry Andric //
249dba64beSDimitry Andric // Everything in this file except functions that return Error or
259dba64beSDimitry Andric // Expected<> is considered deprecated and should not be
269dba64beSDimitry Andric // used in new code.  If you need to use it, fix it first.
279dba64beSDimitry Andric //
289dba64beSDimitry Andric //
299dba64beSDimitry Andric // TODOs for this file
309dba64beSDimitry Andric //
319dba64beSDimitry Andric // * Make all methods safe for exceptions.
329dba64beSDimitry Andric //
339dba64beSDimitry Andric // * Eliminate method signatures that must translate exceptions into
349dba64beSDimitry Andric //   empty objects or NULLs.   Almost everything here should return
359dba64beSDimitry Andric //   Expected<>.   It should be acceptable for certain operations that
369dba64beSDimitry Andric //   can never fail to assert instead, such as the creation of
379dba64beSDimitry Andric //   PythonString from a string literal.
389dba64beSDimitry Andric //
399dba64beSDimitry Andric // * Elimintate Reset(), and make all non-default constructors private.
409dba64beSDimitry Andric //   Python objects should be created with Retain<> or Take<>, and they
419dba64beSDimitry Andric //   should be assigned with operator=
429dba64beSDimitry Andric //
439dba64beSDimitry Andric // * Eliminate default constructors, make python objects always
449dba64beSDimitry Andric //   nonnull, and use optionals where necessary.
459dba64beSDimitry Andric //
469dba64beSDimitry Andric 
479dba64beSDimitry Andric 
48*0b57cec5SDimitry Andric #ifndef LLDB_PLUGINS_SCRIPTINTERPRETER_PYTHON_PYTHONDATAOBJECTS_H
49*0b57cec5SDimitry Andric #define LLDB_PLUGINS_SCRIPTINTERPRETER_PYTHON_PYTHONDATAOBJECTS_H
50*0b57cec5SDimitry Andric 
51*0b57cec5SDimitry Andric #ifndef LLDB_DISABLE_PYTHON
52*0b57cec5SDimitry Andric 
53*0b57cec5SDimitry Andric // LLDB Python header must be included first
54*0b57cec5SDimitry Andric #include "lldb-python.h"
55*0b57cec5SDimitry Andric 
56*0b57cec5SDimitry Andric #include "lldb/Host/File.h"
57*0b57cec5SDimitry Andric #include "lldb/Utility/StructuredData.h"
58*0b57cec5SDimitry Andric 
59*0b57cec5SDimitry Andric #include "llvm/ADT/ArrayRef.h"
60*0b57cec5SDimitry Andric 
61*0b57cec5SDimitry Andric namespace lldb_private {
629dba64beSDimitry Andric namespace python {
63*0b57cec5SDimitry Andric 
649dba64beSDimitry Andric class PythonObject;
65*0b57cec5SDimitry Andric class PythonBytes;
66*0b57cec5SDimitry Andric class PythonString;
67*0b57cec5SDimitry Andric class PythonList;
68*0b57cec5SDimitry Andric class PythonDictionary;
69*0b57cec5SDimitry Andric class PythonInteger;
709dba64beSDimitry Andric class PythonException;
71*0b57cec5SDimitry Andric 
72*0b57cec5SDimitry Andric class StructuredPythonObject : public StructuredData::Generic {
73*0b57cec5SDimitry Andric public:
74*0b57cec5SDimitry Andric   StructuredPythonObject() : StructuredData::Generic() {}
75*0b57cec5SDimitry Andric 
76*0b57cec5SDimitry Andric   StructuredPythonObject(void *obj) : StructuredData::Generic(obj) {
77*0b57cec5SDimitry Andric     Py_XINCREF(GetValue());
78*0b57cec5SDimitry Andric   }
79*0b57cec5SDimitry Andric 
80*0b57cec5SDimitry Andric   ~StructuredPythonObject() override {
81*0b57cec5SDimitry Andric     if (Py_IsInitialized())
82*0b57cec5SDimitry Andric       Py_XDECREF(GetValue());
83*0b57cec5SDimitry Andric     SetValue(nullptr);
84*0b57cec5SDimitry Andric   }
85*0b57cec5SDimitry Andric 
86*0b57cec5SDimitry Andric   bool IsValid() const override { return GetValue() && GetValue() != Py_None; }
87*0b57cec5SDimitry Andric 
889dba64beSDimitry Andric   void Serialize(llvm::json::OStream &s) const override;
89*0b57cec5SDimitry Andric 
90*0b57cec5SDimitry Andric private:
91*0b57cec5SDimitry Andric   DISALLOW_COPY_AND_ASSIGN(StructuredPythonObject);
92*0b57cec5SDimitry Andric };
93*0b57cec5SDimitry Andric 
94*0b57cec5SDimitry Andric enum class PyObjectType {
95*0b57cec5SDimitry Andric   Unknown,
96*0b57cec5SDimitry Andric   None,
97*0b57cec5SDimitry Andric   Boolean,
98*0b57cec5SDimitry Andric   Integer,
99*0b57cec5SDimitry Andric   Dictionary,
100*0b57cec5SDimitry Andric   List,
101*0b57cec5SDimitry Andric   String,
102*0b57cec5SDimitry Andric   Bytes,
103*0b57cec5SDimitry Andric   ByteArray,
104*0b57cec5SDimitry Andric   Module,
105*0b57cec5SDimitry Andric   Callable,
106*0b57cec5SDimitry Andric   Tuple,
107*0b57cec5SDimitry Andric   File
108*0b57cec5SDimitry Andric };
109*0b57cec5SDimitry Andric 
110*0b57cec5SDimitry Andric enum class PyRefType {
111*0b57cec5SDimitry Andric   Borrowed, // We are not given ownership of the incoming PyObject.
112*0b57cec5SDimitry Andric             // We cannot safely hold it without calling Py_INCREF.
113*0b57cec5SDimitry Andric   Owned     // We have ownership of the incoming PyObject.  We should
114*0b57cec5SDimitry Andric             // not call Py_INCREF.
115*0b57cec5SDimitry Andric };
116*0b57cec5SDimitry Andric 
1179dba64beSDimitry Andric 
1189dba64beSDimitry Andric // Take a reference that you already own, and turn it into
1199dba64beSDimitry Andric // a PythonObject.
1209dba64beSDimitry Andric //
1219dba64beSDimitry Andric // Most python API methods will return a +1 reference
1229dba64beSDimitry Andric // if they succeed or NULL if and only if
1239dba64beSDimitry Andric // they set an exception.   Use this to collect such return
1249dba64beSDimitry Andric // values, after checking for NULL.
1259dba64beSDimitry Andric //
1269dba64beSDimitry Andric // If T is not just PythonObject, then obj must be already be
1279dba64beSDimitry Andric // checked to be of the correct type.
1289dba64beSDimitry Andric template <typename T> T Take(PyObject *obj) {
1299dba64beSDimitry Andric   assert(obj);
1309dba64beSDimitry Andric   assert(!PyErr_Occurred());
1319dba64beSDimitry Andric   T thing(PyRefType::Owned, obj);
1329dba64beSDimitry Andric   assert(thing.IsValid());
1339dba64beSDimitry Andric   return std::move(thing);
1349dba64beSDimitry Andric }
1359dba64beSDimitry Andric 
1369dba64beSDimitry Andric // Retain a reference you have borrowed, and turn it into
1379dba64beSDimitry Andric // a PythonObject.
1389dba64beSDimitry Andric //
1399dba64beSDimitry Andric // A minority of python APIs return a borrowed reference
1409dba64beSDimitry Andric // instead of a +1.   They will also return NULL if and only
1419dba64beSDimitry Andric // if they set an exception.   Use this to collect such return
1429dba64beSDimitry Andric // values, after checking for NULL.
1439dba64beSDimitry Andric //
1449dba64beSDimitry Andric // If T is not just PythonObject, then obj must be already be
1459dba64beSDimitry Andric // checked to be of the correct type.
1469dba64beSDimitry Andric template <typename T> T Retain(PyObject *obj) {
1479dba64beSDimitry Andric   assert(obj);
1489dba64beSDimitry Andric   assert(!PyErr_Occurred());
1499dba64beSDimitry Andric   T thing(PyRefType::Borrowed, obj);
1509dba64beSDimitry Andric   assert(thing.IsValid());
1519dba64beSDimitry Andric   return std::move(thing);
1529dba64beSDimitry Andric }
1539dba64beSDimitry Andric 
1549dba64beSDimitry Andric // This class can be used like a utility function to convert from
1559dba64beSDimitry Andric // a llvm-friendly Twine into a null-terminated const char *,
1569dba64beSDimitry Andric // which is the form python C APIs want their strings in.
1579dba64beSDimitry Andric //
1589dba64beSDimitry Andric // Example:
1599dba64beSDimitry Andric // const llvm::Twine &some_twine;
1609dba64beSDimitry Andric // PyFoo_Bar(x, y, z, NullTerminated(some_twine));
1619dba64beSDimitry Andric //
1629dba64beSDimitry Andric // Why a class instead of a function?  If the twine isn't already null
1639dba64beSDimitry Andric // terminated, it will need a temporary buffer to copy the string
1649dba64beSDimitry Andric // into.   We need that buffer to stick around for the lifetime of the
1659dba64beSDimitry Andric // statement.
1669dba64beSDimitry Andric class NullTerminated {
1679dba64beSDimitry Andric   const char *str;
1689dba64beSDimitry Andric   llvm::SmallString<32> storage;
1699dba64beSDimitry Andric 
1709dba64beSDimitry Andric public:
1719dba64beSDimitry Andric   NullTerminated(const llvm::Twine &twine) {
1729dba64beSDimitry Andric     llvm::StringRef ref = twine.toNullTerminatedStringRef(storage);
1739dba64beSDimitry Andric     str = ref.begin();
1749dba64beSDimitry Andric   }
1759dba64beSDimitry Andric   operator const char *() { return str; }
1769dba64beSDimitry Andric };
1779dba64beSDimitry Andric 
1789dba64beSDimitry Andric inline llvm::Error nullDeref() {
1799dba64beSDimitry Andric   return llvm::createStringError(llvm::inconvertibleErrorCode(),
1809dba64beSDimitry Andric                                  "A NULL PyObject* was dereferenced");
1819dba64beSDimitry Andric }
1829dba64beSDimitry Andric 
1839dba64beSDimitry Andric inline llvm::Error exception(const char *s = nullptr) {
1849dba64beSDimitry Andric   return llvm::make_error<PythonException>(s);
1859dba64beSDimitry Andric }
1869dba64beSDimitry Andric 
1879dba64beSDimitry Andric inline llvm::Error keyError() {
1889dba64beSDimitry Andric   return llvm::createStringError(llvm::inconvertibleErrorCode(),
1899dba64beSDimitry Andric                                  "key not in dict");
1909dba64beSDimitry Andric }
1919dba64beSDimitry Andric 
192*0b57cec5SDimitry Andric enum class PyInitialValue { Invalid, Empty };
193*0b57cec5SDimitry Andric 
1949dba64beSDimitry Andric template <typename T, typename Enable = void> struct PythonFormat;
1959dba64beSDimitry Andric 
1969dba64beSDimitry Andric template <> struct PythonFormat<unsigned long long> {
1979dba64beSDimitry Andric   static constexpr char format = 'K';
1989dba64beSDimitry Andric   static auto get(unsigned long long value) { return value; }
1999dba64beSDimitry Andric };
2009dba64beSDimitry Andric 
2019dba64beSDimitry Andric template <> struct PythonFormat<long long> {
2029dba64beSDimitry Andric   static constexpr char format = 'L';
2039dba64beSDimitry Andric   static auto get(long long value) { return value; }
2049dba64beSDimitry Andric };
2059dba64beSDimitry Andric 
2069dba64beSDimitry Andric template <> struct PythonFormat<PyObject *> {
2079dba64beSDimitry Andric   static constexpr char format = 'O';
2089dba64beSDimitry Andric   static auto get(PyObject *value) { return value; }
2099dba64beSDimitry Andric };
2109dba64beSDimitry Andric 
2119dba64beSDimitry Andric template <typename T>
2129dba64beSDimitry Andric struct PythonFormat<
2139dba64beSDimitry Andric     T, typename std::enable_if<std::is_base_of<PythonObject, T>::value>::type> {
2149dba64beSDimitry Andric   static constexpr char format = 'O';
2159dba64beSDimitry Andric   static auto get(const T &value) { return value.get(); }
2169dba64beSDimitry Andric };
2179dba64beSDimitry Andric 
218*0b57cec5SDimitry Andric class PythonObject {
219*0b57cec5SDimitry Andric public:
220*0b57cec5SDimitry Andric   PythonObject() : m_py_obj(nullptr) {}
221*0b57cec5SDimitry Andric 
2229dba64beSDimitry Andric   PythonObject(PyRefType type, PyObject *py_obj) {
223*0b57cec5SDimitry Andric     m_py_obj = py_obj;
224*0b57cec5SDimitry Andric     // If this is a borrowed reference, we need to convert it to
225*0b57cec5SDimitry Andric     // an owned reference by incrementing it.  If it is an owned
226*0b57cec5SDimitry Andric     // reference (for example the caller allocated it with PyDict_New()
227*0b57cec5SDimitry Andric     // then we must *not* increment it.
2289dba64beSDimitry Andric     if (m_py_obj && Py_IsInitialized() && type == PyRefType::Borrowed)
229*0b57cec5SDimitry Andric       Py_XINCREF(m_py_obj);
230*0b57cec5SDimitry Andric   }
231*0b57cec5SDimitry Andric 
2329dba64beSDimitry Andric   PythonObject(const PythonObject &rhs)
2339dba64beSDimitry Andric       : PythonObject(PyRefType::Borrowed, rhs.m_py_obj) {}
2349dba64beSDimitry Andric 
2359dba64beSDimitry Andric   PythonObject(PythonObject &&rhs) {
2369dba64beSDimitry Andric     m_py_obj = rhs.m_py_obj;
2379dba64beSDimitry Andric     rhs.m_py_obj = nullptr;
2389dba64beSDimitry Andric   }
2399dba64beSDimitry Andric 
2409dba64beSDimitry Andric   ~PythonObject() { Reset(); }
2419dba64beSDimitry Andric 
2429dba64beSDimitry Andric   void Reset() {
2439dba64beSDimitry Andric     if (m_py_obj && Py_IsInitialized())
2449dba64beSDimitry Andric       Py_DECREF(m_py_obj);
2459dba64beSDimitry Andric     m_py_obj = nullptr;
2469dba64beSDimitry Andric   }
2479dba64beSDimitry Andric 
248*0b57cec5SDimitry Andric   void Dump() const {
249*0b57cec5SDimitry Andric     if (m_py_obj)
250*0b57cec5SDimitry Andric       _PyObject_Dump(m_py_obj);
251*0b57cec5SDimitry Andric     else
252*0b57cec5SDimitry Andric       puts("NULL");
253*0b57cec5SDimitry Andric   }
254*0b57cec5SDimitry Andric 
255*0b57cec5SDimitry Andric   void Dump(Stream &strm) const;
256*0b57cec5SDimitry Andric 
257*0b57cec5SDimitry Andric   PyObject *get() const { return m_py_obj; }
258*0b57cec5SDimitry Andric 
259*0b57cec5SDimitry Andric   PyObject *release() {
260*0b57cec5SDimitry Andric     PyObject *result = m_py_obj;
261*0b57cec5SDimitry Andric     m_py_obj = nullptr;
262*0b57cec5SDimitry Andric     return result;
263*0b57cec5SDimitry Andric   }
264*0b57cec5SDimitry Andric 
2659dba64beSDimitry Andric   PythonObject &operator=(PythonObject other) {
2669dba64beSDimitry Andric     Reset();
2679dba64beSDimitry Andric     m_py_obj = std::exchange(other.m_py_obj, nullptr);
268*0b57cec5SDimitry Andric     return *this;
269*0b57cec5SDimitry Andric   }
270*0b57cec5SDimitry Andric 
271*0b57cec5SDimitry Andric   PyObjectType GetObjectType() const;
272*0b57cec5SDimitry Andric 
273*0b57cec5SDimitry Andric   PythonString Repr() const;
274*0b57cec5SDimitry Andric 
275*0b57cec5SDimitry Andric   PythonString Str() const;
276*0b57cec5SDimitry Andric 
277*0b57cec5SDimitry Andric   static PythonObject ResolveNameWithDictionary(llvm::StringRef name,
278*0b57cec5SDimitry Andric                                                 const PythonDictionary &dict);
279*0b57cec5SDimitry Andric 
280*0b57cec5SDimitry Andric   template <typename T>
281*0b57cec5SDimitry Andric   static T ResolveNameWithDictionary(llvm::StringRef name,
282*0b57cec5SDimitry Andric                                      const PythonDictionary &dict) {
283*0b57cec5SDimitry Andric     return ResolveNameWithDictionary(name, dict).AsType<T>();
284*0b57cec5SDimitry Andric   }
285*0b57cec5SDimitry Andric 
286*0b57cec5SDimitry Andric   PythonObject ResolveName(llvm::StringRef name) const;
287*0b57cec5SDimitry Andric 
288*0b57cec5SDimitry Andric   template <typename T> T ResolveName(llvm::StringRef name) const {
289*0b57cec5SDimitry Andric     return ResolveName(name).AsType<T>();
290*0b57cec5SDimitry Andric   }
291*0b57cec5SDimitry Andric 
292*0b57cec5SDimitry Andric   bool HasAttribute(llvm::StringRef attribute) const;
293*0b57cec5SDimitry Andric 
294*0b57cec5SDimitry Andric   PythonObject GetAttributeValue(llvm::StringRef attribute) const;
295*0b57cec5SDimitry Andric 
2969dba64beSDimitry Andric   bool IsNone() const { return m_py_obj == Py_None; }
297*0b57cec5SDimitry Andric 
2989dba64beSDimitry Andric   bool IsValid() const { return m_py_obj != nullptr; }
299*0b57cec5SDimitry Andric 
3009dba64beSDimitry Andric   bool IsAllocated() const { return IsValid() && !IsNone(); }
3019dba64beSDimitry Andric 
3029dba64beSDimitry Andric   explicit operator bool() const { return IsValid() && !IsNone(); }
303*0b57cec5SDimitry Andric 
304*0b57cec5SDimitry Andric   template <typename T> T AsType() const {
305*0b57cec5SDimitry Andric     if (!T::Check(m_py_obj))
306*0b57cec5SDimitry Andric       return T();
307*0b57cec5SDimitry Andric     return T(PyRefType::Borrowed, m_py_obj);
308*0b57cec5SDimitry Andric   }
309*0b57cec5SDimitry Andric 
310*0b57cec5SDimitry Andric   StructuredData::ObjectSP CreateStructuredObject() const;
311*0b57cec5SDimitry Andric 
312*0b57cec5SDimitry Andric protected:
3139dba64beSDimitry Andric 
3149dba64beSDimitry Andric #if PY_MAJOR_VERSION < 3
3159dba64beSDimitry Andric   // The python 2 API declares some arguments as char* that should
3169dba64beSDimitry Andric   // be const char *, but it doesn't actually modify them.
3179dba64beSDimitry Andric   static char *py2_const_cast(const char *s) { return const_cast<char *>(s); }
3189dba64beSDimitry Andric #else
3199dba64beSDimitry Andric   static const char *py2_const_cast(const char *s) { return s; }
3209dba64beSDimitry Andric #endif
3219dba64beSDimitry Andric 
3229dba64beSDimitry Andric public:
3239dba64beSDimitry Andric   template <typename... T>
3249dba64beSDimitry Andric   llvm::Expected<PythonObject> CallMethod(const char *name,
3259dba64beSDimitry Andric                                           const T &... t) const {
3269dba64beSDimitry Andric     const char format[] = {'(', PythonFormat<T>::format..., ')', 0};
3279dba64beSDimitry Andric     PyObject *obj =
3289dba64beSDimitry Andric         PyObject_CallMethod(m_py_obj, py2_const_cast(name),
3299dba64beSDimitry Andric                             py2_const_cast(format), PythonFormat<T>::get(t)...);
3309dba64beSDimitry Andric     if (!obj)
3319dba64beSDimitry Andric       return exception();
3329dba64beSDimitry Andric     return python::Take<PythonObject>(obj);
3339dba64beSDimitry Andric   }
3349dba64beSDimitry Andric 
3359dba64beSDimitry Andric   template <typename... T>
3369dba64beSDimitry Andric   llvm::Expected<PythonObject> Call(const T &... t) const {
3379dba64beSDimitry Andric     const char format[] = {'(', PythonFormat<T>::format..., ')', 0};
3389dba64beSDimitry Andric     PyObject *obj = PyObject_CallFunction(m_py_obj, py2_const_cast(format),
3399dba64beSDimitry Andric                                           PythonFormat<T>::get(t)...);
3409dba64beSDimitry Andric     if (!obj)
3419dba64beSDimitry Andric       return exception();
3429dba64beSDimitry Andric     return python::Take<PythonObject>(obj);
3439dba64beSDimitry Andric   }
3449dba64beSDimitry Andric 
3459dba64beSDimitry Andric   llvm::Expected<PythonObject> GetAttribute(const llvm::Twine &name) const {
3469dba64beSDimitry Andric     if (!m_py_obj)
3479dba64beSDimitry Andric       return nullDeref();
3489dba64beSDimitry Andric     PyObject *obj = PyObject_GetAttrString(m_py_obj, NullTerminated(name));
3499dba64beSDimitry Andric     if (!obj)
3509dba64beSDimitry Andric       return exception();
3519dba64beSDimitry Andric     return python::Take<PythonObject>(obj);
3529dba64beSDimitry Andric   }
3539dba64beSDimitry Andric 
3549dba64beSDimitry Andric   llvm::Expected<bool> IsTrue() {
3559dba64beSDimitry Andric     if (!m_py_obj)
3569dba64beSDimitry Andric       return nullDeref();
3579dba64beSDimitry Andric     int r = PyObject_IsTrue(m_py_obj);
3589dba64beSDimitry Andric     if (r < 0)
3599dba64beSDimitry Andric       return exception();
3609dba64beSDimitry Andric     return !!r;
3619dba64beSDimitry Andric   }
3629dba64beSDimitry Andric 
3639dba64beSDimitry Andric   llvm::Expected<long long> AsLongLong() {
3649dba64beSDimitry Andric     if (!m_py_obj)
3659dba64beSDimitry Andric       return nullDeref();
3669dba64beSDimitry Andric     assert(!PyErr_Occurred());
3679dba64beSDimitry Andric     long long r = PyLong_AsLongLong(m_py_obj);
3689dba64beSDimitry Andric     if (PyErr_Occurred())
3699dba64beSDimitry Andric       return exception();
3709dba64beSDimitry Andric     return r;
3719dba64beSDimitry Andric   }
3729dba64beSDimitry Andric 
3739dba64beSDimitry Andric   llvm::Expected<bool> IsInstance(const PythonObject &cls) {
3749dba64beSDimitry Andric     if (!m_py_obj || !cls.IsValid())
3759dba64beSDimitry Andric       return nullDeref();
3769dba64beSDimitry Andric     int r = PyObject_IsInstance(m_py_obj, cls.get());
3779dba64beSDimitry Andric     if (r < 0)
3789dba64beSDimitry Andric       return exception();
3799dba64beSDimitry Andric     return !!r;
3809dba64beSDimitry Andric   }
3819dba64beSDimitry Andric 
3829dba64beSDimitry Andric protected:
383*0b57cec5SDimitry Andric   PyObject *m_py_obj;
384*0b57cec5SDimitry Andric };
385*0b57cec5SDimitry Andric 
3869dba64beSDimitry Andric 
3879dba64beSDimitry Andric // This is why C++ needs monads.
3889dba64beSDimitry Andric template <typename T> llvm::Expected<T> As(llvm::Expected<PythonObject> &&obj) {
3899dba64beSDimitry Andric   if (!obj)
3909dba64beSDimitry Andric     return obj.takeError();
3919dba64beSDimitry Andric   if (!T::Check(obj.get().get()))
3929dba64beSDimitry Andric     return llvm::createStringError(llvm::inconvertibleErrorCode(),
3939dba64beSDimitry Andric                                    "type error");
3949dba64beSDimitry Andric   return T(PyRefType::Borrowed, std::move(obj.get().get()));
3959dba64beSDimitry Andric }
3969dba64beSDimitry Andric 
3979dba64beSDimitry Andric template <> llvm::Expected<bool> As<bool>(llvm::Expected<PythonObject> &&obj);
3989dba64beSDimitry Andric 
3999dba64beSDimitry Andric template <>
4009dba64beSDimitry Andric llvm::Expected<long long> As<long long>(llvm::Expected<PythonObject> &&obj);
4019dba64beSDimitry Andric 
4029dba64beSDimitry Andric template <>
4039dba64beSDimitry Andric llvm::Expected<std::string> As<std::string>(llvm::Expected<PythonObject> &&obj);
4049dba64beSDimitry Andric 
4059dba64beSDimitry Andric 
4069dba64beSDimitry Andric template <class T> class TypedPythonObject : public PythonObject {
407*0b57cec5SDimitry Andric public:
4089dba64beSDimitry Andric   // override to perform implicit type conversions on Reset
4099dba64beSDimitry Andric   // This can be eliminated once we drop python 2 support.
4109dba64beSDimitry Andric   static void Convert(PyRefType &type, PyObject *&py_obj) {}
4119dba64beSDimitry Andric 
4129dba64beSDimitry Andric   TypedPythonObject(PyRefType type, PyObject *py_obj) {
4139dba64beSDimitry Andric     if (!py_obj)
4149dba64beSDimitry Andric       return;
4159dba64beSDimitry Andric     T::Convert(type, py_obj);
4169dba64beSDimitry Andric     if (T::Check(py_obj))
4179dba64beSDimitry Andric       PythonObject::operator=(PythonObject(type, py_obj));
4189dba64beSDimitry Andric     else if (type == PyRefType::Owned)
4199dba64beSDimitry Andric       Py_DECREF(py_obj);
4209dba64beSDimitry Andric   }
4219dba64beSDimitry Andric 
4229dba64beSDimitry Andric   TypedPythonObject() {}
4239dba64beSDimitry Andric };
4249dba64beSDimitry Andric 
4259dba64beSDimitry Andric class PythonBytes : public TypedPythonObject<PythonBytes> {
4269dba64beSDimitry Andric public:
4279dba64beSDimitry Andric   using TypedPythonObject::TypedPythonObject;
428*0b57cec5SDimitry Andric   explicit PythonBytes(llvm::ArrayRef<uint8_t> bytes);
429*0b57cec5SDimitry Andric   PythonBytes(const uint8_t *bytes, size_t length);
430*0b57cec5SDimitry Andric 
431*0b57cec5SDimitry Andric   static bool Check(PyObject *py_obj);
432*0b57cec5SDimitry Andric 
433*0b57cec5SDimitry Andric   llvm::ArrayRef<uint8_t> GetBytes() const;
434*0b57cec5SDimitry Andric 
435*0b57cec5SDimitry Andric   size_t GetSize() const;
436*0b57cec5SDimitry Andric 
437*0b57cec5SDimitry Andric   void SetBytes(llvm::ArrayRef<uint8_t> stringbytes);
438*0b57cec5SDimitry Andric 
439*0b57cec5SDimitry Andric   StructuredData::StringSP CreateStructuredString() const;
440*0b57cec5SDimitry Andric };
441*0b57cec5SDimitry Andric 
4429dba64beSDimitry Andric class PythonByteArray : public TypedPythonObject<PythonByteArray> {
443*0b57cec5SDimitry Andric public:
4449dba64beSDimitry Andric   using TypedPythonObject::TypedPythonObject;
445*0b57cec5SDimitry Andric   explicit PythonByteArray(llvm::ArrayRef<uint8_t> bytes);
446*0b57cec5SDimitry Andric   PythonByteArray(const uint8_t *bytes, size_t length);
447*0b57cec5SDimitry Andric   PythonByteArray(const PythonBytes &object);
448*0b57cec5SDimitry Andric 
449*0b57cec5SDimitry Andric   static bool Check(PyObject *py_obj);
450*0b57cec5SDimitry Andric 
451*0b57cec5SDimitry Andric   llvm::ArrayRef<uint8_t> GetBytes() const;
452*0b57cec5SDimitry Andric 
453*0b57cec5SDimitry Andric   size_t GetSize() const;
454*0b57cec5SDimitry Andric 
455*0b57cec5SDimitry Andric   void SetBytes(llvm::ArrayRef<uint8_t> stringbytes);
456*0b57cec5SDimitry Andric 
457*0b57cec5SDimitry Andric   StructuredData::StringSP CreateStructuredString() const;
458*0b57cec5SDimitry Andric };
459*0b57cec5SDimitry Andric 
4609dba64beSDimitry Andric class PythonString : public TypedPythonObject<PythonString> {
461*0b57cec5SDimitry Andric public:
4629dba64beSDimitry Andric   using TypedPythonObject::TypedPythonObject;
4639dba64beSDimitry Andric   static llvm::Expected<PythonString> FromUTF8(llvm::StringRef string);
464*0b57cec5SDimitry Andric 
4659dba64beSDimitry Andric   PythonString() : TypedPythonObject() {} // MSVC requires this for some reason
4669dba64beSDimitry Andric 
4679dba64beSDimitry Andric   explicit PythonString(llvm::StringRef string); // safe, null on error
468*0b57cec5SDimitry Andric 
469*0b57cec5SDimitry Andric   static bool Check(PyObject *py_obj);
4709dba64beSDimitry Andric   static void Convert(PyRefType &type, PyObject *&py_obj);
471*0b57cec5SDimitry Andric 
4729dba64beSDimitry Andric   llvm::StringRef GetString() const; // safe, empty string on error
473*0b57cec5SDimitry Andric 
4749dba64beSDimitry Andric   llvm::Expected<llvm::StringRef> AsUTF8() const;
475*0b57cec5SDimitry Andric 
476*0b57cec5SDimitry Andric   size_t GetSize() const;
477*0b57cec5SDimitry Andric 
4789dba64beSDimitry Andric   void SetString(llvm::StringRef string); // safe, null on error
479*0b57cec5SDimitry Andric 
480*0b57cec5SDimitry Andric   StructuredData::StringSP CreateStructuredString() const;
481*0b57cec5SDimitry Andric };
482*0b57cec5SDimitry Andric 
4839dba64beSDimitry Andric class PythonInteger : public TypedPythonObject<PythonInteger> {
484*0b57cec5SDimitry Andric public:
4859dba64beSDimitry Andric   using TypedPythonObject::TypedPythonObject;
486*0b57cec5SDimitry Andric 
4879dba64beSDimitry Andric   PythonInteger() : TypedPythonObject() {} // MSVC requires this for some reason
4889dba64beSDimitry Andric 
4899dba64beSDimitry Andric   explicit PythonInteger(int64_t value);
490*0b57cec5SDimitry Andric 
491*0b57cec5SDimitry Andric   static bool Check(PyObject *py_obj);
4929dba64beSDimitry Andric   static void Convert(PyRefType &type, PyObject *&py_obj);
493*0b57cec5SDimitry Andric 
494*0b57cec5SDimitry Andric   int64_t GetInteger() const;
495*0b57cec5SDimitry Andric 
496*0b57cec5SDimitry Andric   void SetInteger(int64_t value);
497*0b57cec5SDimitry Andric 
498*0b57cec5SDimitry Andric   StructuredData::IntegerSP CreateStructuredInteger() const;
499*0b57cec5SDimitry Andric };
500*0b57cec5SDimitry Andric 
5019dba64beSDimitry Andric class PythonBoolean : public TypedPythonObject<PythonBoolean> {
502*0b57cec5SDimitry Andric public:
5039dba64beSDimitry Andric   using TypedPythonObject::TypedPythonObject;
504*0b57cec5SDimitry Andric 
5059dba64beSDimitry Andric   explicit PythonBoolean(bool value);
506*0b57cec5SDimitry Andric 
507*0b57cec5SDimitry Andric   static bool Check(PyObject *py_obj);
508*0b57cec5SDimitry Andric 
509*0b57cec5SDimitry Andric   bool GetValue() const;
510*0b57cec5SDimitry Andric 
511*0b57cec5SDimitry Andric   void SetValue(bool value);
512*0b57cec5SDimitry Andric 
513*0b57cec5SDimitry Andric   StructuredData::BooleanSP CreateStructuredBoolean() const;
514*0b57cec5SDimitry Andric };
515*0b57cec5SDimitry Andric 
5169dba64beSDimitry Andric class PythonList : public TypedPythonObject<PythonList> {
517*0b57cec5SDimitry Andric public:
5189dba64beSDimitry Andric   using TypedPythonObject::TypedPythonObject;
5199dba64beSDimitry Andric 
5209dba64beSDimitry Andric   PythonList() : TypedPythonObject() {} // MSVC requires this for some reason
5219dba64beSDimitry Andric 
522*0b57cec5SDimitry Andric   explicit PythonList(PyInitialValue value);
523*0b57cec5SDimitry Andric   explicit PythonList(int list_size);
524*0b57cec5SDimitry Andric 
525*0b57cec5SDimitry Andric   static bool Check(PyObject *py_obj);
526*0b57cec5SDimitry Andric 
527*0b57cec5SDimitry Andric   uint32_t GetSize() const;
528*0b57cec5SDimitry Andric 
529*0b57cec5SDimitry Andric   PythonObject GetItemAtIndex(uint32_t index) const;
530*0b57cec5SDimitry Andric 
531*0b57cec5SDimitry Andric   void SetItemAtIndex(uint32_t index, const PythonObject &object);
532*0b57cec5SDimitry Andric 
533*0b57cec5SDimitry Andric   void AppendItem(const PythonObject &object);
534*0b57cec5SDimitry Andric 
535*0b57cec5SDimitry Andric   StructuredData::ArraySP CreateStructuredArray() const;
536*0b57cec5SDimitry Andric };
537*0b57cec5SDimitry Andric 
5389dba64beSDimitry Andric class PythonTuple : public TypedPythonObject<PythonTuple> {
539*0b57cec5SDimitry Andric public:
5409dba64beSDimitry Andric   using TypedPythonObject::TypedPythonObject;
5419dba64beSDimitry Andric 
542*0b57cec5SDimitry Andric   explicit PythonTuple(PyInitialValue value);
543*0b57cec5SDimitry Andric   explicit PythonTuple(int tuple_size);
544*0b57cec5SDimitry Andric   PythonTuple(std::initializer_list<PythonObject> objects);
545*0b57cec5SDimitry Andric   PythonTuple(std::initializer_list<PyObject *> objects);
546*0b57cec5SDimitry Andric 
547*0b57cec5SDimitry Andric   static bool Check(PyObject *py_obj);
548*0b57cec5SDimitry Andric 
549*0b57cec5SDimitry Andric   uint32_t GetSize() const;
550*0b57cec5SDimitry Andric 
551*0b57cec5SDimitry Andric   PythonObject GetItemAtIndex(uint32_t index) const;
552*0b57cec5SDimitry Andric 
553*0b57cec5SDimitry Andric   void SetItemAtIndex(uint32_t index, const PythonObject &object);
554*0b57cec5SDimitry Andric 
555*0b57cec5SDimitry Andric   StructuredData::ArraySP CreateStructuredArray() const;
556*0b57cec5SDimitry Andric };
557*0b57cec5SDimitry Andric 
5589dba64beSDimitry Andric class PythonDictionary : public TypedPythonObject<PythonDictionary> {
559*0b57cec5SDimitry Andric public:
5609dba64beSDimitry Andric   using TypedPythonObject::TypedPythonObject;
561*0b57cec5SDimitry Andric 
5629dba64beSDimitry Andric   PythonDictionary() : TypedPythonObject() {} // MSVC requires this for some reason
5639dba64beSDimitry Andric 
5649dba64beSDimitry Andric   explicit PythonDictionary(PyInitialValue value);
565*0b57cec5SDimitry Andric 
566*0b57cec5SDimitry Andric   static bool Check(PyObject *py_obj);
567*0b57cec5SDimitry Andric 
568*0b57cec5SDimitry Andric   uint32_t GetSize() const;
569*0b57cec5SDimitry Andric 
570*0b57cec5SDimitry Andric   PythonList GetKeys() const;
571*0b57cec5SDimitry Andric 
5729dba64beSDimitry Andric   PythonObject GetItemForKey(const PythonObject &key) const; // DEPRECATED
5739dba64beSDimitry Andric   void SetItemForKey(const PythonObject &key,
5749dba64beSDimitry Andric                      const PythonObject &value); // DEPRECATED
5759dba64beSDimitry Andric 
5769dba64beSDimitry Andric   llvm::Expected<PythonObject> GetItem(const PythonObject &key) const;
5779dba64beSDimitry Andric   llvm::Expected<PythonObject> GetItem(const llvm::Twine &key) const;
5789dba64beSDimitry Andric   llvm::Error SetItem(const PythonObject &key, const PythonObject &value) const;
5799dba64beSDimitry Andric   llvm::Error SetItem(const llvm::Twine &key, const PythonObject &value) const;
580*0b57cec5SDimitry Andric 
581*0b57cec5SDimitry Andric   StructuredData::DictionarySP CreateStructuredDictionary() const;
582*0b57cec5SDimitry Andric };
583*0b57cec5SDimitry Andric 
5849dba64beSDimitry Andric class PythonModule : public TypedPythonObject<PythonModule> {
585*0b57cec5SDimitry Andric public:
5869dba64beSDimitry Andric   using TypedPythonObject::TypedPythonObject;
587*0b57cec5SDimitry Andric 
588*0b57cec5SDimitry Andric   static bool Check(PyObject *py_obj);
589*0b57cec5SDimitry Andric 
590*0b57cec5SDimitry Andric   static PythonModule BuiltinsModule();
591*0b57cec5SDimitry Andric 
592*0b57cec5SDimitry Andric   static PythonModule MainModule();
593*0b57cec5SDimitry Andric 
594*0b57cec5SDimitry Andric   static PythonModule AddModule(llvm::StringRef module);
595*0b57cec5SDimitry Andric 
5969dba64beSDimitry Andric   // safe, returns invalid on error;
5979dba64beSDimitry Andric   static PythonModule ImportModule(llvm::StringRef name) {
5989dba64beSDimitry Andric     std::string s = name;
5999dba64beSDimitry Andric     auto mod = Import(s.c_str());
6009dba64beSDimitry Andric     if (!mod) {
6019dba64beSDimitry Andric       llvm::consumeError(mod.takeError());
6029dba64beSDimitry Andric       return PythonModule();
6039dba64beSDimitry Andric     }
6049dba64beSDimitry Andric     return std::move(mod.get());
6059dba64beSDimitry Andric   }
606*0b57cec5SDimitry Andric 
6079dba64beSDimitry Andric   static llvm::Expected<PythonModule> Import(const llvm::Twine &name);
608*0b57cec5SDimitry Andric 
6099dba64beSDimitry Andric   llvm::Expected<PythonObject> Get(const llvm::Twine &name);
610*0b57cec5SDimitry Andric 
611*0b57cec5SDimitry Andric   PythonDictionary GetDictionary() const;
612*0b57cec5SDimitry Andric };
613*0b57cec5SDimitry Andric 
6149dba64beSDimitry Andric class PythonCallable : public TypedPythonObject<PythonCallable> {
615*0b57cec5SDimitry Andric public:
6169dba64beSDimitry Andric   using TypedPythonObject::TypedPythonObject;
6179dba64beSDimitry Andric 
618*0b57cec5SDimitry Andric   struct ArgInfo {
6199dba64beSDimitry Andric     /* the largest number of positional arguments this callable
6209dba64beSDimitry Andric      * can accept, or UNBOUNDED, ie UINT_MAX if it's a varargs
6219dba64beSDimitry Andric      * function and can accept an arbitrary number */
6229dba64beSDimitry Andric     unsigned max_positional_args;
6239dba64beSDimitry Andric     static constexpr unsigned UNBOUNDED = UINT_MAX; // FIXME c++17 inline
6249dba64beSDimitry Andric     /* the number of positional arguments, including optional ones,
6259dba64beSDimitry Andric      * and excluding varargs.  If this is a bound method, then the
6269dba64beSDimitry Andric      * count will still include a +1 for self.
6279dba64beSDimitry Andric      *
6289dba64beSDimitry Andric      * FIXME. That's crazy.  This should be replaced with
6299dba64beSDimitry Andric      * an accurate min and max for positional args.
6309dba64beSDimitry Andric      */
6319dba64beSDimitry Andric     int count;
6329dba64beSDimitry Andric     /* does the callable have positional varargs? */
6339dba64beSDimitry Andric     bool has_varargs : 1; // FIXME delete this
634*0b57cec5SDimitry Andric   };
635*0b57cec5SDimitry Andric 
636*0b57cec5SDimitry Andric   static bool Check(PyObject *py_obj);
637*0b57cec5SDimitry Andric 
6389dba64beSDimitry Andric   llvm::Expected<ArgInfo> GetArgInfo() const;
639*0b57cec5SDimitry Andric 
6409dba64beSDimitry Andric   llvm::Expected<ArgInfo> GetInitArgInfo() const;
641*0b57cec5SDimitry Andric 
6429dba64beSDimitry Andric   ArgInfo GetNumArguments() const; // DEPRECATED
6439dba64beSDimitry Andric 
6449dba64beSDimitry Andric   // If the callable is a Py_Class, then find the number of arguments
6459dba64beSDimitry Andric   // of the __init__ method.
6469dba64beSDimitry Andric   ArgInfo GetNumInitArguments() const; // DEPRECATED
647*0b57cec5SDimitry Andric 
648*0b57cec5SDimitry Andric   PythonObject operator()();
649*0b57cec5SDimitry Andric 
650*0b57cec5SDimitry Andric   PythonObject operator()(std::initializer_list<PyObject *> args);
651*0b57cec5SDimitry Andric 
652*0b57cec5SDimitry Andric   PythonObject operator()(std::initializer_list<PythonObject> args);
653*0b57cec5SDimitry Andric 
654*0b57cec5SDimitry Andric   template <typename Arg, typename... Args>
655*0b57cec5SDimitry Andric   PythonObject operator()(const Arg &arg, Args... args) {
656*0b57cec5SDimitry Andric     return operator()({arg, args...});
657*0b57cec5SDimitry Andric   }
658*0b57cec5SDimitry Andric };
659*0b57cec5SDimitry Andric 
6609dba64beSDimitry Andric class PythonFile : public TypedPythonObject<PythonFile> {
661*0b57cec5SDimitry Andric public:
6629dba64beSDimitry Andric   using TypedPythonObject::TypedPythonObject;
663*0b57cec5SDimitry Andric 
6649dba64beSDimitry Andric   PythonFile() : TypedPythonObject() {} // MSVC requires this for some reason
665*0b57cec5SDimitry Andric 
666*0b57cec5SDimitry Andric   static bool Check(PyObject *py_obj);
667*0b57cec5SDimitry Andric 
6689dba64beSDimitry Andric   static llvm::Expected<PythonFile> FromFile(File &file,
6699dba64beSDimitry Andric                                              const char *mode = nullptr);
670*0b57cec5SDimitry Andric 
6719dba64beSDimitry Andric   llvm::Expected<lldb::FileSP> ConvertToFile(bool borrowed = false);
6729dba64beSDimitry Andric   llvm::Expected<lldb::FileSP>
6739dba64beSDimitry Andric   ConvertToFileForcingUseOfScriptingIOMethods(bool borrowed = false);
674*0b57cec5SDimitry Andric };
675*0b57cec5SDimitry Andric 
6769dba64beSDimitry Andric class PythonException : public llvm::ErrorInfo<PythonException> {
6779dba64beSDimitry Andric private:
6789dba64beSDimitry Andric   PyObject *m_exception_type, *m_exception, *m_traceback;
6799dba64beSDimitry Andric   PyObject *m_repr_bytes;
6809dba64beSDimitry Andric 
6819dba64beSDimitry Andric public:
6829dba64beSDimitry Andric   static char ID;
6839dba64beSDimitry Andric   const char *toCString() const;
6849dba64beSDimitry Andric   PythonException(const char *caller = nullptr);
6859dba64beSDimitry Andric   void Restore();
6869dba64beSDimitry Andric   ~PythonException();
6879dba64beSDimitry Andric   void log(llvm::raw_ostream &OS) const override;
6889dba64beSDimitry Andric   std::error_code convertToErrorCode() const override;
6899dba64beSDimitry Andric   bool Matches(PyObject *exc) const;
6909dba64beSDimitry Andric   std::string ReadBacktrace() const;
6919dba64beSDimitry Andric };
6929dba64beSDimitry Andric 
6939dba64beSDimitry Andric // This extracts the underlying T out of an Expected<T> and returns it.
6949dba64beSDimitry Andric // If the Expected is an Error instead of a T, that error will be converted
6959dba64beSDimitry Andric // into a python exception, and this will return a default-constructed T.
6969dba64beSDimitry Andric //
6979dba64beSDimitry Andric // This is appropriate for use right at the boundary of python calling into
6989dba64beSDimitry Andric // C++, such as in a SWIG typemap.   In such a context you should simply
6999dba64beSDimitry Andric // check if the returned T is valid, and if it is, return a NULL back
7009dba64beSDimitry Andric // to python.   This will result in the Error being raised as an exception
7019dba64beSDimitry Andric // from python code's point of view.
7029dba64beSDimitry Andric //
7039dba64beSDimitry Andric // For example:
7049dba64beSDimitry Andric // ```
7059dba64beSDimitry Andric // Expected<Foo *> efoop = some_cpp_function();
7069dba64beSDimitry Andric // Foo *foop = unwrapOrSetPythonException(efoop);
7079dba64beSDimitry Andric // if (!foop)
7089dba64beSDimitry Andric //    return NULL;
7099dba64beSDimitry Andric // do_something(*foop);
7109dba64beSDimitry Andric //
7119dba64beSDimitry Andric // If the Error returned was itself created because a python exception was
7129dba64beSDimitry Andric // raised when C++ code called into python, then the original exception
7139dba64beSDimitry Andric // will be restored.   Otherwise a simple string exception will be raised.
7149dba64beSDimitry Andric template <typename T> T unwrapOrSetPythonException(llvm::Expected<T> expected) {
7159dba64beSDimitry Andric   if (expected)
7169dba64beSDimitry Andric     return expected.get();
7179dba64beSDimitry Andric   llvm::handleAllErrors(
7189dba64beSDimitry Andric       expected.takeError(), [](PythonException &E) { E.Restore(); },
7199dba64beSDimitry Andric       [](const llvm::ErrorInfoBase &E) {
7209dba64beSDimitry Andric         PyErr_SetString(PyExc_Exception, E.message().c_str());
7219dba64beSDimitry Andric       });
7229dba64beSDimitry Andric   return T();
7239dba64beSDimitry Andric }
7249dba64beSDimitry Andric 
7259dba64beSDimitry Andric // This is only here to help incrementally migrate old, exception-unsafe
7269dba64beSDimitry Andric // code.
7279dba64beSDimitry Andric template <typename T> T unwrapIgnoringErrors(llvm::Expected<T> expected) {
7289dba64beSDimitry Andric   if (expected)
7299dba64beSDimitry Andric     return std::move(expected.get());
7309dba64beSDimitry Andric   llvm::consumeError(expected.takeError());
7319dba64beSDimitry Andric   return T();
7329dba64beSDimitry Andric }
7339dba64beSDimitry Andric 
7349dba64beSDimitry Andric llvm::Expected<PythonObject> runStringOneLine(const llvm::Twine &string,
7359dba64beSDimitry Andric                                               const PythonDictionary &globals,
7369dba64beSDimitry Andric                                               const PythonDictionary &locals);
7379dba64beSDimitry Andric 
7389dba64beSDimitry Andric llvm::Expected<PythonObject> runStringMultiLine(const llvm::Twine &string,
7399dba64beSDimitry Andric                                                 const PythonDictionary &globals,
7409dba64beSDimitry Andric                                                 const PythonDictionary &locals);
7419dba64beSDimitry Andric 
7429dba64beSDimitry Andric // Sometimes the best way to interact with a python interpreter is
7439dba64beSDimitry Andric // to run some python code.   You construct a PythonScript with
7449dba64beSDimitry Andric // script string.   The script assigns some function to `_function_`
7459dba64beSDimitry Andric // and you get a C++ callable object that calls the python function.
7469dba64beSDimitry Andric //
7479dba64beSDimitry Andric // Example:
7489dba64beSDimitry Andric //
7499dba64beSDimitry Andric // const char script[] = R"(
7509dba64beSDimitry Andric // def main(x, y):
7519dba64beSDimitry Andric //    ....
7529dba64beSDimitry Andric // )";
7539dba64beSDimitry Andric //
7549dba64beSDimitry Andric // Expected<PythonObject> cpp_foo_wrapper(PythonObject x, PythonObject y) {
7559dba64beSDimitry Andric //   // no need to synchronize access to this global, we already have the GIL
7569dba64beSDimitry Andric //   static PythonScript foo(script)
7579dba64beSDimitry Andric //   return  foo(x, y);
7589dba64beSDimitry Andric // }
7599dba64beSDimitry Andric class PythonScript {
7609dba64beSDimitry Andric   const char *script;
7619dba64beSDimitry Andric   PythonCallable function;
7629dba64beSDimitry Andric 
7639dba64beSDimitry Andric   llvm::Error Init();
7649dba64beSDimitry Andric 
7659dba64beSDimitry Andric public:
7669dba64beSDimitry Andric   PythonScript(const char *script) : script(script), function() {}
7679dba64beSDimitry Andric 
7689dba64beSDimitry Andric   template <typename... Args>
7699dba64beSDimitry Andric   llvm::Expected<PythonObject> operator()(Args &&... args) {
7709dba64beSDimitry Andric     if (llvm::Error error = Init())
7719dba64beSDimitry Andric       return std::move(error);
7729dba64beSDimitry Andric     return function.Call(std::forward<Args>(args)...);
7739dba64beSDimitry Andric   }
7749dba64beSDimitry Andric };
7759dba64beSDimitry Andric 
7769dba64beSDimitry Andric } // namespace python
777*0b57cec5SDimitry Andric } // namespace lldb_private
778*0b57cec5SDimitry Andric 
779*0b57cec5SDimitry Andric #endif
780*0b57cec5SDimitry Andric 
781*0b57cec5SDimitry Andric #endif // LLDB_PLUGINS_SCRIPTINTERPRETER_PYTHON_PYTHONDATAOBJECTS_H
782