Method and system for providing a visual debugger for an interpreted statistical language

0001The present disclosure relates to methods and systems for debugging code and, in particular, to methods and systems for debugging code written in an interpreted statistical language using a graphical user interface.

0002Debugging code is rarely an easy part of programming. Debugging programs ("debuggers") have been around a long time, especially as used with compiled languages. Older generation debuggers allowed a programmer to sometimes set breakpoints to stop execution, and examine values of one or more variables, or even perhaps the call stack of the program. One of the features of some modem debuggers is that they can point the programmer to a line in source code where execution ceased or was paused. That way, a programmer is able to at least narrow the focus of an error and attempt to find the problem. With visual debuggers, the corresponding position in the source code is sometimes highlighted or otherwise given emphasis, so that the programmer can have context while debugging. This feature is particularly apparent in Interactive Development Environments ("IDEs") such as Eclipse, where a graphical user interface (a "GUI") commands and integrates many programming tasks, from editing, to compiling, to testing code. Debuggers are typically able to lead a programmer to a corresponding location in source code when the parser of the language produces some form of data structure that is cross-referenced to the source code.

0003In compiled languages, many compilers support compile-time flags for generating symbolic information that can be used by a debugger invoked at some later time to process the code. For example, using compile-time flags, source code line numbers can be inserted into the produced code so that they become part of the available information of a parse tree and/or the produced object code or bytecode. That way, when a parse tree is constructed and then evaluated by a debugger, the debugger can "walk" down the parse tree and still be able to determine what source code language statement corresponds to the parse tree node where execution was stopped. Of course, nothing comes without a price. Here, execution speed is typically traded for inserting such symbolic information, and execution speed often suffers when compile-time debugging flags are used to produce executable code. Thus, the code used for debugging is rarely the same code as that released to production.

0004In contrast to compiled code, debugging code that is written in an interpreted language poses a challenge. Interpreted language environments are often used for fast prototyping and in situations where dynamic responses are at a premium. Execution speed is paramount in such uses - customers would be unhappy if an expression to be evaluated was sent to the language interpreter and it took minutes to respond. Some interpreters generate intermediate code and bytecode which are then evaluated by a bytecode virtual machine. However, often, interpreted code is directly parsed and evaluated immediately, with simply a result remaining. Thus, generating information that can be used by a debugger while evaluating an expression in an interpreted language is difficult, and primitive commands such as examination of the call stack are typically what are provided.

0005Currently for debugging the S-PLUS® language, command-line antiquated (non visual) debugging is performed through the use of specific commands. For example, programmers can insert "cat" or "print" statements at specific spots within their programs to generate output statements at crucial locations, such as to print a value of a variable or a return value of a function. Such statements require a lot of forethought, are cumbersome to create, and may lead to accidental debug code left in place. Other commands are available to trace the call stack and/or to examine values after an error has occurred. Thus, commands such as "trace()" and "try()" provide a kind of "post-mortem" debugger and not prospective or dynamic debugging that occurs while code is being executed. Limited capability is available through the inspect() command, which allows a programmer to step through execution of a function, expression by expression, permits limited breakpoint ("mark") support, but doesn't support placing arbitrary breakpoints in the code. Also, limited capability is available by inserting a browser() command in the source code directly, which causes execution to pause, but no further step debugging is supported - information regarding location is provided. <nplcit id="ncit0001" npl-type="s"><text>Antoy and Johnson, "Teabag: A Functional Logic Language Debugger", no. AIB-2004-05 1 June 2004 (2004-06-01), pages 4-18</text></nplcit>, describes a debugger for functional logic computations called TeaBag. TeaBag lets the programmer set a breakpoint on a function during runtime debugging. Whenever a rewrite rule defining that function is applied, the FLVM will be paused and a rule application will be displayed. TeaBag also lets any programmer attach a breakpoint to an individual term during run-time debugging. When that one term is replaced, the FLVM will be parsed and the step from which the replacement originates will be displayed. When available, the source code executed to perform a step is highlighted. Information about the source code is optionally added by the compiler to the generated byte code. Providing source code highlighting makes it easy for users to correlate the rewriting and narrowing steps with their code. <nplcit id="ncit0002" npl-type="s"><text>Ciabrini and Serrano: "Bugloo: A Source Level Debugger for Scheme Programs Complied into JVM Bytecode", Proceedings of the Third International Lisp Conference, 2003</text></nplcit>, discusses a source level debugger for Scheme programs. The system uses a compiled environment for debugging purposes. <nplcit id="ncit0003" npl-type="b"><text>Serrano M: "Bee: an integrated development environment for the Scheme programming language", Journal of Functional Programming, Cambridge University Press, Vol. 10, No, 4, 1 July 2000</text></nplcit>, discusses an integrated development environment for the Scheme programming language. <patcit id="pcit0001" dnum="US2006064677A"><text>US 2006/064677</text></patcit> discloses a debugger and a method for debugging computer programs across multiple programming languages, where the debugging is performed at a source level of a computer program written in any programming language supported by the .NET platform, while the program is executed over a Java runtime environment. <nplcit id="ncit0004" npl-type="s"><text>Pless and Luger: "GUI Environments for Functional Languages", No. TR-CS-2003-15 2003</text></nplcit>, describes an Integrated Development Environment (IDE) for purely functional programming languages. <patcit id="pcit0002" dnum="CA2307546"><text>CA 2 307 546</text></patcit> discloses a method and a computer program product for debugging a virtual machine, preferably a target Java virtual machine, without need for the virtual machine to comprise debug information required by a debugger. It is therefore the object of the present invention to provide a method in a computing system for an improved debugging of interpreted code in a visual debugger, as well as a corresponding computer-readable medium and computer system for debugging code programmed in an interpreted language defining a plurality of expressions. This object is solved by the subject matter of the independent claims. Preferred embodiments are defined by the dependent claims.

