Packages May 2020

packages@lists.squeakfoundation.org

1 participants
97 discussions

The Trunk: Tools-jr.966.mcz
by commits＠source.squeak.org 04 May '20

04 May '20

Marcel Taeumel uploaded a new version of Tools to project The Trunk: http://source.squeak.org/trunk/Tools-jr.966.mcz ==================== Summary ==================== Name: Tools-jr.966 Author: jr Time: 2 May 2020, 12:16:24.578946 am UUID: eceadafb-7b97-1742-84a2-e714d188a3bb Ancestors: Tools-mt.965 Avoid inlining of #class for proxies/decorators in Inspector. The instance variables and indexed variables are accessed by sending a message to the inspected object, which probably passes through any transparent proxies. If the list of variables is just obtained from "object class" (which will not actually send a message to the object), the list will contain the variables of the proxy. Thus, there is a mismatch between the inspector's schema of the object (the fields) and the schema which is queried for values (the schema of the object behind the proxy). Also send a message to find out the class, so it is aligned with how the values are retrieved. Also mind this when initializing the styler. =============== Diff against Tools-mt.965 =============== Item was changed: ----- Method: Inspector>>streamInstanceVariablesOn: (in category 'fields - streaming') ----- streamInstanceVariablesOn: aStream + (self object perform: #class "do not inline send of #class, receiver could be a proxy") allInstVarNames doWithIndex: [:name :index | - self object class allInstVarNames doWithIndex: [:name :index | aStream nextPut: ((self newFieldForType: #instVar key: name) shouldStyleName: true; valueGetter: [:object | object instVarNamed: name]; valueSetter: [:object :value | object instVarNamed: name put: value]; yourself)].! Item was changed: ----- Method: Inspector>>updateStyler:requestor: (in category 'user interface - styling') ----- updateStyler: aStyler requestor: anObject "Use this method to update our fieldListStyler and all view stylers." aStyler environment: self environment; + classOrMetaClass: (self doItReceiver perform: #class "do not inline send of #class, receiver could be a proxy"); - classOrMetaClass: self doItReceiver class; context: self doItContext; parseAMethod: false.!

1 0

The Trunk: Morphic-mt.1655.mcz
by commits＠source.squeak.org 04 May '20

04 May '20

Marcel Taeumel uploaded a new version of Morphic to project The Trunk: http://source.squeak.org/trunk/Morphic-mt.1655.mcz ==================== Summary ==================== Name: Morphic-mt.1655 Author: mt Time: 4 May 2020, 11:28:00.740912 am UUID: a7baaad5-39dc-9c43-adce-02c055e280e2 Ancestors: Morphic-fn.1654 In fill-in dialogs, it should always be possible to accept the contents even if they are empty or appear otherwise unchanged. Note that "hasUnacceptedEdits: true" might not be needed anymore. Anyway, the MorphicToolBuilder gave me some hints on how #askBeforeDiscardingEdits and #alwaysAccept are related. =============== Diff against Morphic-fn.1654 =============== Item was changed: ----- Method: FillInTheBlankMorph>>createTextPaneAcceptOnCR: (in category 'initialization') ----- createTextPaneAcceptOnCR: acceptBoolean textPane := PluggableTextMorph on: self text: #response accept: #response: readSelection: #selectionInterval menu: #codePaneMenu:shifted:. textPane showScrollBarsOnlyWhenNeeded; wantsFrameAdornments: false; hasUnacceptedEdits: true; + askBeforeDiscardingEdits: false; + setProperty: #alwaysAccept toValue: true; acceptOnCR: acceptBoolean; setNameTo: 'textPane'; layoutFrame: (LayoutFrame fractions: (0@0 corner: 1@1)); hResizing: #spaceFill; vResizing: #spaceFill; scrollToTop. ^ textPane!

1 0

The Trunk: CollectionsTests-nice.338.mcz
by commits＠source.squeak.org 02 May '20

02 May '20

