SlangTypeForDereferenceTest.class.st

Class {
	#name : #SlangTypeForDereferenceTest,
	#superclass : #SlangAbstractTestCase,
	#category : #'Slang-Tests'
}

{ #category : #running }
SlangTypeForDereferenceTest >> setUp [
	super setUp.
	ccg addClass: SlangTypeForDereferenceTestClass.
	ccg inferTypes.
]

{ #category : #tests }
SlangTypeForDereferenceTest >> testAtOnArray [
	| tMethod |
	tMethod := ccg methodNamed: #aMethodReturningAnAtOnAnArray.
	
	self assert: tMethod isNotNil.
	self assert: (ccg typeFor: tMethod statements first expression in: tMethod) equals: #int."at: node"
	self assert: (ccg typeFor: tMethod statements first in: tMethod) equals: #int."returnNode"
	
	self assertReturnTypeOf: tMethod equalsHarmonized: #int
]

{ #category : #tests }
SlangTypeForDereferenceTest >> testAtOnMatrix [
	| tMethod |
	tMethod := ccg methodNamed: #aMethodReturningAnAtOnAMatrix.
	
	self assert: tMethod isNotNil.
	self assert: (ccg typeFor: tMethod statements first expression in: tMethod) equals: #'int *'."at: node"
	self assert: (ccg typeFor: tMethod statements first in: tMethod) equals: #'int *'."returnNode"
	self assert: tMethod returnType equals: #'int *'.
]

{ #category : #tests }
SlangTypeForDereferenceTest >> testReturnPointerTypeExplicitTempVariable [
	| tMethod |
	tMethod := ccg methodNamed: #aMethodReturningAPointerType.
	
	self assert: tMethod isNotNil.
	self assert: (ccg typeFor: tMethod statements first expression in: tMethod) equals: #'int *'."variable node"
	self assert: (ccg typeFor: tMethod statements first in: tMethod) equals: #'int *'."return node"
	self assert: tMethod returnType equals: #'int *'
]

{ #category : #tests }
SlangTypeForDereferenceTest >> testSelfMessageReturningPointerType [
	| tMethod |
	tMethod := ccg methodNamed: #aMethodReturningAPointerType.
	
	self assert: tMethod isNotNil.
	self assert: (ccg typeFor: tMethod statements first expression in: tMethod) equals: #'int *'."message node"
	self assert: (ccg typeFor: tMethod statements first in: tMethod) equals: #'int *'."returnNode"
	self assert: tMethod returnType equals: #'int *'
]

{ #category : #tests }
SlangTypeForDereferenceTest >> testTwoAtOnMatrix [
	| tMethod |
	tMethod := ccg methodNamed: #aMethodReturningTwoAtOnAMatrix.
	
	self assert: tMethod isNotNil.
	self assert: (ccg typeFor: tMethod statements first expression receiver in: tMethod) equals: #'int *'."inner at:"
	self assert: (ccg typeFor: tMethod statements first expression in: tMethod) equals: #int."outer at:"
	self assert: (ccg typeFor: tMethod statements first in: tMethod) equals: #int."return node"
	
	self assertReturnTypeOf: tMethod equalsHarmonized: #int
]