Squeak-dev May 2022

squeak-dev@lists.squeakfoundation.org

37 participants
316 discussions

Improving WeakKeyDictionary comment
by Jakob Reschke 16 Jun '22

16 Jun '22

Dear Squeakers, Whenever I read the class comment of WeakKeyDictionary, I know that I have to take care of something, but I do not know what. Can we improve the comment please to tell the readers more directly what is expected of them? - Must one ensure that #finalizeValues is sent to one's WeakKeyDictionary instance regularly? - Should one register the dictionary instance via WeakArray addWeakDependent:? - Which VM feature is the WeakRegistry class comment referring to; is it the semaphore used on the class side of WeakArray; and is it relevant to the use of WeakKeyDictionary? - If the answers to the questions above do not give it away, what must one do to use a WeakKeyDictionary safely? I volunteer to submit the results as comments in WeakKeyDictionary, WeakArray, and WeakRegistry to the Inbox. The following is just a transcript of the cynical voice in my head while trying to find some answers today. You do not need to read it. If you can answer the questions above, I would be more than happy. ;-) --- WeakKeyDictionary class comment: "I am a dictionary holding only weakly on my keys. This is a bit dangerous since at any time my keys can go away. Clients are responsible to register my instances by WeakArray such that the appropriate actions can be taken upon loss of any keys. See WeakRegistry for an example of use." So I look at WeakArray and WeakRegistry. WeakArray has only three methods, none of which seem to deal with garbage collection, finalization, or elements vanishing. On the class side there is #addWeakDependent:, which deals with class variables that have Finalization in their name. Is this what is meant by "register my instances by WeakArray"...? There is no method comment, so I do not know whether I should call that with my new WeakKeyDictionary or not, or what the effect would be. The class comment of WeakArray also does not tell me anything about finalization or registration. Looking at WeakRegistry, it associates the registered objects with an executor, and "When the object is garbage collected, the executor can take the appropriate action for any resources associated with the object." Not sure whether I need anything like this for my WeakKeyDictionary instance... It also says that it uses a "new VM feature" (the comment is from 2010), but does not say which one or how it works. In WeakRegistry, the 'valueDictionary' is a Weak(Identity)KeyDictionary. It is used in 10 methods, which takes some time to read. I can see that the dictionary stores WeakFinalizerItems, which holds the executors for an object. In #finalizeValues, the same is sent to the dictionary and to all objects in the 'executors' inst var, which is then set to nil. In the WeakKeyDictionary, #finalizeValues drops elements whose keys have become nil. Ah ha, so do I need to take care of sending #finalizeValues to my WeakKeyDictionary regularly...? In #installFinalizer a finalizer block is attached to the dictionary. This finalizer block adds its argument to the 'executors'. Taking a detour back to WeakKeyDictionary to find out when that block is evaluated... So when the dictionary receives #finalizeValues, fixes hash collisions, or grows, and notices keys that are gone, the values (WeakFinalizerItems) will be added to the 'executors', so that back in #finalizeValues of WeakRegistry, #finalizeValues will eventually be sent to all WeakFinalizerItems of garbage collected elements. But I still do not know what sends #finalizeValues to the WeakRegistry in the first place. The rest of the WeakRegistry methods do not seem to do anything fancy with the dictionary. Collision fixing or growing is unlikely to happen to the WeakKeyDictionary if it is not modified for a while, all the same while the keys may be garbage collected. For another chance, I read the class side methods of WeakRegistry. The #new constructor of WeakRegistry uses the previously discovered #addWeakDependent: method of WeakArray, hear hear. Reading further about the finalizationProcess in WeakArray, a FinalizationSemaphore is kept in the SpecialObjectsArray, which means that the VM is supposed to use this semaphore. The finalizationProcess sends #finalizeValues---bingo---to the dependents when the semaphore is signalled. Combining the clues I guess that this semaphore is singalled after the garbage collection has run. Is that the mysterious "new VM feature" to which the comment of WeakRegistry---at which I am not looking right now---was referring...? Since it is not spelled out in a comment, and since I am not willing to look at the VM sources now, my guess remains an assumption. Under this assumption, I could register my WeakKeyDictionary as a weak dependent in WeakArray class, so that after each GC #finalizeValues would be sent to my dictionary, which would clean up stale entries, which is likely the thing I was expected to care about. But maybe I missed another piece of the puzzle. Frankly, I do not wish to reverse engineer how the WeakRegistry works before I can use a WeakKeyDictionary. For that, the workings of WeakRegistry are not simple or well-described enough and it apparently needs some VM knowledge. Kind regards, Jakob

7 14

Unicode
by Thiede, Christoph 15 Jun '22

15 Jun '22

Hi all! :-) After some recent fun with the Unicode class, I found out that its data is quite out of date (for example, the comments do not even "know" that code points can be longer than 4 bytes. Younger characters such as 😺❤🤓 are not categorized correctly, etc. ...). Luckily, there is already some logic to fetch the latest data from www.unicode.org<http://www.unicode.org>. I'm currently reworking this logic because it's not completely automated yet and has some slips, but so long, I have one general question for you: At the moment, we have 30 class variables each for one Unicode category number. These class vars map in alphabetical order to the integers from 0 to: 29. Is this tedious structure really necessary? For different purposes, I would like to get the category name of a specific code point from a client. The current design makes this impossible without writing additional mappings. Tl;dr: I would like to propose to drop these class variables and use Symbols instead. They are comparable like integers, and as they are flyweights, this should not be a performance issue either. Of course, #generalCategoryOf: will have to keep returning numbers, but we could deprecate it and use a new #generalTagOf: in the future. Furthermore, this would also allow us to deal with later added category names (though I don't know whether this will ever happen). Examples: Unicode generalTagOf: $a asUnicode. "#Ll" Unicode class >> isLetterCode: charCode ^ (self generalTagOf: charCode) first = $L Unicode class >> isAlphaNumericCode: charCode | tag| ^ (tag := self generalCategoryOf: charCode) first = $L or: [tag = #Nd] How do you think about this proposal? Please let me know and I will go ahead! :D Best, Christoph

9 26

The Trunk: GraphicsTests-EG.58.mcz
by commits＠source.squeak.org 13 Jun '22

13 Jun '22

