1. A method of procedure state reporting for use in a digital data processing system of the type including an input-output unit for entry of data and program instructions, an addressable memory for storage of data and program instructions, and a central processing unit for accessing program instructions and data from the addressable memory and for execution of program instructions, said digital data processing system being programmable for executing a set of program instructions that consists of procedures, each procedure being invoked by the central processing unit in response to one or more of the program instructions, each procedure having at least two potential invocation states and including a set of program instructions, said at least two invocation states being separately present after invocation of a procedure is initiated by the central processing unit with an invoked procedure being in a particular one of said at least two invocation states when a selected set of instructions is executed by the system, said method reporting the invocation state of a procedure invoked for execution by the digital data processing system, said method comprising (a) a procedure descriptor generator process for controlling the digital data processing system, said procedure descriptor generator process for generating a procedure descriptor for each procedure that is to be invoked for execution by the digital data processing system, said procedure descriptor including at least one procedure descriptor offset value representative of a point of execution of the procedure, each said point of execution representing a boundary between two invocation states of the procedure; and (b) a procedure state analyzation process implementable by the digital data processing system, said procedure state analyzation process including the steps of determining the portion of the invoked procedure that has been executed by the digital data processing system, comparing the portion of the invoked procedure that has been executed by the digital data processing system to one of said procedure descriptor offset values, accessing the next program instruction to be executed in said invoked procedure, reviewing said next program instruction to determine if said next program instructions is from said selected set of instructions, reporting the invocation state of the invoked procedure as a first one of said at least two invocation states if said next program instruction is not from said selected set of instructions, and reporting the invocation state of the invoked procedure as a second one of said at least two invocation states if said next program instruction is from said selected set of instructions.