FFI: FFI-Tests-mt.19.mcz

Marcel Taeumel uploaded a new version of FFI-Tests to project FFI:
http://source.squeak.org/FFI/FFI-Tests-mt.19.mcz

==================== Summary ====================

Name: FFI-Tests-mt.19
Author: mt
Time: 17 June 2020, 11:48:14.239028 am
UUID: 5b5f9c13-eb5c-2f45-8ecb-240a1dab2993
Ancestors: FFI-Tests-mt.18

Adds tests for ExternalType. Complements FFI-Kernel-mt.110.

=============== Diff against FFI-Tests-mt.18 ===============

Item was added:
+ TestCase subclass: #ExternalTypeTests
+ instanceVariableNames: ''
+ classVariableNames: ''
+ poolDictionaries: 'ExternalType'
+ category: 'FFI-Tests'!

Item was added:
+ ----- 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 isTypeAlias].!

Item was added:
+ ----- Method: ExternalTypeTests>>testAtomicTypeByName (in category 'tests') -----
+ testAtomicTypeByName
+
+ AtomicTypeNames do: [:typeName |
+ self
+ assert: (AtomicTypes at: typeName)
+ identical: (ExternalType typeNamed: typeName);
+ assert: (AtomicTypes at: typeName)
+ identical: (ExternalType atomicTypeNamed: typeName)].!

Item was added:
+ ----- Method: ExternalTypeTests>>testAtomicTypeBySelector (in category 'tests') -----
+ testAtomicTypeBySelector
+
+ AtomicTypeNames do: [:typeName |
+ self
+ assert: (AtomicTypes at: typeName)
+ identical: (ExternalType perform: typeName asSymbol)].!

Item was added:
+ ----- Method: ExternalTypeTests>>testIntegerPointerTypes (in category 'tests') -----
+ testIntegerPointerTypes
+
+ | wordSize |
+ wordSize := FFIPlatformDescription current wordSize.
+
+ #(size_t ptrdiff_t uintptr_t intptr_t) do: [:typeName |
+ | type |
+ type := ExternalType typeNamed: typeName.
+ self
+ assert: type isIntegerType;
+ assert: wordSize equals: type byteSize].!

Item was added:
+ ----- Method: ExternalTypeTests>>testIntegerTypes (in category 'tests') -----
+ testIntegerTypes
+
+ #(
+ uint8_t 1 int8_t 1
+ uint16_t 2 int16_t 2
+ uint32_t 4 int32_t 4
+ uint64_t 8 int64_t 8
+ ) pairsDo: [:typeName :byteSize |
+ | type |
+ type := ExternalType typeNamed: typeName.
+ self
+ assert: type isIntegerType;
+ assert: byteSize equals: type byteSize].!

Item was added:
+ ----- Method: ExternalTypeTests>>testSignFloatTypes (in category 'tests') -----
+ testSignFloatTypes
+
+ self
+ should: [ExternalType float isSigned] raise: Error;
+ should: [ExternalType float isUnsigned] raise: Error;
+ should: [ExternalType float asSigned] raise: Error;
+ should: [ExternalType float asUnsigned] raise: Error;
+ should: [ExternalType double isSigned] raise: Error;
+ should: [ExternalType double isUnsigned] raise: Error;
+ should: [ExternalType double asSigned] raise: Error;
+ should: [ExternalType double asUnsigned] raise: Error.!

Item was added:
+ ----- Method: ExternalTypeTests>>testSignIntegerTypes (in category 'tests') -----
+ testSignIntegerTypes
+
+ AtomicTypeNames do: [:typeName |
+ | type |
+ type := ExternalType atomicTypeNamed: typeName.
+ self
+ assert: type isIntegerType ==> [
+ (type isSigned and: [type asUnsigned isUnsigned])
+ or: [type isUnsigned and: [type asSigned isSigned]]]].!