Marcel Taeumel uploaded a new version of GraphicsTests to project The Trunk: http://source.squeak.org/trunk/GraphicsTests-EG.58.mcz ==================== Summary ==================== Name: GraphicsTests-EG.58 Author: EG Time: 21 December 2021, 7:06:22.53722 pm UUID: 32f0cb4a-a10f-4263-85da-6d934e567b0d Ancestors: GraphicsTests-mt.57 Adding actual tests for GIF reading and writing (and reading back in). Note that in this version, the tests are currently failing because -- apparently -- drawing Color black to a FormCanvas actually results in a slightly different color being put at the corresponding pixels of the Form. Therefore the expected values (Color black) are something else. I suspect this is an issue with Form/FormCanvas? =============== Diff against GraphicsTests-mt.57 =============== Item was added: + TestCase subclass: #GIFReadWriterTest + instanceVariableNames: '' + classVariableNames: '' + poolDictionaries: '' + category: 'GraphicsTests-Files'! Item was added: + ----- Method: GIFReadWriterTest>>animatedColorFrames (in category 'tests') ----- + animatedColorFrames + "Responds with a collection of AnimatedImageFrames + each containing equal-sized rectangles of green, red, + yellow. and black. When animated, these rectangles move + into each other's positions, then back" + | frames topLeft topRight bottomLeft bottomRight revFrames | + frames := OrderedCollection new. + topLeft := (0@0 extent: 200@200). + topRight := (200@0 extent: 400@200). + bottomLeft := (0@200 extent: 200@400). + bottomRight := (200@200 extent: 400@400). + + 0 to: 200 by: 20 do: [ :num | + | newTopLeft newTopRight newBottomLeft newBottomRight canvas | + newTopLeft := topLeft translateBy: (num@0). + newTopRight := topRight translateBy: (0@num). + newBottomLeft := (bottomLeft origin - (0@num)) corner: (bottomLeft extent - (0@num)). + newBottomRight := (bottomRight origin - (num@0)) extent: (bottomLeft extent - (0@0)). + canvas := FormCanvas extent: 400@400 depth: 32. + canvas + fillRectangle: newTopLeft color: Color green; + fillRectangle: newTopRight color: Color red; + fillRectangle: newBottomLeft color: Color yellow; + fillRectangle: newBottomRight color: Color black. + frames add: (AnimatedImageFrame new + form: canvas form; + disposal: #restoreBackground; + delay: 60) ]. + + revFrames := frames reversed. + revFrames do: [ :f | frames add: f ]. + ^ frames! Item was added: + ----- Method: GIFReadWriterTest>>testAnimatedColorsOutIn (in category 'tests') ----- + testAnimatedColorsOutIn + "Ensure that the colored rectangles in the created + animated gif are correct at different frames" + | frames outBytes writer reader inBytes activeFrame | + frames := self animatedColorFrames. + + "Write out the GIF bytes to the byte stream" + outBytes := WriteStream on: (ByteArray new). + writer := GIFReadWriter on: outBytes. + frames do: [ :f | writer nextPutFrame: f ]. + writer close. + + "Read the GIF byte stream back into a GIF" + inBytes := ReadStream on: (outBytes contents). + reader := GIFReadWriter on: inBytes. + reader + readHeader; + readBody. + + self assert: reader isAnimated equals: true. + activeFrame := reader frames at: 1. + self assert: (activeFrame form colorAt: 100@100) equals: Color green. + self assert: (activeFrame form colorAt: 300@100) equals: Color red. + self assert: (activeFrame form colorAt: 100@300) equals: Color yellow. + self assert: (activeFrame form colorAt: 300@300) equals: Color black. + activeFrame := reader frames at: 11. + self assert: (activeFrame form colorAt: 100@100) equals: Color yellow. + self assert: (activeFrame form colorAt: 300@100) equals: Color green. + self assert: (activeFrame form colorAt: 100@300) equals: Color black. + self assert: (activeFrame form colorAt: 300@300) equals: Color red. + ! Item was added: + ----- Method: GIFReadWriterTest>>testColorsFileOutIn (in category 'tests') ----- + testColorsFileOutIn + "Ensure that the colors that are written match up + to the colors that are read in again" + | canvas form outBytes inBytes writer reader | + canvas := FormCanvas extent: 400@400. + canvas + fillRectangle: (0@0 extent: 200@200) color: Color green; + fillRectangle: (200@0 extent: 400@200) color: Color red; + fillRectangle: (0@200 extent: 200@400) color: Color yellow; + fillRectangle: (200@200 extent: 400@400) color: Color black. + form := canvas form. + outBytes := FileStream fileNamed: 'testColorsFileOutIn.gif'. + writer := GIFReadWriter on: outBytes. + writer + nextPutImage: form; + close. + inBytes := 'testColorsFileOutIn.gif' asDirectoryEntry readStream binary. + reader := GIFReadWriter on: inBytes. + reader + readHeader; + readBody. + inBytes close. + 'testColorsFileOutIn.gif' asDirectoryEntry delete. + self assert: reader isAnimated equals: false. + self assert: (reader form colorAt: 50@50) equals: Color green. + self assert: (reader form colorAt: 250@50) equals: Color red. + self assert: (reader form colorAt: 50@250) equals: Color yellow. + self assert: (reader form colorAt: 250@250) equals: Color black.! Item was added: + ----- Method: GIFReadWriterTest>>testColorsOutIn (in category 'tests') ----- + testColorsOutIn + "Ensure that the colors that are written match up + to the colors that are read in again" + | canvas form outBytes inBytes writer reader | + canvas := FormCanvas extent: 400@400. + canvas + fillRectangle: (0@0 extent: 200@200) color: Color green; + fillRectangle: (200@0 extent: 400@200) color: Color red; + fillRectangle: (0@200 extent: 200@400) color: Color yellow; + fillRectangle: (200@200 extent: 400@400) color: Color black. + form := canvas form. + outBytes := WriteStream on: (ByteArray new). + writer := GIFReadWriter on: outBytes. + writer + nextPutImage: form; + close. + outBytes := outBytes contents. + inBytes := ReadStream on: outBytes. + reader := GIFReadWriter on: inBytes. + reader + readHeader; + readBody. + self assert: reader isAnimated equals: false. + self assert: (reader form colorAt: 50@50) equals: Color green. + self assert: (reader form colorAt: 250@50) equals: Color red. + self assert: (reader form colorAt: 50@250) equals: Color yellow. + self assert: (reader form colorAt: 250@250) equals: Color black.!

5 4

The Trunk: KernelTests-mt.424.mcz
by commits＠source.squeak.org 12 Jun '22

12 Jun '22

