Compiler for a declarative event-driven programming model
First Claim
Patent Images
1. A method of compiling a declarative event-driven model specification, comprising:
- providing a declarative event-driven model specification to a compiler, the event-driven model specification comprising a declarative description of operation of an event-driven system; and
generating, by the compiler from the description in the provided declarative event-driven model specification, an executable file comprising a sequence of execution steps for execution on a computer to carry out run-time processing of events in the event-driven system according to the description in the event-driven model specification while also generating, for each of a plurality of elements in the description in the provided declarative event-driven model specification, a cross-reference that relates the element to each of at least one of the execution steps generated therefrom by the compiler, wherein the generated cross-references are usable, in combination with the declarative event-driven model specification and the generated executable file, by a debugger, during debugging of execution of the declarative event-driven model specification, for visibly linking any selected one of the execution steps to the element from which it was generated.
1 Assignment
0 Petitions
Accused Products
Abstract
A compiler generates code providing an execution sequence, from a declarative event-driven model, for execution by a computer. To assist in debugging the declarative event-driven model, the compiler also generates cross-references that relate steps in the generated code to elements of the declarative source code. The cross-references may be used as input to a debugger, along with the declarative source and the generated code, to assist a user who is stepping through the generated code (for example) in understanding which portion of the declarative source gave rise to the current step in the generated execution sequence.
-
Citations
25 Claims
-
1. A method of compiling a declarative event-driven model specification, comprising:
-
providing a declarative event-driven model specification to a compiler, the event-driven model specification comprising a declarative description of operation of an event-driven system; and generating, by the compiler from the description in the provided declarative event-driven model specification, an executable file comprising a sequence of execution steps for execution on a computer to carry out run-time processing of events in the event-driven system according to the description in the event-driven model specification while also generating, for each of a plurality of elements in the description in the provided declarative event-driven model specification, a cross-reference that relates the element to each of at least one of the execution steps generated therefrom by the compiler, wherein the generated cross-references are usable, in combination with the declarative event-driven model specification and the generated executable file, by a debugger, during debugging of execution of the declarative event-driven model specification, for visibly linking any selected one of the execution steps to the element from which it was generated. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12)
-
-
13. A system for compiling a declarative event-driven model specification, comprising:
-
a computer comprising a processor; and instructions executable using the processor to perform functions of; providing a declarative event-driven model specification to a compiler, the event-driven model specification comprising a declarative description of operation of an event-driven system; and generating, by the compiler from the description in the provided declarative event-driven model specification, an executable file comprising a sequence of execution steps for execution on a computer to carry out run-time processing of events in the event-driven system according to the description in the event-driven model specification while also generating, for each of a plurality of elements in the description in the provided declarative event-driven model specification, a cross-reference that relates the element to each of at least one of the execution steps generated therefrom by the compiler, wherein the generated cross-references are usable, in combination with the declarative event-driven model specification and the generated executable file, by a debugger, during debugging of execution of the declarative event-driven model specification, for visibly linking any selected one of the execution steps to the element from which it was generated. - View Dependent Claims (14, 15, 16, 17, 18, 19)
-
-
20. A computer program product for compiling a declarative event-driven model specification, the computer program product embodied on at least one non-transitory computer-usable storage media and comprising computer-usable program code for:
-
providing a declarative event-driven model specification to a compiler, the event-driven model specification comprising a declarative description of operation of an event-driven system; and generating, by the compiler from the description in the provided declarative event-driven model specification, an executable file comprising a sequence of linear execution steps for execution on a computer to carry out run-time processing of events in the event-driven system according to the description in the event-driven model specification while also generating, for each of a plurality of elements in the description in the provided declarative event-driven model specification, a cross-reference that relates the element to each of at least one of the execution steps generated therefrom by the compiler, wherein the generated cross-references are usable, in combination with the declarative event-driven model specification and the generated executable file, by a debugger, during debugging of execution of the declarative event-driven model specification, for visibly linking any selected one of the execution steps to the element from which it was generated. - View Dependent Claims (21, 22, 23, 24, 25)
-
Specification