0006<figref idref="f0001">Figure 1</figref> is an example screen display of using printing statements to debug a function. In <figref idref="f0001">Figure 1</figref>, a function that computes the Fibonacci series of a given number has been defined in an S-PLUS® script 101. Two debug statements 103 and 104 have been added to the code to give information to the programmer. The result of executing the function defined in script 101 is shown in Console View 102. As can be seen by the output 105, debugging this way is cumbersome, can generate long output (especially if this was executed on a more complex statistical function) and can be difficult to work through.

0007Note that S-PLUS is a registered U.S. trademark of Insightful Corporation, whether or not expressed herein in conjunction with the "®" symbol.

BRIEF DESCRIPTION OF THE DRAWINGS

0008<ul id="ul0001" list-style="none" compact="compact"><li><figref idref="f0001">Figure 1</figref> is an example screen display of using printing statements to debug a function.</li><li><figref idref="f0002">Figure 2</figref> shows an overview of how a user transitions the Workbench into a "debug" mode, thereby presenting and interfacing through a Debug Perspective.</li><li><figref idref="f0003">Figure 3</figref> is an example screen display of debugging in action within the SPWD.</li><li><figref idref="f0004">Figure 4</figref> is an example screen display of a menu of the debugging functions available when a breakpoint is encountered.</li><li><figref idref="f0005">Figures 5</figref> and <figref idref="f0006">6</figref> are example screen displays that demonstrate capabilities of the Variables View of an SPWD.</li><li><figref idref="f0007">Figure 7</figref> is an example screen display of details of variables.</li><li><figref idref="f0008">Figure 8</figref> is an example screen display of the Expressions View of an SPWD.</li><li><figref idref="f0009">Figure 9</figref> is an example screen display of a menu used to show various aspects of breakpoints.</li><li><figref idref="f0010">Figure 10</figref> is an example screen display of a menu used to show organization of breakpoints.</li><li><figref idref="f0011">Figure 11</figref> is an example screen display of a portion of the profiling capabilities supported by the SPWD.</li><li><figref idref="f0012">Figure 12</figref> is an example block diagram of the various components of an S-PLUS Visual Debugging System.</li><li><figref idref="f0013">Figure 13</figref> is an example block diagram of a Debug State data structure for an S-PLUS Engine.</li><li><figref idref="f0014">Figure 14</figref> is an example block diagram of a function and its corresponding parse tree.</li><li><figref idref="f0015">Figure 15</figref> is an example block diagram showing how the secondary parser generates a logical address to describe an expression in the programmer's source code.</li><li><figref idref="f0016">Figure 16</figref> is an example block diagram of a breakpoint definition structure sent from the S-PLUS Debug Handler to the SPWD Debug Manager.</li><li><figref idref="f0017">Figure 17</figref> is an example block diagram of a general data structure used by the S-PLUS Engine to support evaluation.</li><li><figref idref="f0018">Figure 18</figref> is an example block diagram of a function breakpoint mapping structure as maintained by the S-PLUS Engine.</li><li><figref idref="f0019">Figure 19</figref> is an example flow diagram of a routine executed by the S-Engine side components create a breakpoint.</li><li><figref idref="f0020">Figure 20</figref> is an example flow diagram of a code executed as part of an evaluation of an expression.</li><li><figref idref="f0021">Figure 21</figref> is an example of pseudo-code for a modified version of the main evaluation code of the S-PLUS Engine.</li><li><figref idref="f0022">Figure 22</figref> is an example flow diagram of a routine that is hooked into the main evaluation code of the S-PLUS Engine to support debugging.</li><li><figref idref="f0023">Figure 23</figref> is an example of pseudo-code for a modified version of the memory allocation routines of the S-PLUS Engine.</li><li><figref idref="f0024 f0042">Figures 24A-S</figref> through an example use case provide a brief overview of the visual debugging and profiling capabilities of the S-PLUS Visual Debugging System</li></ul>

DETAILED DESCRIPTION

0009Embodiments described herein provide enhanced computer- and network-based methods and systems for visual debugging of an interpreted language in, for example, an IDE. In particular, these embodiments provide for debugging of a statistical interpreted language, whose execution speed needs are of paramount concern, since statistical functions and analytic tools often consume a great deal of processing (and even perhaps input/output) resources. Example embodiments provide an S-PLUS Visual Debugging System ("SPVDS"), which includes an S-PLUS Workbench Debugger ("SPWD") that provides "step-based" visual debugging, enabling programmers to step through execution of expressions (S-object evaluation) by setting and otherwise managing breakpoints, examining the call stack, values, types, etc. of variables and expressions, and controlling (stepping through) execution such as by step, step-in, step-out, step-over, continue, stop commands. All of these features are provided in the environs of an IDE that supports visual aids, such as highlighting corresponding source code statements, when such debugging takes place. In addition, the SPWD provides a profiler which tracks the number and duration of calls to functions and the amount of memory allocated to variables.

0010In one exemplary embodiment, the SPWD is provided as a plug-in to the Eclipse IDE for the S-PLUS language. The Eclipse IDE offers a visual debugging interface. However, the Eclipse debugging interface is targeted and has been used primarily to debug compiled languages - which more aptly fall into a write, compile, test cycle that is repeated when errors are encountered. Interpreted languages are far more difficult to support - and, typically, when expressions are evaluated, their values become part of the dynamic environment in which additional expressions are run and evaluated. Thus, debugging such languages in an IDE is a challenge.

