debug

Instructions

Eiffel has a remarkably small set of instructions. The basic computational instructions have been seen: creation, assignment, assignment attempt, procedure call, retry. They are complemented by control structures: conditional, multi-branch, loop, as well as debug and check.

Conditional

A conditional instruction has the form

            if ... then
                ... 
            elseif ... then 
                ... 
            else 
                ... 
            end

A debugger is a tool that allows you to run an application and view its state at any moment. This includes having information concerning the current call stack and the state of objects of the system, i.e. the values of their attributes. This kind of information can be used to spot objects that have invalid states, to see the consequences of the execution of a feature over an object state, and so on.