David T. Lewis uploaded a new version of CollectionsTests to project The Trunk: http://source.squeak.org/trunk/CollectionsTests-nice.338.mcz ==================== Summary ==================== Name: CollectionsTests-nice.338 Author: nice Time: 2 May 2020, 12:46:51.581176 am UUID: 9860b2e2-750f-da40-a73f-4332c3facd4f Ancestors: CollectionsTests-mt.337 Introduce tests for Float64Array =============== Diff against CollectionsTests-mt.337 =============== Item was added: + ClassTestCase subclass: #Float64ArrayTest + instanceVariableNames: '' + classVariableNames: '' + poolDictionaries: '' + category: 'CollectionsTests-Arrayed'! + + !Float64ArrayTest commentStamp: 'nice 5/30/2006 01:24' prior: 0! + These tests are used to assert that Float64ArrayPlugin has same results as Float asIEEE32BitWord! Item was added: + ----- Method: Float64ArrayTest>>testArithmeticCoercion (in category 'tests') ----- + testArithmeticCoercion + + self should: [3.5 / (Float64Array with: 2.0) = (Float64Array with: 1.75)]. + self should: [3.5 * (Float64Array with: 2.0) = (Float64Array with: 7.0)]. + self should: [3.5 + (Float64Array with: 2.0) = (Float64Array with: 5.5)]. + self should: [3.5 - (Float64Array with: 2.0) = (Float64Array with: 1.5)].! Item was added: + ----- Method: Float64ArrayTest>>testFloat64ArrayPluginPrimitiveAt (in category 'tests') ----- + testFloat64ArrayPluginPrimitiveAt + "Trivial test" + + #(zero one epsilon fmax fminDenormalized fminNormalized negativeZero negativeInfinity infinity) do: [:e | + | aFloat | + aFloat := Float perform: e. + self assert: ((Float64Array with: aFloat) at: 1) = aFloat]. + + "Cannot compare NaN" + self assert: ((Float64Array with: Float nan) at: 1) isNaN.! Item was added: + ----- Method: Float64ArrayTest>>testThatDivideAvoidsUnecessaryOverflow (in category 'tests') ----- + testThatDivideAvoidsUnecessaryOverflow + | f1 f2 expectedResult | + f1 := Float fminNormalized. + f2 := Float fminDenormalized. + expectedResult := Float64Array with: f1 / f2. + + "If any of these primitives inverse the dividend, then it will overflow" + self assert: expectedResult equals: f1 / (Float64Array with: f2). + self assert: expectedResult equals: (Float64Array with: f1) / f2. + self assert: expectedResult equals: (Float64Array with: f1) / (Float64Array with: f2).! Item was added: + ----- Method: Float64ArrayTest>>testVectorOperations (in category 'tests') ----- + testVectorOperations + + "Test primtive cases 'receiver size = argument size'." + self assert: (Float64Array withAll: {2.0. 2.0}) equals: (Float64Array withAll: {4.0. 6.0}) / (Float64Array withAll: {2.0. 3.0}). + self assert: (Float64Array withAll: {8.0. 9.0}) equals: (Float64Array withAll: {4.0. 4.5}) * (Float64Array withAll: {2.0. 2.0}). + self assert: (Float64Array withAll: {6.0. 9.0}) equals: (Float64Array withAll: {4.0. 6.0}) + (Float64Array withAll: {2.0. 3.0}). + self assert: (Float64Array withAll: {2.0. 3.0}) equals: (Float64Array withAll: {4.0. 6.0}) - (Float64Array withAll: {2.0. 3.0}). + self assert: 26 equals: ((Float64Array withAll: {4.0. 6.0}) dot: (Float64Array withAll: {2.0. 3.0})). + + "Test corner cases where 'receiver size < argument size'." + self should: [(Float64Array withAll: {4.0. 6.0}) / (Float64Array withAll: {2.0. 3.0. 42.0})] raise: Error. + self should: [(Float64Array withAll: {4.0. 6.0}) * (Float64Array withAll: {2.0. 3.0. 42.0})] raise: Error. + self should: [(Float64Array withAll: {4.0. 6.0}) + (Float64Array withAll: {2.0. 3.0. 42.0})] raise: Error. + self should: [(Float64Array withAll: {4.0. 6.0}) - (Float64Array withAll: {2.0. 3.0. 42.0})] raise: Error. + self should: [(Float64Array withAll: {4.0. 6.0}) dot: (Float64Array withAll: {2.0. 3.0. 42.0})] raise: Error. + + "Test corner cases where 'receiver size > argument size'." + self should: [(Float64Array withAll: {4.0. 6.0. 42.0}) / (Float64Array withAll: {2.0. 3.0})] raise: Error. + self should: [(Float64Array withAll: {4.0. 6.0. 42.0}) * (Float64Array withAll: {2.0. 3.0})] raise: Error. + self should: [(Float64Array withAll: {4.0. 6.0. 42.0}) + (Float64Array withAll: {2.0. 3.0})] raise: Error. + self should: [(Float64Array withAll: {4.0. 6.0. 42.0}) - (Float64Array withAll: {2.0. 3.0})] raise: Error. + self should: [(Float64Array withAll: {4.0. 6.0. 42.0}) dot: (Float64Array withAll: {2.0. 3.0})] raise: Error. + + + + ! Item was added: + ----- Method: FloatArrayTest>>testThatDivideAvoidsUnecessaryOverflow (in category 'tests') ----- + testThatDivideAvoidsUnecessaryOverflow + | f1 expectedResult | + f1 := 1.0e-39. + expectedResult := Float64Array with: 1.0. + + "If any of these primitives inverse the dividend into a float, then it will overflow. + It will work though if using intermediate double." + self assert: expectedResult equals: f1 / (Float64Array with: f1). + self assert: expectedResult equals: (Float64Array with: f1) / f1. + self assert: expectedResult equals: (Float64Array with: f1) / (Float64Array with: f1).!

1 0

The Trunk: Collections-nice.890.mcz
by commits＠source.squeak.org 02 May '20

02 May '20

