Source code for angr.knowledge_plugins.key_definitions.undefined
[docs]classUndefined:""" A TOP-like value indicating an unknown data source. Should live next to raw integers in DataSets. """def__add__(self,other):returnselfdef__radd__(self,other):returnselfdef__sub__(self,other):returnselfdef__rsub__(self,other):returnselfdef__lshift__(self,other):returnselfdef__rlshift__(self,other):returnselfdef__rshift__(self,other):returnselfdef__rrshift__(self,other):returnselfdef__and__(self,other):returnselfdef__rand__(self,other):returnselfdef__xor__(self,other):returnselfdef__rxor__(self,other):returnselfdef__or__(self,other):returnselfdef__ror__(self,other):returnselfdef__neg__(self):returnselfdef__eq__(self,other):returntype(other)isUndefineddef__ne__(self,other):returnnot(self==other)def__hash__(self):returnhash("undefined")def__str__(self):return"<Undefined>"def__repr__(self):return"<Undefined>"