Marcel Taeumel uploaded a new version of KernelTests to project The Trunk: http://source.squeak.org/trunk/KernelTests-mt.424.mcz ==================== Summary ==================== Name: KernelTests-mt.424 Author: mt Time: 31 May 2022, 3:24:36.006029 pm UUID: 54f976c3-1296-964f-9a2a-1890202ae545 Ancestors: KernelTests-jar.423 Moves ProcessTerminateBug from Tests to KernelTests package. Makes re-used semaphore in (Process)UnwindTest more explicit by having an AbstractProcessTest. Downside is that those 5 ClassTestCase tests will be executed too often. Thanks to Jaromir (jar) for the pointer! =============== Diff against KernelTests-jar.423 =============== Item was added: + ClassTestCase subclass: #AbstractProcessTest + instanceVariableNames: 'semaphore' + classVariableNames: '' + poolDictionaries: '' + category: 'KernelTests-Processes'! Item was added: + ----- Method: AbstractProcessTest class>>isAbstract (in category 'testing') ----- + isAbstract + + ^ self name = #AbstractProcessTest! Item was added: + ----- Method: AbstractProcessTest>>genuineProcess (in category 'support') ----- + genuineProcess + "Usually, we don't want to expose this from the class under test but we need it in the test context." + + ^ Processor instVarNamed: 'genuineProcess'! Item was added: + ----- Method: AbstractProcessTest>>setUp (in category 'running') ----- + setUp + + super setUp. + semaphore := Semaphore new.! Item was added: + ----- Method: AbstractProcessTest>>targetClass (in category 'support') ----- + targetClass + + ^ self environment classNamed: #Process! Item was added: + ----- Method: AbstractProcessTest>>tearDown (in category 'running') ----- + tearDown + "Release all processes still waiting at the semaphore or in the active priority queue." + + Processor yield. + [semaphore isEmpty] whileFalse: [semaphore signal]. + + super tearDown.! Item was added: + AbstractProcessTest subclass: #ProcessTerminateBug + instanceVariableNames: '' + classVariableNames: '' + poolDictionaries: '' + category: 'KernelTests-Processes'! Item was added: + ----- Method: ProcessTerminateBug>>testSchedulerTermination (in category 'tests') ----- + testSchedulerTermination + | process sema gotHere sema2 | + gotHere := false. + sema := Semaphore new. + sema2 := Semaphore new. + process := [ + sema signal. + sema2 wait. + "will be suspended here" + gotHere := true. "e.g., we must *never* get here" + ] forkAt: Processor activeProcess priority. + sema wait. "until process gets scheduled" + process terminate. + sema2 signal. + Processor yield. "will give process a chance to continue and + horribly screw up" + self assert: gotHere not. + ! Item was added: + ----- Method: ProcessTerminateBug>>testTerminationDuringUnwind (in category 'tests') ----- + testTerminationDuringUnwind + "An illustration of the issue of process termination during unwind. + This uses a well-behaved unwind block that we should allow to complete + if at all possible." + | unwindStarted unwindFinished p | + unwindStarted := unwindFinished := false. + p := [[] ensure:[ + unwindStarted := true. + Processor yield. + unwindFinished := true. + ]] fork. + self deny: unwindStarted. + Processor yield. + self assert: unwindStarted. + self deny: unwindFinished. + p terminate. + self assert: unwindFinished.! Item was added: + ----- Method: ProcessTerminateBug>>testUnwindFromActiveProcess (in category 'tests') ----- + testUnwindFromActiveProcess + | sema process | + sema := Semaphore forMutualExclusion. + self assert:(sema isSignaled). + process := [ + sema critical:[ + self deny: sema isSignaled. + Processor activeProcess terminate. + ] + ] forkAt: Processor userInterruptPriority. + self assert: sema isSignaled.! Item was added: + ----- Method: ProcessTerminateBug>>testUnwindFromForeignProcess (in category 'tests') ----- + testUnwindFromForeignProcess + | sema process | + sema := Semaphore forMutualExclusion. + self assert: sema isSignaled. + process := [ + sema critical:[ + self deny: sema isSignaled. + sema wait. "deadlock" + ] + ] forkAt: Processor userInterruptPriority. + self deny: sema isSignaled. + "This is for illustration only - the BlockCannotReturn cannot + be handled here (it's truncated already)" + self shouldnt: [process terminate] raise: BlockCannotReturn. + self assert: sema isSignaled. + ! Item was changed: + AbstractProcessTest subclass: #ProcessTest + instanceVariableNames: '' - ClassTestCase subclass: #ProcessTest - instanceVariableNames: 'semaphore' classVariableNames: '' poolDictionaries: '' category: 'KernelTests-Processes'! !ProcessTest commentStamp: 'ul 8/16/2011 11:35' prior: 0! I hold test cases for generic Process-related behaviour.! Item was removed: - ----- Method: ProcessTest>>genuineProcess (in category 'support') ----- - genuineProcess - - "Usually, we don't want to expose this from the class under test." - ^ Processor instVarNamed: 'genuineProcess'! Item was removed: - ----- Method: ProcessTest>>setUp (in category 'running') ----- - setUp - semaphore := Semaphore new! Item was removed: - ----- Method: ProcessTest>>tearDown (in category 'running') ----- - tearDown - Processor activeProcess environmentRemoveKey: #processTests ifAbsent: []. - - "Release all processes still waiting at the semaphore or in the active priority queue." - Processor yield. - [semaphore isEmpty] whileFalse: [semaphore signal]! Item was changed: + ----- Method: ProcessTest>>testProcessFaithfulTermination: (in category 'support') ----- - ----- Method: ProcessTest>>testProcessFaithfulTermination: (in category 'tests') ----- testProcessFaithfulTermination: terminator "When terminating a process, unwind blocks should be evaluated as if they were executed by the process being terminated." | process result | process := [ [Processor activeProcess suspend] ensure: [result := Processor activeProcess environmentAt: #foo]] fork. Processor yield. process environmentAt: #foo put: 42. terminator value: process. self should: process isTerminated. self assert: 42 equals: result.! Item was changed: + ----- Method: ProcessTest>>testProcessStateTestTermination: (in category 'support') ----- - ----- Method: ProcessTest>>testProcessStateTestTermination: (in category 'tests') ----- testProcessStateTestTermination: terminator "I test that a process is terminated when it reaches the last instruction of the bottom context for methods other than Process>>#terminate; this test would fail with the version of isTerminated before 3/11/2021." | bottomContext newProcess | newProcess := Process new. bottomContext := Context sender: nil receiver: newProcess method: (ProcessTest>>#terminated) arguments: {}. newProcess suspendedContext: ([] asContextWithSender: bottomContext). newProcess priority: Processor activePriority. self deny: newProcess isTerminated. terminator value: newProcess. self assert: newProcess isTerminated. ! Item was added: + AbstractProcessTest subclass: #ProcessUnwindTest + instanceVariableNames: '' + classVariableNames: '' + poolDictionaries: '' + category: 'KernelTests-Processes'! Item was added: + ----- Method: ProcessUnwindTest>>testTerminateActiveInNestedEnsure1 (in category 'tests') ----- + testTerminateActiveInNestedEnsure1 + "Terminate active process. + Test all nested unwind blocks are correctly executed; + all unwind blocks halfway through their execution should be completed." + + | p x1 x2 x3 x4 | + x1 := x2 := x3 := x4 := false. + p := + [ + [ + [ ] ensure: [ + [Processor activeProcess terminate] ensure: [ + x1 := true]. + x2 := true] + ] ensure: [ + x3 := true]. + x4 := true. + ] newProcess. + p resume. + Processor yield. + self assert: p isTerminated. + self assert: x1 & x2 & x3. + self deny: x4.! Item was added: + ----- Method: ProcessUnwindTest>>testTerminateActiveInNestedEnsure2 (in category 'tests') ----- + testTerminateActiveInNestedEnsure2 + "Terminate active process. + Test all nested unwind blocks are correctly executed; + all unwind blocks halfway through their execution should be completed." + + | p x1 x2 x3 x4 | + x1 := x2 := x3 := x4 := false. + p := + [ + [ + [ ] ensure: [ + [ ] ensure: [ + Processor activeProcess terminate. + x1 := true]. + x2 := true] + ] ensure: [ + x3 := true]. + x4 := true. + ] newProcess. + p resume. + Processor yield. + self assert: p isTerminated. + self assert: x1 & x2 & x3. + self deny: x4.! Item was added: + ----- Method: ProcessUnwindTest>>testTerminateBlockedInNestedEnsure1 (in category 'tests') ----- + testTerminateBlockedInNestedEnsure1 + "Terminate blocked process. + Test all nested unwind blocks are correctly executed; + all unwind blocks halfway through their execution should be completed." + + | p x1 x2 x3 x4 | + x1 := x2 := x3 := x4 := false. + p := + [ + [ + [ ] ensure: [ + [semaphore wait] ensure: [ + x1 := true]. + x2 := true] + ] ensure: [ + x3 := true]. + x4 := true. + ] newProcess. + p resume. + Processor yield. + "make sure p is blocked and none of the unwind blocks has finished yet" + self assert: p isBlocked. + self deny: x1 | x2 | x3 | x4. + "now terminate the process and make sure all unwind blocks have finished" + p terminate. + self assert: p isTerminated. + self assert: x1 & x2 & x3. + self deny: x4.! Item was added: + ----- Method: ProcessUnwindTest>>testTerminateBlockedInNestedEnsure2 (in category 'tests') ----- + testTerminateBlockedInNestedEnsure2 + "Terminate blocked process. + Test all nested unwind blocks are correctly executed; + all unwind blocks halfway through their execution should be completed." + + | p x1 x2 x3 x4 | + x1 := x2 := x3 := x4 := false. + p := + [ + [ + [ ] ensure: [ + [ ] ensure: [ + semaphore wait. + x1 := true]. + x2 := true] + ] ensure: [ + x3 := true]. + x4 := true. + ] newProcess. + p resume. + Processor yield. + "make sure p is blocked and none of the unwind blocks has finished yet" + self assert: p isBlocked. + self deny: x1 | x2 | x3 | x4. + "now terminate the process and make sure all unwind blocks have finished" + p terminate. + self assert: p isTerminated. + self assert: x1 & x2 & x3. + self deny: x4.! Item was added: + ----- Method: ProcessUnwindTest>>testTerminateInNestedEnsureWithReturn1 (in category 'tests') ----- + testTerminateInNestedEnsureWithReturn1 + "Terminate suspended process. + Test all nested unwind blocks are correctly executed; + all unwind blocks halfway through their execution should be completed." + + | p x1 x2 x3 x4 | + x1 := x2 := x3 := x4 := false. + p := + [ + [:return | + [ + [ ] ensure: [ + [Processor activeProcess suspend] ensure: [ + x1 := true. return value]. + x2 := true] + ] ensure: [ + x3 := true]. + x4 := true. + ] valueWithExit + ] newProcess. + p resume. + Processor yield. + "make sure p is suspended and none of the unwind blocks has finished yet" + self assert: p isSuspended. + self deny: x1 | x2 | x3 | x4. + "now terminate the process and make sure all unwind blocks have finished" + p terminate. + self assert: p isTerminated. + self assert: x1 & x3. + self deny: x2 & x4.! Item was added: + ----- Method: ProcessUnwindTest>>testTerminateInNestedEnsureWithReturn2 (in category 'tests') ----- + testTerminateInNestedEnsureWithReturn2 + "Terminate suspended process. + Test all nested unwind blocks are correctly executed; + all unwind blocks halfway through their execution should be completed." + + | p x1 x2 x3 x4 | + x1 := x2 := x3 := x4 := false. + p := + [ + [:return | + [ + [ ] ensure: [ + [] ensure: [ + Processor activeProcess suspend. + x1 := true. return value]. + x2 := true] + ] ensure: [ + x3 := true]. + x4 := true. + ] valueWithExit + ] newProcess. + p resume. + Processor yield. + "make sure p is suspended and none of the unwind blocks has finished yet" + self assert: p isSuspended. + self deny: x1 | x2 | x3 | x4. + "now terminate the process and make sure all unwind blocks have finished" + p terminate. + self assert: p isTerminated. + self assert: x1 & x3. + self deny: x2 & x4.! Item was added: + ----- Method: ProcessUnwindTest>>testTerminateInNestedEnsureWithReturn3 (in category 'tests') ----- + testTerminateInNestedEnsureWithReturn3 + "Terminate suspended process. + Test all nested unwind blocks are correctly executed; + all unwind blocks halfway through their execution should be completed." + + | p x1 x2 x3 x4 | + x1 := x2 := x3 := x4 := false. + p := + [ + [:return | + [ + [ ] ensure: [ + [Processor activeProcess suspend] ensure: [ + x1 := true]. + x2 := true. return value] + ] ensure: [ + x3 := true]. + x4 := true. + ] valueWithExit + ] newProcess. + p resume. + Processor yield. + "make sure p is suspended and none of the unwind blocks has finished yet" + self assert: p isSuspended. + self deny: x1 | x2 | x3 | x4. + "now terminate the process and make sure all unwind blocks have finished" + p terminate. + self assert: p isTerminated. + self assert: x1 & x2 & x3. + self deny: x4.! Item was added: + ----- Method: ProcessUnwindTest>>testTerminateInNestedEnsureWithReturn4 (in category 'tests') ----- + testTerminateInNestedEnsureWithReturn4 + "Terminate suspended process. + Test all nested unwind blocks are correctly executed; + all unwind blocks halfway through their execution should be completed." + + | p x1 x2 x3 x4 | + x1 := x2 := x3 := x4 := false. + p := + [ + [:return | + [ + [ ] ensure: [ + [] ensure: [ + Processor activeProcess suspend. + x1 := true]. + x2 := true. return value] + ] ensure: [ + x3 := true]. + x4 := true. + ] valueWithExit + ] newProcess. + p resume. + Processor yield. + "make sure p is suspended and none of the unwind blocks has finished yet" + self assert: p isSuspended. + self deny: x1 | x2 | x3 | x4. + "now terminate the process and make sure all unwind blocks have finished" + p terminate. + self assert: p isTerminated. + self assert: x1 & x2 & x3. + self deny: x4.! Item was added: + ----- Method: ProcessUnwindTest>>testTerminateInNestedEnsureWithReturn5 (in category 'tests') ----- + testTerminateInNestedEnsureWithReturn5 + "Terminate suspended process. + Test all nested unwind blocks are correctly executed; + all unwind blocks halfway through their execution should be completed." + + | p x1 x2 x3 x4 | + x1 := x2 := x3 := x4 := false. + p := + [ + [:return | + [ + [ ] ensure: [ + [Processor activeProcess suspend] ensure: [ + x1 := true]. + x2 := true] + ] ensure: [ + x3 := true. return value]. + x4 := true. + ] valueWithExit + ] newProcess. + p resume. + Processor yield. + "make sure p is suspended and none of the unwind blocks has finished yet" + self assert: p isSuspended. + self deny: x1 | x2 | x3 | x4. + "now terminate the process and make sure all unwind blocks have finished" + p terminate. + self assert: p isTerminated. + self assert: x1 & x2 & x3. + self deny: x4.! Item was added: + ----- Method: ProcessUnwindTest>>testTerminateInNestedEnsureWithReturn6 (in category 'tests') ----- + testTerminateInNestedEnsureWithReturn6 + "Terminate suspended process. + Test all nested unwind blocks are correctly executed; + all unwind blocks halfway through their execution should be completed." + + | p x1 x2 x3 x4 | + x1 := x2 := x3 := x4 := false. + p := + [ + [:return | + [ + [ ] ensure: [ + [] ensure: [ + Processor activeProcess suspend. + x1 := true]. + x2 := true] + ] ensure: [ + x3 := true. return value]. + x4 := true. + ] valueWithExit + ] newProcess. + p resume. + Processor yield. + "make sure p is suspended and none of the unwind blocks has finished yet" + self assert: p isSuspended. + self deny: x1 | x2 | x3 | x4. + "now terminate the process and make sure all unwind blocks have finished" + p terminate. + self assert: p isTerminated. + self assert: x1 & x2 & x3. + self deny: x4.! Item was added: + ----- Method: ProcessUnwindTest>>testTerminateInNestedEnsureWithReturn7 (in category 'tests') ----- + testTerminateInNestedEnsureWithReturn7 + "Terminate suspended process. + Test all nested unwind blocks are correctly executed; + all unwind blocks halfway through their execution should be completed." + + | p x1 x2 x3 x4 | + x1 := x2 := x3 := x4 := false. + p := + [ + [:return | + [ + [ ] ensure: [ + [Processor activeProcess suspend] ensure: [ + x1 := true]. + x2 := true] + ] ensure: [ + x3 := true]. + x4 := true. return value. + ] valueWithExit + ] newProcess. + p resume. + Processor yield. + "make sure p is suspended and none of the unwind blocks has finished yet" + self assert: p isSuspended. + self deny: x1 | x2 | x3 | x4. + "now terminate the process and make sure all unwind blocks have finished" + p terminate. + self assert: p isTerminated. + self assert: x1 & x2 & x3. + self deny: x4.! Item was added: + ----- Method: ProcessUnwindTest>>testTerminateInNestedEnsureWithReturn8 (in category 'tests') ----- + testTerminateInNestedEnsureWithReturn8 + "Terminate suspended process. + Test all nested unwind blocks are correctly executed; + all unwind blocks halfway through their execution should be completed." + + | p x1 x2 x3 x4 | + x1 := x2 := x3 := x4 := false. + p := + [ + [:return | + [ + [ ] ensure: [ + [] ensure: [ + Processor activeProcess suspend. + x1 := true]. + x2 := true] + ] ensure: [ + x3 := true]. + x4 := true. return value. + ] valueWithExit + ] newProcess. + p resume. + Processor yield. + "make sure p is suspended and none of the unwind blocks has finished yet" + self assert: p isSuspended. + self deny: x1 | x2 | x3 | x4. + "now terminate the process and make sure all unwind blocks have finished" + p terminate. + self assert: p isTerminated. + self assert: x1 & x2 & x3. + self deny: x4.! Item was added: + ----- Method: ProcessUnwindTest>>testTerminateRunnableInNestedEnsure1 (in category 'tests') ----- + testTerminateRunnableInNestedEnsure1 + "Terminate runnable process. + Test all nested unwind blocks are correctly executed; + all unwind blocks halfway through their execution should be completed." + + | p x1 x2 x3 x4 | + x1 := x2 := x3 := x4 := false. + p := + [ + [ + [ ] ensure: [ + [Processor yield] ensure: [ + x1 := true]. + x2 := true] + ] ensure: [ + x3 := true]. + x4 := true. + ] newProcess. + p resume. + Processor yield. + "make sure p is runnable and none of the unwind blocks has finished yet" + self assert: p isRunnable. + self deny: x1 | x2 | x3 | x4. + "now terminate the process and make sure all unwind blocks have finished" + p terminate. + self assert: p isTerminated. + self assert: x1 & x2 & x3. + self deny: x4.! Item was added: + ----- Method: ProcessUnwindTest>>testTerminateRunnableInNestedEnsure2 (in category 'tests') ----- + testTerminateRunnableInNestedEnsure2 + "Terminate runnable process. + Test all nested unwind blocks are correctly executed; + all unwind blocks halfway through their execution should be completed." + + | p x1 x2 x3 x4 | + x1 := x2 := x3 := x4 := false. + p := + [ + [ + [ ] ensure: [ + [ ] ensure: [ + Processor yield. + x1 := true]. + x2 := true] + ] ensure: [ + x3 := true]. + x4 := true. + ] newProcess. + p resume. + Processor yield. + "make sure p is runnable and none of the unwind blocks has finished yet" + self assert: p isRunnable. + self deny: x1 | x2 | x3 | x4. + "now terminate the process and make sure all unwind blocks have finished" + p terminate. + self assert: p isTerminated. + self assert: x1 & x2 & x3. + self deny: x4.! Item was added: + ----- Method: ProcessUnwindTest>>testTerminateSuspendedInNestedEnsure1 (in category 'tests') ----- + testTerminateSuspendedInNestedEnsure1 + "Terminate suspended process. + Test all nested unwind blocks are correctly executed; + all unwind blocks halfway through their execution should be completed." + + | p x1 x2 x3 x4 | + x1 := x2 := x3 := x4 := false. + p := + [ + [ + [ ] ensure: [ + [Processor activeProcess suspend] ensure: [ + x1 := true]. + x2 := true] + ] ensure: [ + x3 := true]. + x4 := true. + ] newProcess. + p resume. + Processor yield. + "make sure p is suspended and none of the unwind blocks has finished yet" + self assert: p isSuspended. + self deny: x1 | x2 | x3 | x4. + "now terminate the process and make sure all unwind blocks have finished" + p terminate. + self assert: p isTerminated. + self assert: x1 & x2 & x3. + self deny: x4.! Item was added: + ----- Method: ProcessUnwindTest>>testTerminateSuspendedInNestedEnsure2 (in category 'tests') ----- + testTerminateSuspendedInNestedEnsure2 + "Terminate suspended process. + Test all nested unwind blocks are correctly executed; + all unwind blocks halfway through their execution should be completed." + + | p x1 x2 x3 x4 | + x1 := x2 := x3 := x4 := false. + p := + [ + [ + [ ] ensure: [ + [ ] ensure: [ + Processor activeProcess suspend. + x1 := true]. + x2 := true] + ] ensure: [ + x3 := true]. + x4 := true. + ] newProcess. + p resume. + Processor yield. + "make sure p is suspended and none of the unwind blocks has finished yet" + self assert: p isSuspended. + self deny: x1 | x2 | x3 | x4. + "now terminate the process and make sure all unwind blocks have finished" + p terminate. + self assert: p isTerminated. + self assert: x1 & x2 & x3. + self deny: x4.! Item was removed: - ProcessTest subclass: #UnwindTest - instanceVariableNames: '' - classVariableNames: '' - poolDictionaries: '' - category: 'KernelTests-Processes'! Item was removed: - ----- Method: UnwindTest>>testTerminateActiveInNestedEnsure1 (in category 'tests') ----- - testTerminateActiveInNestedEnsure1 - "Terminate active process. - Test all nested unwind blocks are correctly executed; - all unwind blocks halfway through their execution should be completed." - - | p x1 x2 x3 x4 | - x1 := x2 := x3 := x4 := false. - p := - [ - [ - [ ] ensure: [ - [Processor activeProcess terminate] ensure: [ - x1 := true]. - x2 := true] - ] ensure: [ - x3 := true]. - x4 := true. - ] newProcess. - p resume. - Processor yield. - self assert: p isTerminated. - self assert: x1 & x2 & x3. - self deny: x4.! Item was removed: - ----- Method: UnwindTest>>testTerminateActiveInNestedEnsure2 (in category 'tests') ----- - testTerminateActiveInNestedEnsure2 - "Terminate active process. - Test all nested unwind blocks are correctly executed; - all unwind blocks halfway through their execution should be completed." - - | p x1 x2 x3 x4 | - x1 := x2 := x3 := x4 := false. - p := - [ - [ - [ ] ensure: [ - [ ] ensure: [ - Processor activeProcess terminate. - x1 := true]. - x2 := true] - ] ensure: [ - x3 := true]. - x4 := true. - ] newProcess. - p resume. - Processor yield. - self assert: p isTerminated. - self assert: x1 & x2 & x3. - self deny: x4.! Item was removed: - ----- Method: UnwindTest>>testTerminateBlockedInNestedEnsure1 (in category 'tests') ----- - testTerminateBlockedInNestedEnsure1 - "Terminate blocked process. - Test all nested unwind blocks are correctly executed; - all unwind blocks halfway through their execution should be completed." - - | p x1 x2 x3 x4 | - x1 := x2 := x3 := x4 := false. - p := - [ - [ - [ ] ensure: [ - [semaphore wait] ensure: [ - x1 := true]. - x2 := true] - ] ensure: [ - x3 := true]. - x4 := true. - ] newProcess. - p resume. - Processor yield. - "make sure p is blocked and none of the unwind blocks has finished yet" - self assert: p isBlocked. - self deny: x1 | x2 | x3 | x4. - "now terminate the process and make sure all unwind blocks have finished" - p terminate. - self assert: p isTerminated. - self assert: x1 & x2 & x3. - self deny: x4.! Item was removed: - ----- Method: UnwindTest>>testTerminateBlockedInNestedEnsure2 (in category 'tests') ----- - testTerminateBlockedInNestedEnsure2 - "Terminate blocked process. - Test all nested unwind blocks are correctly executed; - all unwind blocks halfway through their execution should be completed." - - | p x1 x2 x3 x4 | - x1 := x2 := x3 := x4 := false. - p := - [ - [ - [ ] ensure: [ - [ ] ensure: [ - semaphore wait. - x1 := true]. - x2 := true] - ] ensure: [ - x3 := true]. - x4 := true. - ] newProcess. - p resume. - Processor yield. - "make sure p is blocked and none of the unwind blocks has finished yet" - self assert: p isBlocked. - self deny: x1 | x2 | x3 | x4. - "now terminate the process and make sure all unwind blocks have finished" - p terminate. - self assert: p isTerminated. - self assert: x1 & x2 & x3. - self deny: x4.! Item was removed: - ----- Method: UnwindTest>>testTerminateInNestedEnsureWithReturn1 (in category 'tests') ----- - testTerminateInNestedEnsureWithReturn1 - "Terminate suspended process. - Test all nested unwind blocks are correctly executed; - all unwind blocks halfway through their execution should be completed." - - | p x1 x2 x3 x4 | - x1 := x2 := x3 := x4 := false. - p := - [ - [:return | - [ - [ ] ensure: [ - [Processor activeProcess suspend] ensure: [ - x1 := true. return value]. - x2 := true] - ] ensure: [ - x3 := true]. - x4 := true. - ] valueWithExit - ] newProcess. - p resume. - Processor yield. - "make sure p is suspended and none of the unwind blocks has finished yet" - self assert: p isSuspended. - self deny: x1 | x2 | x3 | x4. - "now terminate the process and make sure all unwind blocks have finished" - p terminate. - self assert: p isTerminated. - self assert: x1 & x3. - self deny: x2 & x4.! Item was removed: - ----- Method: UnwindTest>>testTerminateInNestedEnsureWithReturn2 (in category 'tests') ----- - testTerminateInNestedEnsureWithReturn2 - "Terminate suspended process. - Test all nested unwind blocks are correctly executed; - all unwind blocks halfway through their execution should be completed." - - | p x1 x2 x3 x4 | - x1 := x2 := x3 := x4 := false. - p := - [ - [:return | - [ - [ ] ensure: [ - [] ensure: [ - Processor activeProcess suspend. - x1 := true. return value]. - x2 := true] - ] ensure: [ - x3 := true]. - x4 := true. - ] valueWithExit - ] newProcess. - p resume. - Processor yield. - "make sure p is suspended and none of the unwind blocks has finished yet" - self assert: p isSuspended. - self deny: x1 | x2 | x3 | x4. - "now terminate the process and make sure all unwind blocks have finished" - p terminate. - self assert: p isTerminated. - self assert: x1 & x3. - self deny: x2 & x4.! Item was removed: - ----- Method: UnwindTest>>testTerminateInNestedEnsureWithReturn3 (in category 'tests') ----- - testTerminateInNestedEnsureWithReturn3 - "Terminate suspended process. - Test all nested unwind blocks are correctly executed; - all unwind blocks halfway through their execution should be completed." - - | p x1 x2 x3 x4 | - x1 := x2 := x3 := x4 := false. - p := - [ - [:return | - [ - [ ] ensure: [ - [Processor activeProcess suspend] ensure: [ - x1 := true]. - x2 := true. return value] - ] ensure: [ - x3 := true]. - x4 := true. - ] valueWithExit - ] newProcess. - p resume. - Processor yield. - "make sure p is suspended and none of the unwind blocks has finished yet" - self assert: p isSuspended. - self deny: x1 | x2 | x3 | x4. - "now terminate the process and make sure all unwind blocks have finished" - p terminate. - self assert: p isTerminated. - self assert: x1 & x2 & x3. - self deny: x4.! Item was removed: - ----- Method: UnwindTest>>testTerminateInNestedEnsureWithReturn4 (in category 'tests') ----- - testTerminateInNestedEnsureWithReturn4 - "Terminate suspended process. - Test all nested unwind blocks are correctly executed; - all unwind blocks halfway through their execution should be completed." - - | p x1 x2 x3 x4 | - x1 := x2 := x3 := x4 := false. - p := - [ - [:return | - [ - [ ] ensure: [ - [] ensure: [ - Processor activeProcess suspend. - x1 := true]. - x2 := true. return value] - ] ensure: [ - x3 := true]. - x4 := true. - ] valueWithExit - ] newProcess. - p resume. - Processor yield. - "make sure p is suspended and none of the unwind blocks has finished yet" - self assert: p isSuspended. - self deny: x1 | x2 | x3 | x4. - "now terminate the process and make sure all unwind blocks have finished" - p terminate. - self assert: p isTerminated. - self assert: x1 & x2 & x3. - self deny: x4.! Item was removed: - ----- Method: UnwindTest>>testTerminateInNestedEnsureWithReturn5 (in category 'tests') ----- - testTerminateInNestedEnsureWithReturn5 - "Terminate suspended process. - Test all nested unwind blocks are correctly executed; - all unwind blocks halfway through their execution should be completed." - - | p x1 x2 x3 x4 | - x1 := x2 := x3 := x4 := false. - p := - [ - [:return | - [ - [ ] ensure: [ - [Processor activeProcess suspend] ensure: [ - x1 := true]. - x2 := true] - ] ensure: [ - x3 := true. return value]. - x4 := true. - ] valueWithExit - ] newProcess. - p resume. - Processor yield. - "make sure p is suspended and none of the unwind blocks has finished yet" - self assert: p isSuspended. - self deny: x1 | x2 | x3 | x4. - "now terminate the process and make sure all unwind blocks have finished" - p terminate. - self assert: p isTerminated. - self assert: x1 & x2 & x3. - self deny: x4.! Item was removed: - ----- Method: UnwindTest>>testTerminateInNestedEnsureWithReturn6 (in category 'tests') ----- - testTerminateInNestedEnsureWithReturn6 - "Terminate suspended process. - Test all nested unwind blocks are correctly executed; - all unwind blocks halfway through their execution should be completed." - - | p x1 x2 x3 x4 | - x1 := x2 := x3 := x4 := false. - p := - [ - [:return | - [ - [ ] ensure: [ - [] ensure: [ - Processor activeProcess suspend. - x1 := true]. - x2 := true] - ] ensure: [ - x3 := true. return value]. - x4 := true. - ] valueWithExit - ] newProcess. - p resume. - Processor yield. - "make sure p is suspended and none of the unwind blocks has finished yet" - self assert: p isSuspended. - self deny: x1 | x2 | x3 | x4. - "now terminate the process and make sure all unwind blocks have finished" - p terminate. - self assert: p isTerminated. - self assert: x1 & x2 & x3. - self deny: x4.! Item was removed: - ----- Method: UnwindTest>>testTerminateInNestedEnsureWithReturn7 (in category 'tests') ----- - testTerminateInNestedEnsureWithReturn7 - "Terminate suspended process. - Test all nested unwind blocks are correctly executed; - all unwind blocks halfway through their execution should be completed." - - | p x1 x2 x3 x4 | - x1 := x2 := x3 := x4 := false. - p := - [ - [:return | - [ - [ ] ensure: [ - [Processor activeProcess suspend] ensure: [ - x1 := true]. - x2 := true] - ] ensure: [ - x3 := true]. - x4 := true. return value. - ] valueWithExit - ] newProcess. - p resume. - Processor yield. - "make sure p is suspended and none of the unwind blocks has finished yet" - self assert: p isSuspended. - self deny: x1 | x2 | x3 | x4. - "now terminate the process and make sure all unwind blocks have finished" - p terminate. - self assert: p isTerminated. - self assert: x1 & x2 & x3. - self deny: x4.! Item was removed: - ----- Method: UnwindTest>>testTerminateInNestedEnsureWithReturn8 (in category 'tests') ----- - testTerminateInNestedEnsureWithReturn8 - "Terminate suspended process. - Test all nested unwind blocks are correctly executed; - all unwind blocks halfway through their execution should be completed." - - | p x1 x2 x3 x4 | - x1 := x2 := x3 := x4 := false. - p := - [ - [:return | - [ - [ ] ensure: [ - [] ensure: [ - Processor activeProcess suspend. - x1 := true]. - x2 := true] - ] ensure: [ - x3 := true]. - x4 := true. return value. - ] valueWithExit - ] newProcess. - p resume. - Processor yield. - "make sure p is suspended and none of the unwind blocks has finished yet" - self assert: p isSuspended. - self deny: x1 | x2 | x3 | x4. - "now terminate the process and make sure all unwind blocks have finished" - p terminate. - self assert: p isTerminated. - self assert: x1 & x2 & x3. - self deny: x4.! Item was removed: - ----- Method: UnwindTest>>testTerminateRunnableInNestedEnsure1 (in category 'tests') ----- - testTerminateRunnableInNestedEnsure1 - "Terminate runnable process. - Test all nested unwind blocks are correctly executed; - all unwind blocks halfway through their execution should be completed." - - | p x1 x2 x3 x4 | - x1 := x2 := x3 := x4 := false. - p := - [ - [ - [ ] ensure: [ - [Processor yield] ensure: [ - x1 := true]. - x2 := true] - ] ensure: [ - x3 := true]. - x4 := true. - ] newProcess. - p resume. - Processor yield. - "make sure p is runnable and none of the unwind blocks has finished yet" - self assert: p isRunnable. - self deny: x1 | x2 | x3 | x4. - "now terminate the process and make sure all unwind blocks have finished" - p terminate. - self assert: p isTerminated. - self assert: x1 & x2 & x3. - self deny: x4.! Item was removed: - ----- Method: UnwindTest>>testTerminateRunnableInNestedEnsure2 (in category 'tests') ----- - testTerminateRunnableInNestedEnsure2 - "Terminate runnable process. - Test all nested unwind blocks are correctly executed; - all unwind blocks halfway through their execution should be completed." - - | p x1 x2 x3 x4 | - x1 := x2 := x3 := x4 := false. - p := - [ - [ - [ ] ensure: [ - [ ] ensure: [ - Processor yield. - x1 := true]. - x2 := true] - ] ensure: [ - x3 := true]. - x4 := true. - ] newProcess. - p resume. - Processor yield. - "make sure p is runnable and none of the unwind blocks has finished yet" - self assert: p isRunnable. - self deny: x1 | x2 | x3 | x4. - "now terminate the process and make sure all unwind blocks have finished" - p terminate. - self assert: p isTerminated. - self assert: x1 & x2 & x3. - self deny: x4.! Item was removed: - ----- Method: UnwindTest>>testTerminateSuspendedInNestedEnsure1 (in category 'tests') ----- - testTerminateSuspendedInNestedEnsure1 - "Terminate suspended process. - Test all nested unwind blocks are correctly executed; - all unwind blocks halfway through their execution should be completed." - - | p x1 x2 x3 x4 | - x1 := x2 := x3 := x4 := false. - p := - [ - [ - [ ] ensure: [ - [Processor activeProcess suspend] ensure: [ - x1 := true]. - x2 := true] - ] ensure: [ - x3 := true]. - x4 := true. - ] newProcess. - p resume. - Processor yield. - "make sure p is suspended and none of the unwind blocks has finished yet" - self assert: p isSuspended. - self deny: x1 | x2 | x3 | x4. - "now terminate the process and make sure all unwind blocks have finished" - p terminate. - self assert: p isTerminated. - self assert: x1 & x2 & x3. - self deny: x4.! Item was removed: - ----- Method: UnwindTest>>testTerminateSuspendedInNestedEnsure2 (in category 'tests') ----- - testTerminateSuspendedInNestedEnsure2 - "Terminate suspended process. - Test all nested unwind blocks are correctly executed; - all unwind blocks halfway through their execution should be completed." - - | p x1 x2 x3 x4 | - x1 := x2 := x3 := x4 := false. - p := - [ - [ - [ ] ensure: [ - [ ] ensure: [ - Processor activeProcess suspend. - x1 := true]. - x2 := true] - ] ensure: [ - x3 := true]. - x4 := true. - ] newProcess. - p resume. - Processor yield. - "make sure p is suspended and none of the unwind blocks has finished yet" - self assert: p isSuspended. - self deny: x1 | x2 | x3 | x4. - "now terminate the process and make sure all unwind blocks have finished" - p terminate. - self assert: p isTerminated. - self assert: x1 & x2 & x3. - self deny: x4.!

