static PyObject *SymbolicVariable_getComment(PyObject *self, PyObject *noarg) { SymbolicVariable *variable = PySymbolicVariable_AsSymbolicVariable(self); if (variable->getSymVarComment().empty() == false) return PyString_FromFormat("%s", variable->getSymVarComment().c_str()); Py_INCREF(Py_None); return Py_None; }
static PyObject *SymbolicVariable_hasConcreteValue(PyObject *self, PyObject *noarg) { SymbolicVariable *variable = PySymbolicVariable_AsSymbolicVariable(self); if (variable->hasConcreteValue() == true) Py_RETURN_TRUE; Py_RETURN_FALSE; }
static PyObject* SymbolicVariable_getName(PyObject* self, PyObject* noarg) { try { return Py_BuildValue("s", PySymbolicVariable_AsSymbolicVariable(self)->getName().c_str()); } catch (const std::exception& e) { return PyErr_Format(PyExc_TypeError, "%s", e.what()); } }
static PyObject* SymbolicVariable_getKind(PyObject* self, PyObject* noarg) { try { return PyLong_FromUint32(PySymbolicVariable_AsSymbolicVariable(self)->getKind()); } catch (const std::exception& e) { return PyErr_Format(PyExc_TypeError, "%s", e.what()); } }
static PyObject* SymbolicVariable_str(PyObject* self) { try { std::stringstream str; str << PySymbolicVariable_AsSymbolicVariable(self); return PyString_FromFormat("%s", str.str().c_str()); } catch (const std::exception& e) { return PyErr_Format(PyExc_TypeError, "%s", e.what()); } }
static PyObject* SymbolicVariable_setConcreteValue(PyObject* self, PyObject* value) { triton::engines::symbolic::SymbolicVariable *symVar; if (!PyLong_Check(value) && !PyInt_Check(value)) return PyErr_Format(PyExc_TypeError, "setConcretevalue(): expected an integer as argument"); symVar = PySymbolicVariable_AsSymbolicVariable(self); symVar->setSymVarConcreteValue(PyLong_AsUint128(value)); Py_INCREF(Py_None); return Py_None; }
static PyObject* SymbolicVariable_setConcreteValue(PyObject* self, PyObject* value) { try { if (!PyLong_Check(value) && !PyInt_Check(value)) return PyErr_Format(PyExc_TypeError, "SymbolicVariable::setConcretevalue(): Expected an integer as argument."); PySymbolicVariable_AsSymbolicVariable(self)->setConcreteValue(PyLong_AsUint512(value)); Py_INCREF(Py_None); return Py_None; } catch (const std::exception& e) { return PyErr_Format(PyExc_TypeError, "%s", e.what()); } }
static PyObject* SymbolicVariable_setComment(PyObject* self, PyObject* comment) { try { if (!PyString_Check(comment)) return PyErr_Format(PyExc_TypeError, "SymbolicVariable::setComment(): Expected a string as argument."); PySymbolicVariable_AsSymbolicVariable(self)->setComment(PyString_AsString(comment)); Py_INCREF(Py_None); return Py_None; } catch (const std::exception& e) { return PyErr_Format(PyExc_TypeError, "%s", e.what()); } }
static PyObject* SymbolicVariable_getKindValue(PyObject* self, PyObject* noarg) { return PyLong_FromUint(PySymbolicVariable_AsSymbolicVariable(self)->getSymVarKindValue()); }
static PyObject* SymbolicVariable_getId(PyObject* self, PyObject* noarg) { return Py_BuildValue("k", PySymbolicVariable_AsSymbolicVariable(self)->getSymVarId()); }
static PyObject* SymbolicVariable_getName(PyObject* self, PyObject* noarg) { return Py_BuildValue("s", PySymbolicVariable_AsSymbolicVariable(self)->getSymVarName().c_str()); }
static PyObject* SymbolicVariable_getConcreteValue(PyObject* self, PyObject* noarg) { return PyLong_FromUint128(PySymbolicVariable_AsSymbolicVariable(self)->getConcreteValue()); }
static PyObject *SymbolicVariable_getSize(PyObject *self, PyObject *noarg) { SymbolicVariable *variable = PySymbolicVariable_AsSymbolicVariable(self); return Py_BuildValue("k", variable->getSymVarSize()); }
static PyObject *SymbolicVariable_getName(PyObject *self, PyObject *noarg) { SymbolicVariable *variable = PySymbolicVariable_AsSymbolicVariable(self); return PyString_FromFormat("%s", variable->getSymVarName().c_str()); }
static PyObject *SymbolicVariable_getConcreteValue(PyObject *self, PyObject *noarg) { SymbolicVariable *symVar = PySymbolicVariable_AsSymbolicVariable(self); return uint128ToPyLongObject(symVar->getConcreteValue()); }
static int SymbolicVariable_print(PyObject* self) { std::cout << PySymbolicVariable_AsSymbolicVariable(self); return 0; }