I've tested the system by an example of exception handling in Eiffel
Why should the rescue clause be triggered? There is not contract violation in find. The precondition is an obligation to the caller, so the contract violation actually happens in the caller. Try adding a rescue clause to make.
"There is not contract violation in find"
Thanks you for your reply.
But, there is violation. When I input i the value 3. The precondition fails. But no retry is made
There is an other example that make me trouble.
Can you help me? I am just a beginner.
Contract violations aren't exceptions, they aren't supposed to be caught in a retry clause.
The require clause:
i <= 2
Doesn't mean an exception will be raised if i is greater than 2, it means you have a program bug that needs to be fixed because someone called find while i was bigger than 2.
Before you call `find' you should have a function that checks to make sure i <= 2 and take an appropriate measure if it is not.
A precondition violation DOES raise an exception (assuming that the OP has precondition monitoring turned on). The point is (as Bernd pointed out) that precondition violations are raised in the client, not the supplier.
When is an exception occured. that is when pre or postcondition is violated.
And how can we control the exception or violation. In java, we can do it by try and proper catch block, and then we can prcess it in our way with proper exception.
In eiffel, i don't know how can we do this?
Any more, i know when we use condition we often use this:
positive : account > 0
But the word positive use for what purpose ?
Try these functions for an example of the difference in exceptions:
-- Exception in `proc' require clause is raised in *calling* function, `one'
if not retried then
value := proc (3)
retried := True
-- Exception in `proc' ensure clause is raised in *called* function, `proc'
value := proc (2)
proc (i: INTEGER): INTEGER
i <= 2
if not retried then
Result := 2 * i
Result <= 3
retried := True
Result := 3
When an exception is in the `require' clause, the exception is raised in the *calling* function. When an exception is in the `ensure' clause, the exception is raised in the *called* function.
Phung Dinh Vu- Hut
Now I understand little. I'm coding for check.
Thank "Colin LeMahieu" very much.
ohm, Can I ask you a question ?
LeMahieu is likely a vietnames name.
Are you VietNames?
The "positive:" part is the assertion tag.
When you are monitoring assertions, if an aseertion fails, the tag will be printed as part of the error message. This helps you track down which assertion actually failed.
I have fixed your code like this:
When i run this class by press F5, the screen only view like this:
And in the feature, cussor stop at instruction :
When I debug each instruction by press F10. The screen is likely:
I meant when I debug the screen view like I hope it would be.
My question is: Why is there diffrent from two that way, when I use F5 to run, and when I use F10 to bug ?
Any more, I know that use F5 to run file, when the violation or exception is occured the programme will stop and not excute any more, but I don't hope such that.
How can I fix this? I mean in Java I can catch the exception and process it in proper way, and when I press F5 to run Java file, and when an exception occur and catch, the programme won't stop and continue excute. See this example:
And the out put screen is:
As you see "Exit construction method" is still viewed in the screen. In eiffel I don't see it.
How can you explain this?
Best wishes !
By default when debugging Eiffel Studio will stop when an exception happens.
You can change this by going to menu -> Execution -> Exception handling -> POSTCONDITION_VIOLATION (ensure) -> Disable / Catch / *Ignore*.
This is how to get it to do what you want.
I would recommend against using postcondition failures and precondition failures as normal exceptions because this isn't their intent. "Assertion Violation rule: A run-time assertion violation is the manifestation of a bug."
I've tried running your example, it run well. I also take some other tests based on your example. But there is still things I don't understand.
In the Exception Handling mode, the PRECONDITION and POSTCONDITION have there modes: disable, ignore, catch . Can you explain to me what is the difference between disable and catch?
I hope your reply based on contract view. Actually, I'd like to explore the semantics and philosophy in Eiffel.
I think you are very good at eiffel programing. Thanks you again!