2 1

Re-signalling an already signaled exception
by mail＠jaromir.net 12 Jun '22

12 Jun '22

Hi all, You can signal an already signaled exception; the nested #signal will start searching for an exception handler from the most recently created exception handler. I wonder if this is a legitimate and reasonable interpretation of ANSI's #signal: Quote: The current exception environment is searched for an exception handler whose exception selector matches the signaled exception. The search proceeds from the most recently created exception handler to the oldest exception handler. Repeated #signal would differ from #outer in that #outer starts serching for a handler from the current handler context and not from the most recently created handler context. Here's a motivation example: [1/0] on: Error do: [:ex | [ex signal] on: ZeroDivide do: [Transcript show: #ZeroDivide] ] Would you expect this code to work and pick up the ZeroDivide handler? Current implementation will ignore the ZeroDivide handler and open a debugger as the default action. It because currently a repeated signal is made equivalent to #outer. If you agree with the above interpretation then The Inbox: Kernel-jar.1407 provides its implementation and Tests-jar.464 some tests. The point or a use case is to provide additional (finer, more specific) handlers inside the general handler rather than wrap the general handler inside more specific handlers. More specific handlers can even be inside a method so the readability would not degrade. Here's a simple example: [1/o] on: Error do: [:ex | [[ex signal] on: ZeroDivide do: [Transcript show: #ZeroDivide]] on: MessageNotUnderstood do: [Transcript show: #MNU] ] or even [1/o] on: Error do: [:ex | self dissect: ex] instead of [[1/o] on: ZeroDivide do: [Transcript show: #ZeroDivide]] on: MessageNotUnderstood do: [Transcript show: #MNU] Does this make sense? Thanks for your opinion. best, Jaromir ^[^ -- Sent from Squeak Inbox Talk

