hg/stx-goodies-regression: RegressionTests__SmallIntegerTest.st@f918fa22ad81 (annotated)

310 f7a1f000a281 initial checkin Claus Gittinger <cg@exept.de> parents: diff changeset	1	"{ Package: 'exept:regression' }"
f7a1f000a281 initial checkin Claus Gittinger <cg@exept.de> parents: diff changeset	2
f7a1f000a281 initial checkin Claus Gittinger <cg@exept.de> parents: diff changeset	3	"{ NameSpace: RegressionTests }"
f7a1f000a281 initial checkin Claus Gittinger <cg@exept.de> parents: diff changeset	4
f7a1f000a281 initial checkin Claus Gittinger <cg@exept.de> parents: diff changeset	5	TestCase subclass:#SmallIntegerTest
f7a1f000a281 initial checkin Claus Gittinger <cg@exept.de> parents: diff changeset	6	instanceVariableNames:''
f7a1f000a281 initial checkin Claus Gittinger <cg@exept.de> parents: diff changeset	7	classVariableNames:''
f7a1f000a281 initial checkin Claus Gittinger <cg@exept.de> parents: diff changeset	8	poolDictionaries:''
f7a1f000a281 initial checkin Claus Gittinger <cg@exept.de> parents: diff changeset	9	category:'tests-Regression'
f7a1f000a281 initial checkin Claus Gittinger <cg@exept.de> parents: diff changeset	10	!
f7a1f000a281 initial checkin Claus Gittinger <cg@exept.de> parents: diff changeset	11
f7a1f000a281 initial checkin Claus Gittinger <cg@exept.de> parents: diff changeset	12
619 f918fa22ad81 Circumvent compiler error about div by zero Stefan Vogel <sv@exept.de> parents: 364 diff changeset	13	!SmallIntegerTest class methodsFor:'others'!
f918fa22ad81 Circumvent compiler error about div by zero Stefan Vogel <sv@exept.de> parents: 364 diff changeset	14
f918fa22ad81 Circumvent compiler error about div by zero Stefan Vogel <sv@exept.de> parents: 364 diff changeset	15	version_CVS
f918fa22ad81 Circumvent compiler error about div by zero Stefan Vogel <sv@exept.de> parents: 364 diff changeset	16	^ '$Header$'
f918fa22ad81 Circumvent compiler error about div by zero Stefan Vogel <sv@exept.de> parents: 364 diff changeset	17	! !
f918fa22ad81 Circumvent compiler error about div by zero Stefan Vogel <sv@exept.de> parents: 364 diff changeset	18
310 f7a1f000a281 initial checkin Claus Gittinger <cg@exept.de> parents: diff changeset	19	!SmallIntegerTest methodsFor:'tests-arithmetic'!
f7a1f000a281 initial checkin Claus Gittinger <cg@exept.de> parents: diff changeset	20
f7a1f000a281 initial checkin Claus Gittinger <cg@exept.de> parents: diff changeset	21	testDivide
619 f918fa22ad81 Circumvent compiler error about div by zero Stefan Vogel <sv@exept.de> parents: 364 diff changeset	22	\|zero\|
f918fa22ad81 Circumvent compiler error about div by zero Stefan Vogel <sv@exept.de> parents: 364 diff changeset	23
f918fa22ad81 Circumvent compiler error about div by zero Stefan Vogel <sv@exept.de> parents: 364 diff changeset	24	"circumvent compiler error about division by zero"
f918fa22ad81 Circumvent compiler error about div by zero Stefan Vogel <sv@exept.de> parents: 364 diff changeset	25	zero := 0.
f918fa22ad81 Circumvent compiler error about div by zero Stefan Vogel <sv@exept.de> parents: 364 diff changeset	26
310 f7a1f000a281 initial checkin Claus Gittinger <cg@exept.de> parents: diff changeset	27	self assert: 2 / 1 = 2.
f7a1f000a281 initial checkin Claus Gittinger <cg@exept.de> parents: diff changeset	28	self assert: (3 / 2) isFraction.
f7a1f000a281 initial checkin Claus Gittinger <cg@exept.de> parents: diff changeset	29	self assert: 4 / 2 = 2.
619 f918fa22ad81 Circumvent compiler error about div by zero Stefan Vogel <sv@exept.de> parents: 364 diff changeset	30	self should: [ 1 / zero ] raise: ZeroDivide.
364 fd3ff5ad69f5 * empty log message * Claus Gittinger <cg@exept.de> parents: 310 diff changeset	31	!
fd3ff5ad69f5 * empty log message * Claus Gittinger <cg@exept.de> parents: 310 diff changeset	32
fd3ff5ad69f5 * empty log message * Claus Gittinger <cg@exept.de> parents: 310 diff changeset	33	testMultiply
fd3ff5ad69f5 * empty log message * Claus Gittinger <cg@exept.de> parents: 310 diff changeset	34	\|i ii\|
fd3ff5ad69f5 * empty log message * Claus Gittinger <cg@exept.de> parents: 310 diff changeset	35
fd3ff5ad69f5 * empty log message * Claus Gittinger <cg@exept.de> parents: 310 diff changeset	36	#(
fd3ff5ad69f5 * empty log message * Claus Gittinger <cg@exept.de> parents: 310 diff changeset	37	16r3fff
fd3ff5ad69f5 * empty log message * Claus Gittinger <cg@exept.de> parents: 310 diff changeset	38	16r7fff
fd3ff5ad69f5 * empty log message * Claus Gittinger <cg@exept.de> parents: 310 diff changeset	39	16rffff
fd3ff5ad69f5 * empty log message * Claus Gittinger <cg@exept.de> parents: 310 diff changeset	40	16r3fffffff
fd3ff5ad69f5 * empty log message * Claus Gittinger <cg@exept.de> parents: 310 diff changeset	41	16r7fffffff
fd3ff5ad69f5 * empty log message * Claus Gittinger <cg@exept.de> parents: 310 diff changeset	42	16rffffffff
fd3ff5ad69f5 * empty log message * Claus Gittinger <cg@exept.de> parents: 310 diff changeset	43	16r20000000
fd3ff5ad69f5 * empty log message * Claus Gittinger <cg@exept.de> parents: 310 diff changeset	44	16r40000000
fd3ff5ad69f5 * empty log message * Claus Gittinger <cg@exept.de> parents: 310 diff changeset	45	16r80000000
fd3ff5ad69f5 * empty log message * Claus Gittinger <cg@exept.de> parents: 310 diff changeset	46	16r100000000
fd3ff5ad69f5 * empty log message * Claus Gittinger <cg@exept.de> parents: 310 diff changeset	47	16r20000001
fd3ff5ad69f5 * empty log message * Claus Gittinger <cg@exept.de> parents: 310 diff changeset	48	16r40000001
fd3ff5ad69f5 * empty log message * Claus Gittinger <cg@exept.de> parents: 310 diff changeset	49	16r80000001
fd3ff5ad69f5 * empty log message * Claus Gittinger <cg@exept.de> parents: 310 diff changeset	50	16r100000001
fd3ff5ad69f5 * empty log message * Claus Gittinger <cg@exept.de> parents: 310 diff changeset	51	) do:[:x \|
fd3ff5ad69f5 * empty log message * Claus Gittinger <cg@exept.de> parents: 310 diff changeset	52	i := x.
fd3ff5ad69f5 * empty log message * Claus Gittinger <cg@exept.de> parents: 310 diff changeset	53	ii := i * i.
fd3ff5ad69f5 * empty log message * Claus Gittinger <cg@exept.de> parents: 310 diff changeset	54	self assert:((ii / i) = i).
fd3ff5ad69f5 * empty log message * Claus Gittinger <cg@exept.de> parents: 310 diff changeset	55	i class == SmallInteger ifTrue:[
fd3ff5ad69f5 * empty log message * Claus Gittinger <cg@exept.de> parents: 310 diff changeset	56	self assert:((ii / i) == i).
fd3ff5ad69f5 * empty log message * Claus Gittinger <cg@exept.de> parents: 310 diff changeset	57	].
fd3ff5ad69f5 * empty log message * Claus Gittinger <cg@exept.de> parents: 310 diff changeset	58
fd3ff5ad69f5 * empty log message * Claus Gittinger <cg@exept.de> parents: 310 diff changeset	59	i := x negated.
fd3ff5ad69f5 * empty log message * Claus Gittinger <cg@exept.de> parents: 310 diff changeset	60	ii := i * i.
fd3ff5ad69f5 * empty log message * Claus Gittinger <cg@exept.de> parents: 310 diff changeset	61	self assert:((ii / i) = i).
fd3ff5ad69f5 * empty log message * Claus Gittinger <cg@exept.de> parents: 310 diff changeset	62	i class == SmallInteger ifTrue:[
fd3ff5ad69f5 * empty log message * Claus Gittinger <cg@exept.de> parents: 310 diff changeset	63	self assert:((ii / i) == i).
fd3ff5ad69f5 * empty log message * Claus Gittinger <cg@exept.de> parents: 310 diff changeset	64	].
fd3ff5ad69f5 * empty log message * Claus Gittinger <cg@exept.de> parents: 310 diff changeset	65	].
fd3ff5ad69f5 * empty log message * Claus Gittinger <cg@exept.de> parents: 310 diff changeset	66	!
fd3ff5ad69f5 * empty log message * Claus Gittinger <cg@exept.de> parents: 310 diff changeset	67
fd3ff5ad69f5 * empty log message * Claus Gittinger <cg@exept.de> parents: 310 diff changeset	68	testNegation
fd3ff5ad69f5 * empty log message * Claus Gittinger <cg@exept.de> parents: 310 diff changeset	69	\|i iN iNN\|
fd3ff5ad69f5 * empty log message * Claus Gittinger <cg@exept.de> parents: 310 diff changeset	70
fd3ff5ad69f5 * empty log message * Claus Gittinger <cg@exept.de> parents: 310 diff changeset	71	#(
fd3ff5ad69f5 * empty log message * Claus Gittinger <cg@exept.de> parents: 310 diff changeset	72	16r3fffffff
fd3ff5ad69f5 * empty log message * Claus Gittinger <cg@exept.de> parents: 310 diff changeset	73	16r7fffffff
fd3ff5ad69f5 * empty log message * Claus Gittinger <cg@exept.de> parents: 310 diff changeset	74	16rffffffff
fd3ff5ad69f5 * empty log message * Claus Gittinger <cg@exept.de> parents: 310 diff changeset	75	16r20000000
fd3ff5ad69f5 * empty log message * Claus Gittinger <cg@exept.de> parents: 310 diff changeset	76	16r40000000
fd3ff5ad69f5 * empty log message * Claus Gittinger <cg@exept.de> parents: 310 diff changeset	77	16r80000000
fd3ff5ad69f5 * empty log message * Claus Gittinger <cg@exept.de> parents: 310 diff changeset	78	16r100000000
fd3ff5ad69f5 * empty log message * Claus Gittinger <cg@exept.de> parents: 310 diff changeset	79	16r20000001
fd3ff5ad69f5 * empty log message * Claus Gittinger <cg@exept.de> parents: 310 diff changeset	80	16r40000001
fd3ff5ad69f5 * empty log message * Claus Gittinger <cg@exept.de> parents: 310 diff changeset	81	16r80000001
fd3ff5ad69f5 * empty log message * Claus Gittinger <cg@exept.de> parents: 310 diff changeset	82	16r100000001
fd3ff5ad69f5 * empty log message * Claus Gittinger <cg@exept.de> parents: 310 diff changeset	83	) do:[:x \|
fd3ff5ad69f5 * empty log message * Claus Gittinger <cg@exept.de> parents: 310 diff changeset	84	i := x.
fd3ff5ad69f5 * empty log message * Claus Gittinger <cg@exept.de> parents: 310 diff changeset	85	iN := i negated.
fd3ff5ad69f5 * empty log message * Claus Gittinger <cg@exept.de> parents: 310 diff changeset	86	iNN := iN negated.
fd3ff5ad69f5 * empty log message * Claus Gittinger <cg@exept.de> parents: 310 diff changeset	87	self assert:(i = iNN).
fd3ff5ad69f5 * empty log message * Claus Gittinger <cg@exept.de> parents: 310 diff changeset	88	i class == SmallInteger ifTrue:[
fd3ff5ad69f5 * empty log message * Claus Gittinger <cg@exept.de> parents: 310 diff changeset	89	self assert:(i == iNN).
fd3ff5ad69f5 * empty log message * Claus Gittinger <cg@exept.de> parents: 310 diff changeset	90	].
fd3ff5ad69f5 * empty log message * Claus Gittinger <cg@exept.de> parents: 310 diff changeset	91	].
310 f7a1f000a281 initial checkin Claus Gittinger <cg@exept.de> parents: diff changeset	92	! !
f7a1f000a281 initial checkin Claus Gittinger <cg@exept.de> parents: diff changeset	93
f7a1f000a281 initial checkin Claus Gittinger <cg@exept.de> parents: diff changeset	94	!SmallIntegerTest methodsFor:'tests-class protocol'!
f7a1f000a281 initial checkin Claus Gittinger <cg@exept.de> parents: diff changeset	95
f7a1f000a281 initial checkin Claus Gittinger <cg@exept.de> parents: diff changeset	96	testBasicNew
f7a1f000a281 initial checkin Claus Gittinger <cg@exept.de> parents: diff changeset	97	self should: [SmallInteger basicNew] raise: TestResult error.
f7a1f000a281 initial checkin Claus Gittinger <cg@exept.de> parents: diff changeset	98	!
f7a1f000a281 initial checkin Claus Gittinger <cg@exept.de> parents: diff changeset	99
f7a1f000a281 initial checkin Claus Gittinger <cg@exept.de> parents: diff changeset	100	testMaxVal
f7a1f000a281 initial checkin Claus Gittinger <cg@exept.de> parents: diff changeset	101	"/ the original code did not check for pointer-size;
f7a1f000a281 initial checkin Claus Gittinger <cg@exept.de> parents: diff changeset	102
f7a1f000a281 initial checkin Claus Gittinger <cg@exept.de> parents: diff changeset	103	Smalltalk isSmalltalkX ifTrue:[
f7a1f000a281 initial checkin Claus Gittinger <cg@exept.de> parents: diff changeset	104	SmallInteger maxBytes == 4 ifTrue:[
f7a1f000a281 initial checkin Claus Gittinger <cg@exept.de> parents: diff changeset	105	self should: [SmallInteger maxVal = 16r3FFFFFFF].
f7a1f000a281 initial checkin Claus Gittinger <cg@exept.de> parents: diff changeset	106	self should: [SmallInteger maxVal == 16r3FFFFFFF].
f7a1f000a281 initial checkin Claus Gittinger <cg@exept.de> parents: diff changeset	107	] ifFalse:[
f7a1f000a281 initial checkin Claus Gittinger <cg@exept.de> parents: diff changeset	108	self should: [SmallInteger maxVal = 16r3FFFFFFFFFFFFFFF].
f7a1f000a281 initial checkin Claus Gittinger <cg@exept.de> parents: diff changeset	109	self should: [SmallInteger maxVal == 16r3FFFFFFFFFFFFFFF].
f7a1f000a281 initial checkin Claus Gittinger <cg@exept.de> parents: diff changeset	110	].
f7a1f000a281 initial checkin Claus Gittinger <cg@exept.de> parents: diff changeset	111	] ifFalse:[
f7a1f000a281 initial checkin Claus Gittinger <cg@exept.de> parents: diff changeset	112	self should: [SmallInteger maxVal = 16r3FFFFFFF].
f7a1f000a281 initial checkin Claus Gittinger <cg@exept.de> parents: diff changeset	113	]
f7a1f000a281 initial checkin Claus Gittinger <cg@exept.de> parents: diff changeset	114	!
f7a1f000a281 initial checkin Claus Gittinger <cg@exept.de> parents: diff changeset	115
f7a1f000a281 initial checkin Claus Gittinger <cg@exept.de> parents: diff changeset	116	testMinVal
f7a1f000a281 initial checkin Claus Gittinger <cg@exept.de> parents: diff changeset	117	"/ the original code did not check for pointer-size;
f7a1f000a281 initial checkin Claus Gittinger <cg@exept.de> parents: diff changeset	118
f7a1f000a281 initial checkin Claus Gittinger <cg@exept.de> parents: diff changeset	119	Smalltalk isSmalltalkX ifTrue:[
f7a1f000a281 initial checkin Claus Gittinger <cg@exept.de> parents: diff changeset	120	SmallInteger maxBytes == 4 ifTrue:[
f7a1f000a281 initial checkin Claus Gittinger <cg@exept.de> parents: diff changeset	121	self should: [SmallInteger minVal = -16r40000000].
f7a1f000a281 initial checkin Claus Gittinger <cg@exept.de> parents: diff changeset	122	self should: [SmallInteger minVal == -16r40000000].
f7a1f000a281 initial checkin Claus Gittinger <cg@exept.de> parents: diff changeset	123	] ifFalse:[
f7a1f000a281 initial checkin Claus Gittinger <cg@exept.de> parents: diff changeset	124	self should: [SmallInteger minVal = -16r4000000000000000].
f7a1f000a281 initial checkin Claus Gittinger <cg@exept.de> parents: diff changeset	125	self should: [SmallInteger minVal == -16r4000000000000000].
f7a1f000a281 initial checkin Claus Gittinger <cg@exept.de> parents: diff changeset	126	].
f7a1f000a281 initial checkin Claus Gittinger <cg@exept.de> parents: diff changeset	127	] ifFalse:[
f7a1f000a281 initial checkin Claus Gittinger <cg@exept.de> parents: diff changeset	128	self should: [SmallInteger minVal = -16r40000000].
f7a1f000a281 initial checkin Claus Gittinger <cg@exept.de> parents: diff changeset	129	]
f7a1f000a281 initial checkin Claus Gittinger <cg@exept.de> parents: diff changeset	130	!
f7a1f000a281 initial checkin Claus Gittinger <cg@exept.de> parents: diff changeset	131
f7a1f000a281 initial checkin Claus Gittinger <cg@exept.de> parents: diff changeset	132	testNew
f7a1f000a281 initial checkin Claus Gittinger <cg@exept.de> parents: diff changeset	133	self should: [SmallInteger new] raise: TestResult error.
f7a1f000a281 initial checkin Claus Gittinger <cg@exept.de> parents: diff changeset	134	! !
f7a1f000a281 initial checkin Claus Gittinger <cg@exept.de> parents: diff changeset	135
f7a1f000a281 initial checkin Claus Gittinger <cg@exept.de> parents: diff changeset	136	!SmallIntegerTest class methodsFor:'documentation'!
f7a1f000a281 initial checkin Claus Gittinger <cg@exept.de> parents: diff changeset	137
f7a1f000a281 initial checkin Claus Gittinger <cg@exept.de> parents: diff changeset	138	version
f7a1f000a281 initial checkin Claus Gittinger <cg@exept.de> parents: diff changeset	139	^ '$Header$'
f7a1f000a281 initial checkin Claus Gittinger <cg@exept.de> parents: diff changeset	140	! !

author	Stefan Vogel <sv@exept.de>
	Tue, 09 Aug 2011 10:53:00 +0200
changeset 619	f918fa22ad81
parent 364	fd3ff5ad69f5
child 1074	905aea054cf4
permissions	-rw-r--r--