David T. Lewis uploaded a new version of Collections to project The Trunk: http://source.squeak.org/trunk/Collections-nice.890.mcz ==================== Summary ==================== Name: Collections-nice.890 Author: nice Time: 2 May 2020, 12:46:11.423176 am UUID: e7907bbc-eb45-4b41-b70a-f1290a10a4e4 Ancestors: Collections-mt.889 Introduce Float64Array. This will be fast once the Float64ArrayPlugin is delivered. =============== Diff against Collections-mt.889 =============== Item was added: + ArrayedCollection variableDoubleWordSubclass: #Float64Array + instanceVariableNames: '' + classVariableNames: '' + poolDictionaries: '' + category: 'Collections-Arrayed'! + + !Float64Array commentStamp: '<historical>' prior: 0! + Float64Arrays store 64bit IEEE floating point numbers.! Item was added: + ----- Method: Float64Array class>>fromFloatArray: (in category 'instance creation') ----- + fromFloatArray: aFloatArray + ^(self new: aFloatArray) copyFromFloatArray: aFloatArray! Item was added: + ----- Method: Float64Array>>* (in category 'arithmetic') ----- + * anObject + + ^self shallowCopy *= anObject! Item was added: + ----- Method: Float64Array>>*= (in category 'arithmetic') ----- + *= anObject + ^anObject isNumber + ifTrue:[self primMulScalar: anObject asFloat] + ifFalse:[self primMulArray: anObject]! Item was added: + ----- Method: Float64Array>>+ (in category 'arithmetic') ----- + + anObject + + ^self shallowCopy += anObject! Item was added: + ----- Method: Float64Array>>+= (in category 'arithmetic') ----- + += anObject + ^anObject isNumber + ifTrue:[self primAddScalar: anObject asFloat] + ifFalse:[self primAddArray: anObject]! Item was added: + ----- Method: Float64Array>>- (in category 'arithmetic') ----- + - anObject + + ^self shallowCopy -= anObject! Item was added: + ----- Method: Float64Array>>-= (in category 'arithmetic') ----- + -= anObject + ^anObject isNumber + ifTrue:[self primSubScalar: anObject asFloat] + ifFalse:[self primSubArray: anObject]! Item was added: + ----- Method: Float64Array>>/ (in category 'arithmetic') ----- + / anObject + + ^self shallowCopy /= anObject! Item was added: + ----- Method: Float64Array>>/= (in category 'arithmetic') ----- + /= anObject + ^anObject isNumber + ifTrue:[self primDivScalar: anObject asFloat] + ifFalse:[self primDivArray: anObject]! Item was added: + ----- Method: Float64Array>>= (in category 'comparing') ----- + = aFloat64Array + <primitive: 'primitiveEqual' module: 'Float64ArrayPlugin'> + ^super = aFloat64Array! Item was added: + ----- Method: Float64Array>>\\= (in category 'arithmetic') ----- + \\= other + + other isNumber ifTrue: [ + 1 to: self size do: [:i | + self at: i put: (self at: i) \\ other + ]. + ^ self. + ]. + 1 to: (self size min: other size) do: [:i | + self at: i put: (self at: i) \\ (other at: i). + ]. + + ! Item was added: + ----- Method: Float64Array>>adaptToNumber:andSend: (in category 'arithmetic') ----- + adaptToNumber: rcvr andSend: selector + "If I am involved in arithmetic with a Number. If possible, + convert it to a float and perform the (more efficient) primitive operation." + selector == #+ ifTrue:[^self + rcvr]. + selector == #* ifTrue:[^self * rcvr]. + selector == #- ifTrue:[^self negated += rcvr]. + selector == #/ ifTrue:[ + "DO NOT USE TRIVIAL CODE + ^self reciprocal * rcvr + BECAUSE OF GRADUAL UNDERFLOW + self should: (1.0e-39 / (Float64Array with: 1.0e-39)) first < 2." + ^(self class new: self size withAll: rcvr) / self + ]. + ^super adaptToNumber: rcvr andSend: selector! Item was added: + ----- Method: Float64Array>>asFloat64Array (in category 'converting') ----- + asFloat64Array + ^self! Item was added: + ----- Method: Float64Array>>asFloatArray (in category 'converting') ----- + asFloatArray + ^FloatArray fromFloat64Array: self! Item was added: + ----- Method: Float64Array>>at: (in category 'accessing') ----- + at: index + <primitive: 'primitiveAt' module: 'Float64ArrayPlugin'> + | f64 u64 | + u64 := self basicAt: index. + (f64 := Float basicNew) + basicAt: 1 put: (u64 >> 32); + basicAt: 2 put: (u64 bitAnd: 16rFFFFFFFF). + ^f64 * 1.0! Item was added: + ----- Method: Float64Array>>at:put: (in category 'accessing') ----- + at: index put: value + <primitive: 'primitiveAtPut' module: 'Float64ArrayPlugin'> + value isFloat + ifTrue:[self basicAt: index put: (value basicAt: 1) << 32 + (value basicAt: 2)] + ifFalse:[self at: index put: value asFloat]. + ^value! Item was added: + ----- Method: Float64Array>>copyFromFloatArray: (in category 'initialize-release') ----- + copyFromFloatArray: aFloatArray + "Destructively replace the elements of self with those of aFloatArray" + <primitive: 'primitiveFromFloatArray' module: 'Float64ArrayPlugin'> + self isOfSameSizeCheck: aFloatArray. + 1 to: self size do:[:i| self at: i put: (aFloatArray at: i)].! Item was added: + ----- Method: Float64Array>>defaultElement (in category 'accessing') ----- + defaultElement + "Return the default element of the receiver" + ^0.0! Item was added: + ----- Method: Float64Array>>dot: (in category 'arithmetic') ----- + dot: aFloatVector + "Primitive. Return the dot product of the receiver and the argument. + Fail if the argument is not of the same size as the receiver." + + | result | + <primitive: 'primitiveDotProduct' module: 'Float64ArrayPlugin'> + self size = aFloatVector size ifFalse:[^self error:'Must be equal size']. + result := 0.0. + 1 to: self size do:[:i| + result := result + ((self at: i) * (aFloatVector at: i)). + ]. + ^result! Item was added: + ----- Method: Float64Array>>hash (in category 'comparing') ----- + hash + | result | + <primitive:'primitiveHashArray' module: 'Float64ArrayPlugin'> + result := 0. + 1 to: self size do:[:i| result := result + (self basicAt: i) ]. + ^result bitAnd: 16r1FFFFFFF! Item was added: + ----- Method: Float64Array>>length (in category 'accessing') ----- + length + "Return the length of the receiver" + ^self squaredLength sqrt! Item was added: + ----- Method: Float64Array>>negated (in category 'arithmetic') ----- + negated + + ^self shallowCopy *= -1! Item was added: + ----- Method: Float64Array>>normalize (in category 'arithmetic') ----- + normalize + "Unsafely normalize the receiver in-place (become a unit vector). + Div-by-Zero raised if len 0." + <primitive: 'primitiveNormalize' module: 'Float64ArrayPlugin'> + self /= self length.! Item was added: + ----- Method: Float64Array>>primAddArray: (in category 'primitives-plugin') ----- + primAddArray: floatArray + + <primitive: 'primitiveAddFloat64Array' module: 'Float64ArrayPlugin'> + self isOfSameSizeCheck: floatArray. + 1 to: self size do:[:i| self at: i put: (self at: i) + (floatArray at: i)].! Item was added: + ----- Method: Float64Array>>primAddScalar: (in category 'primitives-plugin') ----- + primAddScalar: scalarValue + + <primitive: 'primitiveAddScalar' module: 'Float64ArrayPlugin'> + 1 to: self size do:[:i| self at: i put: (self at: i) + scalarValue].! Item was added: + ----- Method: Float64Array>>primDivArray: (in category 'primitives-plugin') ----- + primDivArray: floatArray + + <primitive: 'primitiveDivFloat64Array' module: 'Float64ArrayPlugin'> + self isOfSameSizeCheck: floatArray. + 1 to: self size do:[:i| self at: i put: (self at: i) / (floatArray at: i)].! Item was added: + ----- Method: Float64Array>>primDivScalar: (in category 'primitives-plugin') ----- + primDivScalar: scalarValue + + <primitive: 'primitiveDivScalar' module: 'Float64ArrayPlugin'> + 1 to: self size do:[:i| self at: i put: (self at: i) / scalarValue].! Item was added: + ----- Method: Float64Array>>primMulArray: (in category 'primitives-plugin') ----- + primMulArray: floatArray + + <primitive: 'primitiveMulFloat64Array' module: 'Float64ArrayPlugin'> + self isOfSameSizeCheck: floatArray. + 1 to: self size do:[:i| self at: i put: (self at: i) * (floatArray at: i)].! Item was added: + ----- Method: Float64Array>>primMulScalar: (in category 'primitives-plugin') ----- + primMulScalar: scalarValue + + <primitive: 'primitiveMulScalar' module: 'Float64ArrayPlugin'> + 1 to: self size do:[:i| self at: i put: (self at: i) * scalarValue].! Item was added: + ----- Method: Float64Array>>primSubArray: (in category 'primitives-plugin') ----- + primSubArray: floatArray + + <primitive: 'primitiveSubFloat64Array' module: 'Float64ArrayPlugin'> + self isOfSameSizeCheck: floatArray. + 1 to: self size do:[:i| self at: i put: (self at: i) - (floatArray at: i)].! Item was added: + ----- Method: Float64Array>>primSubScalar: (in category 'primitives-plugin') ----- + primSubScalar: scalarValue + + <primitive: 'primitiveSubScalar' module: 'Float64ArrayPlugin'> + 1 to: self size do:[:i| self at: i put: (self at: i) - scalarValue].! Item was added: + ----- Method: Float64Array>>replaceFrom:to:with:startingAt: (in category 'private') ----- + replaceFrom: start to: stop with: replacement startingAt: repStart + "Primitive. This destructively replaces elements from start to stop in the receiver starting at index, repStart, in the collection, replacement. Answer the receiver. Range checks are performed in the primitive only. Optional. See Object documentation whatIsAPrimitive." + <primitive: 105> + super replaceFrom: start to: stop with: replacement startingAt: repStart! Item was added: + ----- Method: Float64Array>>squaredLength (in category 'accessing') ----- + squaredLength + "Return the squared length of the receiver" + ^self dot: self! Item was added: + ----- Method: Float64Array>>sum (in category 'primitives-plugin') ----- + sum + + <primitive: 'primitiveSum' module: 'Float64ArrayPlugin'> + ^ super sum! Item was added: + ----- Method: FloatArray class>>fromFloat64Array: (in category 'instance creation') ----- + fromFloat64Array: aFloat64Array + ^(self new: aFloat64Array) copyFromFloat64Array: aFloat64Array! Item was added: + ----- Method: FloatArray>>asFloat64Array (in category 'converting') ----- + asFloat64Array + ^Float64Array fromFloatArray: self! Item was added: + ----- Method: FloatArray>>copyFromFloat64Array: (in category 'initialize-release') ----- + copyFromFloat64Array: aFloat64Array + "Destructively replace the elements of self with those of aFloat64Array" + <primitive: 'primitiveFromFloat64Array' module: 'Float64ArrayPlugin'> + self isOfSameSizeCheck: aFloat64Array. + 1 to: self size do:[:i| self at: i put: (aFloat64Array at: i)].! Item was added: + ----- Method: Matrix>>asFloat64Array (in category 'converting') ----- + asFloat64Array + ^contents asFloat64Array! Item was added: + ----- Method: SequenceableCollection>>asFloatA64rray (in category 'converting') ----- + asFloatA64rray + "Answer a Float64Array whose elements are the elements of the receiver, in + the same order." + + | floatArray | + floatArray := Float64Array new: self size. + 1 to: self size do:[:i| floatArray at: i put: (self at: i) asFloat ]. + ^floatArray!