6 12

beta 21760 AllocationTest results on x64 Mac
by Lauren Pullen 11 Jun '22

11 Jun '22

testOneMegAllocation: pass testOneGigAllocation: fail testOutOfMemorySignal: fail When run from Print-it, testOneGigAllocation still fails and testOutOfMemorySignal passes... both with a near zero duration reported. When run from Debug-it, both tests pass with duration equal to wall time. Squeak 6.0 beta 21760 202205110711 VM Mac OSX x64 (non-fat) binary Intel CPU (no Rosetta... or whatever they call it now)

6 5

hot air balloon damage
by Lauren Pullen 10 Jun '22

10 Jun '22

When the Welcome To Squeak window is minimized, the hot air balloon in no longer redrawn correctly. On minimization, the portion of the balloon that is outside the extent of the PluggableSystemWindow is left on the screen. On restoration, the portion of the balloon that is inside the extent of the help topic frame is occluded. See attached. Squeak 21760 beta, as downloaded from the website.

3 3

PDFtalk for Squeak - first fileOut
by Christian Haider 10 Jun '22

10 Jun '22

Hi Squeakers, as some of you know, there is a project on the way for porting the PDFtalk library from VisualWorks to Squeak and other non-namespaced Smalltalks [1]. Now I can report a first significant achievement: the new version of the transformation tool was used successfully to produce the first fileOut of the full PDF library including tests [2]. Some simple massaging was needed, but now the fileOut should load into Squeak 6.0 without errors. The file is about 6 MB in size and takes around 8 minutes to load on my machine. There are lots of load warnings in the Transcript and many tests have errors, but all code loads and can be browsed and examined. The tool automatically rewrites namespaced names with prefixed globally unique names. This seems to work well and automates away much of the usual porting work. Now I am looking for a Squeaker with an interest in PDF and/or the transformation tool and some time at hand to pair up for some coding. This is an exiting project. Heads up - who wants to be part of this? Happy hacking, Christian [1] https://wiki.pdftalk.de/doku.php?id=pdftalknonnamespacefileout [2] https://wiki.pdftalk.de/doku.php?id=portingblog#first_fileout_of_the_full_pd ftalk_for_squeak_60 P.S. I hope that I am writing to the right list - apologies, if this is spam for you

