| Online Eiffel Documentation

EiffelStudio

# Debugging limitations

General limitations:

- Watch expression: Creation expressions are not supported (for instance "create {MY_CLASS}.make" is not supported").
- Watch expression: Agent are not supported (for instance "agent my_function" is not supported".
- The debugger is not very helpful when the execution is stopped in an invariant.

Limitations or known bugs for the Classic debugger:

- Evaluate "Precusor" will result the current feature's result (not the precursor)
- If you use any of the previous non supported expression in a breakpoint condition, the condition will always return True, and the debugger will stop on such condition breakpoint

Limitations or known bugs for the .Net debugger:

- When stepping through disabled assertions or disabled debug clauses, the debugger may show incorrect current line.
- When stepping through an inspect code, the debugger may show incorrect current line (especially if the inspect is not ordered)
- Under dotnet v2.0 beta, the debugger may have difficulties to fetch the stack values, especially during first chance exception events

Various known bugs for classic system :

- Wrong assertion tag shown in debugger for precondition violation if violated during an exception rescue, indeed the tag remains the one from the exception
- "Disable Assertion Handling" may be cancel if used in an exception rescue context