Constructing event sequences in event-driven programs

摘要

A method of constructing a target event handler sequence from an end target in an event-driven program may include determining a variable to be read in a first event handler of multiple event handlers in the event-driven program. Each of the event handlers may include portions of code within the event-driven program. The method may also include determining a condition in the first event handler that is associated with the variable and determining multiple second event handlers of the event handlers that are configured to write to the variable. The method may also include pruning the second event handlers based on which of the second event handlers are configured to write a value to the variable that satisfies the condition.