<div dir="ltr">Hi Frank,<div><br></div><div> I'd rather see</div><div><br></div><div><span class="Apple-style-span" style="border-collapse:collapse;font-family:arial,sans-serif;font-size:14px;color:rgb(0,0,0)">on: exception do: handlerAction<br> "Evaluate the receiver in the scope of an exception handler.<br> The following primitive is just a marker used to find the error handling context.<br> See MethodContext>>#isHandlerOrSignalingContext. "<br> <primitive: 199></span></div><div><span class="Apple-style-span" style="border-collapse:collapse;font-family:arial,sans-serif;font-size:14px;color:rgb(0,0,0)"> <handler><br> ^ self value!</span><br></div><div><span class="Apple-style-span" style="border-collapse:collapse;font-family:arial,sans-serif;font-size:14px;color:rgb(0,0,0)"><br></span></div><div><span class="Apple-style-span" style="border-collapse:collapse;font-family:arial,sans-serif;font-size:14px;color:rgb(0,0,0)">isHandlerContext<br> "is this context for #on:do:?"<br> ^self isHandlerOrSignalingContext and: [ (self method pragmaAt: #handler) notNil: ]<br></span></div><div><span class="Apple-style-span" style="border-collapse:collapse;font-family:arial,sans-serif;font-size:14px;color:rgb(0,0,0)"><br></span></div><div><span class="Apple-style-span" style="border-collapse:collapse;font-family:arial,sans-serif;font-size:14px;color:rgb(0,0,0)">etc, rather than testing the selector. I'd also like to see the code in MethodCOntext (e.g. where method can be directly accessed) than in ContextPart. Remember that some time soon we can collapse ContextPart and MethodContext onto Context as the Pharo folks have already done.</span></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Sep 12, 2014 at 1:40 PM, <span dir="ltr"><<a href="mailto:commits@source.squeak.org" target="_blank">commits@source.squeak.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Frank Shearar uploaded a new version of Kernel to project The Inbox:<br>
<a href="http://source.squeak.org/inbox/Kernel-fbs.870.mcz" target="_blank">http://source.squeak.org/inbox/Kernel-fbs.870.mcz</a><br>
<br>
==================== Summary ====================<br>
<br>
Name: Kernel-fbs.870<br>
Author: fbs<br>
Time: 12 September 2014, 9:40:45.406 pm<br>
UUID: 868e0d8a-5e9d-d34d-ba2d-688800331f5b<br>
Ancestors: Kernel-eem.869<br>
<br>
These are the changes Andres Valloud made to Cuis, to address a long-standing bug in Cuis, Squeak and Pharo, in ExceptionsTests >> #testHandlerFromAction.<br>
<br>
However, it causes a regression in #testHandlerReentrancy, so as it stands it is NOT READY FOR MERGING.<br>
<br>
Please take a look, and see if we can bend Andres' code slightly so that we get both the fix and don't break anything.<br>
<br>
=============== Diff against Kernel-eem.869 ===============<br>
<br>
Item was changed:<br>
----- Method: BlockClosure>>on:do: (in category 'exceptions') -----<br>
on: exception do: handlerAction<br>
+ "Evaluate the receiver in the scope of an exception handler.<br>
+ The following primitive is just a marker used to find the error handling context.<br>
+ See MethodContext>>#isHandlerOrSignalingContext. "<br>
+ <primitive: 199><br>
- "Evaluate the receiver in the scope of an exception handler."<br>
-<br>
- | handlerActive |<br>
- <primitive: 199> "just a marker, fail and execute the following"<br>
- handlerActive := true.<br>
^ self value!<br>
<br>
Item was changed:<br>
----- Method: BlockContext>>on:do: (in category 'exceptions') -----<br>
on: exception do: handlerAction<br>
+ "Evaluate the receiver in the scope of an exception handler.<br>
+ The following primitive is just a marker used to find the error handling context.<br>
+ See MethodContext>>#isHandlerOrSignalingContext. "<br>
+ <primitive: 199><br>
+ ^ self value!<br>
- "Evaluate the receiver in the scope of an exception handler."<br>
- | handlerActive |<br>
- <primitive: 199><br>
- handlerActive := true.<br>
- ^self value!<br>
<br>
Item was changed:<br>
----- Method: ContextPart>>canHandleSignal: (in category 'private-exceptions') -----<br>
canHandleSignal: exception<br>
"Sent to handler (on:do:) contexts only. If my exception class (first arg) handles exception then return true, otherwise forward this message to the next handler context. If none left, return false (see nil>>canHandleSignal:)"<br>
<br>
+ ^ (self exceptionClass handles: exception)<br>
+ or: [ self nextHandlerContext canHandleSignal: exception ].!<br>
- ^ (((self tempAt: 1) handles: exception) and: [self tempAt: 3])<br>
- or: [self nextHandlerContext canHandleSignal: exception].<br>
- !<br>
<br>
Item was added:<br>
+ ----- Method: ContextPart>>evaluateSignal: (in category 'private-exceptions') -----<br>
+ evaluateSignal: exception<br>
+ "The following primitive is just a marker used to find the evaluation context.<br>
+ See MethodContext>>#isHandlerOrSignalingContext. "<br>
+<br>
+ <primitive: 199><br>
+ | value |<br>
+ exception privHandlerContext: self contextTag.<br>
+ value := self exceptionHandlerBlock valueWithPossibleArgument: exception.<br>
+ "return from self if not otherwise directed in handle block"<br>
+ self return: value!<br>
<br>
Item was added:<br>
+ ----- Method: ContextPart>>exceptionClass (in category 'private-exceptions') -----<br>
+ exceptionClass<br>
+<br>
+ ^self tempAt: 1!<br>
<br>
Item was added:<br>
+ ----- Method: ContextPart>>exceptionHandlerBlock (in category 'private-exceptions') -----<br>
+ exceptionHandlerBlock<br>
+ "handler context only. access temporaries from BlockClosure>>#on:do:"<br>
+<br>
+ ^self tempAt: 2!<br>
<br>
Item was added:<br>
+ ----- Method: ContextPart>>findNextHandlerContext (in category 'private-exceptions') -----<br>
+ findNextHandlerContext<br>
+ "Return the next handler marked context, returning nil if there is none. Search starts with self and proceeds up to nil."<br>
+<br>
+ | context |<br>
+ context := self findNextHandlerOrSignalingContext.<br>
+ context isNil<br>
+ ifTrue: [ ^ nil ].<br>
+ context isHandlerContext<br>
+ ifTrue: [ ^ context ]. "If it isn't a handler context, it must be a signaling context.<br>
+ When we reach a signaling context we must skip over any handlers<br>
+ that might be on the stack between the signaling context and the handler<br>
+ context for that signal."<br>
+ ^ context exceptionClass privHandlerContext nextHandlerContext!<br>
<br>
Item was removed:<br>
- ----- Method: ContextPart>>findNextHandlerContextStarting (in category 'private-exceptions') -----<br>
- findNextHandlerContextStarting<br>
- "Return the next handler marked context, returning nil if there is none. Search starts with self and proceeds up to nil."<br>
-<br>
- | ctx |<br>
- <primitive: 197><br>
- ctx := self.<br>
- [ctx isHandlerContext ifTrue:[^ctx].<br>
- (ctx := ctx sender) == nil ] whileFalse.<br>
- ^nil!<br>
<br>
Item was added:<br>
+ ----- Method: ContextPart>>findNextHandlerOrSignalingContext (in category 'private-exceptions') -----<br>
+ findNextHandlerOrSignalingContext<br>
+ "Return the next handler/signaling marked context, answering nil if there is none.<br>
+ Search starts with self and proceeds up to nil."<br>
+<br>
+ <primitive: 197><br>
+ | context |<br>
+ context := self.<br>
+ [<br>
+ context isHandlerOrSignalingContext<br>
+ ifTrue: [ ^ context ].<br>
+ (context := context sender) == nil ] whileFalse.<br>
+ ^ nil!<br>
<br>
Item was changed:<br>
----- Method: ContextPart>>handleSignal: (in category 'private-exceptions') -----<br>
handleSignal: exception<br>
"Sent to handler (on:do:) contexts only. If my exception class (first arg) handles exception then execute my handle block (second arg), otherwise forward this message to the next handler context. If none left, execute exception's defaultAction (see nil>>handleSignal:)."<br>
<br>
+ (self exceptionClass handles: exception)<br>
+ ifFalse: [ ^ self nextHandlerContext handleSignal: exception ].<br>
+ self evaluateSignal: exception!<br>
- | val |<br>
- (((self tempAt: 1) handles: exception) and: [self tempAt: 3]) ifFalse: [<br>
- ^ self nextHandlerContext handleSignal: exception].<br>
-<br>
- exception privHandlerContext: self contextTag.<br>
- self tempAt: 3 put: false. "disable self while executing handle block"<br>
- val := [(self tempAt: 2) cull: exception ]<br>
- ensure: [self tempAt: 3 put: true].<br>
- self return: val. "return from self if not otherwise directed in handle block"<br>
- !<br>
<br>
Item was changed:<br>
----- Method: ContextPart>>isHandlerContext (in category 'private-exceptions') -----<br>
isHandlerContext<br>
+ "is this context for #on:do:?"<br>
+ ^self isHandlerOrSignalingContext and: [ self selector == #on:do: ]!<br>
- ^false!<br>
<br>
Item was added:<br>
+ ----- Method: ContextPart>>isHandlerOrSignalingContext (in category 'private-exceptions') -----<br>
+ isHandlerOrSignalingContext<br>
+ "Both BlockClosure>>on:do: (handler) and ContextPart>>evaluateSignal: (signaling)<br>
+ are marked with primitive 199."<br>
+<br>
+ ^false!<br>
<br>
Item was changed:<br>
----- Method: ContextPart>>nextHandlerContext (in category 'private-exceptions') -----<br>
nextHandlerContext<br>
<br>
+ ^ self sender findNextHandlerContext!<br>
- ^ self sender findNextHandlerContextStarting!<br>
<br>
Item was removed:<br>
- ----- Method: ContextPart>>rearmHandlerDuring: (in category 'private-exceptions') -----<br>
- rearmHandlerDuring: aBlock<br>
- "Sent to handler (on:do:) contexts only. Makes me re-entrant for the duration of aBlock. Only works in a closure-enabled image"<br>
-<br>
- ^ [self tempAt: 3 put: true. aBlock value]<br>
- ensure: [self tempAt: 3 put: false]!<br>
<br>
Item was added:<br>
+ ----- Method: Exception>>privHandlerContext (in category 'priv handling') -----<br>
+ privHandlerContext<br>
+<br>
+ ^handlerContext!<br>
<br>
Item was removed:<br>
- ----- Method: Exception>>rearmHandlerDuring: (in category 'handling') -----<br>
- rearmHandlerDuring: aBlock<br>
- "Make the current error handler re-entrant while it is running aBlock. Only works in a closure-enabled image"<br>
-<br>
- ^ handlerContext rearmHandlerDuring: aBlock!<br>
<br>
Item was removed:<br>
- ----- Method: MethodContext>>isHandlerContext (in category 'private-exceptions') -----<br>
- isHandlerContext<br>
- "is this context for method that is marked?"<br>
- ^method primitive = 199!<br>
<br>
Item was added:<br>
+ ----- Method: MethodContext>>isHandlerOrSignalingContext (in category 'private-exceptions') -----<br>
+ isHandlerOrSignalingContext<br>
+ "Both BlockClosure>>on:do: (handler) and ContextPart>>evaluateSignal: (signaling)<br>
+ are marked with primitive 199."<br>
+<br>
+ ^method primitive = 199!<br>
<br>
<br>
</blockquote></div><br><br clear="all"><div><br></div>-- <br>best,<div>Eliot</div>
</div>