0011The S-PLUS Eclipse IDE Debugger plug-in (the SPWD) provides many of the Eclipse GUI debugging functionality, all with minimal changes to the underlying S-PLUS Engine (the interpreter/evaluator) so as to maximize execution speed. Thus, the SPWD can invoke the same S-PLUS Engine interpreter and parser for debugging purposes as used for standard S-PLUS evaluation of expressions - no equivalent of special compile-time flags to generate symbolic information is necessary. For the purposes of this description, note that no distinction is made between an interpreter and an evaluator. The S-PLUS Engine refers to one or more code modules that are used to interpret expressions, by parsing them and then evaluating the parsed output. Although some interpreters produce bytecode or an intermediate object code, which is then executed by a corresponding virtual machine, the S-PLUS interpreter produces a parse tree which is evaluated by walking the nodes of the tree arranged according to the S-PLUS language grammar, producing result output on the way as specified by the actions of each node. As deployed in release S-PLUS 7, the S-PLUS parser is written in C and generates a lean parse tree that contains no information regarding corresponding source code or line numbers. This allows the S-PLUS interpreter to parse and evaluate expressions very quickly - an essential feature for a statistical language.

0012The SPWD accomplishes Eclipse GUI debugging capability by using a secondary parser, currently implemented in Java, to produce a parse tree for use in the IDE that includes corresponding references to source code. Standard debugging features such as breakpoints, and other debugging address locations are generated using the secondary parser. These debugging address locations are used in the SPWD (Eclipse side) to perform graphical debugging capabilities such as cross-referencing and highlighting source code in Outline View. When the SPWD communicates with the S-PLUS Engine (S-Engine side), these SPWD address locations (e.g., SPWD breakpoint definitions) are resolved (mapped) as needed into memory addresses of nodes in the parse trees produced by the S-PLUS Engine. Thus, the S-PLUS Engine can be used with a single hook in the eval( ) routine to check if debugging is turned on, and, if so, cause appropriate debugging behavior to be performed related to breakpoints that it understands in its own language - memory addresses. The S-PLUS Engine need not know about line numbers in source code. This is an important distinction from other parsers and evaluators used for visual debugging. The debugging functionality is then provided by separate routines that do not slow down execution of the S-PLUS Engine evaluation except when is debugging mode is turned on. In addition, the parse trees created by the S-PLUS Engine are not expanded with debugging information; thereby, keeping them lean and preserving evaluation efficiency. Moreover, the S-PLUS parser remains unchanged, which is a critical feature for stability purposes since the language is used extensively under production conditions.

0013<figref idref="f0024 f0042">Figures 24A-S</figref> through an example use case provide a brief overview of the visual debugging and profiling capabilities of the S-PLUS Visual Debugging System. In <figref idref="f0024 f0042">Figures 24A-S</figref>, the debugging of a Fibonacci function is walked through. One embodiment of the SPVDS provides a Debug Perspective as part of the S-PLUS Workbench, the S-PLUS plug-in for an Eclipse IDE, provided for release 8 of S-PLUS. The Debug Perspective provides a user interface for debugging expressions created using the S-PLUS language. The abstract notion of a Debug Perspective is a feature of Eclipse, however, it has been implemented and enhanced by the S-PLUS Debug plug-in. This description presumes that the reader is familiar with S-PLUS and with Eclipse. If not, there is a variety of documentation available in the public domain, which describes the S-PLUS language in detail, statistical programming, and use of an Eclipse environment.

0014<figref idref="f0002 f0003 f0004 f0005 f0006 f0007 f0008 f0009 f0010 f0011">Figures 2-11</figref> are example screen displays of various aspects of the S-PLUS Workbench Debugger capabilities as provided by the user interface. <figref idref="f0002">Figure 2</figref> shows an overview of how a user transitions the Workbench into a "debug" mode, thereby presenting and interfacing through a Debug Perspective. In <figref idref="f0002">Figure 2</figref>, the user presses the Debug button 205 to toggle the SPWD into debug mode. The tab 206 indicates that the user is viewing the system through the Debug Perspective. From this perspective, many standard "views" are still available, including the Navigator View 202, an Editor View 204, a Console View 203, and an Outline View 207. In addition, various debugging and profiling views are shown in the area 210.

0015<figref idref="f0003">Figure 3</figref> is an example screen display of debugging in action within the SPWD. The Debug Perspective 300 includes a Debug View 301 that shows a call trace of the function being debugged. The function source code is currently shown in the Editor View 304. Within this view, the programmer has set a breakpoint 312 on line 18 of the source code. A list of the current breakpoints is displayed in Breakpoint View 311.

0016Once a breakpoint is set, then when the S-PLUS expression that contains the breakpoint is evaluated, the S-PLUS engine pauses in its evaluation of the expression in accordance with the breakpoint. The communication between the Eclipse side and the S-Engine side is described further below. At that point, the programmer (or other user) can perform various debugging actions, including step-wise evaluation, stepping over expressions, resuming evaluation, terminating evaluation etc. <figref idref="f0004">Figure 4</figref> is an example screen display of a menu of the debugging functions available when a breakpoint is encountered. The menu 400 is one interface that a programmer can use to perform these functions.

