static PyObject* Bitvector_str(PyObject* self) {
try {
return PyString_FromFormat("bv[%d..%d]", PyBitvector_AsHigh(self), PyBitvector_AsLow(self));
}
catch (const std::exception& e) {
return PyErr_Format(PyExc_TypeError, "%s", e.what());
}
}
static PyObject* Bitvector_getHigh(PyObject* self, PyObject* noarg) {
try {
return PyLong_FromUint32(PyBitvector_AsHigh(self));
}
catch (const std::exception& e) {
return PyErr_Format(PyExc_TypeError, "%s", e.what());
}
}
static PyObject* Bitvector_getVectorSize(PyObject* self, PyObject* noarg) {
try {
triton::uint32 vectorSize = ((PyBitvector_AsHigh(self) - PyBitvector_AsLow(self)) + 1);
return PyLong_FromUint32(vectorSize);
}
catch (const std::exception& e) {
return PyErr_Format(PyExc_TypeError, "%s", e.what());
}
}
static PyObject* Bitvector_getVectorSize(PyObject* self, PyObject* noarg) {
triton::uint32 vectorSize = ((PyBitvector_AsHigh(self) - PyBitvector_AsLow(self)) + 1);
return Py_BuildValue("k", vectorSize);
}
static PyObject* Bitvector_getHigh(PyObject* self, PyObject* noarg) {
return Py_BuildValue("k", PyBitvector_AsHigh(self));
}
static int Bitvector_print(PyObject* self) {
std::cout << "bv[" << std::dec << PyBitvector_AsHigh(self) << ".." << PyBitvector_AsLow(self) << "]";
return 0;
}
