Packages June 2020

packages@lists.squeakfoundation.org

1 participants
151 discussions

The Trunk: Tools-tpr.980.mcz
by commits＠source.squeak.org 23 Jun '20

23 Jun '20

tim Rowledge uploaded a new version of Tools to project The Trunk: http://source.squeak.org/trunk/Tools-tpr.980.mcz ==================== Summary ==================== Name: Tools-tpr.980 Author: tpr Time: 22 June 2020, 4:16:05.370387 pm UUID: 4c6aada6-083b-4437-8a81-ba7374a8decd Ancestors: Tools-mt.979 Sort file directory names alphanum-no-case =============== Diff against Tools-mt.979 =============== Item was changed: ----- Method: FileList>>subDirectoriesOf: (in category 'directory tree') ----- subDirectoriesOf: aDirectory + "provide a list of subdirectory names sorted alphnum-no-case" + + ^(aDirectory directoryNames sorted: [:a :b| (a compare: b) <= 2]) collect:[:each| aDirectory directoryNamed: each].! - ^aDirectory directoryNames collect:[:each| aDirectory directoryNamed: each].!

1 0

The Trunk: ToolBuilder-Morphic-tpr.261.mcz
by commits＠source.squeak.org 23 Jun '20

23 Jun '20

tim Rowledge uploaded a new version of ToolBuilder-Morphic to project The Trunk: http://source.squeak.org/trunk/ToolBuilder-Morphic-tpr.261.mcz ==================== Summary ==================== Name: ToolBuilder-Morphic-tpr.261 Author: tpr Time: 22 June 2020, 4:15:34.437972 pm UUID: 51fb6e4b-7b53-4169-9a27-3e925a21b476 Ancestors: ToolBuilder-Morphic-mt.260 Sort file directory names alphanum-no-case =============== Diff against ToolBuilder-Morphic-mt.260 =============== Item was changed: ----- Method: FileAbstractSelectionDialog>>subDirectoriesOf: (in category 'directory tree') ----- subDirectoriesOf: aDirectory + "provide a list of subdirectory names sorted alphnum-no-case" + + ^(aDirectory directoryNames sorted: [:a :b| (a compare: b) <= 2]) collect:[:each| aDirectory directoryNamed: each].! - ^aDirectory directoryNames sorted collect:[:each| aDirectory directoryNamed: each].!

1 0

The Trunk: EToys-kfr.397.mcz
by commits＠source.squeak.org 22 Jun '20

22 Jun '20

Karl Ramberg uploaded a new version of EToys to project The Trunk: http://source.squeak.org/trunk/EToys-kfr.397.mcz ==================== Summary ==================== Name: EToys-kfr.397 Author: kfr Time: 22 June 2020, 8:40:19.467476 pm UUID: 2463ba1d-f257-2544-8422-43d46a0f96b7 Ancestors: EToys-mt.396 Fix for score in SameGame that would underflow 0. Line breaks for help text is broken, make workaround. =============== Diff against EToys-mt.396 =============== Item was changed: ----- Method: SameGame>>help: (in category 'actions') ----- help: helpState helpState + ifTrue: [helpText := self helpText. + "Text layout is broken, so add text and apply #spaceFill to make line breaks work" + self addMorphBack: helpText. + helpText textMorph hResizing: #spaceFill] - ifTrue: [self addMorphBack: self helpText] ifFalse: [helpText delete]! Item was changed: ----- Method: SameGame>>selection (in category 'actions') ----- selection "a selection was made on the board; get its count and update the displays" | count score | count := self board selectionCount. count = 0 ifTrue: [score := scoreDisplay value + (selectionDisplay value - 2) squared. board findSelection ifNil: [count := board tilesRemaining. score := count = 0 ifTrue: [score + (5 * board rows * board columns)] + ifFalse: [score - count max:0]. - ifFalse: [score - count]. scoreDisplay flash: true]. scoreDisplay value: score]. selectionDisplay value: count!

1 0

The Trunk: WebClient-Tests-ul.60.mcz
by commits＠source.squeak.org 21 Jun '20

21 Jun '20

Levente Uzonyi uploaded a new version of WebClient-Tests to project The Trunk: http://source.squeak.org/trunk/WebClient-Tests-ul.60.mcz ==================== Summary ==================== Name: WebClient-Tests-ul.60 Author: ul Time: 21 June 2020, 10:41:01.553461 pm UUID: f295c74c-8e63-487d-aa28-db2210c9b776 Ancestors: WebClient-Tests-nice.59 - added WebMessageTest with test cases covering WebMessage >> #streamDirectlyFrom: to: size: progress: =============== Diff against WebClient-Tests-nice.59 =============== Item was added: + TestCase subclass: #WebMessageTest + instanceVariableNames: '' + classVariableNames: '' + poolDictionaries: '' + category: 'WebClient-Tests'! Item was added: + ----- Method: WebMessageTest>>testStreamDirectlyFromToSizeProgressWhenSizeIsNotSpecified (in category 'tests') ----- + testStreamDirectlyFromToSizeProgressWhenSizeIsNotSpecified + + | message | + message := WebMessage new. + { + ByteArray. #yourself. + ByteString. #asString + } groupsDo: [ :bufferClass :byteArrayToBufferClassConverterSelector | + | maxSize source destination progressData totalRead | + maxSize := 10000. "Should be greater than the buffer size used by #streamDirectlyFrom:to:size:progress:" + source := ((ByteArray new: maxSize streamContents: [ :stream | + 1 to: maxSize do: [ :i | stream nextPut: (i bitAnd: 16rFF) ] ]) perform: byteArrayToBufferClassConverterSelector) readStream. + destination := (bufferClass new: maxSize) writeStream. + progressData := OrderedCollection new. + 0 to: maxSize do: [ :bytesToStream | + totalRead := 0. + source position: maxSize - bytesToStream. + destination originalContents from: 1 to: destination position put: (bufferClass == ByteArray ifTrue: [ 0 ] ifFalse: [ Character value: 0 ]). + destination resetToStart. + progressData reset. + message + streamDirectlyFrom: source + to: destination + size: nil + progress: [ :size :bytesRead | + self assert: nil equals: size description: 'Progress block''s first argument should be the requested size - in this case nil'. + progressData add: bytesRead ]. + bytesToStream > 0 + ifTrue: [ + self assert: progressData notEmpty description: 'Missing progress data.'. + self assert: 0 equals: progressData first description: 'First progress data should report 0 size.'. + self assert: bytesToStream equals: progressData last description: 'Last progress data should be the number of bytes streamed'. + self assert: progressData isSorted description: 'Progress data should be monotonic' ] + ifFalse: [ + self assert: (progressData isEmpty or: [ progressData size = 1 and: [ progressData first = 0 ] ]) description: 'Unexpected progress data' ]. + self assert: bytesToStream equals: destination position description: 'All bytes should be streamed'. + 1 to: bytesToStream do: [ :i | + (destination originalContents at: i) = (source originalContents at: maxSize - bytesToStream + i) ifFalse: [ "This comparison is the same as the next assertion but it's significantly cheaper." + self assert: (source originalContents at: maxSize - bytesToStream + i) equals: (destination originalContents at: i) description: 'Copied data doesn''t match source.' ] ] ] ]! Item was added: + ----- Method: WebMessageTest>>testStreamDirectlyFromToSizeProgressWhenSizeIsSpecified (in category 'tests') ----- + testStreamDirectlyFromToSizeProgressWhenSizeIsSpecified + <timeout: 20> + + | message | + message := WebMessage new. + { + ByteArray. #yourself. + ByteString. #asString + } groupsDo: [ :bufferClass :byteArrayToBufferClassConverterSelector | + | maxSize source destination progressData totalRead | + maxSize := 10000. "Should be greater than the buffer size used by #streamDirectlyFrom:to:size:progress:" + source := ((ByteArray new: maxSize streamContents: [ :stream | + 1 to: maxSize do: [ :i | stream nextPut: (i bitAnd: 16rFF) ] ]) perform: byteArrayToBufferClassConverterSelector) readStream. + destination := (bufferClass new: maxSize) writeStream. + progressData := OrderedCollection new. + 0 to: maxSize + 1 do: [ :bytesToStream | + totalRead := 0. + source reset. + destination resetToStart. + destination originalContents from: 1 to: destination position put: (bufferClass == ByteArray ifTrue: [ 0 ] ifFalse: [ Character value: 0 ]). + progressData reset. + message + streamDirectlyFrom: source + to: destination + size: bytesToStream + progress: [ :size :bytesRead | + self assert: bytesToStream equals: size description: 'Progress block''s first argument should be the requested size'. + progressData add: bytesRead ]. + bytesToStream > 0 + ifTrue: [ + self assert: 0 equals: progressData first description: 'First progress data should report 0 size.'. + self assert: (bytesToStream min: maxSize) equals: progressData last description: 'Last progress data should be the minimum of the number of bytes available and the number of bytes requested'. + self assert: progressData isSorted description: 'Progress data should be monotonic' ] + ifFalse: [ + self assert: (progressData isEmpty or: [ progressData size = 1 and: [ progressData first = 0 ] ]) ]. + self assert: (bytesToStream min: maxSize) equals: destination position description: 'Last progress data should be the number of bytes read'. + 1 to: destination position do: [ :i | + (destination originalContents at: i) = (source originalContents at: i) ifFalse: [ "This comparison is the same as the next assertion but it's significantly cheaper." + self assert: (source originalContents at: maxSize - bytesToStream + i) equals: (destination originalContents at: i) description: 'Copied data doesn''t match source.' ] ] ] ]!

1 0

FFI: FFI-Kernel-nice.118.mcz
by commits＠source.squeak.org 21 Jun '20

21 Jun '20

Nicolas Cellier uploaded a new version of FFI-Kernel to project FFI: http://source.squeak.org/FFI/FFI-Kernel-nice.118.mcz ==================== Summary ==================== Name: FFI-Kernel-nice.118 Author: nice Time: 21 June 2020, 1:20:34.369348 pm UUID: a8c48997-991d-4e32-9b67-6d93fc0dabe0 Ancestors: FFI-Kernel-mt.117 Add the ability to allocate: an ExternalType or an ExternalStructure/Alias. It's equivalent to new: but we want a specific idiom, C types are not exactly classes. Add the ability to compare aliases (at least for equality) =============== Diff against FFI-Kernel-mt.117 =============== Item was added: + ----- Method: ExternalStructure class>>allocate: (in category 'instance creation') ----- + allocate: anInteger + "Create an ExternalData with enough room for storing an array of size anInteger of such structure" + ^self externalType allocate: anInteger! Item was added: + ----- Method: ExternalType>>allocate: (in category 'external data') ----- + allocate: anInteger + "Allocate space for containing an array of size anInteger of this dataType" + + | handle | + handle := ByteArray new: self byteSize * anInteger. + ^(ExternalData fromHandle: handle type: self) size: anInteger! Item was added: + ----- Method: ExternalTypeAlias>>= (in category 'comparing') ----- + = anExternalTypeAlias + ^self class = anExternalTypeAlias class and: [self value = anExternalTypeAlias value]! Item was added: + ----- Method: ExternalTypeAlias>>hash (in category 'comparing') ----- + hash + ^self class hash hashMultiply bitXor: self value hash!

1 0

FFI: FFI-Win32-nice.20.mcz
by commits＠source.squeak.org 20 Jun '20

20 Jun '20

Nicolas Cellier uploaded a new version of FFI-Win32 to project FFI: http://source.squeak.org/FFI/FFI-Win32-nice.20.mcz ==================== Summary ==================== Name: FFI-Win32-nice.20 Author: nice Time: 20 June 2020, 9:52:22.045086 pm UUID: e133cbfa-42f8-4502-a685-5f0e4d29cb7b Ancestors: FFI-Win32-mt.19 Let Win32Handle be an ExternalTypeAlias. Nuke the *autogenerated fields. =============== Diff against FFI-Win32-mt.19 =============== Item was changed: + ExternalTypeAlias subclass: #Win32Handle - ExternalStructure subclass: #Win32Handle instanceVariableNames: '' classVariableNames: '' poolDictionaries: '' category: 'FFI-Win32-Examples'! Item was removed: - ----- Method: Win32Handle class>>fields (in category 'accessing') ----- - fields - "Win32Handle defineFields" - "The following really means - typedef void* Win32Handle; - " - ^ #(nil 'uintptr_t')! Item was added: + ----- Method: Win32Handle class>>originalTypeName (in category 'accessing') ----- + originalTypeName + "Win32Handle defineFields" + "The following really means + typedef void* Win32Handle; + " + ^ 'uintptr_t'! Item was removed: - ----- Method: Win32Point>>x (in category 'accessing') ----- - x - "This method was automatically generated. See Win32Point class>>fields." - <generated> - ^handle signedLongAt: 1! Item was removed: - ----- Method: Win32Point>>x: (in category 'accessing') ----- - x: anInteger - "This method was automatically generated. See Win32Point class>>fields." - <generated> - handle signedLongAt: 1 put: anInteger! Item was removed: - ----- Method: Win32Point>>y (in category 'accessing') ----- - y - "This method was automatically generated. See Win32Point class>>fields." - <generated> - ^handle signedLongAt: 5! Item was removed: - ----- Method: Win32Point>>y: (in category 'accessing') ----- - y: anInteger - "This method was automatically generated. See Win32Point class>>fields." - <generated> - handle signedLongAt: 5 put: anInteger! Item was removed: - ----- Method: Win32Rectangle>>bottom (in category 'accessing') ----- - bottom - "This method was automatically generated. See Win32Rectangle class>>fields." - <generated> - ^handle signedLongAt: 13! Item was removed: - ----- Method: Win32Rectangle>>bottom: (in category 'accessing') ----- - bottom: anInteger - "This method was automatically generated. See Win32Rectangle class>>fields." - <generated> - handle signedLongAt: 13 put: anInteger! Item was removed: - ----- Method: Win32Rectangle>>left (in category 'accessing') ----- - left - "This method was automatically generated. See Win32Rectangle class>>fields." - <generated> - ^handle signedLongAt: 1! Item was removed: - ----- Method: Win32Rectangle>>left: (in category 'accessing') ----- - left: anInteger - "This method was automatically generated. See Win32Rectangle class>>fields." - <generated> - handle signedLongAt: 1 put: anInteger! Item was removed: - ----- Method: Win32Rectangle>>right (in category 'accessing') ----- - right - "This method was automatically generated. See Win32Rectangle class>>fields." - <generated> - ^handle signedLongAt: 9! Item was removed: - ----- Method: Win32Rectangle>>right: (in category 'accessing') ----- - right: anInteger - "This method was automatically generated. See Win32Rectangle class>>fields." - <generated> - handle signedLongAt: 9 put: anInteger! Item was removed: - ----- Method: Win32Rectangle>>top (in category 'accessing') ----- - top - "This method was automatically generated. See Win32Rectangle class>>fields." - <generated> - ^handle signedLongAt: 5! Item was removed: - ----- Method: Win32Rectangle>>top: (in category 'accessing') ----- - top: anInteger - "This method was automatically generated. See Win32Rectangle class>>fields." - <generated> - handle signedLongAt: 5 put: anInteger!