0017<figref idref="f0005 f0006 f0007 f0008 f0009 f0010">Figures 5-10</figref> highlight some of the features available through the specific views supported by the SPWD. <figref idref="f0005">Figures 5</figref> and <figref idref="f0006">6</figref> are example screen displays that demonstrate capabilities of the Variables View of an SPWD. The Variables View (501 and 601) can display variable values as well as the type of variables. <figref idref="f0007">Figure 7</figref> is an example screen display of details of variables. In <figref idref="f0007">Figure 7</figref>, the Details Pane 702 shows the various sub-values (separately) of the variable displayed in Variable View 701. Note that in the Details Pane 702, depending upon the implementation, the variable values may or may not be able to be manipulated. <figref idref="f0008">Figure 8</figref> is an example screen display of the Expressions View of an SPWD. The Expressions View 801 shows the values of each expression, for example, as it is stepped through by the programmer. <figref idref="f0009">Figures 9</figref> and <figref idref="f0010">10</figref> illustrate how a programmer sets and controls various breakpoints in S-PLUS expressions. <figref idref="f0009">Figure 9</figref> is an example screen display of a menu used to show various aspects of breakpoints. Menu 902 is a context menu available in the Breakpoints View 901. By selecting the sub-menu 903, the programmer can display all of the currently set breakpoints. By grouping breakpoints, the programmer can disable or enable them as units, as shown further in <figref idref="f0010">Figure 10</figref>.

0018Note that the SPWD supports setting and manipulation of breakpoints outside of the file in which the programmer is working. For example, if a breakpoint is desired for a function defined outside of the file that defines the function currently being evaluated, for example, in <figref idref="f0009">Figure 9</figref>, then the SPWD associates a temporary file with the function and associates breakpoints relating to it with a resource known to the SPWD. Such breakpoints are persistent, and when the SPWD is invoked in a subsequent session, it queries the resource to reestablish such breakpoints. <figref idref="f0010">Figure 10</figref> is an example screen display of a menu used to show organization of breakpoints. The programmer can define groups of breakpoints and then manipulate them, for example, disable them through single command.

0019<figref idref="f0011">Figure 11</figref> is an example screen display of a portion of the profiling capabilities supported by the SPWD. In <figref idref="f0011">Figure 11</figref>, a Function Calls View 1101 is provided to display the number of times each function has been called, and its duration. An tree display mode 1102 is provided as well as a table display mode 1103. This profiling can be used to determine resource usage in the system as well as to detect looping problems. The Allocations View, not shown, displays the number of allocations per S-PLUS data type that have been performed. This data can help a programmer better plan memory usage, and, for example, determine whether engagement of alternative data structures may be appropriate.

0020Example embodiments described herein provide applications, tools, data structures and other support to implement a Visual Debugging System to be used for statistical languages, such as S-PLUS. Other embodiments of the methods and systems as described may be used for other purposes. Also, although certain terms are used primarily herein, one skilled in the art will recognize that other terms could be used interchangeably to yield equivalent embodiments and examples. In addition, terms may have alternate spellings which may or may not be explicitly mentioned, and one skilled in the art will recognize that all such variations of terms are intended to be included. In the following description, numerous specific details are set forth, such as data formats and code sequences, etc., in order to provide a thorough understanding of the described techniques. However, the present techniques also can be practiced without some of the specific details described herein, or with other specific details, such as changes with respect to the ordering of the code flow or different code flow or steps. Thus, the scope of the techniques and/or functions described are not limited by the particular order, selection, or decomposition of steps described with reference to any particular routine.

0021In one example embodiment, the S-PLUS Visual Debugging System comprises one or more functional components/modules that work together to provide an Eclipse-based visual debugging environment. For example, an S-PLUS Visual Debugging System ("SPVDS") may comprise the S-PLUS Workbench Debugger ("SPWD", the Eclipse debugger plug-in); a secondary parser; a debug handler; a profile handler; one or more other modules added to the S-Engine side to implement the breakpoint evaluation, partial execution control, termination, and profiling; and hooks into the eval and memory allocation routines to trigger breakpoint handling and profiling, respectively. As will be described further below, the Debug Handler is responsible for communicating from the S-Engine side with standard interfaces provided by the S-PLUS implementation of the Eclipse debugging interfaces (provided by the SPWD) on the Eclipse side. Similarly, the Profile Handler is responsible for communicating with the SPWD profiling specific views that implement profiling on the Eclipse side. There are corresponding classes (implementations thereof) on the Eclipse side, for example, the SplusDebugManager and an SplusProfileManager, to communicate with the Debug Handler and Profile Handler, respectively.

0022<figref idref="f0012">Figure 12</figref> is an example block diagram of the various components of an S-PLUS Visual Debugging System. In <figref idref="f0012">Figure 12</figref>, the modules and components (classes, interface, etc.) that execute as part of the S-PLUS Workbench as they relate to debugging are shown in Eclipse Workbench side 1201. The modules and components that execute as part of the S-PLUS Engine and associated code as they relate to debugging are shown in S-Engine side 1220. (There are other components of both the Eclipse Workbench side 1201 and the S-Engine side 1220, used for a variety of other purposes, which are not shown.) Many different system and process/task/thread configurations can be used to implement the Eclipse Workbench side 1201 and the S-Engine side 1220. For the purposes of ease of description, the components will be described as if the Eclipse Workbench side 1201 components execute in a single process and communicate with the S-Engine side 1220 components (in the same process) using synchronous calling mechanisms, which block as appropriate. However, it is understood that each side 1201 and 1220 could be implemented as separate processes (or as multiple threads) which communicate using standard or proprietary interprocess communication mechanisms, such as remote procedure calls or messaging.