1 0

The Trunk: Kernel-eem.1325.mcz
by commits＠source.squeak.org 01 May '20

01 May '20

Eliot Miranda uploaded a new version of Kernel to project The Trunk: http://source.squeak.org/trunk/Kernel-eem.1325.mcz ==================== Summary ==================== Name: Kernel-eem.1325 Author: eem Time: 1 May 2020, 10:38:26.143286 am UUID: fdfc5299-b643-4879-a7ca-716d825f6988 Ancestors: Kernel-eem.1324 Minor clean-up from the last commit. We don't really need compiledBlock[:], so do without. =============== Diff against Kernel-eem.1324 =============== Item was changed: ----- Method: FullBlockClosure>>= (in category 'comparing') ----- = aClosure self == aClosure ifTrue: [^true]. aClosure class == self class ifFalse: [^false]. + ^startpcOrMethod = aClosure method + and: [outerContext = aClosure outerContext or: [self isClean]]! - startpcOrMethod = aClosure compiledBlock ifFalse: [^false]. - ^outerContext = aClosure outerContext or: [self isClean]! Item was removed: - ----- Method: FullBlockClosure>>compiledBlock (in category 'accessing') ----- - compiledBlock - "To be able to inherit from BlockClosure" - ^ startpcOrMethod! Item was removed: - ----- Method: FullBlockClosure>>compiledBlock: (in category 'accessing') ----- - compiledBlock: aCompiledBlock - "To be able to inherit from BlockClosure" - startpcOrMethod := aCompiledBlock!