1 0

The Trunk: Monticello-mt.725.mcz
by commits＠source.squeak.org 20 Jun '20

20 Jun '20

Marcel Taeumel uploaded a new version of Monticello to project The Trunk: http://source.squeak.org/trunk/Monticello-mt.725.mcz ==================== Summary ==================== Name: Monticello-mt.725 Author: mt Time: 20 June 2020, 1:23:54.74166 pm UUID: 88eef16e-bad7-ad47-b378-7e8f553438d6 Ancestors: Monticello-mt.724 Since Monticello does not care about the correct field compilation order, just print errors to the transcript. See #compileAllFields to understand what you should actually do. =============== Diff against Monticello-mt.724 =============== Item was changed: ----- Method: MCMethodDefinition>>postload (in category 'installing') ----- postload self isInitializer ifTrue: [self actualClass theNonMetaClass initialize]. self isExternalStructureFieldDefinition + ifTrue: [[self actualClass theNonMetaClass compileFields] + ifError: [:msg | Transcript showln: '[FFI] ', msg]].! - ifTrue: [self actualClass theNonMetaClass compileFields].!

1 0

FFI: FFI-Tools-mt.19.mcz
by commits＠source.squeak.org 20 Jun '20

20 Jun '20

Marcel Taeumel uploaded a new version of FFI-Tools to project FFI: http://source.squeak.org/FFI/FFI-Tools-mt.19.mcz ==================== Summary ==================== Name: FFI-Tools-mt.19 Author: mt Time: 20 June 2020, 1:17:59.600743 pm UUID: 15c08121-a21a-134a-9327-6243c38b2552 Ancestors: FFI-Tools-mt.18 Complements FFI-Kernel-mt.117 =============== Diff against FFI-Tools-mt.18 =============== Item was added: + ----- Method: ExternalStructureType>>explorerContents (in category '*FFI-Tools') ----- + explorerContents + + | basicExplorerFields originalTypeField | + basicExplorerFields := super explorerContents. + self isTypeAlias ifFalse: [^ basicExplorerFields]. + originalTypeField := ObjectExplorerWrapper + with: self originalType + name: '_originalType' + model: self. + ^ {originalTypeField}, basicExplorerFields! Item was added: + ----- Method: ExternalStructureType>>iconOrThumbnailOfSize: (in category '*FFI-Tools') ----- + iconOrThumbnailOfSize: aPoint + "Override the tool icon in object explorers." + + ^ self isEmpty + ifTrue: [ToolIcons iconNamed: #externalTypeEmpty]! Item was removed: - ----- Method: ExternalType>>explorerContents (in category '*FFI-Tools') ----- - explorerContents - - | basicExplorerFields originalTypeField | - basicExplorerFields := super explorerContents. - self isTypeAlias ifFalse: [^ basicExplorerFields]. - originalTypeField := ObjectExplorerWrapper - with: self originalType - name: '_originalType' - model: self. - ^ {originalTypeField}, basicExplorerFields! Item was removed: - ----- Method: ExternalType>>iconOrThumbnailOfSize: (in category '*FFI-Tools') ----- - iconOrThumbnailOfSize: aPoint - "Override the tool icon in object explorers." - - ^ self isEmptyStructureType - ifTrue: [ToolIcons iconNamed: #externalTypeEmpty]!

1 0

FFI: FFI-Tests-mt.21.mcz
by commits＠source.squeak.org 20 Jun '20

20 Jun '20