5 4

Browser/method update when toggling 'break on entry' broken
by tim Rowledge 10 Jun '22

10 Jun '22

Some time recently the 'break on entry' menu item has stopped causing the viewed method updating; I have to select another method and return to see the effect. More precisely it seems like this is limited to the hierarchybrowser; all the others seem ok. Who has been playing in this sandpit recently? tim -- tim Rowledge; tim(a)rowledge.org; http://www.rowledge.org/tim Useful random insult:- Went to the dentist to have his cranial cavity filled.

2 2

Faster window drag for Morphic
by Tim Johnson 09 Jun '22

09 Jun '22

Hi, I've been surprised about how SystemWindows become active when dragging other SystemWindows, Inspectors, PluggableXYZ windows (or morphs in general?) on top of (or over) them. It produces a noticable lag in the UI. This is only evident when the preference 'Fast window drag for Morphic' is turned OFF and whole windows are being dragged. (Having Soft shadows enabled slows it down further, I think.) IMHO these windows would not accept the drop, so they should not become active. I did some spying on the UI process and found that all code panes are being redrawn (?) when dragging morphs over SystemWindows. This is easily and quickly defeated/remedied by commenting out 'self activate' in the following method, as follows: SystemWindow>>#mouseEnterDragging: evt "unlock children for drop operations" self flag: #performance. "mt: There may be no need to change appearance if no widget wants the drop." self isActive ifTrue: [self lookFocused]. (self isActive not and: [evt hand hasSubmorphs]) ifTrue: [ "self activate." "unlock contents for drop" evt hand addMouseListener: self. "for drop completion on submorph" ]. My question: could the drag-and-drop "#wantsXYZ" protocol be followed here to optimize this? Or perhaps there is some other way to /not/ make the window active (and thus redraw all its panes, I think?) when a morph /it does not want/ is dragged over it? Thanks Tim

6 14

← Newer
1
...
4
5
6
7
8
9
10
...
32
Older →

Jump to page: