For performance reason, the recording mechanism has a few parameters.For now there is no way to change them easily with the graphical debugger, however you can change those parameters by editing (and recompiling) {RT_DBG_EXECUTION_PARAMETERS}.make.
- integer parameter: {RT_DBG_EXECUTION_PARAMETERS}.maximum_record_count (default: 1_000_000):
the recording keeps only the last maximum_record_count object's records. - boolean parameter: {RT_DBG_EXECUTION_PARAMETERS}.flatten_when_closing (default: True):
when leaving a feature, the recorder can flatten the associated record. This will save memory space, and optimize underlying mechanism. By default it is enabled (and recommanded). - boolean parameter: {RT_DBG_EXECUTION_PARAMETERS}.keep_calls_records(default: True):
when flattening call records' values, keep the sub-call records (i.e: the execution calls history)? - boolean parameter: {RT_DBG_EXECUTION_PARAMETERS}.recording_values(default: True):
during execution, record attribute and locals assignment?(if you just want to review the calls history, you can discard value recording to speed up the recording.)
Since there is no way to restore local values when the execution left the related call stack frame, the recording discards the recorded local values.
The recording functionality is graphically available on the Call stack tool, or though the "Execution" menu (former "Debug" menu).
When you start debugging, at some point you decide to start recording, click on the "record" button:
If you want to record from the beginning, just enable the recording before starting the debug session (the recording button is a toggle button)
You can also use the "When hits.." actions of breakpoints to start and stop the execution recording. This can be useful to record only the part you are interested in.
The execution is now recorded, whenever the application is stopped, you can decide to replay the previously recorded execution. Read how to replay execution.
For now, EiffelStudio supports only "Replay back" and "Replay forth" (finner replay might be added for 6.2).
EiffelStudio 6.1 provides this feature only on classic system, this is not yet supported on dotnet (planned for 6.2).