Neal Gafter schrieb: > On 10/29/07, *hlovatt* <[EMAIL PROTECTED] > <mailto:[EMAIL PROTECTED]>> wrote: > > Tennent's book is quite old and talks about Pascal, I don't recall any > specific discussion of exceptions and exceptions were not part of > standard Pascal. So my guess is that any form of non-local jumps would > not be covered by Tennent directly. The princiople says that the > meaning of the code should not change if enclosed in a block, e.g. > while loop, but it means any type of block and therefore also a try > catch block. > > That is not Tennent's Correspondence Principle.
and without having the ability to read it... I guess I need to find a way :( > So my reading is that any form of non-block structured jump is > excluded by the principle, i.e. no return, break, continue, or throw > statements. All these have to be simulated with a status variable. > > Your reasoning isn't valid (that Tennent applied his principles to > analyze Pascal, and Pascal doesn't have multiple exit points, and > therefore Tenent's principles don't support multiple exit points). I did read his text as that Tennent was against using multiple exit points, not that Pascal has no exit points like return/break/continue. Pascal has no exceptions... well at last the versions of Pascal I worked with. bye blackdrag -- Jochen "blackdrag" Theodorou Groovy Tech Lead (http://groovy.codehaus.org) http://blackdragsview.blogspot.com/ http://www.g2one.com/ --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "JVM Languages" group. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/jvm-languages?hl=en -~----------~----~----~----~------~----~------~--~---