Marcel Taeumel uploaded a new version of FFI-Tests to project FFI: http://source.squeak.org/FFI/FFI-Tests-mt.21.mcz ==================== Summary ==================== Name: FFI-Tests-mt.21 Author: mt Time: 20 June 2020, 1:17:36.426743 pm UUID: b58a5708-0ad3-3449-996a-15a4c09603d8 Ancestors: FFI-Tests-mt.20 Complements FFI-Kernel-mt.117 Note that the removed methods are the auto-generated ones. No worries. =============== Diff against FFI-Tests-mt.20 =============== Item was changed: ----- Method: ExternalTypeTests>>testAtomicType (in category 'tests') ----- testAtomicType AtomicTypes keysAndValuesDo: [:typeName :type | self assert: type isAtomic; assert: typeName equals: type atomicTypeName; deny: type isPointerType; + deny: type isStructureType].! - deny: type isStructureType; - deny: type isTypeAlias].! Item was removed: - ----- Method: FFISmallStruct1>>x (in category 'accessing') ----- - x - "This method was automatically generated. See FFISmallStruct1 class>>fields." - <generated> - ^handle unsignedByteAt: 1! Item was removed: - ----- Method: FFISmallStruct1>>x: (in category 'accessing') ----- - x: anInteger - "This method was automatically generated. See FFISmallStruct1 class>>fields." - <generated> - handle unsignedByteAt: 1 put: anInteger! Item was removed: - ----- Method: FFISmallStruct1>>y (in category 'accessing') ----- - y - "This method was automatically generated. See FFISmallStruct1 class>>fields." - <generated> - ^handle unsignedByteAt: 2! Item was removed: - ----- Method: FFISmallStruct1>>y: (in category 'accessing') ----- - y: anInteger - "This method was automatically generated. See FFISmallStruct1 class>>fields." - <generated> - handle unsignedByteAt: 2 put: anInteger! Item was removed: - ----- Method: FFITestBiggerStruct>>r (in category 'accessing') ----- - r - "This method was automatically generated. See FFITestBiggerStruct class>>fields." - <generated> - ^handle signedLongLongAt: 33! Item was removed: - ----- Method: FFITestBiggerStruct>>r: (in category 'accessing') ----- - r: anInteger - "This method was automatically generated. See FFITestBiggerStruct class>>fields." - <generated> - handle signedLongLongAt: 33 put: anInteger! Item was removed: - ----- Method: FFITestBiggerStruct>>s (in category 'accessing') ----- - s - "This method was automatically generated. See FFITestBiggerStruct class>>fields." - <generated> - ^handle signedLongLongAt: 41! Item was removed: - ----- Method: FFITestBiggerStruct>>s: (in category 'accessing') ----- - s: anInteger - "This method was automatically generated. See FFITestBiggerStruct class>>fields." - <generated> - handle signedLongLongAt: 41 put: anInteger! Item was removed: - ----- Method: FFITestBiggerStruct>>t (in category 'accessing') ----- - t - "This method was automatically generated. See FFITestBiggerStruct class>>fields." - <generated> - ^handle signedLongLongAt: 49! Item was removed: - ----- Method: FFITestBiggerStruct>>t: (in category 'accessing') ----- - t: anInteger - "This method was automatically generated. See FFITestBiggerStruct class>>fields." - <generated> - handle signedLongLongAt: 49 put: anInteger! Item was removed: - ----- Method: FFITestBiggerStruct>>u (in category 'accessing') ----- - u - "This method was automatically generated. See FFITestBiggerStruct class>>fields." - <generated> - ^handle signedLongLongAt: 57! Item was removed: - ----- Method: FFITestBiggerStruct>>u: (in category 'accessing') ----- - u: anInteger - "This method was automatically generated. See FFITestBiggerStruct class>>fields." - <generated> - handle signedLongLongAt: 57 put: anInteger! Item was removed: - ----- Method: FFITestBiggerStruct>>w (in category 'accessing') ----- - w - "This method was automatically generated. See FFITestBiggerStruct class>>fields." - <generated> - ^handle signedLongLongAt: 25! Item was removed: - ----- Method: FFITestBiggerStruct>>w: (in category 'accessing') ----- - w: anInteger - "This method was automatically generated. See FFITestBiggerStruct class>>fields." - <generated> - handle signedLongLongAt: 25 put: anInteger! Item was removed: - ----- Method: FFITestBiggerStruct>>x (in category 'accessing') ----- - x - "This method was automatically generated. See FFITestBiggerStruct class>>fields." - <generated> - ^handle signedLongLongAt: 1! Item was removed: - ----- Method: FFITestBiggerStruct>>x: (in category 'accessing') ----- - x: anInteger - "This method was automatically generated. See FFITestBiggerStruct class>>fields." - <generated> - handle signedLongLongAt: 1 put: anInteger! Item was removed: - ----- Method: FFITestBiggerStruct>>y (in category 'accessing') ----- - y - "This method was automatically generated. See FFITestBiggerStruct class>>fields." - <generated> - ^handle signedLongLongAt: 9! Item was removed: - ----- Method: FFITestBiggerStruct>>y: (in category 'accessing') ----- - y: anInteger - "This method was automatically generated. See FFITestBiggerStruct class>>fields." - <generated> - handle signedLongLongAt: 9 put: anInteger! Item was removed: - ----- Method: FFITestBiggerStruct>>z (in category 'accessing') ----- - z - "This method was automatically generated. See FFITestBiggerStruct class>>fields." - <generated> - ^handle signedLongLongAt: 17! Item was removed: - ----- Method: FFITestBiggerStruct>>z: (in category 'accessing') ----- - z: anInteger - "This method was automatically generated. See FFITestBiggerStruct class>>fields." - <generated> - handle signedLongLongAt: 17 put: anInteger! Item was removed: - ----- Method: FFITestCompoundStruct>>p1 (in category 'accessing') ----- - p1 - "This method was automatically generated. See FFITestCompoundStruct class>>fields." - <generated> - ^FFISmallStruct1 fromHandle: (handle shortPointerAt: 5)! Item was removed: - ----- Method: FFITestCompoundStruct>>p1: (in category 'accessing') ----- - p1: aFFISmallStruct1 - "This method was automatically generated. See FFITestCompoundStruct class>>fields." - <generated> - handle shortPointerAt: 5 put: aFFISmallStruct1 getHandle.! Item was removed: - ----- Method: FFITestCompoundStruct>>p2 (in category 'accessing') ----- - p2 - "This method was automatically generated. See FFITestCompoundStruct class>>fields." - <generated> - ^FFITestPoint2 fromHandle: (handle shortPointerAt: 17)! Item was removed: - ----- Method: FFITestCompoundStruct>>p2: (in category 'accessing') ----- - p2: aFFITestPoint2 - "This method was automatically generated. See FFITestCompoundStruct class>>fields." - <generated> - handle shortPointerAt: 17 put: aFFITestPoint2 getHandle.! Item was removed: - ----- Method: FFITestCompoundStruct>>p4 (in category 'accessing') ----- - p4 - "This method was automatically generated. See FFITestCompoundStruct class>>fields." - <generated> - ^FFITestPoint4 fromHandle: (handle shortPointerAt: 37)! Item was removed: - ----- Method: FFITestCompoundStruct>>p4: (in category 'accessing') ----- - p4: aFFITestPoint4 - "This method was automatically generated. See FFITestCompoundStruct class>>fields." - <generated> - handle shortPointerAt: 37 put: aFFITestPoint4 getHandle.! Item was removed: - ----- Method: FFITestCompoundStruct>>s1 (in category 'accessing') ----- - s1 - "This method was automatically generated. See FFITestCompoundStruct class>>fields." - <generated> - ^FFISmallStruct1 fromHandle: (handle structAt: 1 length: 2)! Item was removed: - ----- Method: FFITestCompoundStruct>>s1: (in category 'accessing') ----- - s1: aFFISmallStruct1 - "This method was automatically generated. See FFITestCompoundStruct class>>fields." - <generated> - handle structAt: 1 put: aFFISmallStruct1 getHandle length: 2.! Item was removed: - ----- Method: FFITestCompoundStruct>>s2 (in category 'accessing') ----- - s2 - "This method was automatically generated. See FFITestCompoundStruct class>>fields." - <generated> - ^FFITestPoint2 fromHandle: (handle structAt: 9 length: 8)! Item was removed: - ----- Method: FFITestCompoundStruct>>s2: (in category 'accessing') ----- - s2: aFFITestPoint2 - "This method was automatically generated. See FFITestCompoundStruct class>>fields." - <generated> - handle structAt: 9 put: aFFITestPoint2 getHandle length: 8.! Item was removed: - ----- Method: FFITestCompoundStruct>>s4 (in category 'accessing') ----- - s4 - "This method was automatically generated. See FFITestCompoundStruct class>>fields." - <generated> - ^FFITestPoint4 fromHandle: (handle structAt: 21 length: 16)! Item was removed: - ----- Method: FFITestCompoundStruct>>s4: (in category 'accessing') ----- - s4: aFFITestPoint4 - "This method was automatically generated. See FFITestCompoundStruct class>>fields." - <generated> - handle structAt: 21 put: aFFITestPoint4 getHandle length: 16.! Item was removed: - ----- Method: FFITestMisalignedCompoundStruct>>s1 (in category 'accessing') ----- - s1 - "This method was automatically generated. See FFITestMisalignedCompoundStruct class>>fields." - <generated> - ^handle signedShortAt: 1! Item was removed: - ----- Method: FFITestMisalignedCompoundStruct>>s1: (in category 'accessing') ----- - s1: anInteger - "This method was automatically generated. See FFITestMisalignedCompoundStruct class>>fields." - <generated> - handle signedShortAt: 1 put: anInteger! Item was removed: - ----- Method: FFITestMisalignedCompoundStruct>>s2 (in category 'accessing') ----- - s2 - "This method was automatically generated. See FFITestMisalignedCompoundStruct class>>fields." - <generated> - ^FFITestMisalignedStruct fromHandle: (handle structAt: 5 length: 8)! Item was removed: - ----- Method: FFITestMisalignedCompoundStruct>>s2: (in category 'accessing') ----- - s2: aFFITestMisalignedStruct - "This method was automatically generated. See FFITestMisalignedCompoundStruct class>>fields." - <generated> - handle structAt: 5 put: aFFITestMisalignedStruct getHandle length: 8.! Item was removed: - ----- Method: FFITestMisalignedStruct>>i1 (in category 'accessing') ----- - i1 - "This method was automatically generated. See FFITestMisalignedStruct class>>fields." - <generated> - ^handle signedLongAt: 5! Item was removed: - ----- Method: FFITestMisalignedStruct>>i1: (in category 'accessing') ----- - i1: anInteger - "This method was automatically generated. See FFITestMisalignedStruct class>>fields." - <generated> - handle signedLongAt: 5 put: anInteger! Item was removed: - ----- Method: FFITestMisalignedStruct>>s1 (in category 'accessing') ----- - s1 - "This method was automatically generated. See FFITestMisalignedStruct class>>fields." - <generated> - ^handle signedShortAt: 1! Item was removed: - ----- Method: FFITestMisalignedStruct>>s1: (in category 'accessing') ----- - s1: anInteger - "This method was automatically generated. See FFITestMisalignedStruct class>>fields." - <generated> - handle signedShortAt: 1 put: anInteger! Item was removed: - ----- Method: FFITestPoint2>>x (in category 'accessing') ----- - x - "This method was automatically generated. See FFITestPoint2 class>>fields." - <generated> - ^handle signedLongAt: 1! Item was removed: - ----- Method: FFITestPoint2>>x: (in category 'accessing') ----- - x: anInteger - "This method was automatically generated. See FFITestPoint2 class>>fields." - <generated> - handle signedLongAt: 1 put: anInteger! Item was removed: - ----- Method: FFITestPoint2>>y (in category 'accessing') ----- - y - "This method was automatically generated. See FFITestPoint2 class>>fields." - <generated> - ^handle signedLongAt: 5! Item was removed: - ----- Method: FFITestPoint2>>y: (in category 'accessing') ----- - y: anInteger - "This method was automatically generated. See FFITestPoint2 class>>fields." - <generated> - handle signedLongAt: 5 put: anInteger! Item was removed: - ----- Method: FFITestPoint4>>w (in category 'accessing') ----- - w - "This method was automatically generated. See FFITestPoint4 class>>fields." - <generated> - ^handle signedLongAt: 13! Item was removed: - ----- Method: FFITestPoint4>>w: (in category 'accessing') ----- - w: anInteger - "This method was automatically generated. See FFITestPoint4 class>>fields." - <generated> - handle signedLongAt: 13 put: anInteger! Item was removed: - ----- Method: FFITestPoint4>>x (in category 'accessing') ----- - x - "This method was automatically generated. See FFITestPoint4 class>>fields." - <generated> - ^handle signedLongAt: 1! Item was removed: - ----- Method: FFITestPoint4>>x: (in category 'accessing') ----- - x: anInteger - "This method was automatically generated. See FFITestPoint4 class>>fields." - <generated> - handle signedLongAt: 1 put: anInteger! Item was removed: - ----- Method: FFITestPoint4>>y (in category 'accessing') ----- - y - "This method was automatically generated. See FFITestPoint4 class>>fields." - <generated> - ^handle signedLongAt: 5! Item was removed: - ----- Method: FFITestPoint4>>y: (in category 'accessing') ----- - y: anInteger - "This method was automatically generated. See FFITestPoint4 class>>fields." - <generated> - handle signedLongAt: 5 put: anInteger! Item was removed: - ----- Method: FFITestPoint4>>z (in category 'accessing') ----- - z - "This method was automatically generated. See FFITestPoint4 class>>fields." - <generated> - ^handle signedLongAt: 9! Item was removed: - ----- Method: FFITestPoint4>>z: (in category 'accessing') ----- - z: anInteger - "This method was automatically generated. See FFITestPoint4 class>>fields." - <generated> - handle signedLongAt: 9 put: anInteger! Item was removed: - ----- Method: FFITestSSdi5>>sdi1 (in category 'accessing') ----- - sdi1 - "This method was automatically generated. See FFITestSSdi5 class>>fields." - <generated> - ^FFITestSdi fromHandle: (handle structAt: 1 length: 16)! Item was removed: - ----- Method: FFITestSSdi5>>sdi1: (in category 'accessing') ----- - sdi1: aFFITestSdi - "This method was automatically generated. See FFITestSSdi5 class>>fields." - <generated> - handle structAt: 1 put: aFFITestSdi getHandle length: 16.! Item was removed: - ----- Method: FFITestSSdi5>>sdi2 (in category 'accessing') ----- - sdi2 - "This method was automatically generated. See FFITestSSdi5 class>>fields." - <generated> - ^FFITestSdi fromHandle: (handle structAt: 17 length: 16)! Item was removed: - ----- Method: FFITestSSdi5>>sdi2: (in category 'accessing') ----- - sdi2: aFFITestSdi - "This method was automatically generated. See FFITestSSdi5 class>>fields." - <generated> - handle structAt: 17 put: aFFITestSdi getHandle length: 16.! Item was removed: - ----- Method: FFITestSSdi5>>sdi3 (in category 'accessing') ----- - sdi3 - "This method was automatically generated. See FFITestSSdi5 class>>fields." - <generated> - ^FFITestSdi fromHandle: (handle structAt: 33 length: 16)! Item was removed: - ----- Method: FFITestSSdi5>>sdi3: (in category 'accessing') ----- - sdi3: aFFITestSdi - "This method was automatically generated. See FFITestSSdi5 class>>fields." - <generated> - handle structAt: 33 put: aFFITestSdi getHandle length: 16.! Item was removed: - ----- Method: FFITestSSdi5>>sdi4 (in category 'accessing') ----- - sdi4 - "This method was automatically generated. See FFITestSSdi5 class>>fields." - <generated> - ^FFITestSdi fromHandle: (handle structAt: 49 length: 16)! Item was removed: - ----- Method: FFITestSSdi5>>sdi4: (in category 'accessing') ----- - sdi4: aFFITestSdi - "This method was automatically generated. See FFITestSSdi5 class>>fields." - <generated> - handle structAt: 49 put: aFFITestSdi getHandle length: 16.! Item was removed: - ----- Method: FFITestSSdi5>>sdi5 (in category 'accessing') ----- - sdi5 - "This method was automatically generated. See FFITestSSdi5 class>>fields." - <generated> - ^FFITestSdi fromHandle: (handle structAt: 65 length: 16)! Item was removed: - ----- Method: FFITestSSdi5>>sdi5: (in category 'accessing') ----- - sdi5: aFFITestSdi - "This method was automatically generated. See FFITestSSdi5 class>>fields." - <generated> - handle structAt: 65 put: aFFITestSdi getHandle length: 16.! Item was removed: - ----- Method: FFITestSUfdUdSi2>>udSii2 (in category 'accessing') ----- - udSii2 - "This method was automatically generated. See FFITestSUfdUdSi2 class>>fields." - <generated> - ^FFITestUdSi2 fromHandle: (handle structAt: 9 length: 8)! Item was removed: - ----- Method: FFITestSUfdUdSi2>>udSii2: (in category 'accessing') ----- - udSii2: aFFITestUdSi2 - "This method was automatically generated. See FFITestSUfdUdSi2 class>>fields." - <generated> - handle structAt: 9 put: aFFITestUdSi2 getHandle length: 8.! Item was removed: - ----- Method: FFITestSUfdUdSi2>>ufd1 (in category 'accessing') ----- - ufd1 - "This method was automatically generated. See FFITestSUfdUdSi2 class>>fields." - <generated> - ^FFITestUfd fromHandle: (handle structAt: 1 length: 8)! Item was removed: - ----- Method: FFITestSUfdUdSi2>>ufd1: (in category 'accessing') ----- - ufd1: aFFITestUfd - "This method was automatically generated. See FFITestSUfdUdSi2 class>>fields." - <generated> - handle structAt: 1 put: aFFITestUfd getHandle length: 8.! Item was removed: - ----- Method: FFITestSUfdUfi>>ufd1 (in category 'accessing') ----- - ufd1 - "This method was automatically generated. See FFITestSUfdUfi class>>fields." - <generated> - ^FFITestUfd fromHandle: (handle structAt: 1 length: 8)! Item was removed: - ----- Method: FFITestSUfdUfi>>ufd1: (in category 'accessing') ----- - ufd1: aFFITestUfd - "This method was automatically generated. See FFITestSUfdUfi class>>fields." - <generated> - handle structAt: 1 put: aFFITestUfd getHandle length: 8.! Item was removed: - ----- Method: FFITestSUfdUfi>>ufi2 (in category 'accessing') ----- - ufi2 - "This method was automatically generated. See FFITestSUfdUfi class>>fields." - <generated> - ^FFITestUfi fromHandle: (handle structAt: 9 length: 4)! Item was removed: - ----- Method: FFITestSUfdUfi>>ufi2: (in category 'accessing') ----- - ufi2: aFFITestUfi - "This method was automatically generated. See FFITestSUfdUfi class>>fields." - <generated> - handle structAt: 9 put: aFFITestUfi getHandle length: 4.! Item was removed: - ----- Method: FFITestSd2>>d1 (in category 'accessing') ----- - d1 - "This method was automatically generated. See FFITestSd2 class>>fields." - <generated> - ^handle doubleAt: 1! Item was removed: - ----- Method: FFITestSd2>>d1: (in category 'accessing') ----- - d1: aFloat - "This method was automatically generated. See FFITestSd2 class>>fields." - <generated> - handle doubleAt: 1 put: aFloat! Item was removed: - ----- Method: FFITestSd2>>d2 (in category 'accessing') ----- - d2 - "This method was automatically generated. See FFITestSd2 class>>fields." - <generated> - ^handle doubleAt: 9! Item was removed: - ----- Method: FFITestSd2>>d2: (in category 'accessing') ----- - d2: aFloat - "This method was automatically generated. See FFITestSd2 class>>fields." - <generated> - handle doubleAt: 9 put: aFloat! Item was removed: - ----- Method: FFITestSdi>>d1 (in category 'accessing') ----- - d1 - "This method was automatically generated. See FFITestSdi class>>fields." - <generated> - ^handle doubleAt: 1! Item was removed: - ----- Method: FFITestSdi>>d1: (in category 'accessing') ----- - d1: aFloat - "This method was automatically generated. See FFITestSdi class>>fields." - <generated> - handle doubleAt: 1 put: aFloat! Item was removed: - ----- Method: FFITestSdi>>i2 (in category 'accessing') ----- - i2 - "This method was automatically generated. See FFITestSdi class>>fields." - <generated> - ^handle signedLongAt: 9! Item was removed: - ----- Method: FFITestSdi>>i2: (in category 'accessing') ----- - i2: anInteger - "This method was automatically generated. See FFITestSdi class>>fields." - <generated> - handle signedLongAt: 9 put: anInteger! Item was removed: - ----- Method: FFITestSf2>>f1 (in category 'accessing') ----- - f1 - "This method was automatically generated. See FFITestSf2 class>>fields." - <generated> - ^handle floatAt: 1! Item was removed: - ----- Method: FFITestSf2>>f1: (in category 'accessing') ----- - f1: aFloat - "This method was automatically generated. See FFITestSf2 class>>fields." - <generated> - handle floatAt: 1 put: aFloat! Item was removed: - ----- Method: FFITestSf2>>f2 (in category 'accessing') ----- - f2 - "This method was automatically generated. See FFITestSf2 class>>fields." - <generated> - ^handle floatAt: 5! Item was removed: - ----- Method: FFITestSf2>>f2: (in category 'accessing') ----- - f2: aFloat - "This method was automatically generated. See FFITestSf2 class>>fields." - <generated> - handle floatAt: 5 put: aFloat! Item was removed: - ----- Method: FFITestSf2d>>d3 (in category 'accessing') ----- - d3 - "This method was automatically generated. See FFITestSf2d class>>fields." - <generated> - ^handle doubleAt: 9! Item was removed: - ----- Method: FFITestSf2d>>d3: (in category 'accessing') ----- - d3: aFloat - "This method was automatically generated. See FFITestSf2d class>>fields." - <generated> - handle doubleAt: 9 put: aFloat! Item was removed: - ----- Method: FFITestSf2d>>f1 (in category 'accessing') ----- - f1 - "This method was automatically generated. See FFITestSf2d class>>fields." - <generated> - ^handle floatAt: 1! Item was removed: - ----- Method: FFITestSf2d>>f1: (in category 'accessing') ----- - f1: aFloat - "This method was automatically generated. See FFITestSf2d class>>fields." - <generated> - handle floatAt: 1 put: aFloat! Item was removed: - ----- Method: FFITestSf2d>>f2 (in category 'accessing') ----- - f2 - "This method was automatically generated. See FFITestSf2d class>>fields." - <generated> - ^handle floatAt: 5! Item was removed: - ----- Method: FFITestSf2d>>f2: (in category 'accessing') ----- - f2: aFloat - "This method was automatically generated. See FFITestSf2d class>>fields." - <generated> - handle floatAt: 5 put: aFloat! Item was removed: - ----- Method: FFITestSf4>>f1 (in category 'accessing') ----- - f1 - "This method was automatically generated. See FFITestSf4 class>>fields." - <generated> - ^handle floatAt: 1! Item was removed: - ----- Method: FFITestSf4>>f1: (in category 'accessing') ----- - f1: aFloat - "This method was automatically generated. See FFITestSf4 class>>fields." - <generated> - handle floatAt: 1 put: aFloat! Item was removed: - ----- Method: FFITestSf4>>f2 (in category 'accessing') ----- - f2 - "This method was automatically generated. See FFITestSf4 class>>fields." - <generated> - ^handle floatAt: 5! Item was removed: - ----- Method: FFITestSf4>>f2: (in category 'accessing') ----- - f2: aFloat - "This method was automatically generated. See FFITestSf4 class>>fields." - <generated> - handle floatAt: 5 put: aFloat! Item was removed: - ----- Method: FFITestSf4>>f3 (in category 'accessing') ----- - f3 - "This method was automatically generated. See FFITestSf4 class>>fields." - <generated> - ^handle floatAt: 9! Item was removed: - ----- Method: FFITestSf4>>f3: (in category 'accessing') ----- - f3: aFloat - "This method was automatically generated. See FFITestSf4 class>>fields." - <generated> - handle floatAt: 9 put: aFloat! Item was removed: - ----- Method: FFITestSf4>>f4 (in category 'accessing') ----- - f4 - "This method was automatically generated. See FFITestSf4 class>>fields." - <generated> - ^handle floatAt: 13! Item was removed: - ----- Method: FFITestSf4>>f4: (in category 'accessing') ----- - f4: aFloat - "This method was automatically generated. See FFITestSf4 class>>fields." - <generated> - handle floatAt: 13 put: aFloat! Item was removed: - ----- Method: FFITestSfd>>d2 (in category 'accessing') ----- - d2 - "This method was automatically generated. See FFITestSfd class>>fields." - <generated> - ^handle doubleAt: 9! Item was removed: - ----- Method: FFITestSfd>>d2: (in category 'accessing') ----- - d2: aFloat - "This method was automatically generated. See FFITestSfd class>>fields." - <generated> - handle doubleAt: 9 put: aFloat! Item was removed: - ----- Method: FFITestSfd>>f1 (in category 'accessing') ----- - f1 - "This method was automatically generated. See FFITestSfd class>>fields." - <generated> - ^handle floatAt: 1! Item was removed: - ----- Method: FFITestSfd>>f1: (in category 'accessing') ----- - f1: aFloat - "This method was automatically generated. See FFITestSfd class>>fields." - <generated> - handle floatAt: 1 put: aFloat! Item was removed: - ----- Method: FFITestSfdf>>d2 (in category 'accessing') ----- - d2 - "This method was automatically generated. See FFITestSfdf class>>fields." - <generated> - ^handle doubleAt: 9! Item was removed: - ----- Method: FFITestSfdf>>d2: (in category 'accessing') ----- - d2: aFloat - "This method was automatically generated. See FFITestSfdf class>>fields." - <generated> - handle doubleAt: 9 put: aFloat! Item was removed: - ----- Method: FFITestSfdf>>f1 (in category 'accessing') ----- - f1 - "This method was automatically generated. See FFITestSfdf class>>fields." - <generated> - ^handle floatAt: 1! Item was removed: - ----- Method: FFITestSfdf>>f1: (in category 'accessing') ----- - f1: aFloat - "This method was automatically generated. See FFITestSfdf class>>fields." - <generated> - handle floatAt: 1 put: aFloat! Item was removed: - ----- Method: FFITestSfdf>>f3 (in category 'accessing') ----- - f3 - "This method was automatically generated. See FFITestSfdf class>>fields." - <generated> - ^handle floatAt: 17! Item was removed: - ----- Method: FFITestSfdf>>f3: (in category 'accessing') ----- - f3: aFloat - "This method was automatically generated. See FFITestSfdf class>>fields." - <generated> - handle floatAt: 17 put: aFloat! Item was removed: - ----- Method: FFITestSfi>>f1 (in category 'accessing') ----- - f1 - "This method was automatically generated. See FFITestSfi class>>fields." - <generated> - ^handle floatAt: 1! Item was removed: - ----- Method: FFITestSfi>>f1: (in category 'accessing') ----- - f1: aFloat - "This method was automatically generated. See FFITestSfi class>>fields." - <generated> - handle floatAt: 1 put: aFloat! Item was removed: - ----- Method: FFITestSfi>>i2 (in category 'accessing') ----- - i2 - "This method was automatically generated. See FFITestSfi class>>fields." - <generated> - ^handle signedLongAt: 5! Item was removed: - ----- Method: FFITestSfi>>i2: (in category 'accessing') ----- - i2: anInteger - "This method was automatically generated. See FFITestSfi class>>fields." - <generated> - handle signedLongAt: 5 put: anInteger! Item was removed: - ----- Method: FFITestSi2>>i1 (in category 'accessing') ----- - i1 - "This method was automatically generated. See FFITestSi2 class>>fields." - <generated> - ^handle signedLongAt: 1! Item was removed: - ----- Method: FFITestSi2>>i1: (in category 'accessing') ----- - i1: anInteger - "This method was automatically generated. See FFITestSi2 class>>fields." - <generated> - handle signedLongAt: 1 put: anInteger! Item was removed: - ----- Method: FFITestSi2>>i2 (in category 'accessing') ----- - i2 - "This method was automatically generated. See FFITestSi2 class>>fields." - <generated> - ^handle signedLongAt: 5! Item was removed: - ----- Method: FFITestSi2>>i2: (in category 'accessing') ----- - i2: anInteger - "This method was automatically generated. See FFITestSi2 class>>fields." - <generated> - handle signedLongAt: 5 put: anInteger! Item was removed: - ----- Method: FFITestSl2>>l1 (in category 'accessing') ----- - l1 - "This method was automatically generated. See FFITestSl2 class>>fields." - <generated> - ^handle signedLongLongAt: 1! Item was removed: - ----- Method: FFITestSl2>>l1: (in category 'accessing') ----- - l1: anInteger - "This method was automatically generated. See FFITestSl2 class>>fields." - <generated> - handle signedLongLongAt: 1 put: anInteger! Item was removed: - ----- Method: FFITestSl2>>l2 (in category 'accessing') ----- - l2 - "This method was automatically generated. See FFITestSl2 class>>fields." - <generated> - ^handle signedLongLongAt: 9! Item was removed: - ----- Method: FFITestSl2>>l2: (in category 'accessing') ----- - l2: anInteger - "This method was automatically generated. See FFITestSl2 class>>fields." - <generated> - handle signedLongLongAt: 9 put: anInteger! Item was removed: - ----- Method: FFITestSs2>>s1 (in category 'accessing') ----- - s1 - "This method was automatically generated. See FFITestSs2 class>>fields." - <generated> - ^handle signedShortAt: 1! Item was removed: - ----- Method: FFITestSs2>>s1: (in category 'accessing') ----- - s1: anInteger - "This method was automatically generated. See FFITestSs2 class>>fields." - <generated> - handle signedShortAt: 1 put: anInteger! Item was removed: - ----- Method: FFITestSs2>>s2 (in category 'accessing') ----- - s2 - "This method was automatically generated. See FFITestSs2 class>>fields." - <generated> - ^handle signedShortAt: 3! Item was removed: - ----- Method: FFITestSs2>>s2: (in category 'accessing') ----- - s2: anInteger - "This method was automatically generated. See FFITestSs2 class>>fields." - <generated> - handle signedShortAt: 3 put: anInteger! Item was removed: - ----- Method: FFITestSs2i>>i3 (in category 'accessing') ----- - i3 - "This method was automatically generated. See FFITestSs2i class>>fields." - <generated> - ^handle signedLongAt: 5! Item was removed: - ----- Method: FFITestSs2i>>i3: (in category 'accessing') ----- - i3: anInteger - "This method was automatically generated. See FFITestSs2i class>>fields." - <generated> - handle signedLongAt: 5 put: anInteger! Item was removed: - ----- Method: FFITestSs2i>>s1 (in category 'accessing') ----- - s1 - "This method was automatically generated. See FFITestSs2i class>>fields." - <generated> - ^handle signedShortAt: 1! Item was removed: - ----- Method: FFITestSs2i>>s1: (in category 'accessing') ----- - s1: anInteger - "This method was automatically generated. See FFITestSs2i class>>fields." - <generated> - handle signedShortAt: 1 put: anInteger! Item was removed: - ----- Method: FFITestSs2i>>s2 (in category 'accessing') ----- - s2 - "This method was automatically generated. See FFITestSs2i class>>fields." - <generated> - ^handle signedShortAt: 3! Item was removed: - ----- Method: FFITestSs2i>>s2: (in category 'accessing') ----- - s2: anInteger - "This method was automatically generated. See FFITestSs2i class>>fields." - <generated> - handle signedShortAt: 3 put: anInteger! Item was removed: - ----- Method: FFITestSs4>>s1 (in category 'accessing') ----- - s1 - "This method was automatically generated. See FFITestSs4 class>>fields." - <generated> - ^handle signedShortAt: 1! Item was removed: - ----- Method: FFITestSs4>>s1: (in category 'accessing') ----- - s1: anInteger - "This method was automatically generated. See FFITestSs4 class>>fields." - <generated> - handle signedShortAt: 1 put: anInteger! Item was removed: - ----- Method: FFITestSs4>>s2 (in category 'accessing') ----- - s2 - "This method was automatically generated. See FFITestSs4 class>>fields." - <generated> - ^handle signedShortAt: 3! Item was removed: - ----- Method: FFITestSs4>>s2: (in category 'accessing') ----- - s2: anInteger - "This method was automatically generated. See FFITestSs4 class>>fields." - <generated> - handle signedShortAt: 3 put: anInteger! Item was removed: - ----- Method: FFITestSs4>>s3 (in category 'accessing') ----- - s3 - "This method was automatically generated. See FFITestSs4 class>>fields." - <generated> - ^handle signedShortAt: 5! Item was removed: - ----- Method: FFITestSs4>>s3: (in category 'accessing') ----- - s3: anInteger - "This method was automatically generated. See FFITestSs4 class>>fields." - <generated> - handle signedShortAt: 5 put: anInteger! Item was removed: - ----- Method: FFITestSs4>>s4 (in category 'accessing') ----- - s4 - "This method was automatically generated. See FFITestSs4 class>>fields." - <generated> - ^handle signedShortAt: 7! Item was removed: - ----- Method: FFITestSs4>>s4: (in category 'accessing') ----- - s4: anInteger - "This method was automatically generated. See FFITestSs4 class>>fields." - <generated> - handle signedShortAt: 7 put: anInteger! Item was removed: - ----- Method: FFITestSsSsf>>s1 (in category 'accessing') ----- - s1 - "This method was automatically generated. See FFITestSsSsf class>>fields." - <generated> - ^handle signedShortAt: 1! Item was removed: - ----- Method: FFITestSsSsf>>s1: (in category 'accessing') ----- - s1: anInteger - "This method was automatically generated. See FFITestSsSsf class>>fields." - <generated> - handle signedShortAt: 1 put: anInteger! Item was removed: - ----- Method: FFITestSsSsf>>ssf2 (in category 'accessing') ----- - ssf2 - "This method was automatically generated. See FFITestSsSsf class>>fields." - <generated> - ^FFITestSsf fromHandle: (handle structAt: 5 length: 8)! Item was removed: - ----- Method: FFITestSsSsf>>ssf2: (in category 'accessing') ----- - ssf2: aFFITestSsf - "This method was automatically generated. See FFITestSsSsf class>>fields." - <generated> - handle structAt: 5 put: aFFITestSsf getHandle length: 8.! Item was removed: - ----- Method: FFITestSsSsi>>s1 (in category 'accessing') ----- - s1 - "This method was automatically generated. See FFITestSsSsi class>>fields." - <generated> - ^handle signedShortAt: 1! Item was removed: - ----- Method: FFITestSsSsi>>s1: (in category 'accessing') ----- - s1: anInteger - "This method was automatically generated. See FFITestSsSsi class>>fields." - <generated> - handle signedShortAt: 1 put: anInteger! Item was removed: - ----- Method: FFITestSsSsi>>ssi2 (in category 'accessing') ----- - ssi2 - "This method was automatically generated. See FFITestSsSsi class>>fields." - <generated> - ^FFITestSsi fromHandle: (handle structAt: 5 length: 8)! Item was removed: - ----- Method: FFITestSsSsi>>ssi2: (in category 'accessing') ----- - ssi2: aFFITestSsi - "This method was automatically generated. See FFITestSsSsi class>>fields." - <generated> - handle structAt: 5 put: aFFITestSsi getHandle length: 8.! Item was removed: - ----- Method: FFITestSsf>>f2 (in category 'accessing') ----- - f2 - "This method was automatically generated. See FFITestSsf class>>fields." - <generated> - ^handle floatAt: 5! Item was removed: - ----- Method: FFITestSsf>>f2: (in category 'accessing') ----- - f2: aFloat - "This method was automatically generated. See FFITestSsf class>>fields." - <generated> - handle floatAt: 5 put: aFloat! Item was removed: - ----- Method: FFITestSsf>>s1 (in category 'accessing') ----- - s1 - "This method was automatically generated. See FFITestSsf class>>fields." - <generated> - ^handle signedShortAt: 1! Item was removed: - ----- Method: FFITestSsf>>s1: (in category 'accessing') ----- - s1: anInteger - "This method was automatically generated. See FFITestSsf class>>fields." - <generated> - handle signedShortAt: 1 put: anInteger! Item was removed: - ----- Method: FFITestSsi>>i2 (in category 'accessing') ----- - i2 - "This method was automatically generated. See FFITestSsi class>>fields." - <generated> - ^handle signedLongAt: 5! Item was removed: - ----- Method: FFITestSsi>>i2: (in category 'accessing') ----- - i2: anInteger - "This method was automatically generated. See FFITestSsi class>>fields." - <generated> - handle signedLongAt: 5 put: anInteger! Item was removed: - ----- Method: FFITestSsi>>s1 (in category 'accessing') ----- - s1 - "This method was automatically generated. See FFITestSsi class>>fields." - <generated> - ^handle signedShortAt: 1! Item was removed: - ----- Method: FFITestSsi>>s1: (in category 'accessing') ----- - s1: anInteger - "This method was automatically generated. See FFITestSsi class>>fields." - <generated> - handle signedShortAt: 1 put: anInteger! Item was removed: - ----- Method: FFITestSsis>>i2 (in category 'accessing') ----- - i2 - "This method was automatically generated. See FFITestSsis class>>fields." - <generated> - ^handle signedLongAt: 5! Item was removed: - ----- Method: FFITestSsis>>i2: (in category 'accessing') ----- - i2: anInteger - "This method was automatically generated. See FFITestSsis class>>fields." - <generated> - handle signedLongAt: 5 put: anInteger! Item was removed: - ----- Method: FFITestSsis>>s1 (in category 'accessing') ----- - s1 - "This method was automatically generated. See FFITestSsis class>>fields." - <generated> - ^handle signedShortAt: 1! Item was removed: - ----- Method: FFITestSsis>>s1: (in category 'accessing') ----- - s1: anInteger - "This method was automatically generated. See FFITestSsis class>>fields." - <generated> - handle signedShortAt: 1 put: anInteger! Item was removed: - ----- Method: FFITestSsis>>s3 (in category 'accessing') ----- - s3 - "This method was automatically generated. See FFITestSsis class>>fields." - <generated> - ^handle signedShortAt: 9! Item was removed: - ----- Method: FFITestSsis>>s3: (in category 'accessing') ----- - s3: anInteger - "This method was automatically generated. See FFITestSsis class>>fields." - <generated> - handle signedShortAt: 9 put: anInteger! Item was removed: - ----- Method: FFITestSslf>>f3 (in category 'accessing') ----- - f3 - "This method was automatically generated. See FFITestSslf class>>fields." - <generated> - ^handle floatAt: 17! Item was removed: - ----- Method: FFITestSslf>>f3: (in category 'accessing') ----- - f3: aFloat - "This method was automatically generated. See FFITestSslf class>>fields." - <generated> - handle floatAt: 17 put: aFloat! Item was removed: - ----- Method: FFITestSslf>>l2 (in category 'accessing') ----- - l2 - "This method was automatically generated. See FFITestSslf class>>fields." - <generated> - ^handle signedLongLongAt: 9! Item was removed: - ----- Method: FFITestSslf>>l2: (in category 'accessing') ----- - l2: anInteger - "This method was automatically generated. See FFITestSslf class>>fields." - <generated> - handle signedLongLongAt: 9 put: anInteger! Item was removed: - ----- Method: FFITestSslf>>s1 (in category 'accessing') ----- - s1 - "This method was automatically generated. See FFITestSslf class>>fields." - <generated> - ^handle signedShortAt: 1! Item was removed: - ----- Method: FFITestSslf>>s1: (in category 'accessing') ----- - s1: anInteger - "This method was automatically generated. See FFITestSslf class>>fields." - <generated> - handle signedShortAt: 1 put: anInteger! Item was removed: - ----- Method: FFITestSsls>>l2 (in category 'accessing') ----- - l2 - "This method was automatically generated. See FFITestSsls class>>fields." - <generated> - ^handle signedLongLongAt: 9! Item was removed: - ----- Method: FFITestSsls>>l2: (in category 'accessing') ----- - l2: anInteger - "This method was automatically generated. See FFITestSsls class>>fields." - <generated> - handle signedLongLongAt: 9 put: anInteger! Item was removed: - ----- Method: FFITestSsls>>s1 (in category 'accessing') ----- - s1 - "This method was automatically generated. See FFITestSsls class>>fields." - <generated> - ^handle signedShortAt: 1! Item was removed: - ----- Method: FFITestSsls>>s1: (in category 'accessing') ----- - s1: anInteger - "This method was automatically generated. See FFITestSsls class>>fields." - <generated> - handle signedShortAt: 1 put: anInteger! Item was removed: - ----- Method: FFITestSsls>>s3 (in category 'accessing') ----- - s3 - "This method was automatically generated. See FFITestSsls class>>fields." - <generated> - ^handle signedShortAt: 17! Item was removed: - ----- Method: FFITestSsls>>s3: (in category 'accessing') ----- - s3: anInteger - "This method was automatically generated. See FFITestSsls class>>fields." - <generated> - handle signedShortAt: 17 put: anInteger! Item was removed: - ----- Method: FFITestUdSi2>>d1 (in category 'accessing') ----- - d1 - "This method was automatically generated. See FFITestUdSi2 class>>fields." - <generated> - ^handle doubleAt: 1! Item was removed: - ----- Method: FFITestUdSi2>>d1: (in category 'accessing') ----- - d1: aFloat - "This method was automatically generated. See FFITestUdSi2 class>>fields." - <generated> - handle doubleAt: 1 put: aFloat! Item was removed: - ----- Method: FFITestUdSi2>>sii1 (in category 'accessing') ----- - sii1 - "This method was automatically generated. See FFITestUdSi2 class>>fields." - <generated> - ^FFITestSi2 fromHandle: (handle structAt: 1 length: 8)! Item was removed: - ----- Method: FFITestUdSi2>>sii1: (in category 'accessing') ----- - sii1: aFFITestSi2 - "This method was automatically generated. See FFITestUdSi2 class>>fields." - <generated> - handle structAt: 1 put: aFFITestSi2 getHandle length: 8.! Item was removed: - ----- Method: FFITestUfd>>d1 (in category 'accessing') ----- - d1 - "This method was automatically generated. See FFITestUfd class>>fields." - <generated> - ^handle doubleAt: 1! Item was removed: - ----- Method: FFITestUfd>>d1: (in category 'accessing') ----- - d1: aFloat - "This method was automatically generated. See FFITestUfd class>>fields." - <generated> - handle doubleAt: 1 put: aFloat! Item was removed: - ----- Method: FFITestUfd>>f1 (in category 'accessing') ----- - f1 - "This method was automatically generated. See FFITestUfd class>>fields." - <generated> - ^handle floatAt: 1! Item was removed: - ----- Method: FFITestUfd>>f1: (in category 'accessing') ----- - f1: aFloat - "This method was automatically generated. See FFITestUfd class>>fields." - <generated> - handle floatAt: 1 put: aFloat! Item was removed: - ----- Method: FFITestUfi>>f1 (in category 'accessing') ----- - f1 - "This method was automatically generated. See FFITestUfi class>>fields." - <generated> - ^handle floatAt: 1! Item was removed: - ----- Method: FFITestUfi>>f1: (in category 'accessing') ----- - f1: aFloat - "This method was automatically generated. See FFITestUfi class>>fields." - <generated> - handle floatAt: 1 put: aFloat! Item was removed: - ----- Method: FFITestUfi>>i1 (in category 'accessing') ----- - i1 - "This method was automatically generated. See FFITestUfi class>>fields." - <generated> - ^handle signedLongAt: 1! Item was removed: - ----- Method: FFITestUfi>>i1: (in category 'accessing') ----- - i1: anInteger - "This method was automatically generated. See FFITestUfi class>>fields." - <generated> - handle signedLongAt: 1 put: anInteger!

1 0

FFI: FFI-Kernel-mt.117.mcz
by commits＠source.squeak.org 20 Jun '20

20 Jun '20

Marcel Taeumel uploaded a new version of FFI-Kernel to project FFI: http://source.squeak.org/FFI/FFI-Kernel-mt.117.mcz ==================== Summary ==================== Name: FFI-Kernel-mt.117 Author: mt Time: 20 June 2020, 1:16:41.735743 pm UUID: 4ffc4075-6459-ea44-b93a-5f1b46e99c4b Ancestors: FFI-Kernel-mt.116 For the sake of code readability: untangles the specific role of struct types during field-accessor generation and dynamic field access into new subclass: ExternalStructureType. The implementation of ExternalType is now lighter again. Note that this change does not affect FFI calls as is. The particular class of an external type is not relevant for type coercing during FFI calls and also not for packaging the return value. What matters is instVar 0 being the compiledSpec and instVar 1 being the referentClass. That does not change with this commit. (Note that I added type checks to the generated field code. Those could easily be removed if not wanted. I suppose that implementing #assert: in ExternalStructure controlled by a pragma preference would be a good way of making type checks during field write-access optional.) In the process, fixed the following things: - regression for reading fields that are type alias to pointer type. - uniform pointer access as #pointerAt:length: and #pointerAt:put:length: just like #structAt:length: and #structAt:put:length:. Makes the generated code more readable and avoids accessing the global "ExternalAddress wordSize". - regression with #defineFields: because of the recent change to include #absent rule for #generated field compilation. So, avoid overwriting fields that are manually managed even if you use #defineFields instead of #compileFields. =============== Diff against FFI-Kernel-mt.116 =============== Item was changed: + ----- Method: ByteArray>>asByteArrayPointer (in category '*FFI-Kernel-pointers') ----- - ----- Method: ByteArray>>asByteArrayPointer (in category '*FFI-Kernel') ----- asByteArrayPointer "Return a ByteArray describing a pointer to the contents of the receiver." ^self shouldNotImplement! Item was changed: + ----- Method: ByteArray>>asExternalPointer (in category '*FFI-Kernel-pointers') ----- - ----- Method: ByteArray>>asExternalPointer (in category '*FFI-Kernel') ----- asExternalPointer "Convert the receiver assuming that it describes a pointer to an object." + ^ self pointerAt: 1 length: self size! - ^ self pointerAt: 1! Item was changed: + ----- Method: ByteArray>>longPointerAt: (in category '*FFI-Kernel-pointers') ----- - ----- Method: ByteArray>>longPointerAt: (in category '*FFI-Kernel') ----- longPointerAt: byteOffset "Answer an 8-byte pointer object stored at the given byte address" + + ^ self pointerAt: byteOffset length: 8! - | addr | - addr := ExternalAddress basicNew: 8. - 1 to: 8 do: - [:i| - addr basicAt: i put: (self unsignedByteAt: byteOffset+i-1)]. - ^addr! Item was changed: + ----- Method: ByteArray>>longPointerAt:put: (in category '*FFI-Kernel-pointers') ----- - ----- Method: ByteArray>>longPointerAt:put: (in category '*FFI-Kernel') ----- longPointerAt: byteOffset put: value "Store an 8-byte pointer object at the given byte address" + + ^ self pointerAt: byteOffset put: value length: 8! - value isExternalAddress ifFalse: - [^self error:'Only external addresses can be stored']. - 1 to: 8 do: - [:i| - self unsignedByteAt: byteOffset+i-1 put: (value basicAt: i)]. - ^value! Item was changed: + ----- Method: ByteArray>>pointerAt: (in category '*FFI-Kernel-pointers') ----- - ----- Method: ByteArray>>pointerAt: (in category '*FFI-Kernel') ----- pointerAt: byteOffset "Answer a pointer object stored at the given byte address" + ^ self pointerAt: byteOffset length: ExternalAddress wordSize! - self flag: #ffiLongVsInt. "mt: Here short means 'long', which is actually 'int', and long means 'longlong'. Sigh." - ^ ExternalAddress wordSize caseOf: { - [4] -> [self shortPointerAt: byteOffset]. - [8] -> [self longPointerAt: byteOffset] }! Item was added: + ----- Method: ByteArray>>pointerAt:length: (in category '*FFI-Kernel-pointers') ----- + pointerAt: byteOffset length: numBytes + "Answer a pointer object of numBytes length stored at the given byte address" + + | addr | + addr := ExternalAddress basicNew: numBytes. + 1 to: numBytes do: + [:i| + addr basicAt: i put: (self unsignedByteAt: byteOffset+i-1)]. + ^addr! Item was changed: + ----- Method: ByteArray>>pointerAt:put: (in category '*FFI-Kernel-pointers') ----- - ----- Method: ByteArray>>pointerAt:put: (in category '*FFI-Kernel') ----- pointerAt: byteOffset put: value "Store a pointer object at the given byte address" + ^ self pointerAt: byteOffset put: value length: ExternalAddress wordSize! - self flag: #ffiLongVsInt. "mt: Here short means 'long', which is actually 'int', and long means 'longlong'. Sigh." - ^ ExternalAddress wordSize caseOf: { - [4] -> [self shortPointerAt: byteOffset put: value]. - [8] -> [self longPointerAt: byteOffset put: value] }! Item was added: + ----- Method: ByteArray>>pointerAt:put:length: (in category '*FFI-Kernel-pointers') ----- + pointerAt: byteOffset put: value length: numBytes + "Store a pointer object with numBytes lengeth at the given byte address" + value isExternalAddress ifFalse: + [^self error:'Only external addresses can be stored']. + 1 to: numBytes do: + [:i| + self unsignedByteAt: byteOffset+i-1 put: (value basicAt: i)]. + ^value! Item was changed: + ----- Method: ByteArray>>shortPointerAt: (in category '*FFI-Kernel-pointers') ----- - ----- Method: ByteArray>>shortPointerAt: (in category '*FFI-Kernel') ----- shortPointerAt: byteOffset "Answer a 4-byte pointer object stored at the given byte address" + + ^ self pointerAt: byteOffset length: 4! - | addr | - addr := ExternalAddress basicNew: 4. - 1 to: 4 do: - [:i| - addr basicAt: i put: (self unsignedByteAt: byteOffset+i-1)]. - ^addr! Item was changed: + ----- Method: ByteArray>>shortPointerAt:put: (in category '*FFI-Kernel-pointers') ----- - ----- Method: ByteArray>>shortPointerAt:put: (in category '*FFI-Kernel') ----- shortPointerAt: byteOffset put: value "Store a 4-byte pointer object at the given byte address" + + ^ self pointerAt: byteOffset put: value length: 4! - value isExternalAddress ifFalse: - [^self error:'Only external addresses can be stored']. - 1 to: 4 do: - [:i| - self unsignedByteAt: byteOffset+i-1 put: (value basicAt: i)]. - ^value! Item was changed: ExternalObject subclass: #ExternalStructure instanceVariableNames: '' classVariableNames: 'PreviousPlatform' poolDictionaries: 'FFIConstants' category: 'FFI-Kernel'! ExternalStructure class + instanceVariableNames: 'type compiledSpec byteAlignment'! - instanceVariableNames: 'compiledSpec byteAlignment'! !ExternalStructure commentStamp: 'eem 6/26/2019 15:26' prior: 0! An ExternalStructure is for representing external data that is - either a structure composed of different fields (a struct of C language) - or an alias for another type (like a typedef of C language) It reserves enough bytes of data for representing all the fields. The data is stored into the handle instance variable which can be of two different types: - ExternalAddress If the handle is an external address then the object described does not reside in the Smalltalk object memory. - ByteArray If the handle is a byte array then the object described resides in Smalltalk memory. Instance Variables (class side) byteAlignment: <Integer> compiledSpec: <WordArray> byteAlignment - the required alignment for the structure compiledSpec - the bit-field definiton of the structure in the ExternalType encoding understood by the VM's FFI call marshalling machinery. A specific structure is defined by subclassing ExternalStructure and specifying its #fields via a class side method. For example if we define a subclass: ExternalStructure subclass: #StructExample instanceVariableNames: '' classVariableNames: '' poolDictionaries: '' category: 'garbage'. Then declare the fields like this: StructExample class compile: 'fields ^#( (name ''char*'') (color ''ulong'') )' classified: 'garbage'. It means that this type is composed of two different fields: - a string (accessed thru the field #name) - and an unsigned 32bit integer (accessed thru the field #color). It represents the following C type: struct StructExample {char *name; uint32_t color; }; The accessors for those fields can be generated automatically like this: StructExample defineFields. As can be verified in a Browser: StructExample browse. We see that name and color fields are stored sequentially in different zones of data. The total size of the structure can be verified with: StructExample byteSize = (Smalltalk wordSize + 4). An ExternalStructure can also be used for defining an alias. The fields definition must contain only 2 elements: an eventual accessor (or nil) and the type. For example, We can define a machine dependent 'unsigned long' like this: ExternalStructure subclass: #UnsignedLong instanceVariableNames: '' classVariableNames: '' poolDictionaries: '' category: 'garbage'. Then set the fields like this: UnsignedLong class compile: 'fields ^(Smalltalk wordSize=4 or: [Smalltalk platformName=''Win64'']) ifTrue: [#(nil ''ulong'')] ifFalse: [#(nil ''ulonglong'')]' classified: 'garbage'. And verify the size on current platform: UnsignedLong byteSize. Then, the class names 'UnsignedLong' and 'StructExamples' acts as a type specification. They can be used for composing other types, and for defining prototype of external functions: LibraryExample>>initMyStruct: aStructExample name: name color: anInteger <cdecl: void 'init_my_struct'( StructExample * char * UnsignedLong )> self externalCallFailed ! ExternalStructure class + instanceVariableNames: 'type compiledSpec byteAlignment'! - instanceVariableNames: 'compiledSpec byteAlignment'! Item was changed: ----- Method: ExternalStructure class>>compileAllFields (in category 'system startup') ----- compileAllFields " ExternalStructure compileAllFields " | priorAuthorInitials fieldSpec | priorAuthorInitials := Utilities authorInitialsPerSe. [Utilities setAuthorInitials: 'FFI'. self allStructuresInCompilationOrder do: [:structClass | fieldSpec := structClass fields. self flag: #discuss. "mt: Why do we need that extra layout check? Performance gain is minimal..." (structClass hasFieldLayoutChanged: fieldSpec) ifTrue: [structClass compileFieldsSilently: fieldSpec]. structClass externalType "asNonPointerType" compiledSpec: structClass compiledSpec; + byteAlignment: structClass byteAlignment. + structClass organization removeEmptyCategories]. - byteAlignment: structClass byteAlignment]. "Compilation of fields only needs external types temporarily. Non-weak references to external types are only in methods with FFI calls." ExternalType cleanupUnusedTypes. ] ensure: [Utilities setAuthorInitials: priorAuthorInitials]! Item was changed: ----- Method: ExternalStructure class>>defineAllFields (in category 'system startup') ----- defineAllFields "For convenience. ExternalStructure defineAllFields " self allStructuresInCompilationOrder + do: [:structClass | + structClass defineFields. + structClass organization removeEmptyCategories].! - do: [:structClass | structClass defineFields].! Item was changed: ----- Method: ExternalStructure class>>defineFields: (in category 'field definition') ----- defineFields: fieldSpec "Private. Use #defineFields." + self compileFields: fieldSpec withAccessors: #generated. - self compileFields: fieldSpec withAccessors: #always. ExternalType noticeModificationOf: self.! Item was changed: ----- Method: ExternalStructure class>>maybeCompileAccessor:withSelector: (in category 'field definition - support') ----- maybeCompileAccessor: aString withSelector: selector + "Only compile if category or source changed." + + | category ref | + category := #'*autogenerated - accessing'. + ((ref := MethodReference class: self selector: selector) isValid + and: [ref category = category] + and: [ref sourceString = aString]) + ifTrue: [^ self]. + self compile: aString classified: category.! - (self compiledMethodAt: selector ifAbsent: []) ifNotNil: - [:existingMethod| - existingMethod getSourceFromFile asString = aString ifTrue: - [^self]]. - self compile: aString classified: #'*autogenerated - accessing'! Item was added: + ExternalType subclass: #ExternalStructureType + instanceVariableNames: 'fieldTypes' + classVariableNames: '' + poolDictionaries: '' + category: 'FFI-Kernel'! + + !ExternalStructureType commentStamp: 'mt 6/18/2020 08:54' prior: 0! + I am specializing types for external structures. While compiledSpec and referentClass are still paramount when the FFI plugin is processing FFI calls, this specialization can help untangle in-image processing of external structures and their data. + + In terms of plugin compatibility, you could still use instances of ExternalType as, for example, argument types in ExternalFunction -- given that compiledSpec and referentClass are correct. Argument coercing in FFI calls would still work. However, you could no longer use in-image facilities such as #readFieldAt: / #writeFieldAt:width, which is used for generating struct-field accessors. And the dynamic access through #handle:at: / #handle:at:put: would fail. Also, #printOn: would not be very helpful anymore. + + So, having this specialization of ExternalType for ExternalStructure helps packaging code. :-) Of course, this type can also be used for ExternalUnion, ExternalPackagedStructure, and ExternalTypeAlias.! Item was added: + ----- Method: ExternalStructureType class>>newTypeForStructureClass: (in category 'instance creation') ----- + newTypeForStructureClass: anExternalStructureClass + + | type referentClass | + referentClass := anExternalStructureClass. + + self + assert: [referentClass includesBehavior: ExternalStructure] + description: 'Wrong base class for structure'. + + type := self newTypeForUnknownNamed: referentClass name. + + referentClass compiledSpec + ifNil: [ "First time. The referent class' fields are probably just compiled for the first time." + type asNonPointerType setReferentClass: referentClass. + type asPointerType setReferentClass: referentClass] + ifNotNil: [ + type asNonPointerType newReferentClass: referentClass. + type asPointerType newReferentClass: referentClass]. + + ^ type! Item was added: + ----- Method: ExternalStructureType class>>newTypeForUnknownNamed: (in category 'instance creation') ----- + newTypeForUnknownNamed: typeName + + | type pointerType | + self + assert: [(StructTypes includesKey: typeName) not] + description: 'Structure type already exists. Use #typeNamed: to access it.'. + + type := self "ExternalStructureType" basicNew + compiledSpec: (WordArray with: self structureSpec); + yourself. + self assert: [type isEmpty]. + + pointerType := ExternalType basicNew + compiledSpec: (WordArray with: self pointerSpec); + yourself. + self assert: [pointerType isPointerType]. + + "Connect non-pointer type with pointer type." + type setReferencedType: pointerType. + pointerType setReferencedType: type. + + "Remember this new struct type." + StructTypes at: typeName asSymbol put: type. + + ^ type! Item was added: + ----- Method: ExternalStructureType>>checkType (in category 'external structure') ----- + checkType + + self + assert: [self isPointerType not] + description: 'Convert to ExternalType to use this feature'. + + referentClass ifNil: [self error: 'Unknown structure type']. + self isEmpty ifTrue: [self error: 'Empty structure']. + ! Item was added: + ----- Method: ExternalStructureType>>handle:at: (in category 'external data') ----- + handle: handle at: byteOffset + "Read the receiver's external type using the given handle and the byteOffset. This is the dynamic version of #readFieldAt:." + + | result | + self + assert: [self isPointerType not] + description: 'Use ExternalStructure to use this feature.'. + + referentClass ifNil: [self error: 'Unknown structure type']. + self isEmpty ifTrue: [self error: 'Empty structure']. + + result := self isAtomic + ifTrue: [ + handle "alias to atomic" + perform: (AtomicSelectors at: self atomicType) + with: byteOffset] + ifFalse: [ + handle "regular struct or alias to struct or alias to pointer" + structAt: byteOffset length: self byteSize]. + + ^ referentClass fromHandle: result! Item was added: + ----- Method: ExternalStructureType>>handle:at:put: (in category 'external data') ----- + handle: handle at: byteOffset put: value + "Write a value using the receiver's external type at the given handle and byteOffset. This is the dynamic version of #writeFieldAt:with:." + + self + assert: [self isPointerType not] + description: 'Use ExternalType to use this feature.'. + + referentClass ifNil: [self error: 'Unknown structure type']. + self isEmpty ifTrue: [self error: 'Empty structure']. + + self isAtomic + ifTrue: [ "alias to atomic" + self flag: #addTypeCheck. "mt: Note that there is currently no mapping from objects that represent valid atomics to atomic types." + ^ handle + perform: ((AtomicSelectors at: self atomicType), 'put:') asSymbol + with: byteOffset + with: value getHandle] + ifFalse: [ "regular struct or alias to struct or alias to pointer" + self assert: [value externalType == self]. + ^ handle + structAt: byteOffset + put: value getHandle + length: self byteSize].! Item was added: + ----- Method: ExternalStructureType>>isEmpty (in category 'testing') ----- + isEmpty + "Return true if the receiver represents a structure type" + ^ self byteSize = 0! Item was added: + ----- Method: ExternalStructureType>>isIntegerType (in category 'testing') ----- + isIntegerType + "Overwritten to not raise an error for struct types." + + ^ false! Item was added: + ----- Method: ExternalStructureType>>isTypeAlias (in category 'testing') ----- + isTypeAlias + + ^ referentClass notNil and: [referentClass isTypeAlias]! Item was added: + ----- Method: ExternalStructureType>>isTypeAliasForAtomic (in category 'testing') ----- + isTypeAliasForAtomic + "Answer whether this type aliases an atomic type, e.g., typedef ulong ID" + "See ThreadedFFIPlugin >> ffiArgument: oop Spec: argSpec Class: argClass in: calloutState" + + ^ self isTypeAlias and: [self isStructureType not and: [self isAtomic]]! Item was added: + ----- Method: ExternalStructureType>>isTypeAliasForPointer (in category 'testing') ----- + isTypeAliasForPointer + "Answer whether this type aliases a pointer type, e.g., typedef char* charptr_t" + "See ThreadedFFIPlugin >> ffiArgument: oop Spec: argSpec Class: argClass in: calloutState" + + "Note that self isTypeAliasForPointer => [self isPointerType not]" + ^ self isTypeAlias and: [self isStructureType and:[self headerWord anyMask: FFIFlagPointer]]! Item was added: + ----- Method: ExternalStructureType>>originalType (in category 'accessing') ----- + originalType + "Resolve original type for alias. Error if not a type alias." + + ^ ExternalType typeNamed: self originalTypeName! Item was added: + ----- Method: ExternalStructureType>>originalTypeName (in category 'accessing') ----- + originalTypeName + "Resolve original type for alias. Error if not a type alias." + + ^ referentClass ifNotNil: [referentClass originalTypeName]! Item was added: + ----- Method: ExternalStructureType>>printOn: (in category 'printing') ----- + printOn: aStream + + self isTypeAlias ifTrue: [ + aStream nextPutAll: referentClass name. + aStream + nextPutAll: '~>'; + print: self originalType. + self isEmpty + ifTrue: [aStream nextPutAll: ' ???']. + ^ self]. + + referentClass == nil + ifTrue:[aStream nextPutAll: '<unknown struct type>'] + ifFalse:[ + aStream nextPutAll: referentClass name. + self isEmpty + ifTrue: [aStream nextPutAll: ' { void }']].! Item was added: + ----- Method: ExternalStructureType>>readAlias (in category 'external structure') ----- + readAlias + "this is an aliased structure type, which can itself be a regular struct or an alias to another struct or an alias to a pointer" + + self checkType. + + ^ String streamContents: [:s | + s nextPutAll: '^', referentClass name,' fromHandle: handle']! Item was added: + ----- Method: ExternalStructureType>>readFieldAt: (in category 'external structure') ----- + readFieldAt: byteOffset + "Answer a string defining the accessor to an entity of the receiver type starting at the given byte offset. + Private. Used for field definition only." + + self checkType. + + self isAtomic + ifTrue: [ "alias to atomic" + ^ String streamContents:[:s | + s nextPutAll:'^'; + print: referentClass; + nextPutAll:' fromHandle: (handle '; + nextPutAll: (AtomicSelectors at: self atomicType); + space; print: byteOffset; + nextPutAll:')']] + ifFalse: [ "regular struct or alias to struct or alias to pointer" + ^ String streamContents:[:s| + s nextPutAll:'^'; + print: referentClass; + nextPutAll:' fromHandle: (handle'. + self isTypeAliasForPointer + ifFalse: [ + s nextPutAll: ' structAt: '; + print: byteOffset; + nextPutAll:' length: '; + print: self byteSize; + nextPutAll:')'] + ifTrue: [ + s nextPutAll: ' pointerAt: '; + print: byteOffset; + nextPutAll: ' length: '; + print: self byteSize; + nextPutAll: ') asByteArrayPointer']]]! Item was added: + ----- Method: ExternalStructureType>>storeOn: (in category 'printing') ----- + storeOn: aStream + + referentClass ifNil: [ + "unknown struct type" + ^ aStream nextPutAll: 'nil']. + + aStream + nextPut: $(; + nextPutAll: ExternalType name; space; + nextPutAll: #structTypeNamed:; space; + store: referentClass name; + nextPut: $). + + self isPointerType ifTrue: [ + aStream space; nextPutAll: #asPointerType].! Item was added: + ----- Method: ExternalStructureType>>writeAliasWith: (in category 'external structure') ----- + writeAliasWith: valueName + "this is an aliased structure type" + "expect the value have that structure type with either byte array or external address as handle" + + self checkType. + + ^ String streamContents: [:s | + s nextPutAll: ('self assert: [{1} class externalType == {2}].' format: {valueName. self storeString}); crtab. + s nextPutAll:'handle := ', valueName,' getHandle']! Item was added: + ----- Method: ExternalStructureType>>writeFieldArgName (in category 'external structure') ----- + writeFieldArgName + + ^ 'a',referentClass name! Item was added: + ----- Method: ExternalStructureType>>writeFieldAt:with: (in category 'external structure') ----- + writeFieldAt: byteOffset with: valueName + "Answer a string defining the accessor to an entity of the receiver type starting at the given byte offset. + Private. Used for field definition only." + + self checkType. + + ^String streamContents:[:s| + self isAtomic + ifTrue: [ "alias to atomic" + self flag: #addTypeCheck. "mt: Note that there is currently no mapping from objects that represent valid atomics to atomic types." + s nextPutAll:'handle '; + nextPutAll: (AtomicSelectors at: self atomicType); + space; print: byteOffset; + nextPutAll:' put: '; + nextPutAll: valueName; + nextPutAll: ' getHandle'] + ifFalse: [ "regular struct or alias to struct or alias to pointer" + "expect either byte array or external address as handle" + s nextPutAll: ('self assert: [{1} class externalType == {2}].' format: {valueName. self storeString}); crtab. + + self isTypeAliasForPointer + ifFalse: [ + s nextPutAll:'handle structAt: '; + print: byteOffset; + nextPutAll:' put: '; + nextPutAll: valueName; + nextPutAll:' getHandle'; + nextPutAll:' length: '; + print: self byteSize; + nextPutAll:'.'] + ifTrue: [ + s nextPutAll:'handle pointerAt: '; + print: byteOffset; + nextPutAll:' put: '; + nextPutAll: valueName; + nextPutAll:' getHandle asExternalPointer'; + nextPutAll:' length: '; + print: self byteSize; + nextPutAll:'.']]].! Item was changed: ----- Method: ExternalType class>>newTypeForStructureClass: (in category 'instance creation') ----- newTypeForStructureClass: anExternalStructureClass + + ^ ExternalStructureType newTypeForStructureClass: anExternalStructureClass! - - | type referentClass | - referentClass := anExternalStructureClass. - - self - assert: [referentClass includesBehavior: ExternalStructure] - description: 'Wrong base class for structure'. - - type := self newTypeForUnknownNamed: referentClass name. - - referentClass compiledSpec - ifNil: [ "First time. The referent class' fields are probably just compiled for the first time." - type asNonPointerType setReferentClass: referentClass. - type asPointerType setReferentClass: referentClass] - ifNotNil: [ - type asNonPointerType newReferentClass: referentClass. - type asPointerType newReferentClass: referentClass]. - - ^ type! Item was changed: ----- Method: ExternalType class>>newTypeForUnknownNamed: (in category 'instance creation') ----- newTypeForUnknownNamed: typeName + ^ ExternalStructureType newTypeForUnknownNamed: typeName! - | type pointerType | - self - assert: [(StructTypes includesKey: typeName) not] - description: 'Structure type already exists. Use #typeNamed: to access it.'. - - type := self basicNew - compiledSpec: (WordArray with: self structureSpec); - yourself. - self assert: [type isEmptyStructureType]. - - pointerType := self basicNew - compiledSpec: (WordArray with: self pointerSpec); - yourself. - self assert: [pointerType isPointerType]. - - "Connect non-pointer type with pointer type." - type setReferencedType: pointerType. - pointerType setReferencedType: type. - - "Remember this new struct type." - StructTypes at: typeName asSymbol put: type. - - ^ type! Item was added: + ----- Method: ExternalType>>checkType (in category 'external structure') ----- + checkType + + (self isPointerType not and: [referentClass notNil]) + ifTrue: [self error: 'Must convert to ExternalStructureType before use']. + + self + assert: [self isStructureType not] + description: 'Convert to ExternalStructureType to use this feature'.! Item was changed: ----- Method: ExternalType>>handle:at: (in category 'external data') ----- handle: handle at: byteOffset "Read the receiver's external type using the given handle and the byteOffset. This is the dynamic version of #readFieldAt:." | result | + self checkType. - self isPointerType ifTrue: [ - | accessor shouldReadCString | - accessor := self pointerSize caseOf: { - [4] -> [#shortPointerAt:]. - [8] -> [#longPointerAt:] }. - shouldReadCString := self = ExternalType string. - ^ referentClass - ifNil: [ - result := ExternalData - fromHandle: (handle perform: accessor with: byteOffset) - type: self. - shouldReadCString - ifTrue: [result fromCString] - ifFalse: [result]] - ifNotNil: [ - referentClass - fromHandle: (handle perform: accessor with: byteOffset)]]. - - self isAtomic ifFalse: [ "structure type" - ^ referentClass fromHandle: (handle structAt: byteOffset length: self byteSize)]. + self isPointerType + ifFalse: [ + "Answer atomic value" + ^ handle + perform: (AtomicSelectors at: self atomicType) + with: byteOffset] + ifTrue: [ + ^ referentClass + ifNotNil: [ + "Answer structure, union, or type alias" + referentClass fromHandle: (handle pointerAt: byteOffset length: self byteSize)] + ifNil: [ + "Answer wrapper that points to external data" + result := ExternalData + fromHandle: (handle pointerAt: byteOffset length: self byteSize) + type: self. + self = ExternalType string + ifTrue: [result fromCString] + ifFalse: [result]]]! - result := handle - perform: (AtomicSelectors at: self atomicType) - with: byteOffset. - - ^ self isTypeAlias - ifFalse: [result] "atomic type" - ifTrue: [referentClass fromHandle: result] "alias to atomic type"! Item was changed: ----- Method: ExternalType>>handle:at:put: (in category 'external data') ----- handle: handle at: byteOffset put: value "Write a value using the receiver's external type at the given handle and byteOffset. This is the dynamic version of #writeFieldAt:with:." + + self checkType. + self isPointerType + ifFalse: [ "set atomic value" + self flag: #addTypeCheck. "mt: Note that there is currently no mapping from objects that represent valid atomics to atomic types." + handle + perform: ((AtomicSelectors at: self atomicType), 'put:') asSymbol + with: byteOffset + with: value] + ifTrue: [ "set pointer to struct/union/alias" + self assert: [value externalType == self]. + handle + pointerAt: byteOffset + put: value getHandle + length: self byteSize].! - self isPointerType ifTrue: [ - | accessor | - accessor := self pointerSize caseOf: { - [4] -> [#shortPointerAt:put:]. - [8] -> [#longPointerAt:put:] }. - self = ExternalType string - ifTrue: [^ self error: 'You should not write a string of arbitrary length into an external address.']. - ^ handle - perform: accessor - with: byteOffset - with: value getHandle]. - - self isAtomic ifFalse: [ "structure type" - ^ handle - structAt: byteOffset - put: value getHandle - length: self byteSize]. - - self isTypeAlias ifTrue: [ "alias to atomic type" - ^ handle - perform: ((AtomicSelectors at: self atomicType), 'put:') asSymbol - with: byteOffset - with: value getHandle]. - - "atomic type" - ^ handle - perform: ((AtomicSelectors at: self atomicType), 'put:') asSymbol - with: byteOffset - with: value! Item was removed: - ----- Method: ExternalType>>isEmptyStructureType (in category 'testing') ----- - isEmptyStructureType - "Return true if the receiver represents a structure type" - ^ self isStructureType and: [self byteSize = 0]! Item was removed: - ----- Method: ExternalType>>isTypeAlias (in category 'testing') ----- - isTypeAlias - - ^ self isPointerType not - and: [referentClass notNil and: [referentClass isTypeAlias]]! Item was removed: - ----- Method: ExternalType>>isTypeAliasForAtomic (in category 'testing') ----- - isTypeAliasForAtomic - "Answer whether this type aliases an atomic type, e.g., typedef ulong ID" - "See ThreadedFFIPlugin >> ffiArgument: oop Spec: argSpec Class: argClass in: calloutState" - - ^ self isTypeAlias and: [self isStructureType not and: [self isAtomic]]! Item was removed: - ----- Method: ExternalType>>isTypeAliasForPointer (in category 'testing') ----- - isTypeAliasForPointer - "Answer whether this type aliases a pointer type, e.g., typedef char* charptr_t" - "See ThreadedFFIPlugin >> ffiArgument: oop Spec: argSpec Class: argClass in: calloutState" - - "Note that self isTypeAliasForPointer => [self isPointerType not]" - "^ self isTypeAlias and: [self isStructureType and:[self headerWord anyMask: FFIFlagPointer]]" - ^ self headerWord anyMask: FFIFlagPointer+FFIFlagStructure! Item was removed: - ----- Method: ExternalType>>originalType (in category 'accessing') ----- - originalType - "Resolve original type for alias. Error if not a type alias." - - ^ ExternalType typeNamed: self originalTypeName! Item was removed: - ----- Method: ExternalType>>originalTypeName (in category 'accessing') ----- - originalTypeName - "Resolve original type for alias. Error if not a type alias." - - ^ referentClass ifNotNil: [referentClass originalTypeName]! Item was changed: ----- Method: ExternalType>>printOn: (in category 'printing') ----- printOn: aStream + aStream nextPutAll: (referentClass ifNil: [self atomicTypeName] ifNotNil: [referentClass name]). + self isPointerType ifTrue: [aStream nextPut: $*].! - self isTypeAlias ifTrue: [ - "Note that a type alias cannot be atomic." - aStream nextPutAll: referentClass name. - self isPointerType ifTrue:[aStream nextPut: $*]. - aStream - nextPutAll: '~>'; - print: self originalType. - self isEmptyStructureType - ifTrue: [aStream nextPutAll: ' ???']. - ^ self]. - - self isAtomic - ifTrue: [aStream nextPutAll: self atomicTypeName] - ifFalse: [ - referentClass == nil - ifTrue:[aStream nextPutAll: '<unknown struct type>'] - ifFalse:[ - aStream nextPutAll: referentClass name. - self isEmptyStructureType - ifTrue: [aStream nextPutAll: ' { void }']]]. - self isPointerType ifTrue:[aStream nextPut: $*].! Item was changed: ----- Method: ExternalType>>readAlias (in category 'external structure') ----- readAlias + self checkType. + ^ String streamContents: [:s | + self isPointerType + ifFalse: [ + "this is an aliased atomic, non-pointer type" + s nextPutAll: '^handle "', self writeFieldArgName, '"'] + ifTrue: [ + referentClass + ifNotNil: [ + "this is an aliased pointer to a structure, union, or type alias" + s nextPutAll:'^', referentClass name,' fromHandle: handle asExternalPointer'] + ifNil: [ + "this is an aliased pointer to external data" + | shouldReadCString | + (shouldReadCString := self = ExternalType string) + ifTrue: [s nextPutAll: '^('] + ifFalse: [s nextPutAll: '^']. + s nextPutAll: 'ExternalData fromHandle: handle'. + self isPointerType ifTrue:[s nextPutAll:' asExternalPointer']. + s nextPutAll:' type: '. + shouldReadCString + ifTrue: [s nextPutAll: 'ExternalType string) fromCString'] + ifFalse: [s nextPutAll: self asPointerType storeString]]]]! - referentClass == nil - ifTrue:[(self isAtomic and:[self isPointerType not]) - ifTrue:[s nextPutAll:'^handle "', self writeFieldArgName, '"'] - ifFalse:[ | shouldReadCString | - (shouldReadCString := self = ExternalType string) - ifTrue: [s nextPutAll: '^('] - ifFalse: [s nextPutAll: '^']. - s nextPutAll: 'ExternalData fromHandle: handle'. - self isPointerType ifTrue:[s nextPutAll:' asExternalPointer']. - s nextPutAll:' type: '. - shouldReadCString - ifTrue: [s nextPutAll: 'ExternalType string) fromCString'] - ifFalse: [s nextPutAll: self asPointerType storeString]]] - ifFalse:[s nextPutAll:'^', referentClass name,' fromHandle: handle'. - self isPointerType ifTrue:[s nextPutAll:' asExternalPointer']]]! Item was changed: ----- Method: ExternalType>>readFieldAt: (in category 'external structure') ----- readFieldAt: byteOffset "Answer a string defining the accessor to an entity of the receiver type starting at the given byte offset. Private. Used for field definition only." + + self checkType. + + ^ String streamContents: [:s | + + self isPointerType + ifFalse: [ + "Atomic value" + s nextPutAll:'^handle '; + nextPutAll: (AtomicSelectors at: self atomicType); + space; print: byteOffset] + ifTrue: [ + | shouldReadCString | + shouldReadCString := self = ExternalType string. + referentClass + ifNotNil: [ + "Pointer to structure, union, or type alias" + s nextPutAll: '^'; + print: referentClass; + nextPutAll: ' fromHandle: (handle pointerAt: '; + print: byteOffset; + nextPutAll: ' length: '; + print: self byteSize; + nextPut: $)] + ifNil: [ + "Pointer to external data" + shouldReadCString - self isPointerType ifTrue: - [| accessor shouldReadCString | - self flag: #ffiLongVsInt. "mt: Here short means 'long', which is actually 'int', and long means 'longlong'. Sigh." - accessor := self pointerSize caseOf: { - [4] -> [#shortPointerAt:]. - [8] -> [#longPointerAt:] }. - shouldReadCString := self = ExternalType string. - ^String streamContents: - [:s| - referentClass - ifNil: - [shouldReadCString ifTrue: [s nextPutAll: '^('] ifFalse: [s nextPutAll: '^']. + s nextPutAll: 'ExternalData fromHandle: (handle pointerAt: '; - s nextPutAll: 'ExternalData fromHandle: (handle ', accessor, ' '; print: byteOffset; + nextPutAll: ' length: '; + print: self byteSize; nextPutAll: ') type: ExternalType '. shouldReadCString ifTrue: [s nextPutAll: 'string) fromCString'] ifFalse: [s nextPutAll: self atomicTypeName; + nextPutAll: ' asPointerType']]]].! - nextPutAll: ' asPointerType']] - ifNotNil: - [s nextPutAll: '^'; - print: referentClass; - nextPutAll: ' fromHandle: (handle ', accessor, ' '; - print: byteOffset; - nextPut: $)]]]. - - self isAtomic ifFalse: "structure type" - [^String streamContents:[:s| - s nextPutAll:'^'; - print: referentClass; - nextPutAll:' fromHandle: (handle structAt: '; - print: byteOffset; - nextPutAll:' length: '; - print: self byteSize; - nextPutAll:')']]. - - self isTypeAlias ifTrue: "alias to atomic type" - [^String streamContents:[:s | - s nextPutAll:'^'; - print: referentClass; - nextPutAll:' fromHandle: (handle '; - nextPutAll: (AtomicSelectors at: self atomicType); - space; print: byteOffset; - nextPutAll:')']]. - - "Atomic non-pointer types" - ^String streamContents: - [:s| - s nextPutAll:'^handle '; - nextPutAll: (AtomicSelectors at: self atomicType); - space; print: byteOffset].! Item was changed: ----- Method: ExternalType>>storeOn: (in category 'printing') ----- storeOn: aStream + referentClass + ifNil: [ "atomic or pointer to atomic" + aStream nextPutAll: ExternalType name; space; nextPutAll: self atomicTypeName] + ifNotNil: [ "pointer to structure or union or type alias" + aStream + nextPut: $(; + nextPutAll: ExternalType name; space; + nextPutAll: #structTypeNamed:; space; + store: referentClass name; + nextPutAll: ')']. + + self isPointerType ifTrue: [aStream space; nextPutAll: #asPointerType]! - self isAtomic - ifTrue:[aStream nextPutAll: ExternalType name; space; nextPutAll: self atomicTypeName] - ifFalse:[ - referentClass == nil - ifTrue: [aStream nextPutAll: 'nil'] - ifFalse: [aStream nextPut: $(; nextPutAll: ExternalType name; space; nextPutAll: #structTypeNamed:; space; store: referentClass name; nextPut: $)]]. - self isPointerType ifTrue: [aStream space; nextPutAll: #asPointerType].! Item was changed: ----- Method: ExternalType>>writeAliasWith: (in category 'external structure') ----- writeAliasWith: valueName + self checkType. + ^ String streamContents: [:s | + self isPointerType + ifFalse: [ + "this is an aliased atomic non-pointer type" + self flag: #addTypeCheck. "mt: Note that there is currently no mapping from objects that represent valid atomics to atomic types." + s nextPutAll:'handle := ', valueName, '.'] + ifTrue: [ + "this is an aliased pointer type" + "expect the value to be a structure/union/alias/data with an external address as handle" + s nextPutAll: ('self assert: [{1} externalType == {2}].' format: {valueName. self storeString}); crtab. + s nextPutAll:'handle := ', valueName,' getHandle asByteArrayPointer']]! - (referentClass == nil and:[self isAtomic and:[self isPointerType not]]) - ifTrue:[s nextPutAll:'handle := ', valueName, '.'] - ifFalse:[ - self = ExternalType string - ifTrue: [ - s nextPutAll: 'self shouldNotImplement. "You cannot write an arbitrary String object into an external address. Maybe we can pad or trim it in the future to only use the memory that has already been allocated. Additionally, this type alias to a char* stores its external address in a byte array. So, locally storing the string in a byte array will not work either, because we cannot discriminate when reading the field again."'; crtab. - s nextPutAll: 'handle := ', valueName, ' asByteArray, #[0].'] - ifFalse: [ - s nextPutAll:'handle := ', valueName,' getHandle'. - self isPointerType ifTrue:[s nextPutAll:' asByteArrayPointer']]]]! Item was changed: ----- Method: ExternalType>>writeFieldArgName (in category 'external structure') ----- writeFieldArgName + ^ self isPointerType + ifFalse: [ + self atomicTypeName caseOf: { + ['bool'] -> ['aBoolean']. + ['char'] -> ['aCharacter']. + ['schar'] -> ['aCharacter']. + ['float'] -> ['aFloat']. + ['double'] -> ['aFloat']. + } otherwise: ['anInteger']] + ifTrue: [ + referentClass + ifNotNil: ['a',referentClass name] + ifNil: [ + self = ExternalType string + ifTrue: ['externalCStringData'] + ifFalse: ['externalData']]]! - ^ referentClass == nil - ifTrue:[(self isAtomic and:[self isPointerType not]) - ifTrue:[ - self atomicTypeName caseOf: { - ['bool'] -> ['aBoolean']. - ['char'] -> ['aCharacter']. - ['schar'] -> ['aCharacter']. - ['float'] -> ['aFloat']. - ['double'] -> ['aFloat']. - } otherwise: ['anInteger']] - ifFalse:[ - self = ExternalType string - ifTrue: ['aString'] - ifFalse: ['someExternalData']]] - ifFalse:['a',referentClass name]! Item was changed: ----- Method: ExternalType>>writeFieldAt:with: (in category 'external structure') ----- writeFieldAt: byteOffset with: valueName "Answer a string defining the accessor to an entity of the receiver type starting at the given byte offset. Private. Used for field definition only." + + self checkType. + + ^ String streamContents: [:s | + self isPointerType + ifFalse: [ + "Atomic value" + self flag: #addTypeCheck. "mt: Note that there is currently no mapping from objects that represent valid atomics to atomic types." + s nextPutAll:'handle '; + nextPutAll: (AtomicSelectors at: self atomicType); + space; print: byteOffset; + nextPutAll:' put: '; + nextPutAll: valueName] + ifTrue: [ + "Pointer to structure, union, type alias, or external data." + s nextPutAll: ('self assert: [{1} externalType == {2}].' format: {valueName. self storeString}); crtab. + s nextPutAll:'handle pointerAt: '; - self isPointerType ifTrue: - [| accessor | - self flag: #ffiLongVsInt. "mt: Here short means 'long', which is actually 'int', and long means 'longlong'. Sigh." - accessor := self pointerSize caseOf: { - [4] -> [#shortPointerAt:]. - [8] -> [#longPointerAt:] }. - - ^String streamContents: - [:s| - self = ExternalType string ifTrue: - [s nextPutAll: 'self shouldNotImplement. "You should not write a string of abitrary length into an external address. Maybe we can pad or trim it in the future to only use the memory that has already been allocated."'] - ifFalse: - [s nextPutAll:'handle ', accessor, ' '; print: byteOffset; nextPutAll:' put: '; nextPutAll: valueName; + nextPutAll:' getHandle'; + nextPutAll: ' length: '; + print: self byteSize; + nextPutAll: '.']]! - nextPutAll:' getHandle.']]]. - - self isAtomic ifFalse:[ "structure type" - ^String streamContents:[:s| - s nextPutAll:'handle structAt: '; - print: byteOffset; - nextPutAll:' put: '; - nextPutAll: valueName; - nextPutAll:' getHandle'; - nextPutAll:' length: '; - print: self byteSize; - nextPutAll:'.']]. - - self isTypeAlias ifTrue:[ "alias to atomic type" - ^String streamContents:[:s| - s nextPutAll:'handle '; - nextPutAll: (AtomicSelectors at: self atomicType); - space; print: byteOffset; - nextPutAll:' put: '; - nextPutAll: valueName; - nextPutAll: ' getHandle']]. - - ^String streamContents:[:s| - s nextPutAll:'handle '; - nextPutAll: (AtomicSelectors at: self atomicType); - space; print: byteOffset; - nextPutAll:' put: '; - nextPutAll: valueName].! Item was changed: (PackageInfo named: 'FFI-Kernel') postscript: 'Smalltalk removeFromStartUpList: ExternalAddress. Smalltalk removeFromStartUpList: ExternalObject. + "Split up types for external structures from atomic types." + ExternalType resetAllStructureTypes. + + "Re-generate all field accessors because there are now type checks, too." + ExternalStructure defineAllFields. + '! - "Since #pointerSize in ExternalType is never nil anymore, make the code generated for fields more specific, i.e., #shortPointerAt:(put:) or #longPointerAt:(put:)." - ExternalType platformChangedFrom: FFIPlatformDescription empty to: FFIPlatformDescription current. - ExternalStructure platformChangedFrom: FFIPlatformDescription empty to: FFIPlatformDescription current.'!

1 0

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

Packages June 2020