0023As shown in <figref idref="f0012">Figure 12</figref>, the Eclipse Workbench side 1201 comprises the Eclipse Framework 1202, a Debug Perspective 1203, and an S-PLUS Debug Plug-in 1204. In one embodiment, the S-PLUS Debug Plug-in 1204 further comprises, for debugging, an SplusDebugManager 1205, which is responsible for communications with the S-Engine side 1220 for sending and receiving debugging related "messages;" an SplusDebugTarget class 1206; various Eclipse debug classes 1207; and other S-PLUS class implementations as needed 1208. For profiling, the S-PLUS Debug Plug-in 1204 comprises an SplusProfileManager 1211, and a FunctionCallView class 1209 and an AllocationView class 1210. These two view classes 1209 and 1210 are S-PLUS classes not defined by the Eclipse debugging model.

0024The S-Engine side 1220 comprises the S-PLUS Engine 1230 with its evaluator "eval.c" 1231, debug support functions 1232 and profiler support functions 1233; a Java-based debug handler 1222; a Java-based profile handler 1223; and Java support code 1224 for debugging and profiling and interfacing between the Java-based handlers 1222 and 1223 and the C-based support functions 1232 and 1233.

0025As mentioned, the S-PLUS Debug Handler 1222 (labeled "SplusDebugHandler") communicates with the SPWD Debug Manager 1205 (labeled "SplusDebugManager") to send and receive messages pertaining to debugging functionality. Note that the term "message" is used here in a generic sense - however the actual request or information is communicated between the components. In one embodiment, the SPWD Plug-in has one or more "listener" classes that register for certain types of events (messages) emanating from the Debug Handler 1222. When the Debug Handler 1222 wants to report debug information, it broadcasts the information to all registered listeners. On the other hand, when the SPWD Debug Manager 1205 sends messages and/or information to the Debug Handler 1222, in a current example implementation it calls functions defined by the Debug Handler 1222. Although in the current example embodiment, the S-Engine side is single threaded and the Debug Handler runs as an instance within the Eclipse process, it is contemplated to adapt the system to a multithreaded and/or multi-process implementation.

