15ffd83dbSDimitry Andric //===-- PythonDataObjects.cpp ---------------------------------------------===// 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 9480093f4SDimitry Andric #include "lldb/Host/Config.h" 10*0b57cec5SDimitry Andric 11480093f4SDimitry Andric #if LLDB_ENABLE_PYTHON 12*0b57cec5SDimitry Andric 13*0b57cec5SDimitry Andric #include "PythonDataObjects.h" 14*0b57cec5SDimitry Andric #include "ScriptInterpreterPython.h" 15*0b57cec5SDimitry Andric 16*0b57cec5SDimitry Andric #include "lldb/Host/File.h" 17*0b57cec5SDimitry Andric #include "lldb/Host/FileSystem.h" 18*0b57cec5SDimitry Andric #include "lldb/Interpreter/ScriptInterpreter.h" 1981ad6265SDimitry Andric #include "lldb/Utility/LLDBLog.h" 209dba64beSDimitry Andric #include "lldb/Utility/Log.h" 21*0b57cec5SDimitry Andric #include "lldb/Utility/Stream.h" 22*0b57cec5SDimitry Andric 239dba64beSDimitry Andric #include "llvm/Support/Casting.h" 24*0b57cec5SDimitry Andric #include "llvm/Support/ConvertUTF.h" 25*0b57cec5SDimitry Andric #include "llvm/Support/Errno.h" 26*0b57cec5SDimitry Andric 27fe6060f1SDimitry Andric #include <cstdio> 28*0b57cec5SDimitry Andric 29*0b57cec5SDimitry Andric using namespace lldb_private; 30*0b57cec5SDimitry Andric using namespace lldb; 319dba64beSDimitry Andric using namespace lldb_private::python; 329dba64beSDimitry Andric using llvm::cantFail; 339dba64beSDimitry Andric using llvm::Error; 349dba64beSDimitry Andric using llvm::Expected; 359dba64beSDimitry Andric using llvm::Twine; 36*0b57cec5SDimitry Andric 379dba64beSDimitry Andric template <> Expected<bool> python::As<bool>(Expected<PythonObject> &&obj) { 389dba64beSDimitry Andric if (!obj) 399dba64beSDimitry Andric return obj.takeError(); 409dba64beSDimitry Andric return obj.get().IsTrue(); 419dba64beSDimitry Andric } 429dba64beSDimitry Andric 439dba64beSDimitry Andric template <> 449dba64beSDimitry Andric Expected<long long> python::As<long long>(Expected<PythonObject> &&obj) { 459dba64beSDimitry Andric if (!obj) 469dba64beSDimitry Andric return obj.takeError(); 475ffd83dbSDimitry Andric return obj->AsLongLong(); 485ffd83dbSDimitry Andric } 495ffd83dbSDimitry Andric 505ffd83dbSDimitry Andric template <> 515ffd83dbSDimitry Andric Expected<unsigned long long> 525ffd83dbSDimitry Andric python::As<unsigned long long>(Expected<PythonObject> &&obj) { 535ffd83dbSDimitry Andric if (!obj) 545ffd83dbSDimitry Andric return obj.takeError(); 555ffd83dbSDimitry Andric return obj->AsUnsignedLongLong(); 569dba64beSDimitry Andric } 579dba64beSDimitry Andric 589dba64beSDimitry Andric template <> 599dba64beSDimitry Andric Expected<std::string> python::As<std::string>(Expected<PythonObject> &&obj) { 609dba64beSDimitry Andric if (!obj) 619dba64beSDimitry Andric return obj.takeError(); 629dba64beSDimitry Andric PyObject *str_obj = PyObject_Str(obj.get().get()); 639dba64beSDimitry Andric if (!obj) 649dba64beSDimitry Andric return llvm::make_error<PythonException>(); 659dba64beSDimitry Andric auto str = Take<PythonString>(str_obj); 669dba64beSDimitry Andric auto utf8 = str.AsUTF8(); 679dba64beSDimitry Andric if (!utf8) 689dba64beSDimitry Andric return utf8.takeError(); 695ffd83dbSDimitry Andric return std::string(utf8.get()); 705ffd83dbSDimitry Andric } 715ffd83dbSDimitry Andric 7204eeddc0SDimitry Andric static bool python_is_finalizing() { 7381ad6265SDimitry Andric #if PY_MAJOR_VERSION == 3 && PY_MINOR_VERSION < 7 7404eeddc0SDimitry Andric return _Py_Finalizing != nullptr; 7504eeddc0SDimitry Andric #else 7604eeddc0SDimitry Andric return _Py_IsFinalizing(); 7704eeddc0SDimitry Andric #endif 7804eeddc0SDimitry Andric } 7904eeddc0SDimitry Andric 8004eeddc0SDimitry Andric void PythonObject::Reset() { 8104eeddc0SDimitry Andric if (m_py_obj && Py_IsInitialized()) { 8204eeddc0SDimitry Andric if (python_is_finalizing()) { 8304eeddc0SDimitry Andric // Leak m_py_obj rather than crashing the process. 8404eeddc0SDimitry Andric // https://docs.python.org/3/c-api/init.html#c.PyGILState_Ensure 8504eeddc0SDimitry Andric } else { 8604eeddc0SDimitry Andric PyGILState_STATE state = PyGILState_Ensure(); 8704eeddc0SDimitry Andric Py_DECREF(m_py_obj); 8804eeddc0SDimitry Andric PyGILState_Release(state); 8904eeddc0SDimitry Andric } 9004eeddc0SDimitry Andric } 9104eeddc0SDimitry Andric m_py_obj = nullptr; 9204eeddc0SDimitry Andric } 9304eeddc0SDimitry Andric 945ffd83dbSDimitry Andric Expected<long long> PythonObject::AsLongLong() const { 955ffd83dbSDimitry Andric if (!m_py_obj) 965ffd83dbSDimitry Andric return nullDeref(); 975ffd83dbSDimitry Andric assert(!PyErr_Occurred()); 985ffd83dbSDimitry Andric long long r = PyLong_AsLongLong(m_py_obj); 995ffd83dbSDimitry Andric if (PyErr_Occurred()) 1005ffd83dbSDimitry Andric return exception(); 1015ffd83dbSDimitry Andric return r; 1025ffd83dbSDimitry Andric } 1035ffd83dbSDimitry Andric 1045ffd83dbSDimitry Andric Expected<long long> PythonObject::AsUnsignedLongLong() const { 1055ffd83dbSDimitry Andric if (!m_py_obj) 1065ffd83dbSDimitry Andric return nullDeref(); 1075ffd83dbSDimitry Andric assert(!PyErr_Occurred()); 1085ffd83dbSDimitry Andric long long r = PyLong_AsUnsignedLongLong(m_py_obj); 1095ffd83dbSDimitry Andric if (PyErr_Occurred()) 1105ffd83dbSDimitry Andric return exception(); 1115ffd83dbSDimitry Andric return r; 1125ffd83dbSDimitry Andric } 1135ffd83dbSDimitry Andric 1145ffd83dbSDimitry Andric // wraps on overflow, instead of raising an error. 1155ffd83dbSDimitry Andric Expected<unsigned long long> PythonObject::AsModuloUnsignedLongLong() const { 1165ffd83dbSDimitry Andric if (!m_py_obj) 1175ffd83dbSDimitry Andric return nullDeref(); 1185ffd83dbSDimitry Andric assert(!PyErr_Occurred()); 1195ffd83dbSDimitry Andric unsigned long long r = PyLong_AsUnsignedLongLongMask(m_py_obj); 1205ffd83dbSDimitry Andric if (PyErr_Occurred()) 1215ffd83dbSDimitry Andric return exception(); 1225ffd83dbSDimitry Andric return r; 1239dba64beSDimitry Andric } 1249dba64beSDimitry Andric 1259dba64beSDimitry Andric void StructuredPythonObject::Serialize(llvm::json::OStream &s) const { 1269dba64beSDimitry Andric s.value(llvm::formatv("Python Obj: {0:X}", GetValue()).str()); 127*0b57cec5SDimitry Andric } 128*0b57cec5SDimitry Andric 129*0b57cec5SDimitry Andric // PythonObject 130*0b57cec5SDimitry Andric 131*0b57cec5SDimitry Andric void PythonObject::Dump(Stream &strm) const { 132*0b57cec5SDimitry Andric if (m_py_obj) { 133*0b57cec5SDimitry Andric FILE *file = llvm::sys::RetryAfterSignal(nullptr, ::tmpfile); 134*0b57cec5SDimitry Andric if (file) { 135*0b57cec5SDimitry Andric ::PyObject_Print(m_py_obj, file, 0); 136*0b57cec5SDimitry Andric const long length = ftell(file); 137*0b57cec5SDimitry Andric if (length) { 138*0b57cec5SDimitry Andric ::rewind(file); 139*0b57cec5SDimitry Andric std::vector<char> file_contents(length, '\0'); 140*0b57cec5SDimitry Andric const size_t length_read = 141*0b57cec5SDimitry Andric ::fread(file_contents.data(), 1, file_contents.size(), file); 142*0b57cec5SDimitry Andric if (length_read > 0) 143*0b57cec5SDimitry Andric strm.Write(file_contents.data(), length_read); 144*0b57cec5SDimitry Andric } 145*0b57cec5SDimitry Andric ::fclose(file); 146*0b57cec5SDimitry Andric } 147*0b57cec5SDimitry Andric } else 148*0b57cec5SDimitry Andric strm.PutCString("NULL"); 149*0b57cec5SDimitry Andric } 150*0b57cec5SDimitry Andric 151*0b57cec5SDimitry Andric PyObjectType PythonObject::GetObjectType() const { 152*0b57cec5SDimitry Andric if (!IsAllocated()) 153*0b57cec5SDimitry Andric return PyObjectType::None; 154*0b57cec5SDimitry Andric 155*0b57cec5SDimitry Andric if (PythonModule::Check(m_py_obj)) 156*0b57cec5SDimitry Andric return PyObjectType::Module; 157*0b57cec5SDimitry Andric if (PythonList::Check(m_py_obj)) 158*0b57cec5SDimitry Andric return PyObjectType::List; 159*0b57cec5SDimitry Andric if (PythonTuple::Check(m_py_obj)) 160*0b57cec5SDimitry Andric return PyObjectType::Tuple; 161*0b57cec5SDimitry Andric if (PythonDictionary::Check(m_py_obj)) 162*0b57cec5SDimitry Andric return PyObjectType::Dictionary; 163*0b57cec5SDimitry Andric if (PythonString::Check(m_py_obj)) 164*0b57cec5SDimitry Andric return PyObjectType::String; 165*0b57cec5SDimitry Andric if (PythonBytes::Check(m_py_obj)) 166*0b57cec5SDimitry Andric return PyObjectType::Bytes; 167*0b57cec5SDimitry Andric if (PythonByteArray::Check(m_py_obj)) 168*0b57cec5SDimitry Andric return PyObjectType::ByteArray; 169*0b57cec5SDimitry Andric if (PythonBoolean::Check(m_py_obj)) 170*0b57cec5SDimitry Andric return PyObjectType::Boolean; 171*0b57cec5SDimitry Andric if (PythonInteger::Check(m_py_obj)) 172*0b57cec5SDimitry Andric return PyObjectType::Integer; 173*0b57cec5SDimitry Andric if (PythonFile::Check(m_py_obj)) 174*0b57cec5SDimitry Andric return PyObjectType::File; 175*0b57cec5SDimitry Andric if (PythonCallable::Check(m_py_obj)) 176*0b57cec5SDimitry Andric return PyObjectType::Callable; 177*0b57cec5SDimitry Andric return PyObjectType::Unknown; 178*0b57cec5SDimitry Andric } 179*0b57cec5SDimitry Andric 180*0b57cec5SDimitry Andric PythonString PythonObject::Repr() const { 181*0b57cec5SDimitry Andric if (!m_py_obj) 182*0b57cec5SDimitry Andric return PythonString(); 183*0b57cec5SDimitry Andric PyObject *repr = PyObject_Repr(m_py_obj); 184*0b57cec5SDimitry Andric if (!repr) 185*0b57cec5SDimitry Andric return PythonString(); 186*0b57cec5SDimitry Andric return PythonString(PyRefType::Owned, repr); 187*0b57cec5SDimitry Andric } 188*0b57cec5SDimitry Andric 189*0b57cec5SDimitry Andric PythonString PythonObject::Str() const { 190*0b57cec5SDimitry Andric if (!m_py_obj) 191*0b57cec5SDimitry Andric return PythonString(); 192*0b57cec5SDimitry Andric PyObject *str = PyObject_Str(m_py_obj); 193*0b57cec5SDimitry Andric if (!str) 194*0b57cec5SDimitry Andric return PythonString(); 195*0b57cec5SDimitry Andric return PythonString(PyRefType::Owned, str); 196*0b57cec5SDimitry Andric } 197*0b57cec5SDimitry Andric 198*0b57cec5SDimitry Andric PythonObject 199*0b57cec5SDimitry Andric PythonObject::ResolveNameWithDictionary(llvm::StringRef name, 200*0b57cec5SDimitry Andric const PythonDictionary &dict) { 201*0b57cec5SDimitry Andric size_t dot_pos = name.find('.'); 202*0b57cec5SDimitry Andric llvm::StringRef piece = name.substr(0, dot_pos); 203*0b57cec5SDimitry Andric PythonObject result = dict.GetItemForKey(PythonString(piece)); 204*0b57cec5SDimitry Andric if (dot_pos == llvm::StringRef::npos) { 205*0b57cec5SDimitry Andric // There was no dot, we're done. 206*0b57cec5SDimitry Andric return result; 207*0b57cec5SDimitry Andric } 208*0b57cec5SDimitry Andric 209*0b57cec5SDimitry Andric // There was a dot. The remaining portion of the name should be looked up in 210*0b57cec5SDimitry Andric // the context of the object that was found in the dictionary. 211*0b57cec5SDimitry Andric return result.ResolveName(name.substr(dot_pos + 1)); 212*0b57cec5SDimitry Andric } 213*0b57cec5SDimitry Andric 214*0b57cec5SDimitry Andric PythonObject PythonObject::ResolveName(llvm::StringRef name) const { 215*0b57cec5SDimitry Andric // Resolve the name in the context of the specified object. If, for example, 216*0b57cec5SDimitry Andric // `this` refers to a PyModule, then this will look for `name` in this 217*0b57cec5SDimitry Andric // module. If `this` refers to a PyType, then it will resolve `name` as an 218*0b57cec5SDimitry Andric // attribute of that type. If `this` refers to an instance of an object, 219*0b57cec5SDimitry Andric // then it will resolve `name` as the value of the specified field. 220*0b57cec5SDimitry Andric // 221*0b57cec5SDimitry Andric // This function handles dotted names so that, for example, if `m_py_obj` 222*0b57cec5SDimitry Andric // refers to the `sys` module, and `name` == "path.append", then it will find 223*0b57cec5SDimitry Andric // the function `sys.path.append`. 224*0b57cec5SDimitry Andric 225*0b57cec5SDimitry Andric size_t dot_pos = name.find('.'); 226*0b57cec5SDimitry Andric if (dot_pos == llvm::StringRef::npos) { 227*0b57cec5SDimitry Andric // No dots in the name, we should be able to find the value immediately as 228*0b57cec5SDimitry Andric // an attribute of `m_py_obj`. 229*0b57cec5SDimitry Andric return GetAttributeValue(name); 230*0b57cec5SDimitry Andric } 231*0b57cec5SDimitry Andric 232*0b57cec5SDimitry Andric // Look up the first piece of the name, and resolve the rest as a child of 233*0b57cec5SDimitry Andric // that. 234*0b57cec5SDimitry Andric PythonObject parent = ResolveName(name.substr(0, dot_pos)); 235*0b57cec5SDimitry Andric if (!parent.IsAllocated()) 236*0b57cec5SDimitry Andric return PythonObject(); 237*0b57cec5SDimitry Andric 238*0b57cec5SDimitry Andric // Tail recursion.. should be optimized by the compiler 239*0b57cec5SDimitry Andric return parent.ResolveName(name.substr(dot_pos + 1)); 240*0b57cec5SDimitry Andric } 241*0b57cec5SDimitry Andric 242*0b57cec5SDimitry Andric bool PythonObject::HasAttribute(llvm::StringRef attr) const { 243*0b57cec5SDimitry Andric if (!IsValid()) 244*0b57cec5SDimitry Andric return false; 245*0b57cec5SDimitry Andric PythonString py_attr(attr); 246*0b57cec5SDimitry Andric return !!PyObject_HasAttr(m_py_obj, py_attr.get()); 247*0b57cec5SDimitry Andric } 248*0b57cec5SDimitry Andric 249*0b57cec5SDimitry Andric PythonObject PythonObject::GetAttributeValue(llvm::StringRef attr) const { 250*0b57cec5SDimitry Andric if (!IsValid()) 251*0b57cec5SDimitry Andric return PythonObject(); 252*0b57cec5SDimitry Andric 253*0b57cec5SDimitry Andric PythonString py_attr(attr); 254*0b57cec5SDimitry Andric if (!PyObject_HasAttr(m_py_obj, py_attr.get())) 255*0b57cec5SDimitry Andric return PythonObject(); 256*0b57cec5SDimitry Andric 257*0b57cec5SDimitry Andric return PythonObject(PyRefType::Owned, 258*0b57cec5SDimitry Andric PyObject_GetAttr(m_py_obj, py_attr.get())); 259*0b57cec5SDimitry Andric } 260*0b57cec5SDimitry Andric 261*0b57cec5SDimitry Andric StructuredData::ObjectSP PythonObject::CreateStructuredObject() const { 26204eeddc0SDimitry Andric assert(PyGILState_Check()); 263*0b57cec5SDimitry Andric switch (GetObjectType()) { 264*0b57cec5SDimitry Andric case PyObjectType::Dictionary: 265*0b57cec5SDimitry Andric return PythonDictionary(PyRefType::Borrowed, m_py_obj) 266*0b57cec5SDimitry Andric .CreateStructuredDictionary(); 267*0b57cec5SDimitry Andric case PyObjectType::Boolean: 268*0b57cec5SDimitry Andric return PythonBoolean(PyRefType::Borrowed, m_py_obj) 269*0b57cec5SDimitry Andric .CreateStructuredBoolean(); 270*0b57cec5SDimitry Andric case PyObjectType::Integer: 271*0b57cec5SDimitry Andric return PythonInteger(PyRefType::Borrowed, m_py_obj) 272*0b57cec5SDimitry Andric .CreateStructuredInteger(); 273*0b57cec5SDimitry Andric case PyObjectType::List: 274*0b57cec5SDimitry Andric return PythonList(PyRefType::Borrowed, m_py_obj).CreateStructuredArray(); 275*0b57cec5SDimitry Andric case PyObjectType::String: 276*0b57cec5SDimitry Andric return PythonString(PyRefType::Borrowed, m_py_obj).CreateStructuredString(); 277*0b57cec5SDimitry Andric case PyObjectType::Bytes: 278*0b57cec5SDimitry Andric return PythonBytes(PyRefType::Borrowed, m_py_obj).CreateStructuredString(); 279*0b57cec5SDimitry Andric case PyObjectType::ByteArray: 280*0b57cec5SDimitry Andric return PythonByteArray(PyRefType::Borrowed, m_py_obj) 281*0b57cec5SDimitry Andric .CreateStructuredString(); 282*0b57cec5SDimitry Andric case PyObjectType::None: 283*0b57cec5SDimitry Andric return StructuredData::ObjectSP(); 284*0b57cec5SDimitry Andric default: 28504eeddc0SDimitry Andric return StructuredData::ObjectSP(new StructuredPythonObject( 28604eeddc0SDimitry Andric PythonObject(PyRefType::Borrowed, m_py_obj))); 287*0b57cec5SDimitry Andric } 288*0b57cec5SDimitry Andric } 289*0b57cec5SDimitry Andric 290*0b57cec5SDimitry Andric // PythonString 291*0b57cec5SDimitry Andric 2929dba64beSDimitry Andric PythonBytes::PythonBytes(llvm::ArrayRef<uint8_t> bytes) { SetBytes(bytes); } 293*0b57cec5SDimitry Andric 2949dba64beSDimitry Andric PythonBytes::PythonBytes(const uint8_t *bytes, size_t length) { 295*0b57cec5SDimitry Andric SetBytes(llvm::ArrayRef<uint8_t>(bytes, length)); 296*0b57cec5SDimitry Andric } 297*0b57cec5SDimitry Andric 298*0b57cec5SDimitry Andric bool PythonBytes::Check(PyObject *py_obj) { 299*0b57cec5SDimitry Andric if (!py_obj) 300*0b57cec5SDimitry Andric return false; 301*0b57cec5SDimitry Andric return PyBytes_Check(py_obj); 302*0b57cec5SDimitry Andric } 303*0b57cec5SDimitry Andric 304*0b57cec5SDimitry Andric llvm::ArrayRef<uint8_t> PythonBytes::GetBytes() const { 305*0b57cec5SDimitry Andric if (!IsValid()) 306*0b57cec5SDimitry Andric return llvm::ArrayRef<uint8_t>(); 307*0b57cec5SDimitry Andric 308*0b57cec5SDimitry Andric Py_ssize_t size; 309*0b57cec5SDimitry Andric char *c; 310*0b57cec5SDimitry Andric 311*0b57cec5SDimitry Andric PyBytes_AsStringAndSize(m_py_obj, &c, &size); 312*0b57cec5SDimitry Andric return llvm::ArrayRef<uint8_t>(reinterpret_cast<uint8_t *>(c), size); 313*0b57cec5SDimitry Andric } 314*0b57cec5SDimitry Andric 315*0b57cec5SDimitry Andric size_t PythonBytes::GetSize() const { 316*0b57cec5SDimitry Andric if (!IsValid()) 317*0b57cec5SDimitry Andric return 0; 318*0b57cec5SDimitry Andric return PyBytes_Size(m_py_obj); 319*0b57cec5SDimitry Andric } 320*0b57cec5SDimitry Andric 321*0b57cec5SDimitry Andric void PythonBytes::SetBytes(llvm::ArrayRef<uint8_t> bytes) { 322*0b57cec5SDimitry Andric const char *data = reinterpret_cast<const char *>(bytes.data()); 3239dba64beSDimitry Andric *this = Take<PythonBytes>(PyBytes_FromStringAndSize(data, bytes.size())); 324*0b57cec5SDimitry Andric } 325*0b57cec5SDimitry Andric 326*0b57cec5SDimitry Andric StructuredData::StringSP PythonBytes::CreateStructuredString() const { 327*0b57cec5SDimitry Andric StructuredData::StringSP result(new StructuredData::String); 328*0b57cec5SDimitry Andric Py_ssize_t size; 329*0b57cec5SDimitry Andric char *c; 330*0b57cec5SDimitry Andric PyBytes_AsStringAndSize(m_py_obj, &c, &size); 331*0b57cec5SDimitry Andric result->SetValue(std::string(c, size)); 332*0b57cec5SDimitry Andric return result; 333*0b57cec5SDimitry Andric } 334*0b57cec5SDimitry Andric 335*0b57cec5SDimitry Andric PythonByteArray::PythonByteArray(llvm::ArrayRef<uint8_t> bytes) 336*0b57cec5SDimitry Andric : PythonByteArray(bytes.data(), bytes.size()) {} 337*0b57cec5SDimitry Andric 338*0b57cec5SDimitry Andric PythonByteArray::PythonByteArray(const uint8_t *bytes, size_t length) { 339*0b57cec5SDimitry Andric const char *str = reinterpret_cast<const char *>(bytes); 3409dba64beSDimitry Andric *this = Take<PythonByteArray>(PyByteArray_FromStringAndSize(str, length)); 341*0b57cec5SDimitry Andric } 342*0b57cec5SDimitry Andric 343*0b57cec5SDimitry Andric bool PythonByteArray::Check(PyObject *py_obj) { 344*0b57cec5SDimitry Andric if (!py_obj) 345*0b57cec5SDimitry Andric return false; 346*0b57cec5SDimitry Andric return PyByteArray_Check(py_obj); 347*0b57cec5SDimitry Andric } 348*0b57cec5SDimitry Andric 349*0b57cec5SDimitry Andric llvm::ArrayRef<uint8_t> PythonByteArray::GetBytes() const { 350*0b57cec5SDimitry Andric if (!IsValid()) 351*0b57cec5SDimitry Andric return llvm::ArrayRef<uint8_t>(); 352*0b57cec5SDimitry Andric 353*0b57cec5SDimitry Andric char *c = PyByteArray_AsString(m_py_obj); 354*0b57cec5SDimitry Andric size_t size = GetSize(); 355*0b57cec5SDimitry Andric return llvm::ArrayRef<uint8_t>(reinterpret_cast<uint8_t *>(c), size); 356*0b57cec5SDimitry Andric } 357*0b57cec5SDimitry Andric 358*0b57cec5SDimitry Andric size_t PythonByteArray::GetSize() const { 359*0b57cec5SDimitry Andric if (!IsValid()) 360*0b57cec5SDimitry Andric return 0; 361*0b57cec5SDimitry Andric 362*0b57cec5SDimitry Andric return PyByteArray_Size(m_py_obj); 363*0b57cec5SDimitry Andric } 364*0b57cec5SDimitry Andric 365*0b57cec5SDimitry Andric StructuredData::StringSP PythonByteArray::CreateStructuredString() const { 366*0b57cec5SDimitry Andric StructuredData::StringSP result(new StructuredData::String); 367*0b57cec5SDimitry Andric llvm::ArrayRef<uint8_t> bytes = GetBytes(); 368*0b57cec5SDimitry Andric const char *str = reinterpret_cast<const char *>(bytes.data()); 369*0b57cec5SDimitry Andric result->SetValue(std::string(str, bytes.size())); 370*0b57cec5SDimitry Andric return result; 371*0b57cec5SDimitry Andric } 372*0b57cec5SDimitry Andric 373*0b57cec5SDimitry Andric // PythonString 374*0b57cec5SDimitry Andric 3759dba64beSDimitry Andric Expected<PythonString> PythonString::FromUTF8(llvm::StringRef string) { 3769dba64beSDimitry Andric PyObject *str = PyUnicode_FromStringAndSize(string.data(), string.size()); 3779dba64beSDimitry Andric if (!str) 3789dba64beSDimitry Andric return llvm::make_error<PythonException>(); 3799dba64beSDimitry Andric return Take<PythonString>(str); 380*0b57cec5SDimitry Andric } 381*0b57cec5SDimitry Andric 3829dba64beSDimitry Andric PythonString::PythonString(llvm::StringRef string) { SetString(string); } 383*0b57cec5SDimitry Andric 384*0b57cec5SDimitry Andric bool PythonString::Check(PyObject *py_obj) { 385*0b57cec5SDimitry Andric if (!py_obj) 386*0b57cec5SDimitry Andric return false; 387*0b57cec5SDimitry Andric 388*0b57cec5SDimitry Andric if (PyUnicode_Check(py_obj)) 389*0b57cec5SDimitry Andric return true; 390*0b57cec5SDimitry Andric return false; 391*0b57cec5SDimitry Andric } 392*0b57cec5SDimitry Andric 393*0b57cec5SDimitry Andric llvm::StringRef PythonString::GetString() const { 3949dba64beSDimitry Andric auto s = AsUTF8(); 3959dba64beSDimitry Andric if (!s) { 3969dba64beSDimitry Andric llvm::consumeError(s.takeError()); 3979dba64beSDimitry Andric return llvm::StringRef(""); 3989dba64beSDimitry Andric } 3999dba64beSDimitry Andric return s.get(); 4009dba64beSDimitry Andric } 4019dba64beSDimitry Andric 4029dba64beSDimitry Andric Expected<llvm::StringRef> PythonString::AsUTF8() const { 403*0b57cec5SDimitry Andric if (!IsValid()) 4049dba64beSDimitry Andric return nullDeref(); 405*0b57cec5SDimitry Andric 406*0b57cec5SDimitry Andric Py_ssize_t size; 407*0b57cec5SDimitry Andric const char *data; 408*0b57cec5SDimitry Andric 409*0b57cec5SDimitry Andric data = PyUnicode_AsUTF8AndSize(m_py_obj, &size); 4109dba64beSDimitry Andric 4119dba64beSDimitry Andric if (!data) 4129dba64beSDimitry Andric return exception(); 4139dba64beSDimitry Andric 414*0b57cec5SDimitry Andric return llvm::StringRef(data, size); 415*0b57cec5SDimitry Andric } 416*0b57cec5SDimitry Andric 417*0b57cec5SDimitry Andric size_t PythonString::GetSize() const { 418*0b57cec5SDimitry Andric if (IsValid()) { 419e8d8bef9SDimitry Andric #if PY_MINOR_VERSION >= 3 420e8d8bef9SDimitry Andric return PyUnicode_GetLength(m_py_obj); 421e8d8bef9SDimitry Andric #else 422*0b57cec5SDimitry Andric return PyUnicode_GetSize(m_py_obj); 423e8d8bef9SDimitry Andric #endif 424*0b57cec5SDimitry Andric } 425*0b57cec5SDimitry Andric return 0; 426*0b57cec5SDimitry Andric } 427*0b57cec5SDimitry Andric 428*0b57cec5SDimitry Andric void PythonString::SetString(llvm::StringRef string) { 4299dba64beSDimitry Andric auto s = FromUTF8(string); 4309dba64beSDimitry Andric if (!s) { 4319dba64beSDimitry Andric llvm::consumeError(s.takeError()); 4329dba64beSDimitry Andric Reset(); 4339dba64beSDimitry Andric } else { 4349dba64beSDimitry Andric *this = std::move(s.get()); 4359dba64beSDimitry Andric } 436*0b57cec5SDimitry Andric } 437*0b57cec5SDimitry Andric 438*0b57cec5SDimitry Andric StructuredData::StringSP PythonString::CreateStructuredString() const { 439*0b57cec5SDimitry Andric StructuredData::StringSP result(new StructuredData::String); 440*0b57cec5SDimitry Andric result->SetValue(GetString()); 441*0b57cec5SDimitry Andric return result; 442*0b57cec5SDimitry Andric } 443*0b57cec5SDimitry Andric 444*0b57cec5SDimitry Andric // PythonInteger 445*0b57cec5SDimitry Andric 4469dba64beSDimitry Andric PythonInteger::PythonInteger(int64_t value) { SetInteger(value); } 447*0b57cec5SDimitry Andric 448*0b57cec5SDimitry Andric bool PythonInteger::Check(PyObject *py_obj) { 449*0b57cec5SDimitry Andric if (!py_obj) 450*0b57cec5SDimitry Andric return false; 451*0b57cec5SDimitry Andric 452*0b57cec5SDimitry Andric // Python 3 does not have PyInt_Check. There is only one type of integral 453*0b57cec5SDimitry Andric // value, long. 454*0b57cec5SDimitry Andric return PyLong_Check(py_obj); 455*0b57cec5SDimitry Andric } 456*0b57cec5SDimitry Andric 457*0b57cec5SDimitry Andric void PythonInteger::SetInteger(int64_t value) { 4589dba64beSDimitry Andric *this = Take<PythonInteger>(PyLong_FromLongLong(value)); 459*0b57cec5SDimitry Andric } 460*0b57cec5SDimitry Andric 461*0b57cec5SDimitry Andric StructuredData::IntegerSP PythonInteger::CreateStructuredInteger() const { 462*0b57cec5SDimitry Andric StructuredData::IntegerSP result(new StructuredData::Integer); 4635ffd83dbSDimitry Andric // FIXME this is really not ideal. Errors are silently converted to 0 4645ffd83dbSDimitry Andric // and overflows are silently wrapped. But we'd need larger changes 4655ffd83dbSDimitry Andric // to StructuredData to fix it, so that's how it is for now. 4665ffd83dbSDimitry Andric llvm::Expected<unsigned long long> value = AsModuloUnsignedLongLong(); 4675ffd83dbSDimitry Andric if (!value) { 4685ffd83dbSDimitry Andric llvm::consumeError(value.takeError()); 4695ffd83dbSDimitry Andric result->SetValue(0); 4705ffd83dbSDimitry Andric } else { 4715ffd83dbSDimitry Andric result->SetValue(value.get()); 4725ffd83dbSDimitry Andric } 473*0b57cec5SDimitry Andric return result; 474*0b57cec5SDimitry Andric } 475*0b57cec5SDimitry Andric 476*0b57cec5SDimitry Andric // PythonBoolean 477*0b57cec5SDimitry Andric 478*0b57cec5SDimitry Andric PythonBoolean::PythonBoolean(bool value) { 479*0b57cec5SDimitry Andric SetValue(value); 480*0b57cec5SDimitry Andric } 481*0b57cec5SDimitry Andric 482*0b57cec5SDimitry Andric bool PythonBoolean::Check(PyObject *py_obj) { 483*0b57cec5SDimitry Andric return py_obj ? PyBool_Check(py_obj) : false; 484*0b57cec5SDimitry Andric } 485*0b57cec5SDimitry Andric 486*0b57cec5SDimitry Andric bool PythonBoolean::GetValue() const { 487*0b57cec5SDimitry Andric return m_py_obj ? PyObject_IsTrue(m_py_obj) : false; 488*0b57cec5SDimitry Andric } 489*0b57cec5SDimitry Andric 490*0b57cec5SDimitry Andric void PythonBoolean::SetValue(bool value) { 4919dba64beSDimitry Andric *this = Take<PythonBoolean>(PyBool_FromLong(value)); 492*0b57cec5SDimitry Andric } 493*0b57cec5SDimitry Andric 494*0b57cec5SDimitry Andric StructuredData::BooleanSP PythonBoolean::CreateStructuredBoolean() const { 495*0b57cec5SDimitry Andric StructuredData::BooleanSP result(new StructuredData::Boolean); 496*0b57cec5SDimitry Andric result->SetValue(GetValue()); 497*0b57cec5SDimitry Andric return result; 498*0b57cec5SDimitry Andric } 499*0b57cec5SDimitry Andric 500*0b57cec5SDimitry Andric // PythonList 501*0b57cec5SDimitry Andric 5029dba64beSDimitry Andric PythonList::PythonList(PyInitialValue value) { 503*0b57cec5SDimitry Andric if (value == PyInitialValue::Empty) 5049dba64beSDimitry Andric *this = Take<PythonList>(PyList_New(0)); 505*0b57cec5SDimitry Andric } 506*0b57cec5SDimitry Andric 5079dba64beSDimitry Andric PythonList::PythonList(int list_size) { 5089dba64beSDimitry Andric *this = Take<PythonList>(PyList_New(list_size)); 509*0b57cec5SDimitry Andric } 510*0b57cec5SDimitry Andric 511*0b57cec5SDimitry Andric bool PythonList::Check(PyObject *py_obj) { 512*0b57cec5SDimitry Andric if (!py_obj) 513*0b57cec5SDimitry Andric return false; 514*0b57cec5SDimitry Andric return PyList_Check(py_obj); 515*0b57cec5SDimitry Andric } 516*0b57cec5SDimitry Andric 517*0b57cec5SDimitry Andric uint32_t PythonList::GetSize() const { 518*0b57cec5SDimitry Andric if (IsValid()) 519*0b57cec5SDimitry Andric return PyList_GET_SIZE(m_py_obj); 520*0b57cec5SDimitry Andric return 0; 521*0b57cec5SDimitry Andric } 522*0b57cec5SDimitry Andric 523*0b57cec5SDimitry Andric PythonObject PythonList::GetItemAtIndex(uint32_t index) const { 524*0b57cec5SDimitry Andric if (IsValid()) 525*0b57cec5SDimitry Andric return PythonObject(PyRefType::Borrowed, PyList_GetItem(m_py_obj, index)); 526*0b57cec5SDimitry Andric return PythonObject(); 527*0b57cec5SDimitry Andric } 528*0b57cec5SDimitry Andric 529*0b57cec5SDimitry Andric void PythonList::SetItemAtIndex(uint32_t index, const PythonObject &object) { 530*0b57cec5SDimitry Andric if (IsAllocated() && object.IsValid()) { 531*0b57cec5SDimitry Andric // PyList_SetItem is documented to "steal" a reference, so we need to 532*0b57cec5SDimitry Andric // convert it to an owned reference by incrementing it. 533*0b57cec5SDimitry Andric Py_INCREF(object.get()); 534*0b57cec5SDimitry Andric PyList_SetItem(m_py_obj, index, object.get()); 535*0b57cec5SDimitry Andric } 536*0b57cec5SDimitry Andric } 537*0b57cec5SDimitry Andric 538*0b57cec5SDimitry Andric void PythonList::AppendItem(const PythonObject &object) { 539*0b57cec5SDimitry Andric if (IsAllocated() && object.IsValid()) { 540*0b57cec5SDimitry Andric // `PyList_Append` does *not* steal a reference, so do not call `Py_INCREF` 541*0b57cec5SDimitry Andric // here like we do with `PyList_SetItem`. 542*0b57cec5SDimitry Andric PyList_Append(m_py_obj, object.get()); 543*0b57cec5SDimitry Andric } 544*0b57cec5SDimitry Andric } 545*0b57cec5SDimitry Andric 546*0b57cec5SDimitry Andric StructuredData::ArraySP PythonList::CreateStructuredArray() const { 547*0b57cec5SDimitry Andric StructuredData::ArraySP result(new StructuredData::Array); 548*0b57cec5SDimitry Andric uint32_t count = GetSize(); 549*0b57cec5SDimitry Andric for (uint32_t i = 0; i < count; ++i) { 550*0b57cec5SDimitry Andric PythonObject obj = GetItemAtIndex(i); 551*0b57cec5SDimitry Andric result->AddItem(obj.CreateStructuredObject()); 552*0b57cec5SDimitry Andric } 553*0b57cec5SDimitry Andric return result; 554*0b57cec5SDimitry Andric } 555*0b57cec5SDimitry Andric 556*0b57cec5SDimitry Andric // PythonTuple 557*0b57cec5SDimitry Andric 5589dba64beSDimitry Andric PythonTuple::PythonTuple(PyInitialValue value) { 559*0b57cec5SDimitry Andric if (value == PyInitialValue::Empty) 5609dba64beSDimitry Andric *this = Take<PythonTuple>(PyTuple_New(0)); 561*0b57cec5SDimitry Andric } 562*0b57cec5SDimitry Andric 5639dba64beSDimitry Andric PythonTuple::PythonTuple(int tuple_size) { 5649dba64beSDimitry Andric *this = Take<PythonTuple>(PyTuple_New(tuple_size)); 565*0b57cec5SDimitry Andric } 566*0b57cec5SDimitry Andric 567*0b57cec5SDimitry Andric PythonTuple::PythonTuple(std::initializer_list<PythonObject> objects) { 568*0b57cec5SDimitry Andric m_py_obj = PyTuple_New(objects.size()); 569*0b57cec5SDimitry Andric 570*0b57cec5SDimitry Andric uint32_t idx = 0; 571*0b57cec5SDimitry Andric for (auto object : objects) { 572*0b57cec5SDimitry Andric if (object.IsValid()) 573*0b57cec5SDimitry Andric SetItemAtIndex(idx, object); 574*0b57cec5SDimitry Andric idx++; 575*0b57cec5SDimitry Andric } 576*0b57cec5SDimitry Andric } 577*0b57cec5SDimitry Andric 578*0b57cec5SDimitry Andric PythonTuple::PythonTuple(std::initializer_list<PyObject *> objects) { 579*0b57cec5SDimitry Andric m_py_obj = PyTuple_New(objects.size()); 580*0b57cec5SDimitry Andric 581*0b57cec5SDimitry Andric uint32_t idx = 0; 582*0b57cec5SDimitry Andric for (auto py_object : objects) { 583*0b57cec5SDimitry Andric PythonObject object(PyRefType::Borrowed, py_object); 584*0b57cec5SDimitry Andric if (object.IsValid()) 585*0b57cec5SDimitry Andric SetItemAtIndex(idx, object); 586*0b57cec5SDimitry Andric idx++; 587*0b57cec5SDimitry Andric } 588*0b57cec5SDimitry Andric } 589*0b57cec5SDimitry Andric 590*0b57cec5SDimitry Andric bool PythonTuple::Check(PyObject *py_obj) { 591*0b57cec5SDimitry Andric if (!py_obj) 592*0b57cec5SDimitry Andric return false; 593*0b57cec5SDimitry Andric return PyTuple_Check(py_obj); 594*0b57cec5SDimitry Andric } 595*0b57cec5SDimitry Andric 596*0b57cec5SDimitry Andric uint32_t PythonTuple::GetSize() const { 597*0b57cec5SDimitry Andric if (IsValid()) 598*0b57cec5SDimitry Andric return PyTuple_GET_SIZE(m_py_obj); 599*0b57cec5SDimitry Andric return 0; 600*0b57cec5SDimitry Andric } 601*0b57cec5SDimitry Andric 602*0b57cec5SDimitry Andric PythonObject PythonTuple::GetItemAtIndex(uint32_t index) const { 603*0b57cec5SDimitry Andric if (IsValid()) 604*0b57cec5SDimitry Andric return PythonObject(PyRefType::Borrowed, PyTuple_GetItem(m_py_obj, index)); 605*0b57cec5SDimitry Andric return PythonObject(); 606*0b57cec5SDimitry Andric } 607*0b57cec5SDimitry Andric 608*0b57cec5SDimitry Andric void PythonTuple::SetItemAtIndex(uint32_t index, const PythonObject &object) { 609*0b57cec5SDimitry Andric if (IsAllocated() && object.IsValid()) { 610*0b57cec5SDimitry Andric // PyTuple_SetItem is documented to "steal" a reference, so we need to 611*0b57cec5SDimitry Andric // convert it to an owned reference by incrementing it. 612*0b57cec5SDimitry Andric Py_INCREF(object.get()); 613*0b57cec5SDimitry Andric PyTuple_SetItem(m_py_obj, index, object.get()); 614*0b57cec5SDimitry Andric } 615*0b57cec5SDimitry Andric } 616*0b57cec5SDimitry Andric 617*0b57cec5SDimitry Andric StructuredData::ArraySP PythonTuple::CreateStructuredArray() const { 618*0b57cec5SDimitry Andric StructuredData::ArraySP result(new StructuredData::Array); 619*0b57cec5SDimitry Andric uint32_t count = GetSize(); 620*0b57cec5SDimitry Andric for (uint32_t i = 0; i < count; ++i) { 621*0b57cec5SDimitry Andric PythonObject obj = GetItemAtIndex(i); 622*0b57cec5SDimitry Andric result->AddItem(obj.CreateStructuredObject()); 623*0b57cec5SDimitry Andric } 624*0b57cec5SDimitry Andric return result; 625*0b57cec5SDimitry Andric } 626*0b57cec5SDimitry Andric 627*0b57cec5SDimitry Andric // PythonDictionary 628*0b57cec5SDimitry Andric 6299dba64beSDimitry Andric PythonDictionary::PythonDictionary(PyInitialValue value) { 630*0b57cec5SDimitry Andric if (value == PyInitialValue::Empty) 6319dba64beSDimitry Andric *this = Take<PythonDictionary>(PyDict_New()); 632*0b57cec5SDimitry Andric } 633*0b57cec5SDimitry Andric 634*0b57cec5SDimitry Andric bool PythonDictionary::Check(PyObject *py_obj) { 635*0b57cec5SDimitry Andric if (!py_obj) 636*0b57cec5SDimitry Andric return false; 637*0b57cec5SDimitry Andric 638*0b57cec5SDimitry Andric return PyDict_Check(py_obj); 639*0b57cec5SDimitry Andric } 640*0b57cec5SDimitry Andric 641*0b57cec5SDimitry Andric uint32_t PythonDictionary::GetSize() const { 642*0b57cec5SDimitry Andric if (IsValid()) 643*0b57cec5SDimitry Andric return PyDict_Size(m_py_obj); 644*0b57cec5SDimitry Andric return 0; 645*0b57cec5SDimitry Andric } 646*0b57cec5SDimitry Andric 647*0b57cec5SDimitry Andric PythonList PythonDictionary::GetKeys() const { 648*0b57cec5SDimitry Andric if (IsValid()) 649*0b57cec5SDimitry Andric return PythonList(PyRefType::Owned, PyDict_Keys(m_py_obj)); 650*0b57cec5SDimitry Andric return PythonList(PyInitialValue::Invalid); 651*0b57cec5SDimitry Andric } 652*0b57cec5SDimitry Andric 653*0b57cec5SDimitry Andric PythonObject PythonDictionary::GetItemForKey(const PythonObject &key) const { 6549dba64beSDimitry Andric auto item = GetItem(key); 6559dba64beSDimitry Andric if (!item) { 6569dba64beSDimitry Andric llvm::consumeError(item.takeError()); 657*0b57cec5SDimitry Andric return PythonObject(); 658*0b57cec5SDimitry Andric } 6599dba64beSDimitry Andric return std::move(item.get()); 6609dba64beSDimitry Andric } 6619dba64beSDimitry Andric 6629dba64beSDimitry Andric Expected<PythonObject> 6639dba64beSDimitry Andric PythonDictionary::GetItem(const PythonObject &key) const { 6649dba64beSDimitry Andric if (!IsValid()) 6659dba64beSDimitry Andric return nullDeref(); 6669dba64beSDimitry Andric PyObject *o = PyDict_GetItemWithError(m_py_obj, key.get()); 6679dba64beSDimitry Andric if (PyErr_Occurred()) 6689dba64beSDimitry Andric return exception(); 6699dba64beSDimitry Andric if (!o) 6709dba64beSDimitry Andric return keyError(); 6719dba64beSDimitry Andric return Retain<PythonObject>(o); 6729dba64beSDimitry Andric } 6739dba64beSDimitry Andric 6749dba64beSDimitry Andric Expected<PythonObject> PythonDictionary::GetItem(const Twine &key) const { 6759dba64beSDimitry Andric if (!IsValid()) 6769dba64beSDimitry Andric return nullDeref(); 6779dba64beSDimitry Andric PyObject *o = PyDict_GetItemString(m_py_obj, NullTerminated(key)); 6789dba64beSDimitry Andric if (PyErr_Occurred()) 6799dba64beSDimitry Andric return exception(); 6809dba64beSDimitry Andric if (!o) 6819dba64beSDimitry Andric return keyError(); 6829dba64beSDimitry Andric return Retain<PythonObject>(o); 6839dba64beSDimitry Andric } 6849dba64beSDimitry Andric 6859dba64beSDimitry Andric Error PythonDictionary::SetItem(const PythonObject &key, 6869dba64beSDimitry Andric const PythonObject &value) const { 6879dba64beSDimitry Andric if (!IsValid() || !value.IsValid()) 6889dba64beSDimitry Andric return nullDeref(); 6899dba64beSDimitry Andric int r = PyDict_SetItem(m_py_obj, key.get(), value.get()); 6909dba64beSDimitry Andric if (r < 0) 6919dba64beSDimitry Andric return exception(); 6929dba64beSDimitry Andric return Error::success(); 6939dba64beSDimitry Andric } 6949dba64beSDimitry Andric 6959dba64beSDimitry Andric Error PythonDictionary::SetItem(const Twine &key, 6969dba64beSDimitry Andric const PythonObject &value) const { 6979dba64beSDimitry Andric if (!IsValid() || !value.IsValid()) 6989dba64beSDimitry Andric return nullDeref(); 6999dba64beSDimitry Andric int r = PyDict_SetItemString(m_py_obj, NullTerminated(key), value.get()); 7009dba64beSDimitry Andric if (r < 0) 7019dba64beSDimitry Andric return exception(); 7029dba64beSDimitry Andric return Error::success(); 7039dba64beSDimitry Andric } 704*0b57cec5SDimitry Andric 705*0b57cec5SDimitry Andric void PythonDictionary::SetItemForKey(const PythonObject &key, 706*0b57cec5SDimitry Andric const PythonObject &value) { 7079dba64beSDimitry Andric Error error = SetItem(key, value); 7089dba64beSDimitry Andric if (error) 7099dba64beSDimitry Andric llvm::consumeError(std::move(error)); 710*0b57cec5SDimitry Andric } 711*0b57cec5SDimitry Andric 712*0b57cec5SDimitry Andric StructuredData::DictionarySP 713*0b57cec5SDimitry Andric PythonDictionary::CreateStructuredDictionary() const { 714*0b57cec5SDimitry Andric StructuredData::DictionarySP result(new StructuredData::Dictionary); 715*0b57cec5SDimitry Andric PythonList keys(GetKeys()); 716*0b57cec5SDimitry Andric uint32_t num_keys = keys.GetSize(); 717*0b57cec5SDimitry Andric for (uint32_t i = 0; i < num_keys; ++i) { 718*0b57cec5SDimitry Andric PythonObject key = keys.GetItemAtIndex(i); 719*0b57cec5SDimitry Andric PythonObject value = GetItemForKey(key); 720*0b57cec5SDimitry Andric StructuredData::ObjectSP structured_value = value.CreateStructuredObject(); 721*0b57cec5SDimitry Andric result->AddItem(key.Str().GetString(), structured_value); 722*0b57cec5SDimitry Andric } 723*0b57cec5SDimitry Andric return result; 724*0b57cec5SDimitry Andric } 725*0b57cec5SDimitry Andric 72681ad6265SDimitry Andric PythonModule PythonModule::BuiltinsModule() { return AddModule("builtins"); } 727*0b57cec5SDimitry Andric 728*0b57cec5SDimitry Andric PythonModule PythonModule::MainModule() { return AddModule("__main__"); } 729*0b57cec5SDimitry Andric 730*0b57cec5SDimitry Andric PythonModule PythonModule::AddModule(llvm::StringRef module) { 731*0b57cec5SDimitry Andric std::string str = module.str(); 732*0b57cec5SDimitry Andric return PythonModule(PyRefType::Borrowed, PyImport_AddModule(str.c_str())); 733*0b57cec5SDimitry Andric } 734*0b57cec5SDimitry Andric 7359dba64beSDimitry Andric Expected<PythonModule> PythonModule::Import(const Twine &name) { 7369dba64beSDimitry Andric PyObject *mod = PyImport_ImportModule(NullTerminated(name)); 7379dba64beSDimitry Andric if (!mod) 7389dba64beSDimitry Andric return exception(); 7399dba64beSDimitry Andric return Take<PythonModule>(mod); 7409dba64beSDimitry Andric } 7419dba64beSDimitry Andric 7429dba64beSDimitry Andric Expected<PythonObject> PythonModule::Get(const Twine &name) { 7439dba64beSDimitry Andric if (!IsValid()) 7449dba64beSDimitry Andric return nullDeref(); 7459dba64beSDimitry Andric PyObject *dict = PyModule_GetDict(m_py_obj); 7469dba64beSDimitry Andric if (!dict) 7479dba64beSDimitry Andric return exception(); 7489dba64beSDimitry Andric PyObject *item = PyDict_GetItemString(dict, NullTerminated(name)); 7499dba64beSDimitry Andric if (!item) 7509dba64beSDimitry Andric return exception(); 7519dba64beSDimitry Andric return Retain<PythonObject>(item); 752*0b57cec5SDimitry Andric } 753*0b57cec5SDimitry Andric 754*0b57cec5SDimitry Andric bool PythonModule::Check(PyObject *py_obj) { 755*0b57cec5SDimitry Andric if (!py_obj) 756*0b57cec5SDimitry Andric return false; 757*0b57cec5SDimitry Andric 758*0b57cec5SDimitry Andric return PyModule_Check(py_obj); 759*0b57cec5SDimitry Andric } 760*0b57cec5SDimitry Andric 761*0b57cec5SDimitry Andric PythonDictionary PythonModule::GetDictionary() const { 7629dba64beSDimitry Andric if (!IsValid()) 7639dba64beSDimitry Andric return PythonDictionary(); 7649dba64beSDimitry Andric return Retain<PythonDictionary>(PyModule_GetDict(m_py_obj)); 765*0b57cec5SDimitry Andric } 766*0b57cec5SDimitry Andric 767*0b57cec5SDimitry Andric bool PythonCallable::Check(PyObject *py_obj) { 768*0b57cec5SDimitry Andric if (!py_obj) 769*0b57cec5SDimitry Andric return false; 770*0b57cec5SDimitry Andric 771*0b57cec5SDimitry Andric return PyCallable_Check(py_obj); 772*0b57cec5SDimitry Andric } 773*0b57cec5SDimitry Andric 7749dba64beSDimitry Andric #if PY_MAJOR_VERSION >= 3 && PY_MINOR_VERSION >= 3 7759dba64beSDimitry Andric static const char get_arg_info_script[] = R"( 7769dba64beSDimitry Andric from inspect import signature, Parameter, ismethod 7779dba64beSDimitry Andric from collections import namedtuple 778480093f4SDimitry Andric ArgInfo = namedtuple('ArgInfo', ['count', 'has_varargs']) 7799dba64beSDimitry Andric def main(f): 7809dba64beSDimitry Andric count = 0 7819dba64beSDimitry Andric varargs = False 7829dba64beSDimitry Andric for parameter in signature(f).parameters.values(): 7839dba64beSDimitry Andric kind = parameter.kind 7849dba64beSDimitry Andric if kind in (Parameter.POSITIONAL_ONLY, 7859dba64beSDimitry Andric Parameter.POSITIONAL_OR_KEYWORD): 7869dba64beSDimitry Andric count += 1 7879dba64beSDimitry Andric elif kind == Parameter.VAR_POSITIONAL: 7889dba64beSDimitry Andric varargs = True 7899dba64beSDimitry Andric elif kind in (Parameter.KEYWORD_ONLY, 7909dba64beSDimitry Andric Parameter.VAR_KEYWORD): 7919dba64beSDimitry Andric pass 7929dba64beSDimitry Andric else: 7939dba64beSDimitry Andric raise Exception(f'unknown parameter kind: {kind}') 794480093f4SDimitry Andric return ArgInfo(count, varargs) 7959dba64beSDimitry Andric )"; 7969dba64beSDimitry Andric #endif 7979dba64beSDimitry Andric 7989dba64beSDimitry Andric Expected<PythonCallable::ArgInfo> PythonCallable::GetArgInfo() const { 7999dba64beSDimitry Andric ArgInfo result = {}; 8009dba64beSDimitry Andric if (!IsValid()) 8019dba64beSDimitry Andric return nullDeref(); 8029dba64beSDimitry Andric 8039dba64beSDimitry Andric #if PY_MAJOR_VERSION >= 3 && PY_MINOR_VERSION >= 3 8049dba64beSDimitry Andric 8059dba64beSDimitry Andric // no need to synchronize access to this global, we already have the GIL 8069dba64beSDimitry Andric static PythonScript get_arg_info(get_arg_info_script); 8079dba64beSDimitry Andric Expected<PythonObject> pyarginfo = get_arg_info(*this); 8089dba64beSDimitry Andric if (!pyarginfo) 8099dba64beSDimitry Andric return pyarginfo.takeError(); 810480093f4SDimitry Andric long long count = 811480093f4SDimitry Andric cantFail(As<long long>(pyarginfo.get().GetAttribute("count"))); 812480093f4SDimitry Andric bool has_varargs = 8139dba64beSDimitry Andric cantFail(As<bool>(pyarginfo.get().GetAttribute("has_varargs"))); 814480093f4SDimitry Andric result.max_positional_args = has_varargs ? ArgInfo::UNBOUNDED : count; 8159dba64beSDimitry Andric 8169dba64beSDimitry Andric #else 817480093f4SDimitry Andric PyObject *py_func_obj; 8189dba64beSDimitry Andric bool is_bound_method = false; 819480093f4SDimitry Andric bool is_class = false; 820480093f4SDimitry Andric 821480093f4SDimitry Andric if (PyType_Check(m_py_obj) || PyClass_Check(m_py_obj)) { 822480093f4SDimitry Andric auto init = GetAttribute("__init__"); 823480093f4SDimitry Andric if (!init) 824480093f4SDimitry Andric return init.takeError(); 825480093f4SDimitry Andric py_func_obj = init.get().get(); 826480093f4SDimitry Andric is_class = true; 827480093f4SDimitry Andric } else { 828480093f4SDimitry Andric py_func_obj = m_py_obj; 829480093f4SDimitry Andric } 830480093f4SDimitry Andric 831*0b57cec5SDimitry Andric if (PyMethod_Check(py_func_obj)) { 832*0b57cec5SDimitry Andric py_func_obj = PyMethod_GET_FUNCTION(py_func_obj); 833*0b57cec5SDimitry Andric PythonObject im_self = GetAttributeValue("im_self"); 834*0b57cec5SDimitry Andric if (im_self.IsValid() && !im_self.IsNone()) 8359dba64beSDimitry Andric is_bound_method = true; 836*0b57cec5SDimitry Andric } else { 837*0b57cec5SDimitry Andric // see if this is a callable object with an __call__ method 838*0b57cec5SDimitry Andric if (!PyFunction_Check(py_func_obj)) { 839*0b57cec5SDimitry Andric PythonObject __call__ = GetAttributeValue("__call__"); 840*0b57cec5SDimitry Andric if (__call__.IsValid()) { 841*0b57cec5SDimitry Andric auto __callable__ = __call__.AsType<PythonCallable>(); 842*0b57cec5SDimitry Andric if (__callable__.IsValid()) { 843*0b57cec5SDimitry Andric py_func_obj = PyMethod_GET_FUNCTION(__callable__.get()); 8449dba64beSDimitry Andric PythonObject im_self = __callable__.GetAttributeValue("im_self"); 845*0b57cec5SDimitry Andric if (im_self.IsValid() && !im_self.IsNone()) 8469dba64beSDimitry Andric is_bound_method = true; 847*0b57cec5SDimitry Andric } 848*0b57cec5SDimitry Andric } 849*0b57cec5SDimitry Andric } 850*0b57cec5SDimitry Andric } 851*0b57cec5SDimitry Andric 852*0b57cec5SDimitry Andric if (!py_func_obj) 853*0b57cec5SDimitry Andric return result; 854*0b57cec5SDimitry Andric 855*0b57cec5SDimitry Andric PyCodeObject *code = (PyCodeObject *)PyFunction_GET_CODE(py_func_obj); 856*0b57cec5SDimitry Andric if (!code) 857*0b57cec5SDimitry Andric return result; 858*0b57cec5SDimitry Andric 859480093f4SDimitry Andric auto count = code->co_argcount; 860480093f4SDimitry Andric bool has_varargs = !!(code->co_flags & CO_VARARGS); 861480093f4SDimitry Andric result.max_positional_args = 862480093f4SDimitry Andric has_varargs ? ArgInfo::UNBOUNDED 863480093f4SDimitry Andric : (count - (int)is_bound_method) - (int)is_class; 8649dba64beSDimitry Andric 8659dba64beSDimitry Andric #endif 8669dba64beSDimitry Andric 867*0b57cec5SDimitry Andric return result; 868*0b57cec5SDimitry Andric } 869*0b57cec5SDimitry Andric 8709dba64beSDimitry Andric constexpr unsigned 8719dba64beSDimitry Andric PythonCallable::ArgInfo::UNBOUNDED; // FIXME delete after c++17 8729dba64beSDimitry Andric 873*0b57cec5SDimitry Andric PythonObject PythonCallable::operator()() { 874*0b57cec5SDimitry Andric return PythonObject(PyRefType::Owned, PyObject_CallObject(m_py_obj, nullptr)); 875*0b57cec5SDimitry Andric } 876*0b57cec5SDimitry Andric 877*0b57cec5SDimitry Andric PythonObject PythonCallable:: 878*0b57cec5SDimitry Andric operator()(std::initializer_list<PyObject *> args) { 879*0b57cec5SDimitry Andric PythonTuple arg_tuple(args); 880*0b57cec5SDimitry Andric return PythonObject(PyRefType::Owned, 881*0b57cec5SDimitry Andric PyObject_CallObject(m_py_obj, arg_tuple.get())); 882*0b57cec5SDimitry Andric } 883*0b57cec5SDimitry Andric 884*0b57cec5SDimitry Andric PythonObject PythonCallable:: 885*0b57cec5SDimitry Andric operator()(std::initializer_list<PythonObject> args) { 886*0b57cec5SDimitry Andric PythonTuple arg_tuple(args); 887*0b57cec5SDimitry Andric return PythonObject(PyRefType::Owned, 888*0b57cec5SDimitry Andric PyObject_CallObject(m_py_obj, arg_tuple.get())); 889*0b57cec5SDimitry Andric } 890*0b57cec5SDimitry Andric 891*0b57cec5SDimitry Andric bool PythonFile::Check(PyObject *py_obj) { 8929dba64beSDimitry Andric if (!py_obj) 8939dba64beSDimitry Andric return false; 894*0b57cec5SDimitry Andric // In Python 3, there is no `PyFile_Check`, and in fact PyFile is not even a 895*0b57cec5SDimitry Andric // first-class object type anymore. `PyFile_FromFd` is just a thin wrapper 896*0b57cec5SDimitry Andric // over `io.open()`, which returns some object derived from `io.IOBase`. As a 897*0b57cec5SDimitry Andric // result, the only way to detect a file in Python 3 is to check whether it 8989dba64beSDimitry Andric // inherits from `io.IOBase`. 8999dba64beSDimitry Andric auto io_module = PythonModule::Import("io"); 9009dba64beSDimitry Andric if (!io_module) { 9019dba64beSDimitry Andric llvm::consumeError(io_module.takeError()); 902*0b57cec5SDimitry Andric return false; 9039dba64beSDimitry Andric } 9049dba64beSDimitry Andric auto iobase = io_module.get().Get("IOBase"); 9059dba64beSDimitry Andric if (!iobase) { 9069dba64beSDimitry Andric llvm::consumeError(iobase.takeError()); 907*0b57cec5SDimitry Andric return false; 9089dba64beSDimitry Andric } 9099dba64beSDimitry Andric int r = PyObject_IsInstance(py_obj, iobase.get().get()); 9109dba64beSDimitry Andric if (r < 0) { 9119dba64beSDimitry Andric llvm::consumeError(exception()); // clear the exception and log it. 9129dba64beSDimitry Andric return false; 9139dba64beSDimitry Andric } 9149dba64beSDimitry Andric return !!r; 915*0b57cec5SDimitry Andric } 916*0b57cec5SDimitry Andric 9179dba64beSDimitry Andric const char *PythonException::toCString() const { 9189dba64beSDimitry Andric if (!m_repr_bytes) 9199dba64beSDimitry Andric return "unknown exception"; 9209dba64beSDimitry Andric return PyBytes_AS_STRING(m_repr_bytes); 921*0b57cec5SDimitry Andric } 922*0b57cec5SDimitry Andric 9239dba64beSDimitry Andric PythonException::PythonException(const char *caller) { 9249dba64beSDimitry Andric assert(PyErr_Occurred()); 925bdd1243dSDimitry Andric m_exception_type = m_exception = m_traceback = m_repr_bytes = nullptr; 9269dba64beSDimitry Andric PyErr_Fetch(&m_exception_type, &m_exception, &m_traceback); 9279dba64beSDimitry Andric PyErr_NormalizeException(&m_exception_type, &m_exception, &m_traceback); 9289dba64beSDimitry Andric PyErr_Clear(); 9299dba64beSDimitry Andric if (m_exception) { 9309dba64beSDimitry Andric PyObject *repr = PyObject_Repr(m_exception); 9319dba64beSDimitry Andric if (repr) { 9329dba64beSDimitry Andric m_repr_bytes = PyUnicode_AsEncodedString(repr, "utf-8", nullptr); 9339dba64beSDimitry Andric if (!m_repr_bytes) { 9349dba64beSDimitry Andric PyErr_Clear(); 9359dba64beSDimitry Andric } 9369dba64beSDimitry Andric Py_XDECREF(repr); 9379dba64beSDimitry Andric } else { 9389dba64beSDimitry Andric PyErr_Clear(); 9399dba64beSDimitry Andric } 9409dba64beSDimitry Andric } 94181ad6265SDimitry Andric Log *log = GetLog(LLDBLog::Script); 9429dba64beSDimitry Andric if (caller) 9439dba64beSDimitry Andric LLDB_LOGF(log, "%s failed with exception: %s", caller, toCString()); 9449dba64beSDimitry Andric else 9459dba64beSDimitry Andric LLDB_LOGF(log, "python exception: %s", toCString()); 9469dba64beSDimitry Andric } 9479dba64beSDimitry Andric void PythonException::Restore() { 9489dba64beSDimitry Andric if (m_exception_type && m_exception) { 9499dba64beSDimitry Andric PyErr_Restore(m_exception_type, m_exception, m_traceback); 9509dba64beSDimitry Andric } else { 9519dba64beSDimitry Andric PyErr_SetString(PyExc_Exception, toCString()); 9529dba64beSDimitry Andric } 953bdd1243dSDimitry Andric m_exception_type = m_exception = m_traceback = nullptr; 954*0b57cec5SDimitry Andric } 955*0b57cec5SDimitry Andric 9569dba64beSDimitry Andric PythonException::~PythonException() { 9579dba64beSDimitry Andric Py_XDECREF(m_exception_type); 9589dba64beSDimitry Andric Py_XDECREF(m_exception); 9599dba64beSDimitry Andric Py_XDECREF(m_traceback); 9609dba64beSDimitry Andric Py_XDECREF(m_repr_bytes); 961*0b57cec5SDimitry Andric } 962*0b57cec5SDimitry Andric 9639dba64beSDimitry Andric void PythonException::log(llvm::raw_ostream &OS) const { OS << toCString(); } 9649dba64beSDimitry Andric 9659dba64beSDimitry Andric std::error_code PythonException::convertToErrorCode() const { 9669dba64beSDimitry Andric return llvm::inconvertibleErrorCode(); 9679dba64beSDimitry Andric } 9689dba64beSDimitry Andric 9699dba64beSDimitry Andric bool PythonException::Matches(PyObject *exc) const { 9709dba64beSDimitry Andric return PyErr_GivenExceptionMatches(m_exception_type, exc); 9719dba64beSDimitry Andric } 9729dba64beSDimitry Andric 9739dba64beSDimitry Andric const char read_exception_script[] = R"( 9749dba64beSDimitry Andric import sys 9759dba64beSDimitry Andric from traceback import print_exception 9769dba64beSDimitry Andric if sys.version_info.major < 3: 9779dba64beSDimitry Andric from StringIO import StringIO 9789dba64beSDimitry Andric else: 9799dba64beSDimitry Andric from io import StringIO 9809dba64beSDimitry Andric def main(exc_type, exc_value, tb): 9819dba64beSDimitry Andric f = StringIO() 9829dba64beSDimitry Andric print_exception(exc_type, exc_value, tb, file=f) 9839dba64beSDimitry Andric return f.getvalue() 9849dba64beSDimitry Andric )"; 9859dba64beSDimitry Andric 9869dba64beSDimitry Andric std::string PythonException::ReadBacktrace() const { 9879dba64beSDimitry Andric 9889dba64beSDimitry Andric if (!m_traceback) 9899dba64beSDimitry Andric return toCString(); 9909dba64beSDimitry Andric 9919dba64beSDimitry Andric // no need to synchronize access to this global, we already have the GIL 9929dba64beSDimitry Andric static PythonScript read_exception(read_exception_script); 9939dba64beSDimitry Andric 9949dba64beSDimitry Andric Expected<std::string> backtrace = As<std::string>( 9959dba64beSDimitry Andric read_exception(m_exception_type, m_exception, m_traceback)); 9969dba64beSDimitry Andric 9979dba64beSDimitry Andric if (!backtrace) { 9989dba64beSDimitry Andric std::string message = 9999dba64beSDimitry Andric std::string(toCString()) + "\n" + 10005ffd83dbSDimitry Andric "Traceback unavailable, an error occurred while reading it:\n"; 10019dba64beSDimitry Andric return (message + llvm::toString(backtrace.takeError())); 10029dba64beSDimitry Andric } 10039dba64beSDimitry Andric 10049dba64beSDimitry Andric return std::move(backtrace.get()); 10059dba64beSDimitry Andric } 10069dba64beSDimitry Andric 10079dba64beSDimitry Andric char PythonException::ID = 0; 10089dba64beSDimitry Andric 10099dba64beSDimitry Andric llvm::Expected<File::OpenOptions> 10109dba64beSDimitry Andric GetOptionsForPyObject(const PythonObject &obj) { 10119dba64beSDimitry Andric auto options = File::OpenOptions(0); 10129dba64beSDimitry Andric auto readable = As<bool>(obj.CallMethod("readable")); 10139dba64beSDimitry Andric if (!readable) 10149dba64beSDimitry Andric return readable.takeError(); 10159dba64beSDimitry Andric auto writable = As<bool>(obj.CallMethod("writable")); 10169dba64beSDimitry Andric if (!writable) 10179dba64beSDimitry Andric return writable.takeError(); 1018349cc55cSDimitry Andric if (readable.get() && writable.get()) 1019349cc55cSDimitry Andric options |= File::eOpenOptionReadWrite; 1020349cc55cSDimitry Andric else if (writable.get()) 1021349cc55cSDimitry Andric options |= File::eOpenOptionWriteOnly; 1022349cc55cSDimitry Andric else if (readable.get()) 1023349cc55cSDimitry Andric options |= File::eOpenOptionReadOnly; 10249dba64beSDimitry Andric return options; 10259dba64beSDimitry Andric } 10269dba64beSDimitry Andric 10279dba64beSDimitry Andric // Base class template for python files. All it knows how to do 10289dba64beSDimitry Andric // is hold a reference to the python object and close or flush it 10299dba64beSDimitry Andric // when the File is closed. 10309dba64beSDimitry Andric namespace { 10319dba64beSDimitry Andric template <typename Base> class OwnedPythonFile : public Base { 10329dba64beSDimitry Andric public: 10339dba64beSDimitry Andric template <typename... Args> 10349dba64beSDimitry Andric OwnedPythonFile(const PythonFile &file, bool borrowed, Args... args) 10359dba64beSDimitry Andric : Base(args...), m_py_obj(file), m_borrowed(borrowed) { 10369dba64beSDimitry Andric assert(m_py_obj); 10379dba64beSDimitry Andric } 10389dba64beSDimitry Andric 10399dba64beSDimitry Andric ~OwnedPythonFile() override { 10409dba64beSDimitry Andric assert(m_py_obj); 10419dba64beSDimitry Andric GIL takeGIL; 10429dba64beSDimitry Andric Close(); 10439dba64beSDimitry Andric // we need to ensure the python object is released while we still 10449dba64beSDimitry Andric // hold the GIL 10459dba64beSDimitry Andric m_py_obj.Reset(); 10469dba64beSDimitry Andric } 10479dba64beSDimitry Andric 10489dba64beSDimitry Andric bool IsPythonSideValid() const { 10499dba64beSDimitry Andric GIL takeGIL; 10509dba64beSDimitry Andric auto closed = As<bool>(m_py_obj.GetAttribute("closed")); 10519dba64beSDimitry Andric if (!closed) { 10529dba64beSDimitry Andric llvm::consumeError(closed.takeError()); 10539dba64beSDimitry Andric return false; 10549dba64beSDimitry Andric } 10559dba64beSDimitry Andric return !closed.get(); 10569dba64beSDimitry Andric } 10579dba64beSDimitry Andric 10589dba64beSDimitry Andric bool IsValid() const override { 10599dba64beSDimitry Andric return IsPythonSideValid() && Base::IsValid(); 10609dba64beSDimitry Andric } 10619dba64beSDimitry Andric 10629dba64beSDimitry Andric Status Close() override { 10639dba64beSDimitry Andric assert(m_py_obj); 10649dba64beSDimitry Andric Status py_error, base_error; 10659dba64beSDimitry Andric GIL takeGIL; 10669dba64beSDimitry Andric if (!m_borrowed) { 10679dba64beSDimitry Andric auto r = m_py_obj.CallMethod("close"); 10689dba64beSDimitry Andric if (!r) 10699dba64beSDimitry Andric py_error = Status(r.takeError()); 10709dba64beSDimitry Andric } 10719dba64beSDimitry Andric base_error = Base::Close(); 10729dba64beSDimitry Andric if (py_error.Fail()) 10739dba64beSDimitry Andric return py_error; 10749dba64beSDimitry Andric return base_error; 10759dba64beSDimitry Andric }; 10769dba64beSDimitry Andric 10779dba64beSDimitry Andric PyObject *GetPythonObject() const { 10789dba64beSDimitry Andric assert(m_py_obj.IsValid()); 10799dba64beSDimitry Andric return m_py_obj.get(); 10809dba64beSDimitry Andric } 10819dba64beSDimitry Andric 10829dba64beSDimitry Andric static bool classof(const File *file) = delete; 10839dba64beSDimitry Andric 10849dba64beSDimitry Andric protected: 10859dba64beSDimitry Andric PythonFile m_py_obj; 10869dba64beSDimitry Andric bool m_borrowed; 10879dba64beSDimitry Andric }; 10889dba64beSDimitry Andric } // namespace 10899dba64beSDimitry Andric 10909dba64beSDimitry Andric // A SimplePythonFile is a OwnedPythonFile that just does all I/O as 10919dba64beSDimitry Andric // a NativeFile 10929dba64beSDimitry Andric namespace { 10939dba64beSDimitry Andric class SimplePythonFile : public OwnedPythonFile<NativeFile> { 10949dba64beSDimitry Andric public: 10959dba64beSDimitry Andric SimplePythonFile(const PythonFile &file, bool borrowed, int fd, 10969dba64beSDimitry Andric File::OpenOptions options) 10979dba64beSDimitry Andric : OwnedPythonFile(file, borrowed, fd, options, false) {} 10989dba64beSDimitry Andric 10999dba64beSDimitry Andric static char ID; 11009dba64beSDimitry Andric bool isA(const void *classID) const override { 11019dba64beSDimitry Andric return classID == &ID || NativeFile::isA(classID); 11029dba64beSDimitry Andric } 11039dba64beSDimitry Andric static bool classof(const File *file) { return file->isA(&ID); } 11049dba64beSDimitry Andric }; 11059dba64beSDimitry Andric char SimplePythonFile::ID = 0; 11069dba64beSDimitry Andric } // namespace 11079dba64beSDimitry Andric 11089dba64beSDimitry Andric namespace { 11099dba64beSDimitry Andric class PythonBuffer { 11109dba64beSDimitry Andric public: 11119dba64beSDimitry Andric PythonBuffer &operator=(const PythonBuffer &) = delete; 11129dba64beSDimitry Andric PythonBuffer(const PythonBuffer &) = delete; 11139dba64beSDimitry Andric 11149dba64beSDimitry Andric static Expected<PythonBuffer> Create(PythonObject &obj, 11159dba64beSDimitry Andric int flags = PyBUF_SIMPLE) { 11169dba64beSDimitry Andric Py_buffer py_buffer = {}; 11179dba64beSDimitry Andric PyObject_GetBuffer(obj.get(), &py_buffer, flags); 11189dba64beSDimitry Andric if (!py_buffer.obj) 11199dba64beSDimitry Andric return llvm::make_error<PythonException>(); 11209dba64beSDimitry Andric return PythonBuffer(py_buffer); 11219dba64beSDimitry Andric } 11229dba64beSDimitry Andric 11239dba64beSDimitry Andric PythonBuffer(PythonBuffer &&other) { 11249dba64beSDimitry Andric m_buffer = other.m_buffer; 11259dba64beSDimitry Andric other.m_buffer.obj = nullptr; 11269dba64beSDimitry Andric } 11279dba64beSDimitry Andric 11289dba64beSDimitry Andric ~PythonBuffer() { 11299dba64beSDimitry Andric if (m_buffer.obj) 11309dba64beSDimitry Andric PyBuffer_Release(&m_buffer); 11319dba64beSDimitry Andric } 11329dba64beSDimitry Andric 11339dba64beSDimitry Andric Py_buffer &get() { return m_buffer; } 11349dba64beSDimitry Andric 11359dba64beSDimitry Andric private: 11369dba64beSDimitry Andric // takes ownership of the buffer. 11379dba64beSDimitry Andric PythonBuffer(const Py_buffer &py_buffer) : m_buffer(py_buffer) {} 11389dba64beSDimitry Andric Py_buffer m_buffer; 11399dba64beSDimitry Andric }; 11409dba64beSDimitry Andric } // namespace 11419dba64beSDimitry Andric 11429dba64beSDimitry Andric // Shared methods between TextPythonFile and BinaryPythonFile 11439dba64beSDimitry Andric namespace { 11449dba64beSDimitry Andric class PythonIOFile : public OwnedPythonFile<File> { 11459dba64beSDimitry Andric public: 11469dba64beSDimitry Andric PythonIOFile(const PythonFile &file, bool borrowed) 11479dba64beSDimitry Andric : OwnedPythonFile(file, borrowed) {} 11489dba64beSDimitry Andric 11499dba64beSDimitry Andric ~PythonIOFile() override { Close(); } 11509dba64beSDimitry Andric 11519dba64beSDimitry Andric bool IsValid() const override { return IsPythonSideValid(); } 11529dba64beSDimitry Andric 11539dba64beSDimitry Andric Status Close() override { 11549dba64beSDimitry Andric assert(m_py_obj); 11559dba64beSDimitry Andric GIL takeGIL; 11569dba64beSDimitry Andric if (m_borrowed) 11579dba64beSDimitry Andric return Flush(); 11589dba64beSDimitry Andric auto r = m_py_obj.CallMethod("close"); 11599dba64beSDimitry Andric if (!r) 11609dba64beSDimitry Andric return Status(r.takeError()); 11619dba64beSDimitry Andric return Status(); 11629dba64beSDimitry Andric } 11639dba64beSDimitry Andric 11649dba64beSDimitry Andric Status Flush() override { 11659dba64beSDimitry Andric GIL takeGIL; 11669dba64beSDimitry Andric auto r = m_py_obj.CallMethod("flush"); 11679dba64beSDimitry Andric if (!r) 11689dba64beSDimitry Andric return Status(r.takeError()); 11699dba64beSDimitry Andric return Status(); 11709dba64beSDimitry Andric } 11719dba64beSDimitry Andric 11729dba64beSDimitry Andric Expected<File::OpenOptions> GetOptions() const override { 11739dba64beSDimitry Andric GIL takeGIL; 11749dba64beSDimitry Andric return GetOptionsForPyObject(m_py_obj); 11759dba64beSDimitry Andric } 11769dba64beSDimitry Andric 11779dba64beSDimitry Andric static char ID; 11789dba64beSDimitry Andric bool isA(const void *classID) const override { 11799dba64beSDimitry Andric return classID == &ID || File::isA(classID); 11809dba64beSDimitry Andric } 11819dba64beSDimitry Andric static bool classof(const File *file) { return file->isA(&ID); } 11829dba64beSDimitry Andric }; 11839dba64beSDimitry Andric char PythonIOFile::ID = 0; 11849dba64beSDimitry Andric } // namespace 11859dba64beSDimitry Andric 11869dba64beSDimitry Andric namespace { 11879dba64beSDimitry Andric class BinaryPythonFile : public PythonIOFile { 11889dba64beSDimitry Andric protected: 11899dba64beSDimitry Andric int m_descriptor; 11909dba64beSDimitry Andric 11919dba64beSDimitry Andric public: 11929dba64beSDimitry Andric BinaryPythonFile(int fd, const PythonFile &file, bool borrowed) 11939dba64beSDimitry Andric : PythonIOFile(file, borrowed), 11949dba64beSDimitry Andric m_descriptor(File::DescriptorIsValid(fd) ? fd 11959dba64beSDimitry Andric : File::kInvalidDescriptor) {} 11969dba64beSDimitry Andric 11979dba64beSDimitry Andric int GetDescriptor() const override { return m_descriptor; } 11989dba64beSDimitry Andric 11999dba64beSDimitry Andric Status Write(const void *buf, size_t &num_bytes) override { 12009dba64beSDimitry Andric GIL takeGIL; 12019dba64beSDimitry Andric PyObject *pybuffer_p = PyMemoryView_FromMemory( 12029dba64beSDimitry Andric const_cast<char *>((const char *)buf), num_bytes, PyBUF_READ); 12039dba64beSDimitry Andric if (!pybuffer_p) 12049dba64beSDimitry Andric return Status(llvm::make_error<PythonException>()); 12059dba64beSDimitry Andric auto pybuffer = Take<PythonObject>(pybuffer_p); 12069dba64beSDimitry Andric num_bytes = 0; 12079dba64beSDimitry Andric auto bytes_written = As<long long>(m_py_obj.CallMethod("write", pybuffer)); 12089dba64beSDimitry Andric if (!bytes_written) 12099dba64beSDimitry Andric return Status(bytes_written.takeError()); 12109dba64beSDimitry Andric if (bytes_written.get() < 0) 12119dba64beSDimitry Andric return Status(".write() method returned a negative number!"); 12129dba64beSDimitry Andric static_assert(sizeof(long long) >= sizeof(size_t), "overflow"); 12139dba64beSDimitry Andric num_bytes = bytes_written.get(); 12149dba64beSDimitry Andric return Status(); 12159dba64beSDimitry Andric } 12169dba64beSDimitry Andric 12179dba64beSDimitry Andric Status Read(void *buf, size_t &num_bytes) override { 12189dba64beSDimitry Andric GIL takeGIL; 12199dba64beSDimitry Andric static_assert(sizeof(long long) >= sizeof(size_t), "overflow"); 12209dba64beSDimitry Andric auto pybuffer_obj = 12219dba64beSDimitry Andric m_py_obj.CallMethod("read", (unsigned long long)num_bytes); 12229dba64beSDimitry Andric if (!pybuffer_obj) 12239dba64beSDimitry Andric return Status(pybuffer_obj.takeError()); 12249dba64beSDimitry Andric num_bytes = 0; 12259dba64beSDimitry Andric if (pybuffer_obj.get().IsNone()) { 12269dba64beSDimitry Andric // EOF 12279dba64beSDimitry Andric num_bytes = 0; 12289dba64beSDimitry Andric return Status(); 12299dba64beSDimitry Andric } 12309dba64beSDimitry Andric auto pybuffer = PythonBuffer::Create(pybuffer_obj.get()); 12319dba64beSDimitry Andric if (!pybuffer) 12329dba64beSDimitry Andric return Status(pybuffer.takeError()); 12339dba64beSDimitry Andric memcpy(buf, pybuffer.get().get().buf, pybuffer.get().get().len); 12349dba64beSDimitry Andric num_bytes = pybuffer.get().get().len; 12359dba64beSDimitry Andric return Status(); 12369dba64beSDimitry Andric } 12379dba64beSDimitry Andric }; 12389dba64beSDimitry Andric } // namespace 12399dba64beSDimitry Andric 12409dba64beSDimitry Andric namespace { 12419dba64beSDimitry Andric class TextPythonFile : public PythonIOFile { 12429dba64beSDimitry Andric protected: 12439dba64beSDimitry Andric int m_descriptor; 12449dba64beSDimitry Andric 12459dba64beSDimitry Andric public: 12469dba64beSDimitry Andric TextPythonFile(int fd, const PythonFile &file, bool borrowed) 12479dba64beSDimitry Andric : PythonIOFile(file, borrowed), 12489dba64beSDimitry Andric m_descriptor(File::DescriptorIsValid(fd) ? fd 12499dba64beSDimitry Andric : File::kInvalidDescriptor) {} 12509dba64beSDimitry Andric 12519dba64beSDimitry Andric int GetDescriptor() const override { return m_descriptor; } 12529dba64beSDimitry Andric 12539dba64beSDimitry Andric Status Write(const void *buf, size_t &num_bytes) override { 12549dba64beSDimitry Andric GIL takeGIL; 12559dba64beSDimitry Andric auto pystring = 12569dba64beSDimitry Andric PythonString::FromUTF8(llvm::StringRef((const char *)buf, num_bytes)); 12579dba64beSDimitry Andric if (!pystring) 12589dba64beSDimitry Andric return Status(pystring.takeError()); 12599dba64beSDimitry Andric num_bytes = 0; 12609dba64beSDimitry Andric auto bytes_written = 12619dba64beSDimitry Andric As<long long>(m_py_obj.CallMethod("write", pystring.get())); 12629dba64beSDimitry Andric if (!bytes_written) 12639dba64beSDimitry Andric return Status(bytes_written.takeError()); 12649dba64beSDimitry Andric if (bytes_written.get() < 0) 12659dba64beSDimitry Andric return Status(".write() method returned a negative number!"); 12669dba64beSDimitry Andric static_assert(sizeof(long long) >= sizeof(size_t), "overflow"); 12679dba64beSDimitry Andric num_bytes = bytes_written.get(); 12689dba64beSDimitry Andric return Status(); 12699dba64beSDimitry Andric } 12709dba64beSDimitry Andric 12719dba64beSDimitry Andric Status Read(void *buf, size_t &num_bytes) override { 12729dba64beSDimitry Andric GIL takeGIL; 12739dba64beSDimitry Andric size_t num_chars = num_bytes / 6; 12749dba64beSDimitry Andric size_t orig_num_bytes = num_bytes; 12759dba64beSDimitry Andric num_bytes = 0; 12769dba64beSDimitry Andric if (orig_num_bytes < 6) { 12779dba64beSDimitry Andric return Status("can't read less than 6 bytes from a utf8 text stream"); 12789dba64beSDimitry Andric } 12799dba64beSDimitry Andric auto pystring = As<PythonString>( 12809dba64beSDimitry Andric m_py_obj.CallMethod("read", (unsigned long long)num_chars)); 12819dba64beSDimitry Andric if (!pystring) 12829dba64beSDimitry Andric return Status(pystring.takeError()); 12839dba64beSDimitry Andric if (pystring.get().IsNone()) { 12849dba64beSDimitry Andric // EOF 12859dba64beSDimitry Andric return Status(); 12869dba64beSDimitry Andric } 12879dba64beSDimitry Andric auto stringref = pystring.get().AsUTF8(); 12889dba64beSDimitry Andric if (!stringref) 12899dba64beSDimitry Andric return Status(stringref.takeError()); 12909dba64beSDimitry Andric num_bytes = stringref.get().size(); 12919dba64beSDimitry Andric memcpy(buf, stringref.get().begin(), num_bytes); 12929dba64beSDimitry Andric return Status(); 12939dba64beSDimitry Andric } 12949dba64beSDimitry Andric }; 12959dba64beSDimitry Andric } // namespace 12969dba64beSDimitry Andric 12979dba64beSDimitry Andric llvm::Expected<FileSP> PythonFile::ConvertToFile(bool borrowed) { 12989dba64beSDimitry Andric if (!IsValid()) 12999dba64beSDimitry Andric return llvm::createStringError(llvm::inconvertibleErrorCode(), 13009dba64beSDimitry Andric "invalid PythonFile"); 13019dba64beSDimitry Andric 13029dba64beSDimitry Andric int fd = PyObject_AsFileDescriptor(m_py_obj); 13039dba64beSDimitry Andric if (fd < 0) { 13049dba64beSDimitry Andric PyErr_Clear(); 13059dba64beSDimitry Andric return ConvertToFileForcingUseOfScriptingIOMethods(borrowed); 13069dba64beSDimitry Andric } 13079dba64beSDimitry Andric auto options = GetOptionsForPyObject(*this); 13089dba64beSDimitry Andric if (!options) 13099dba64beSDimitry Andric return options.takeError(); 13109dba64beSDimitry Andric 1311349cc55cSDimitry Andric File::OpenOptions rw = 1312349cc55cSDimitry Andric options.get() & (File::eOpenOptionReadOnly | File::eOpenOptionWriteOnly | 1313349cc55cSDimitry Andric File::eOpenOptionReadWrite); 1314349cc55cSDimitry Andric if (rw == File::eOpenOptionWriteOnly || rw == File::eOpenOptionReadWrite) { 13159dba64beSDimitry Andric // LLDB and python will not share I/O buffers. We should probably 13169dba64beSDimitry Andric // flush the python buffers now. 13179dba64beSDimitry Andric auto r = CallMethod("flush"); 13189dba64beSDimitry Andric if (!r) 13199dba64beSDimitry Andric return r.takeError(); 1320480093f4SDimitry Andric } 13219dba64beSDimitry Andric 13229dba64beSDimitry Andric FileSP file_sp; 13239dba64beSDimitry Andric if (borrowed) { 13249dba64beSDimitry Andric // In this case we we don't need to retain the python 13259dba64beSDimitry Andric // object at all. 13269dba64beSDimitry Andric file_sp = std::make_shared<NativeFile>(fd, options.get(), false); 13279dba64beSDimitry Andric } else { 13289dba64beSDimitry Andric file_sp = std::static_pointer_cast<File>( 13299dba64beSDimitry Andric std::make_shared<SimplePythonFile>(*this, borrowed, fd, options.get())); 13309dba64beSDimitry Andric } 13319dba64beSDimitry Andric if (!file_sp->IsValid()) 13329dba64beSDimitry Andric return llvm::createStringError(llvm::inconvertibleErrorCode(), 13339dba64beSDimitry Andric "invalid File"); 13349dba64beSDimitry Andric 13359dba64beSDimitry Andric return file_sp; 13369dba64beSDimitry Andric } 13379dba64beSDimitry Andric 13389dba64beSDimitry Andric llvm::Expected<FileSP> 13399dba64beSDimitry Andric PythonFile::ConvertToFileForcingUseOfScriptingIOMethods(bool borrowed) { 13409dba64beSDimitry Andric 13419dba64beSDimitry Andric assert(!PyErr_Occurred()); 13429dba64beSDimitry Andric 13439dba64beSDimitry Andric if (!IsValid()) 13449dba64beSDimitry Andric return llvm::createStringError(llvm::inconvertibleErrorCode(), 13459dba64beSDimitry Andric "invalid PythonFile"); 13469dba64beSDimitry Andric 13479dba64beSDimitry Andric int fd = PyObject_AsFileDescriptor(m_py_obj); 13489dba64beSDimitry Andric if (fd < 0) { 13499dba64beSDimitry Andric PyErr_Clear(); 13509dba64beSDimitry Andric fd = File::kInvalidDescriptor; 13519dba64beSDimitry Andric } 13529dba64beSDimitry Andric 13539dba64beSDimitry Andric auto io_module = PythonModule::Import("io"); 13549dba64beSDimitry Andric if (!io_module) 13559dba64beSDimitry Andric return io_module.takeError(); 13569dba64beSDimitry Andric auto textIOBase = io_module.get().Get("TextIOBase"); 13579dba64beSDimitry Andric if (!textIOBase) 13589dba64beSDimitry Andric return textIOBase.takeError(); 13599dba64beSDimitry Andric auto rawIOBase = io_module.get().Get("RawIOBase"); 13609dba64beSDimitry Andric if (!rawIOBase) 13619dba64beSDimitry Andric return rawIOBase.takeError(); 13629dba64beSDimitry Andric auto bufferedIOBase = io_module.get().Get("BufferedIOBase"); 13639dba64beSDimitry Andric if (!bufferedIOBase) 13649dba64beSDimitry Andric return bufferedIOBase.takeError(); 13659dba64beSDimitry Andric 13669dba64beSDimitry Andric FileSP file_sp; 13679dba64beSDimitry Andric 13689dba64beSDimitry Andric auto isTextIO = IsInstance(textIOBase.get()); 13699dba64beSDimitry Andric if (!isTextIO) 13709dba64beSDimitry Andric return isTextIO.takeError(); 13719dba64beSDimitry Andric if (isTextIO.get()) 13729dba64beSDimitry Andric file_sp = std::static_pointer_cast<File>( 13739dba64beSDimitry Andric std::make_shared<TextPythonFile>(fd, *this, borrowed)); 13749dba64beSDimitry Andric 13759dba64beSDimitry Andric auto isRawIO = IsInstance(rawIOBase.get()); 13769dba64beSDimitry Andric if (!isRawIO) 13779dba64beSDimitry Andric return isRawIO.takeError(); 13789dba64beSDimitry Andric auto isBufferedIO = IsInstance(bufferedIOBase.get()); 13799dba64beSDimitry Andric if (!isBufferedIO) 13809dba64beSDimitry Andric return isBufferedIO.takeError(); 13819dba64beSDimitry Andric 13829dba64beSDimitry Andric if (isRawIO.get() || isBufferedIO.get()) { 13839dba64beSDimitry Andric file_sp = std::static_pointer_cast<File>( 13849dba64beSDimitry Andric std::make_shared<BinaryPythonFile>(fd, *this, borrowed)); 13859dba64beSDimitry Andric } 13869dba64beSDimitry Andric 13879dba64beSDimitry Andric if (!file_sp) 13889dba64beSDimitry Andric return llvm::createStringError(llvm::inconvertibleErrorCode(), 13899dba64beSDimitry Andric "python file is neither text nor binary"); 13909dba64beSDimitry Andric 13919dba64beSDimitry Andric if (!file_sp->IsValid()) 13929dba64beSDimitry Andric return llvm::createStringError(llvm::inconvertibleErrorCode(), 13939dba64beSDimitry Andric "invalid File"); 13949dba64beSDimitry Andric 13959dba64beSDimitry Andric return file_sp; 13969dba64beSDimitry Andric } 13979dba64beSDimitry Andric 13989dba64beSDimitry Andric Expected<PythonFile> PythonFile::FromFile(File &file, const char *mode) { 13999dba64beSDimitry Andric if (!file.IsValid()) 14009dba64beSDimitry Andric return llvm::createStringError(llvm::inconvertibleErrorCode(), 14019dba64beSDimitry Andric "invalid file"); 14029dba64beSDimitry Andric 14039dba64beSDimitry Andric if (auto *simple = llvm::dyn_cast<SimplePythonFile>(&file)) 14049dba64beSDimitry Andric return Retain<PythonFile>(simple->GetPythonObject()); 14059dba64beSDimitry Andric if (auto *pythonio = llvm::dyn_cast<PythonIOFile>(&file)) 14069dba64beSDimitry Andric return Retain<PythonFile>(pythonio->GetPythonObject()); 14079dba64beSDimitry Andric 14089dba64beSDimitry Andric if (!mode) { 14099dba64beSDimitry Andric auto m = file.GetOpenMode(); 14109dba64beSDimitry Andric if (!m) 14119dba64beSDimitry Andric return m.takeError(); 14129dba64beSDimitry Andric mode = m.get(); 14139dba64beSDimitry Andric } 14149dba64beSDimitry Andric 14159dba64beSDimitry Andric PyObject *file_obj; 14169dba64beSDimitry Andric file_obj = PyFile_FromFd(file.GetDescriptor(), nullptr, mode, -1, nullptr, 1417480093f4SDimitry Andric "ignore", nullptr, /*closefd=*/0); 14189dba64beSDimitry Andric 14199dba64beSDimitry Andric if (!file_obj) 14209dba64beSDimitry Andric return exception(); 14219dba64beSDimitry Andric 14229dba64beSDimitry Andric return Take<PythonFile>(file_obj); 1423*0b57cec5SDimitry Andric } 1424*0b57cec5SDimitry Andric 14259dba64beSDimitry Andric Error PythonScript::Init() { 14269dba64beSDimitry Andric if (function.IsValid()) 14279dba64beSDimitry Andric return Error::success(); 1428*0b57cec5SDimitry Andric 14299dba64beSDimitry Andric PythonDictionary globals(PyInitialValue::Empty); 14309dba64beSDimitry Andric auto builtins = PythonModule::BuiltinsModule(); 14319dba64beSDimitry Andric if (Error error = globals.SetItem("__builtins__", builtins)) 14329dba64beSDimitry Andric return error; 14339dba64beSDimitry Andric PyObject *o = 14349dba64beSDimitry Andric PyRun_String(script, Py_file_input, globals.get(), globals.get()); 14359dba64beSDimitry Andric if (!o) 14369dba64beSDimitry Andric return exception(); 14379dba64beSDimitry Andric Take<PythonObject>(o); 14389dba64beSDimitry Andric auto f = As<PythonCallable>(globals.GetItem("main")); 14399dba64beSDimitry Andric if (!f) 14409dba64beSDimitry Andric return f.takeError(); 14419dba64beSDimitry Andric function = std::move(f.get()); 14429dba64beSDimitry Andric 14439dba64beSDimitry Andric return Error::success(); 1444*0b57cec5SDimitry Andric } 1445*0b57cec5SDimitry Andric 14469dba64beSDimitry Andric llvm::Expected<PythonObject> 14479dba64beSDimitry Andric python::runStringOneLine(const llvm::Twine &string, 14489dba64beSDimitry Andric const PythonDictionary &globals, 14499dba64beSDimitry Andric const PythonDictionary &locals) { 14509dba64beSDimitry Andric if (!globals.IsValid() || !locals.IsValid()) 14519dba64beSDimitry Andric return nullDeref(); 1452*0b57cec5SDimitry Andric 14539dba64beSDimitry Andric PyObject *code = 14549dba64beSDimitry Andric Py_CompileString(NullTerminated(string), "<string>", Py_eval_input); 14559dba64beSDimitry Andric if (!code) { 14569dba64beSDimitry Andric PyErr_Clear(); 14579dba64beSDimitry Andric code = 14589dba64beSDimitry Andric Py_CompileString(NullTerminated(string), "<string>", Py_single_input); 14599dba64beSDimitry Andric } 14609dba64beSDimitry Andric if (!code) 14619dba64beSDimitry Andric return exception(); 14629dba64beSDimitry Andric auto code_ref = Take<PythonObject>(code); 14639dba64beSDimitry Andric 14649dba64beSDimitry Andric PyObject *result = PyEval_EvalCode(code, globals.get(), locals.get()); 14659dba64beSDimitry Andric 14669dba64beSDimitry Andric if (!result) 14679dba64beSDimitry Andric return exception(); 14689dba64beSDimitry Andric 14699dba64beSDimitry Andric return Take<PythonObject>(result); 14709dba64beSDimitry Andric } 14719dba64beSDimitry Andric 14729dba64beSDimitry Andric llvm::Expected<PythonObject> 14739dba64beSDimitry Andric python::runStringMultiLine(const llvm::Twine &string, 14749dba64beSDimitry Andric const PythonDictionary &globals, 14759dba64beSDimitry Andric const PythonDictionary &locals) { 14769dba64beSDimitry Andric if (!globals.IsValid() || !locals.IsValid()) 14779dba64beSDimitry Andric return nullDeref(); 14789dba64beSDimitry Andric PyObject *result = PyRun_String(NullTerminated(string), Py_file_input, 14799dba64beSDimitry Andric globals.get(), locals.get()); 14809dba64beSDimitry Andric if (!result) 14819dba64beSDimitry Andric return exception(); 14829dba64beSDimitry Andric return Take<PythonObject>(result); 1483*0b57cec5SDimitry Andric } 1484*0b57cec5SDimitry Andric 1485*0b57cec5SDimitry Andric #endif 1486