1 0

The Trunk: Kernel-eem.1324.mcz
by commits＠source.squeak.org 01 May '20

01 May '20

Eliot Miranda uploaded a new version of Kernel to project The Trunk: http://source.squeak.org/trunk/Kernel-eem.1324.mcz ==================== Summary ==================== Name: Kernel-eem.1324 Author: eem Time: 1 May 2020, 10:26:11.511925 am UUID: cd934a41-effd-45b7-8216-5ae56ae92687 Ancestors: Kernel-eem.1323 Rename BlockClosure's startpc inst var to startpcOrMethod, to reduce confusion in FullBlockClosure. In FullBlockClosure replace sends of self compiledBlock with startpcOrMethod. Simplify FullBlockClosure>>#=. =============== Diff against Kernel-eem.1323 =============== Item was added: + (PackageInfo named: 'Kernel') preamble: '"below, add code to be run before the loading of this package" + BlockClosure instVarNames at: 2 put: ''startpcOrMethod'''! Item was changed: Object variableSubclass: #BlockClosure + instanceVariableNames: 'outerContext startpcOrMethod numArgs' - instanceVariableNames: 'outerContext startpc numArgs' classVariableNames: '' poolDictionaries: '' category: 'Kernel-Methods'! + !BlockClosure commentStamp: 'eem 5/1/2020 10:04' prior: 0! + Instances of BlockClosure represent blocks, a sequence of statements inside square brackets that can be evaluated at any time via one of the value messages (value, value:, value:value:, ... valueWithArguments:), which answer their last statement. Blocks therefore allow deferred evaluation and so are used to build control structures where a sequence of statements are evaluated or not depending on other values in the program. - !BlockClosure commentStamp: 'eem 4/10/2017 11:17' prior: 0! - Instances of BlockClosure represent blocks, a sequence of statements inside square brackets that can be evaluated at any time via one of the value messages (value, value:, value:value:, ... valueWithArguments:), which answer their last statement. Blocks therefore allow deferred evaluation and so are used to buikld control structures where a sequence of statements are evaluated or not depending on other values in the program. + Blocks can close over variables in their enclosing method or block. The method in which a block is nested is called its home method. Blocks can return from their home method via an up-arrow return, and return to the sender of the message that created the home method, just like a return from the method itself. BlockClosures are fully first-class objects; they can outlive their enclosing method activation and be answered as results and/or assigned to variables. - Blocks can close over variables in their enclosing method or block. The method in which a block is nested is called its home method. Blocks can return from their home method via an up-arrow return, and returns to the sender of the message that created the home method, just like a return from the method itself. BlockClosures are fully first-class objects; they can outlive their enclosing method activation and be answered as results and/or assigned to variables. + BlockClosures are central to the implementation of control structures in Smalltalk. The arguments to the conditional message ifTrue:ifFalse: are zero-argument blocks; the receiver of ifTrue:ifFalse: is a boolean which responds by evaluating ether the first argument or the second. The bytecode compiler inlines blocks for certain selectors, compiling to conditional branch and branch bytecodes. This is done for efficiency. The full list of inlined messages can be found in MessageNode's MacroSelectors class variable (at time of writing ther=se are ifTrue:, ifFalse:, ifTrue:ifFalse:, ifFalse:ifTrue:, and:, or:, whileFalse:, whileTrue:, whileFalse, whileTrue, to:do:, to:by:do:, caseOf:, caseOf:otherwise:, ifNil:, ifNotNil:, ifNil:ifNotNil:, ifNotNil:ifNil: and repeat. - BlockClosures are central to the implementation of control structures in Smalltalk. The arguments to the conditional message ifTrue:ifFalse: are zero-argument blocks, which the receiver is a boolean which responds by evaluating ether the first argument or the second. The bytecode compiler inlines blocks for certain selectors, compiling to conditional branch and branch bytecodes. This is done for efficiency. The full list of inlined messages can be found in MessageNode's MacroSelectors class variable (at time of writing ther=se are ifTrue:, ifFalse:, ifTrue:ifFalse:, ifFalse:ifTrue:, and:, or:, whileFalse:, whileTrue:, whileFalse, whileTrue, to:do:, to:by:do:, caseOf:, caseOf:otherwise:, ifNil:, ifNotNil:, ifNil:ifNotNil:, ifNotNil:ifNil: and repeat. Examples (more can be found in BlockClosureTest's class comment): [1@2] value | counter | counter := 0. { counter. (1 to: 10) collect: [:n| counter := counter + 1. n + counter]. counter } | fibonacciBlock | fibonacciBlock := [:n| n > 1 ifTrue: [(fibonacciBlock value: n - 1) + (fibonacciBlock value: n - 2)] ifFalse: [1]]. (1 to: 10) collect: fibonacciBlock | randomNumbers | randomNumbers := Random new next: 20. { randomNumbers. randomNumbers sorted: [:a :b| a > b] } Implementation: BlockClosure implements blocks that are nested within an enclosing method or block context. Further, the bytecodes for the block are embedded within the home method. BlockClosure's subclass FullBlockClosure has an independent CompiledBlock as its method, and may or may not have an outerContext. Instance Variables + numArgs: <Integer> + outerContext: <Context> + startpcOrMethod: <Integer|CompiledBlock> - numArgs: <Integer> - outerContext: <Context> - startpc: <Integer> numArgs - the number of arguments the block expects outerContext - the Context of the method or block activation in which the receiver is created + startpcOrMethod + - in BlockClosure this is the pc of the first bytecode of the block. Its bytecodes are embedded in the bytecodes of the home method. In FullBlockClosure this is the block's method.! - startpc - - the startpc of the block's bytecodes within the home method.! Item was changed: ----- Method: BlockClosure>>abstractBytecodeMessagesDo: (in category 'scanning') ----- abstractBytecodeMessagesDo: aBlock "Evaluate aBlock with the sequence of abstract bytecodes in the receiver." self method + abstractBytecodeMessagesFrom: startpcOrMethod - abstractBytecodeMessagesFrom: startpc to: self endPC do: aBlock "| msgs | msgs := OrderedCollection new. (SortedCollection sortBlock: [:a :b| a compare: b caseSensitive: false]) sortBlock abstractBytecodeMessagesDo: [:msg| msgs add: msg selector]. msgs"! Item was changed: ----- Method: BlockClosure>>asContextWithSender: (in category 'private') ----- asContextWithSender: aContext "Inner private support method for evaluation. Do not use unless you know what you're doing." ^(Context newForMethod: outerContext method) setSender: aContext receiver: outerContext receiver method: outerContext method closure: self + startpc: startpcOrMethod; - startpc: startpc; privRefresh! Item was changed: ----- Method: BlockClosure>>blockCreationPC (in category 'scanning') ----- blockCreationPC "Answer the pc for the bytecode that created the receiver." | method | method := self method. ^method encoderClass + pcOfBlockCreationBytecodeForBlockStartingAt: startpcOrMethod - pcOfBlockCreationBytecodeForBlockStartingAt: startpc in: method! Item was changed: ----- Method: BlockClosure>>endPC (in category 'accessing') ----- endPC + ^self blockCreationBytecodeMessage arguments last + startpcOrMethod - 1! - ^self blockCreationBytecodeMessage arguments last + startpc - 1! Item was changed: ----- Method: BlockClosure>>hasMethodReturn (in category 'testing') ----- hasMethodReturn "Answer whether the receiver has a method-return ('^') in its code." | scanner endpc | + scanner := InstructionStream new method: outerContext method pc: startpcOrMethod. - scanner := InstructionStream new method: outerContext method pc: startpc. endpc := self endPC. scanner scanFor: [:byte | (byte between: 120 and: 124) or: [scanner pc > endpc]]. ^scanner pc <= endpc! Item was changed: ----- Method: BlockClosure>>hash (in category 'comparing') ----- hash + ^(self method hash + startpcOrMethod hash) hashMultiply! - ^(self method hash + startpc hash) hashMultiply! Item was changed: ----- Method: BlockClosure>>numTemps (in category 'accessing') ----- numTemps "Answer the number of temporaries for the receiver; this includes the number of arguments and the number of copied values." ^self numCopiedValues + self numArgs + (BlockLocalTempCounter + tempCountForBlockStartingAt: startpcOrMethod - tempCountForBlockStartingAt: startpc in: self method)! Item was changed: ----- Method: BlockClosure>>once (in category 'evaluating') ----- once "Evaluate the receiver exactly once, so that repeated evaluations answer exactly the same object as the first evaluation. This allows one to intern values with the idiom myResourceMethod ^[expression] once" | cache | cache := self method propertyValueAt: #onceCache ifAbsent: [self method propertyValueAt: #onceCache put: Dictionary new]. + ^cache at: startpcOrMethod ifAbsentPut: [self value]! - ^cache at: startpc ifAbsentPut: [self value]! Item was changed: ----- Method: BlockClosure>>outerContext:startpc:numArgs:copiedValues: (in category 'initialize-release') ----- outerContext: aContext startpc: aStartpc numArgs: argCount copiedValues: anArrayOrNil outerContext := aContext. + startpcOrMethod := aStartpc. - startpc := aStartpc. numArgs := argCount. 1 to: self numCopiedValues do: [:i| self at: i put: (anArrayOrNil at: i)]! Item was changed: ----- Method: BlockClosure>>simulateValueWithArguments:caller: (in category 'system simulation') ----- simulateValueWithArguments: anArray caller: aContext "Simulate the valueWithArguments: primitive. Fail if anArray is not an array of the right arity." | newContext sz | newContext := (Context newForMethod: outerContext method) setSender: aContext receiver: outerContext receiver method: outerContext method closure: self + startpc: startpcOrMethod. - startpc: startpc. ((newContext objectClass: anArray) ~~ Array or: [numArgs ~= anArray size]) ifTrue: [^Context primitiveFailTokenFor: nil]. sz := self basicSize. newContext stackp: sz + numArgs. 1 to: numArgs do: [:i| newContext at: i put: (anArray at: i)]. 1 to: sz do: [:i| newContext at: i + numArgs put: (self at: i)]. ^newContext! Item was changed: ----- Method: BlockClosure>>startpc (in category 'accessing') ----- startpc + ^startpcOrMethod! - ^startpc! Item was changed: BlockClosure variableSubclass: #FullBlockClosure instanceVariableNames: 'receiver' classVariableNames: '' poolDictionaries: '' category: 'Kernel-Methods'! + !FullBlockClosure commentStamp: 'eem 5/1/2020 10:24' prior: 0! - !FullBlockClosure commentStamp: 'ct 2/14/2020 15:56' prior: 0! Instances of FullBlockClosure represent blocks, a sequence of statements inside square brackets that can be evaluated at any time via one of the value messages (value, value:, value:value:, ..., valueWithArguments:), which answer their last statement. Blocks therefore allow deferred evaluation and so are used to build control structures where a sequence of statements are evaluated or not depending on other values in the program. FullBlockClosure is a refinement of BlockClosure that allows the block to use its own method to hold its code instead of embedding that code within its home method. - Implementation notes: - - A FullBlockClosure is a closure that can be independent of any outerContext if desired. It has its own method (currently reusing the startpc inst var) and its own receiver. outerContext can be either a Context or nil. - - This closure design, implemented by Eliot Miranda and Clement Bera along with the sista work, aims to simplify the block closure model while enhacing its capabilities. It allows lazy decompilation of closures and fast machine code dispatch in Cog's JIT, while allowing inlining of methods and blocks to be independent from their enclosing blocks. - - At closure creation time, the bytecode specifies: - - the compiledBlock to execute when executing this block's code (in the literal frame) - - if the receiver is the current receiver or a receiver passed on stack before the copied values. - - if the closure needs an outerContext. outerContexts are used for non local returns and debugging. Blocks with non local returns have to set their outerContext. For other blocks (97% of blocks), it's a trade-off between performance and debuggability. - Instance Variables (inherited) + numArgs <SmallInteger> + outerContext: <Context|nil> + startpcOrMethod <CompiledBlock> - numArgs <SmallInteger> - outerContext: <Context|nil> - compiledBlock(startpc) <CompiledBlock> Instance Variables + receiver: <Object> - receiver: <Object> numArgs - the number of arguments the block expects. This is superfluous; the number of arguments can be obtained from the receiver's compiledBlock. outerContext - the Context of the method or block activation in which the receiver is created. + compiledBlock(startpcOrMethod) - compiledBlock(startpc) - reused to refer to the CompiledBlock that implements the receiver's code. receiver + - the receiver of the message that created the block's home method activation. + + + Implementation notes: + + A FullBlockClosure is a closure that can be independent of any outerContext if desired. It has its own method (reusing the startpcOrMethod inst var) and its own receiver. outerContext can be either a Context or nil. + + This closure design, implemented by Eliot Miranda and Clement Bera along with the Sista work, aims to simplify the block closure model while enhacing its capabilities. It allows lazy decompilation of closures and fast machine code dispatch in Cog's JIT, while allowing inlining of methods and blocks to be independent from their enclosing blocks. + + At closure creation time, the Sista closure creation bytecode specifies: + - the compiledBlock to execute when executing this block's code (in the literal frame) + - if the receiver is the current receiver or a receiver passed on stack before the copied values. + - if the closure needs an outerContext. outerContexts are used for non local returns and debugging. Blocks with non-local (up arrow) returns have to set their outerContext. For other blocks (97% of blocks), it's a trade-off between performance and debuggability.! - - the receiver of the message that created the block's home method activation.! Item was changed: ----- Method: FullBlockClosure>>= (in category 'comparing') ----- = aClosure self == aClosure ifTrue: [^true]. + aClosure class == self class ifFalse: [^false]. + startpcOrMethod = aClosure compiledBlock ifFalse: [^false]. + ^outerContext = aClosure outerContext or: [self isClean]! - aClosure class = self class ifFalse: [^false]. - (self method == aClosure method and: [self compiledBlock = aClosure compiledBlock and: [self isClean]]) - ifTrue: [^true]. - ^outerContext = aClosure outerContext and: [self compiledBlock = aClosure compiledBlock]! Item was changed: ----- Method: FullBlockClosure>>abstractBytecodeMessagesDo: (in category 'scanning') ----- abstractBytecodeMessagesDo: aBlock + ^startpcOrMethod abstractBytecodeMessagesDo: aBlock! - ^ self compiledBlock abstractBytecodeMessagesDo: aBlock! Item was changed: ----- Method: FullBlockClosure>>asContextWithSender: (in category 'private') ----- asContextWithSender: aContext "Inner private support method for evaluation. Do not use unless you know what you're doing." + ^(Context newForMethod: startpcOrMethod) - ^(Context newForMethod: self compiledBlock) setSender: aContext receiver: self receiver + method: startpcOrMethod - method: self compiledBlock closure: self + startpc: startpcOrMethod initialPC; - startpc: self startpc; privRefresh! Item was added: + ----- Method: FullBlockClosure>>blockCreationPC (in category 'scanning') ----- + blockCreationPC + self shouldNotImplement! Item was changed: ----- Method: FullBlockClosure>>compiledBlock (in category 'accessing') ----- compiledBlock "To be able to inherit from BlockClosure" + ^ startpcOrMethod! - ^ startpc! Item was changed: ----- Method: FullBlockClosure>>compiledBlock: (in category 'accessing') ----- + compiledBlock: aCompiledBlock - compiledBlock: aCompiledMethod "To be able to inherit from BlockClosure" + startpcOrMethod := aCompiledBlock! - startpc := aCompiledMethod! Item was changed: ----- Method: FullBlockClosure>>endPC (in category 'accessing') ----- endPC + ^startpcOrMethod endPC! - ^ self compiledBlock endPC! Item was changed: ----- Method: FullBlockClosure>>hasMethodReturn (in category 'scanning') ----- hasMethodReturn "Answer whether the receiver has a method-return ('^') in its code." + ^startpcOrMethod hasMethodReturn! - ^ self compiledBlock hasMethodReturn! Item was changed: ----- Method: FullBlockClosure>>homeMethod (in category 'accessing') ----- homeMethod + ^startpcOrMethod homeMethod! - ^self compiledBlock homeMethod! Item was changed: ----- Method: FullBlockClosure>>method (in category 'accessing') ----- method + ^startpcOrMethod! - ^ self compiledBlock! Item was changed: ----- Method: FullBlockClosure>>numTemps (in category 'accessing') ----- numTemps + ^startpcOrMethod numTemps! - ^ self compiledBlock numTemps! Item was changed: ----- Method: FullBlockClosure>>receiver:outerContext:method:copiedValues: (in category 'initialize-release') ----- receiver: aReceiver outerContext: aContextOrNil method: aCompiledBlock copiedValues: anArrayOrNil receiver := aReceiver. outerContext := aContextOrNil. + startpcOrMethod := aCompiledBlock. - startpc := aCompiledBlock. numArgs := aCompiledBlock numArgs. 1 to: self numCopiedValues do: [:i| self at: i put: (anArrayOrNil at: i)]! Item was changed: ----- Method: FullBlockClosure>>simulateValueWithArguments:caller: (in category 'simulation') ----- simulateValueWithArguments: anArray caller: aContext "Simulate the valueWithArguments: primitive. Fail if anArray is not an array of the right arity." | newContext | + newContext := (Context newForMethod: startpcOrMethod) - newContext := (Context newForMethod: self compiledBlock) setSender: aContext receiver: receiver + method: startpcOrMethod - method: self compiledBlock closure: self + startpc: startpcOrMethod initialPC. - startpc: self compiledBlock initialPC. ((newContext objectClass: anArray) ~~ Array or: [numArgs ~= anArray size]) ifTrue: [^Context primitiveFailTokenFor: nil]. + newContext stackp: startpcOrMethod numTemps. - newContext stackp: self compiledBlock numTemps. 1 to: numArgs do: [:i| newContext at: i put: (anArray at: i)]. 1 to: self basicSize do: [:i| newContext at: i + numArgs put: (self at: i)]. ^newContext! Item was changed: ----- Method: FullBlockClosure>>size (in category 'accessing') ----- size "Answer closure's bytecode size (number of bytes) by accessing the closure's method." + ^startpcOrMethod endPC - startpcOrMethod initialPC + 1! - ^self compiledBlock endPC - self compiledBlock initialPC + 1! Item was changed: ----- Method: FullBlockClosure>>startpc (in category 'accessing') ----- startpc + ^startpcOrMethod initialPC! - ^ self compiledBlock initialPC!

1 0

The Trunk: Monticello-eem.717.mcz
by commits＠source.squeak.org 01 May '20

01 May '20

Eliot Miranda uploaded a new version of Monticello to project The Trunk: http://source.squeak.org/trunk/Monticello-eem.717.mcz ==================== Summary ==================== Name: Monticello-eem.717 Author: eem Time: 10 March 2020, 4:08:29.610546 pm UUID: b9e3f028-0530-472b-8122-a356375f2d4a Ancestors: Monticello-nice.716 Sort repositories in the Monticello browser, useful if, as in a VMMaker image with Squeak trunk github support included, one has nearly 40 repositories. =============== Diff against Monticello-nice.716 =============== Item was changed: ----- Method: MCWorkingCopyBrowser>>repositories (in category 'morphic ui') ----- repositories + | repositories | + repositories := self repositoryGroup repositories. + ^{repositories first}, (repositories allButFirst sort: [:r1 :r2| r1 description < r2 description])! - ^ self repositoryGroup repositories!

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

Packages May 2020