(self, node_addr: int, state: ReachingDefinitionsState, op_type: int)
:param node_addr:   Address of the node.
        :param state:       The analysis state.
        :param op_type:     Type of the bbservation point. Must be one of the following: OP_BEFORE, OP_AFTER.
:param node_addr:   Address of the node.
        :param state:       The analysis state.
        :param op_type:     Type of the bbservation point. Must be one of the following: OP_BEFORE, OP_AFTER.
: param node_addr : Address of the node . : param state : The analysis state . : param op_type : Type of the bbservation point . Must be one of the following : OP_BEFORE OP_AFTER .
def node_observe(self, node_addr: int, state: ReachingDefinitionsState, op_type: int) -> None:
        """
        :param node_addr:   Address of the node.
        :param state:       The analysis state.
        :param op_type:     Type of the bbservation point. Must be one of the following: OP_BEFORE, OP_AFTER.
        """

        key = 'node', node_addr, op_type

        observe = False

        if self._observe_all:
            observe = True
        elif self._observation_points is not None and key in self._observation_points:
            observe = True
        elif self._observe_callback is not None:
            observe = self._observe_callback('node', addr=node_addr, state=state, op_type=op_type)

        if observe:
            self.observed_results[key] = state.live_definitions
def node_observe ( self , node_addr : int , state : ReachingDefinitionsState , op_type : int ) -> None : key = 'node' , node_addr , op_type observe = False if self . _observe_all : observe = True elif self . _observation_points is not None and key in self . _observation_points : observe = True elif self . _observe_callback is not None : observe = self . _observe_callback ( 'node' , addr = node_addr , state = state , op_type = op_type ) if observe : self . observed_results [ key ] = state . live_definitions