0026The SPWD Debug Manager 1205 sends various messages to the Debug Handler 1222 to implement its debugging interface. For example, the SPWD Debug Manager 1205 may send to the S-PLUS Debug Handler 1222 such messages as follows: <ul id="ul0002" list-style="bullet" compact="compact"><li>Set Breakpoint</li><li>Delete Breakpoint</li><li>Here are all the Breakpoints</li><li>Toggle Debug On</li><li>Toggle Break on Error</li><li>Toggle Break on Warning</li><li>and various Requests For Information (RFIs)</li></ul> Typically, once an expression is run and its evaluation is stopped (paused) at a breakpoint, then the SPWD Debug Manager 1205 may send various RFIs to the S-PLUS Debug Handler 1222 to obtain information that is used in the SPWD to provide the visual debugging interface. For example, RFIs may include such messages as: <ul id="ul0003" list-style="bullet" compact="compact"><li>do (eval paused) debug function <x> and return information (for example, do step into; do step out; do step over; do continue, etc.</li><li>a request for current call stack</li><li>a request for all variables in that call stack (execution frame) and what their values are</li><li>a request for a string containing an expression that the user has entered, etc.</li></ul> Other messages and inquiries can be supported.

0027The S-PLUS Debug Handler 1222 responds to these messages in a variety of ways. For example, in response to the toggle messages (Toggle Debug On, Toggle Break on Error, and Toggle Break on Warning), the Handler 1222 sets an appropriate flag in a data structure used to store the state of the S-Engine. These flags are checked as needed by the various evaluation modules (1231-1233) as needed. An example such Debug State data structure is described with reference to <figref idref="f0013">Figure 13</figref>.

0028In response to the various RFIs, the S-PLUS Debug Handler 1222 may need to determine from a variety of structures (some of which are shown in the Figures that follow) the various information. In some cases, for example the request to do a "step in," results in a debug function being called by the eval module 1231, which returns information via several other modules back to the S-PLUS Debug Handler 1222. An example flow that describes how such debug functions are processed is described with reference to <figref idref="f0022">Figure 22</figref>. In addition to the answers to various RFIs, the S-PLUS Debug Handler 1222 notifies the SPWD Debug Manager 1205 when the S-PLUS Engine has paused, for example it has finished stepping. In this case, the Handler 1222 reports the expression in which it stopped. (The S-PLUS Engine can do this by recreating a string from the expression that is represented by where the engine stopped while evaluating a branch of the parse tree, i.e., the evaluator knows what expression its at, it just doesn't have a way to link it back to the source code from the parse tree itself.) In addition, the S-PLUS Engine recreates the current logical address and sends that back to the SPWD GUI, so that the information returned to the SPWD can be properly linked up by the SPWD.

0029One of the advantages to the example architecture described is that breakpoints can be set, removed, and changed without access to symbolic information from the underlying interpreted language parser.

0030The S-PLUS Profile Handler 1223 (labeled "SplusProfileHandler")") communicates with the SPWD Profile Manager 1211 (labeled "SplusProfileManager") to send and receive messages pertaining to profiling. In an example implementation, these components communicate using polling techniques. That is, the SPWD Profile Manager 1211 polls the S-PLUS Profile Handler 1223 every "n" increments of time (e.g., seconds) for information. Currently the S-Engine side 1220 is responsible for collecting and returning information to requests regarding when a function starts and ends; the type and amount of memory allocated (e.g., for which data structures). The SPWD Profile Manager 1211 is responsible for accumulating the totals for the metrics collected regarding function calls and for the metrics collected regarding memory (data structure) allocations. This allows the S-PLUS Profile Handler 1223 and the related functions within the S-Engine to very efficiently report metrics without worrying about tracking them. Other organizations and implementations are of course possible and contemplated. Also, although profiling is described only with respect to the current GUI that is supported (function call metrics and allocation metrics), other profiling information could be similarly collected by the S-PLUS Engine 1230 and similarly reported through the S-PLUS Profile Handler 1223 to the SPWD Profile Manager 1211. Also, view classes other than 1209 and 1210 could be accordingly supported.

0031In the example embodiment shown in <figref idref="f0012">Figure 12</figref>, components of the S-Engine side 1220 and the Eclipse Workbench side 1201 can be implemented using standard programming techniques. A range of programming languages known in the art may be employed for implementing such example embodiments, including representative implementations of various programming language paradigms, including but not limited to, object-oriented (e.g., Java, C++, C#, Smalltalk), functional (e.g., ML, Lisp, Scheme, etc.), procedural (e.g., C, Pascal, Ada, Modula), scripting (e.g., Perl, Ruby, Python, etc.), etc. In addition, the various components of the illustrated embodiments may be implemented by way of a single monolithic executable running on a single CPU computer system, or alternately decomposed using a variety of structuring techniques known in the art, including but not limited to, multiprogramming, multithreading, client-server, or peer-to-peer, running on one or more computer systems each having one or more CPUs.

0032In addition, programming interfaces to the data stored as part of the illustrated embodiments can be made available by standard means such as through C, C++, C#, and Java APIs or libraries for accessing files, databases, or other data repositories, or through Web servers, FTP servers, or other types of servers providing access to stored data.

0033Also the example embodiment shown in <figref idref="f0012">Figure 12</figref> may be implemented in a distributed environment that is comprised of multiple, even heterogeneous, computer systems and networks. Different configurations and locations of code and data are also contemplated for use with techniques described herein. A variety of distributed computing techniques are appropriate for implementing the components of the illustrated embodiments in a distributed manner including but not limited to TCP/IP sockets, RPC, RMI, HTTP, Web Services (XML-RPC, JAX-RPC, SOAP, etc.). Other variations are possible.

0034As mentioned, the S-Engine described with reference to <figref idref="f0012">Figure 12</figref> has need to store various state information to efficiently track and respond to requests from the SPWD. <figref idref="f0013">Figure 13</figref> is an example block diagram of a Debug State data structure for an S-PLUS Engine (interpreter). As shown, the state data structure 1300 has a number of fields: <ul id="ul0004" list-style="bullet" compact="compact"><li>an Error Breakpoints Set flag 1301, indicating whether the special breakpoint to break on all errors is set;</li><li>a Warning Breakpoints Set flag 1302, indicating whether the special breakpoint to break on all warnings is set;</li><li>a Debug pause indicator 1303;</li><li>an indication 1304 of the last function stopped in;</li><li>an indication 1305 of the last eval stopped in (expression / S-object that was evaluated);</li><li>an indication 1306 of the previous debug command; and</li><li>an indication 1307 of the current (pending) debug command.</li></ul> Other fields storing other state information can be maintained as needed.

0035<figref idref="f0014 f0015 f0016">Figures 14-16</figref> illustrate how the SPWD determines a breakpoint address to associate with a cross-reference to the user's source code. The breakpoint address corresponds to a parse tree generated by the secondary (Java-based) parser on the Eclipse Workbench side. This address is translated (mapped, resolved) to a memory address that corresponds to a parse tree node of the primary (C-based) parser in the S-PLUS engine when needed by the S-PLUS evaluator. Note that in overview, breakpoint addresses are mapped with "lazy resolution" - that is, not until needed; however, other protocols such as mapping them immediately may be advantageous in differing scenarios.

0036<figref idref="f0014">Figure 14</figref> is an example block diagram of a function and its corresponding parse tree. Parse tree 1403 is a "logical" parse tree for function "foo" described by source code 1401 (function definition). Parse trees can be stored using any appropriate data structure. Note that the structure of the logical parse tree 1403 is the same whether or not it is generated via the primary parser in the S-Engine or the Java parser. As used in the embodiments described herein, the Java parser adds information, such as source code line and character numbers (not shown), that is useful for cross-referencing source code in the S-PLUS Workbench environment. This cross-referencing supports features such as "Outline View," which are independent of debugging needs.

0037<figref idref="f0015">Figure 15</figref> is an example block diagram showing how the secondary parser generates a logical address to describe an expression (S-object) in the programmer's source code. The logical address 1501 "foo[[4]][[1]][[2]]" is shown typed into the Console View in response to the command prompt. The system responds (e.g., using the primary parser) with the expression 1502 "return(z)" showing that the address 1501 corresponds to the expression 1502. The mapping of this logical address is seen in the logical parse tree 1503. The logical address 1501 can be understood in terms of its constituent parts as follows. The logical address "foo[[4]]" indicates the 4^th element (node) in the parse tree. Arrow 4 corresponds to this 4^th node, which is the beginning of the function definition for foo (see function definition 1401 in <figref idref="f0014">Figure 14</figref>). Similarly, the logical address "foo[[4]][[1]]" corresponds to the 1^st subchild node of the 4^th branch of the parse tree. Arrow 1 is shown pointing to this node. The logical address "foo[[4]][[1]][[2]]" corresponds to the 2^nd subchild node of the 1^st subchild node (subchild branch) of the 4^th branch of the parse tree. Thus, using a logical address, the particular node a breakpoint indicates can be determined.

0038Note that in the SPWD, a breakpoint corresponds to the nearest enclosing expression rather than a line number. In S-PLUS, functions are expressions (which are S-objects), thus functions are handled as expressions. Although the GUI only permits a programmer to indicate a single breakpoint on a line, this is a constraint imposed by the GUI, and, theoretically, any number of breakpoints can be set on a line of source code.

0039When breakpoints are generated by the programmer, such as by clicking in the left margin in an S-PLUS script editor, or through the menus described earlier, these breakpoints need to be communicated to the S-PLUS Engine. <figref idref="f0016">Figure 16</figref> is an example block diagram of a breakpoint definition structure sent from the S-PLUS Debug Handler (e.g., S-PLUS Debug Handler 1222) to the SPWD Debug Manager (e.g., SPWD Debug Manager 1205). A breakpoint 1600 comprises a function name 1601 and a logical address 1602.

0040<figref idref="f0017 f0018 f0019">Figures 17-19</figref> illustrate the corresponding logical storage structures and techniques used to create and store breakpoint definitions on the S-Engine side. In particular, <figref idref="f0017">Figures 17</figref> and <figref idref="f0018">18</figref> comprise data structures corresponding to information that the S-PLUS Engine needs to access in order to properly process breakpoints send by the SPWD. <figref idref="f0017">Figure 17</figref> is an example block diagram of a general data structure used by the S-PLUS Engine to support evaluation. As shown, data store 1700 comprises a copy of the call stack 1701 (the evaluation stack), and an indication of the address of the current S-object being evaluated 1702. The copy of the call stack 1701 is used by the debug code to determine where it is. In addition to other data, the data store 1700 includes a list of function breakpoint mapping structures 1703. Each entry on this list is a complete representation of all of the current breakpoints for each function that has breakpoints set. Note that they contain sufficient information to perform "lazy resolution" and thus they may be out of date. Function breakpoint mapping structures are described with reference to <figref idref="f0018">Figure 18</figref>.

0041<figref idref="f0018">Figure 18</figref> is an example block diagram of a function breakpoint mapping structure as maintained by the S-PLUS Engine. The function breakpoint mapping structure 1800 comprises a function name 1801, a reference to the parse tree corresponding to that function 1803, a list of breakpoint addresses 1804 that have been resolved to memory addresses of nodes within the primary parser's parse tree, a list of (Eclipse Workbench side) logical breakpoint addresses 1805 that have not yet been resolved to memory addresses, and a list of (Eclipse Workbench side) logical breakpoint addresses 1806 that have been resolved (in list 1804) - which functions similar to a reverse directory. The parse tree 1840 indicated by field 1803 is used by the debug functions to compare with the actual parse tree generated by the primary parser to quickly determine whether a function has been modified. (See step 2002 in <figref idref="f0020">Figure 20</figref> described below). The list of breakpoint addresses 1804 points to just that - a list of memory addresses 1830. The list of logical breakpoint addresses 1805 that have not yet been resolved points to list 1810. This list 1810 is traversed during an eval( ) of the function named by function name 1801 to update list 1830 (resolved breakpoints). The list 1820 in conjunction with the list 1810 are traversed during an eval() of the function named by function name 1801 when the function definition has changed. In that case, all of the breakpoints are re-mapped. <figref idref="f0020">Figure 20</figref> describes this process that occurs during evaluation.

0042<figref idref="f0019">Figure 19</figref> is an example flow diagram of a routine executed by the S-Engine side components create a breakpoint. For example, this routine may be executed sometime in response to receiving a message indicating one or more breakpoints have been received from the SPWD. As mentioned, the routine performs lazy resolution for efficiency reasons, although modifications could easily be made to resolve a received one or more breakpoints immediately. Specifically, in step 1901, the routine determines from a breakpoint definition data structure (see, for example, <figref idref="f0016">Figure 16</figref>) the function that corresponds to a designated breakpoint. In step 1902, the routine determines whether a function breakpoint mapping structure (such as structure 1800) exists for the corresponding function, and, if so, continues in step 1904 to determine the corresponding structure, else continues in step 1903 to create a new function breakpoint mapping structure. Once the appropriate structure is determined/created, then in step 1905, the routine adds the designated breakpoint (logical) address to the list of logical breakpoint addresses that have not yet been mapped (list 1810 pointed to by indicator 1805). The routine then returns. Note that this routine may process a plurality of breakpoint definitions in the same manner by just looping back to step 1901.

0043<figref idref="f0020">Figure 20</figref> is an example flow diagram of a code executed (at some point) as part of an evaluation of an expression. This code performs the lazy resolution referred to with reference to the prior figures. It is the workhorse for figuring out the how a logical breakpoint address as produced by the SPWD is translated to a corresponding address in the primary S-PLUS parse tree used by the S-PLUS Engine.

0044More specifically, in step 2001, the code determines whether a new function is being evaluated (whether this is the first time the code has seen this function). If that is the case, it means that the list of breakpoints yet to be resolved contains one or more entries. In the example embodiment, this test is performed by determining whether there is a parse tree pointed to by the function breakpoint mapping structure (see indicator 1803 in <figref idref="f0018">Figure 18</figref>). If so, the code continues in step 2004; otherwise, continues in step 2002. In step 2002, the code determines whether the function definition has changed. This test is performed by determining whether the parse tree pointed to by the function breakpoint mapping structure differs from the S-PLUS Engine's parse tree. If so, then the code continues in step 2003 to initialize the list of breakpoint definitions to be processed to indicate all of the breakpoint definitions set for that function - whether or not they have previously been resolved. If not, then the code continues in step 2004. In step 2004, arrived at as a result of processing a new function or a function whose definition has not changed, the code initializes a list of breakpoint definitions to be processed to indicate the breakpoint definitions that have not yet been resolved (see, for example, list 1810 in <figref idref="f0018">Figure 18</figref>).

0045Then, in steps 2005-2008, the code loops over the elements of the list resolving the logical breakpoint definitions to memory addresses of the primary parse tree. Specifically, in step 2005 the code retrieves the next logical breakpoint definition from the list initialized in step 2003 or 2004. In step 2006, if there are more definitions to process, the code continues in step 2007, otherwise returns. In step 2007, the code calls a routine or executes additional substeps to determine the memory address of the parse tree node that corresponds to the logical breakpoint definition. As mentioned the logical address indicates a particular node of the parse tree for the expression being evaluated. Since the parse tree generated by the secondary parser is the same structure as that generated by the primary parser of the S-PLUS engine, the routine can walk the parse tree being evaluated to determine for which node to retrieve an address. Once the memory address is retrieved, then in step 2008, the code creates a new mapping for the breakpoint (for example, in structure 1830), and continues to the beginning of the loop in step 2005.

0046<figref idref="f0021">Figure 21</figref> is an example of pseudo-code for a modified version of the main evaluation code of the S-PLUS Engine. As can be seen in pseudo-code 2100, a test 2101 and hook 2102 is placed in the main evaluation function "eval()" to allow a user to "hook in" a routine to debug upon receipt of a breakpoint. A simple test 2101 is provided so as not to adversely affect the efficiency of S-PLUS evaluation when debugging is not being performed. That way, the same eval code can be used whether or not debugging mode is on. When the test 2101 evaluates to true, then hook 2102 is invoked. A description of the routine (code) that implements hook 2102 is described with reference to <figref idref="f0022">Figure 22</figref>. Alternatively, if the test 2101 evaluates to false, then the hook 2102 is ignored. A test for function profiling is similarly incorporated, as can be observed from test 2103 and hook 2104.

0047<figref idref="f0022">Figure 22</figref> is an example flow diagram of a routine that is hooked into the main evaluation code of the S-PLUS Engine to support debugging. In summary, the routine first checks to see if the object being evaluated (e.g., an S-object) has a breakpoint set, and if so then processes debug events sent by the SPWD once a breakpoint is encountered (evaluation has been paused) and performs the appropriate processing. Debug events can include such commands as "step," "step_in," "step_out," "continue," "where," etc. In an example embodiment of the S-Engine components, invoked synchronously, a debug event queue is maintained on the S-Engine side to enable the S-PLUS Engine to continue processing. The events are accumulated on a queue which is processed by the routine of <figref idref="f0022">Figure 22</figref>.

0048More specifically, in step 2201, the routine calls the routine that updates the breakpoints, resolving logical addresses as needed. This routine was described with reference to <figref idref="f0020">Figure 20</figref>, and may be invoked as shown here, or elsewhere, or both. In step 2202, the function determines whether the expression currently being evaluated has a breakpoint set and, if not returns, otherwise continues in step 2203. In step 2203, the routine notes any needed expression location information to process the breakpoint and continues in step 2204. In step 2204, the routine cycles waiting for a next debug event on the queue to process, or notification that the queue processing should be done (for now). The evaluation of the current expression is "paused" until a debug command is processed. According to one embodiment, when one of the debugging functions determines that debugging under the current expression evaluation is or should be completed, then that function sets a flag accordingly (for example by setting a specific value in the current debug execution command field 1307 in the S-Engine Debug state structure). Then in step 2205, the routine checks if this flag is set, and, if so, returns which will complete the current invocation of the "eval( )" function, else, if not, continues in step 2206. In step 2206, the routine invokes the corresponding debug function, which performs whatever processing is indicated and generates results appropriately. As mentioned, one of the activities that may be performed is to indicate that processing in the current evaluation frame is completed. When the debug function processing is completed, the routine continues in step 2207. In step 2207, the routine sends an indication of the current expression being evaluated and any result returned from the debug function and forwards them in step 2208 to the S-PLUS Debug Handler. The routine then returns to wait for the next event in step 2204 (which terminates as indicated above).

0049<figref idref="f0023">Figure 23</figref> is an example of pseudo-code for a modified version of the memory allocation routines of the S-PLUS Engine. One will recall that in the example embodiment described, memory allocations to particular data structures are reported to the SPWD to be tracked and accumulated for presentation in the Allocations View. As can be seen in pseudo-code , there are two routines that allocate memory used for data structures, the alvec(...) routine 2301 and the S_ok_malloc(... ) routine 2302. Both routines include a test for profiling being turned on, followed by invocation of a hook, hooks 2303 and 2304, respectively.

0050Note that although example detail is provided for how debug events are handled and processed when evaluation is paused, the other debug messages, notifications, and requests for debug information are handled in an analogous manner by the components of the S-Engine side. Also, the profiling functions are handled in an analogous manner by the S-PLUS Profile Handler (e.g., S-PLUS Profile Handler 1223) in conjunction with the profiler functions in component 1233.

0051From the foregoing it will be appreciated that, although specific embodiments have been described herein for purposes of illustration, various modifications may be made without deviating from the invention as defined by the claims. For example, the methods and systems for performing visual debugging of an interpreted language discussed herein are applicable to other architectures other than a web-based architecture. Also, the methods and systems discussed herein are applicable to differing protocols, communication media (optical, wireless, cable, etc.) and devices (such as wireless handsets, electronic organizers, personal digital assistants, portable email machines, game machines, pagers, navigation devices such as GPS receivers, etc.).