def _get_location(self, state, hash_id):
        """
        Get previously saved location
        A location is composed of: address, pc, finding, at_init, condition
        """
        return state.context.setdefault('{:s}.locations'.format(self.name), {})[hash_id]
def _get_location(self, state, hash_id):
        """
        Get previously saved location
        A location is composed of: address, pc, finding, at_init, condition
        """
        return state.context.setdefault('{:s}.locations'.format(self.name), {})[hash_id]
def _get_location ( self , state , hash_id ) : return state . context . setdefault ( '{:s}.locations' . format ( self . name ) , { } ) [ hash_id ]
Get previously saved location
        A location is composed of: address, pc, finding, at_init, condition
Get previously saved location A location is composed of : address pc finding at_init condition