Abstract: A recording mechanism is disclosed for automatically capturing high level events on user interface (UI) components of a set of software. In one implementation, the recording mechanism registers with a UI component to receive notification when an event occurs on the UI component. When an event does occur, the recording mechanism receives notification thereof from the UI component. In one implementation, the notification includes some high level event-specific information. After the notification is received, the recording mechanism creates and stores a record of the event, which includes at least a portion of the event-specific information, as well as information indicating the UI component as the target of the event. The record may further include information indicating a component hierarchy in which the UI component is contained. Overall, the record contains all of the information needed to reproduce the event on the UI component of the software at a later time.

Abstract: A system for performing dependent interval subtraction, wherein a first interval is subtracted from a third interval to produce a resulting interval, given knowledge that the third interval is the sum of the first interval and a second interval. If the left endpoint of the third interval is negative infinity, the left endpoint of the resulting interval becomes negative infinity. Otherwise, the left endpoint of the resulting interval is computed by subtracting a left endpoint of the first interval from a left endpoint of the third interval, rounded down to a nearest floating-point number. Similarly, if the right endpoint of the third interval is positive infinity, the right endpoint of the resulting interval becomes positive infinity. Otherwise, the right endpoint of the resulting interval is computed by subtracting a right endpoint of the first interval from a right endpoint of the third interval, rounded up to a nearest floating-point number.

Abstract: One embodiment of the present invention provides a system for compiling computer code to perform a subtraction operation between a first interval and a third interval to produce a resulting interval. The system operates by receiving source code within a compiler. The system next determines if a subtraction operation within the source code is a dependent subtraction operation, wherein the third interval is the sum of the first interval and a second interval. If so, the system produces executable code for the subtraction operation that computes a left endpoint for the resulting interval and a right endpoint for the resulting interval. If the left endpoint of the third interval is negative infinity, the left endpoint of the resulting interval is assigned to be negative infinity.

Abstract: One embodiment of the present invention provides a system for performing a division operation between arithmetic intervals within a computer system. The system operates by receiving interval operands, including a first interval and a second interval, wherein the first interval is to be divided by the second interval to produce a resulting interval. Next, the system uses the operand values to create a mask. The system uses this mask to perform a multi-way branch, so that an execution flow of a program performing the division operation is directed to code that is tailored to compute the resulting interval for specific relationships between the interval operands and zero. In one embodiment of the present invention, creating the mask additionally involves, determining whether the first and/or second intervals are empty, and modifying the mask so that the multi-way branch directs the execution flow of the program to the appropriate code for this case.

Abstract: One embodiment of the present invention provides a system that facilitates performing a mask-driven multiplication operation between arithmetic intervals within a computer system. The system first receives interval operands, including a first interval and a second interval, to be multiplied together to produce a resulting interval. Next, the system uses the operand values to create a mask. The system uses this mask to perform a multi-way branch to the code for the interval operands. In one embodiment of the present invention, creating the mask additionally involves: determining whether the first interval and/or second intervals are empty, and modifying the mask so the multi-way branch directs the execution flow of the program to appropriate code for this case. In one embodiment of the present invention, if the first interval is empty or if the second interval is empty, the multi-way branch directs the execution flow of the program to code that sets the resulting interval to be empty.