"{ Package: 'stx:goodies/regression' }"

"{ NameSpace: RegressionTests }"

TestCase subclass:#ExceptionTest

	instanceVariableNames:''

	classVariableNames:''

	poolDictionaries:''

	category:'tests-Regression-Processes'

!

Query subclass:#MyQuery

	instanceVariableNames:''

	classVariableNames:''

	poolDictionaries:''

	privateIn:ExceptionTest

!

Exception subclass:#MyResumableTestError

	instanceVariableNames:''

	classVariableNames:''

	poolDictionaries:''

	privateIn:ExceptionTest

!

Exception subclass:#MyTestError

	instanceVariableNames:''

	classVariableNames:''

	poolDictionaries:''

	privateIn:ExceptionTest

!

!ExceptionTest class methodsFor:'documentation'!

documentation

"

    documentation to be added.

    [author:]

	Stefan Vogel (stefan@zwerg)

    [instance variables:]

    [class variables:]

    [see also:]

"

! !

!ExceptionTest methodsFor:'tests'!

test01

    |result zero|

    result := OrderedCollection new.

    zero := 0.

    [ 0 // zero ]

	on:ZeroDivide

	do:[:ex|

	    self assert:(ex creator == ZeroDivide).

	    self assert:(ex originator == 0).

	    result add:#Error

	].

    self assert:(result size == 1).

    self assert:(result first == #Error).

!

test02

    |result zero|

    result := OrderedCollection new.

    zero := 0.

    self should:[

	[ 0 // zero ] on:ZeroDivide do:[:ex|

	    result add:#Error.

	    0 // zero

	].

    ] raise:ZeroDivide.

    self assert:(result size == 1).

    self assert:(result first == #Error).

!

test03

    |result zero|

    result := OrderedCollection new.

    zero := 0.

    self should:[

	[ 0 // zero ] on:ZeroDivide do:[:ex|

	    result add:#Error.

	    [ 0 // zero ] on:ZeroDivide do:[:ex|

		result add:#Error1.

		ex reject.

	    ].

	].

    ] raise:ZeroDivide.

    self assert:(result size == 2).

    self assert:(result first == #Error).

    self assert:(result second == #Error1).

!

test04_on_do

    |exceptionHappened zero|

    zero := 0.

    exceptionHappened := false.

    [0 // zero]

	on:ZeroDivide

	do:[:ex|

	    exceptionHappened := true

	].

    self assert:(exceptionHappened).

!

test05_on_do_ensure

    |exceptionHappened ensureCalled zero|

    zero := 0.

    exceptionHappened := ensureCalled := false.

    [0 // zero]

	on:ZeroDivide

	do:[:ex| exceptionHappened := true]

	ensure:[ ensureCalled := true ].

    self assert:(exceptionHappened).

    self assert:(ensureCalled).

!

test06_on_do_ensure

    |exceptionHappened ensureCalled zero|

    zero := 0.

    exceptionHappened := ensureCalled := false.

    [zero // 1]

	on:ZeroDivide

	do:[:ex| exceptionHappened := true]

	ensure:[ ensureCalled := true ].

    self assert:(exceptionHappened not).

    self assert:(ensureCalled).

!

test07_error_in_unwind

    "think about this - not sure, how to react on an error happening in the unwind..."

    |zero trace|

    zero := 0.

    trace := OrderedCollection new.

    self shouldnt:[

	Error handle:[:ex |

	    trace add:5.

	] do:[

	    [

		trace add:1.

		1 // zero.

		trace add:2.

	    ] ensure:[

		trace add:3.

		1 // zero.

		trace add:4.

	    ].

	].

    ] raise:Error.

    self assert:(trace asArray = #(1 5 3 5)).

!

test08_error_in_unwind2

    "no matter what happens in test7 - this one should work !!"

    |zero trace|

    zero := 0.

    trace := OrderedCollection new.

    self shouldnt:[

	Error handle:[:ex |

	    trace add:6.

	] do:[

	    Error handle:[:ex |

		trace add:5.

	    ] do:[

		[

		    trace add:1.

		    1 // zero.

		    trace add:2.

		] ensure:[

		    trace add:3.

		    1 // zero.

		    trace add:4.

		].

	    ].

	].

    ] raise:Error.

    self assert:(trace asArray = #(1 5 3 5)).

    "Created: / 24-08-2011 / 14:02:01 / cg"

!

test09_reraiseOuterHandlerWithEnsure

    |trace|

    trace := OrderedCollection new.

    AbortSignal handle:[:ex |

	trace add:1.

    ] do:[

	[

	    AbortSignal handle:[:ex |

		trace add:2.

		AbortSignal raise.

		trace add:3.

	    ] do:[

		trace add:4.

		AbortSignal raise.

		trace add:5.

	    ].

	    trace add:6.

	] ensure:[

	    trace add:9

	].

    ].

    trace add:7.

    self assert:(trace asArray = #(4 2 1 9 7)).

!

test10_reraiseOuterHandlerWithEnsure

    |trace|

    trace := OrderedCollection new.

    AbortSignal handle:[:ex |

	trace add:1.

    ] do:[

	[

	    AbortSignal handle:[:ex |

		trace add:2.

		AbortSignal raise.

		trace add:3.

	    ] do:[

		trace add:4.

		AbortSignal raise.

		trace add:5.

	    ].

	    trace add:6.

	] ensure:[

	    trace add:9

	].

    ].

    trace add:7.

    self assert:(trace asArray = #(4 2 1 9 7)).

!

test11

    |result zero|

    result := OrderedCollection new.

    zero := 0.

    [

	[

	    Warning handle:[:ex | result add:#Warning ] do:[ 2 // zero ].

	] on:ZeroDivide do:[:ex |

	    result add:#Error.

	    ex reject.

	    [

		self warn:ex description.

	    ] on:Warning do:[:ex| result add:#Warning2]

	]

    ] on:ZeroDivide do:[:ex |

	result add:#Error2

    ].

    self assert:(result size == 2).

    self assert:(result first == #Error).

    self assert:(result second == #Error2)

    "

     self run:#test10

     self new test10

    "

!

test12_abortInEnsure

    |trace setUp tearDown action|

    trace := OrderedCollection new.

    setUp :=

	[

	    trace add:1.

	    "/ Transcript showCR:'1'.

	    AbortSignal raise.

	].

    tearDown :=

	[

	    trace add:2.

	    "/ Transcript showCR:'2'.

	    AbortSignal raise.

	].

    action :=

	[

	    trace add:3.

	    "/ Transcript showCR:'3'.

	].

    AbortSignal handle:[:ex |

	trace add:44.

	"/ Transcript showCR:'44'.

    ] do:[

	AbortSignal handle:[:ex |

	    trace add:4.

	    "/ Transcript showCR:'4'.

	] do:[

	    [

		trace add:5.

		"/ Transcript showCR:'5'.

		setUp value.

		trace add:6.

		"/ Transcript showCR:'6'.

		action value.

		trace add:7.

		"/ Transcript showCR:'7'.

	    ] ensure: [

		trace add:8.

		"/ Transcript showCR:'8'.

		tearDown value

		trace add:9.

		"/ Transcript showCR:'9'.

	    ].

	].

    ].

    trace add:10.

    "/ Transcript showCR:'10'.

    self assert:(trace asArray = #(5 1 4 8 2 4 10)).

    "

     self new test12_reraiseOuterHandlerWithEnsure

    "

!

test13_abortInEnsureInProcess

    |trace setUp tearDown action p|

    trace := OrderedCollection new.

    setUp :=

	[

	    trace add:1.

	    "/ Transcript showCR:'1'.

	    AbortSignal raise.

	].

    tearDown :=

	[

	    trace add:2.

	    "/ Transcript showCR:'2'.

	    AbortSignal raise.

	].

    action :=

	[

	    trace add:3.

	    "/ Transcript showCR:'3'.

	].

    p :=

	[

	    AbortSignal handle:[:ex |

		trace add:44.

		"/ Transcript showCR:'44'.

	    ] do:[

		AbortSignal handle:[:ex |

		    trace add:4.

		    "/ Transcript showCR:'4'.

		] do:[

		    [

			trace add:5.

			"/ Transcript showCR:'5'.

			setUp value.

			trace add:6.

			"/ Transcript showCR:'6'.

			action value.

			trace add:7.

			"/ Transcript showCR:'7'.

		    ] sunitEnsure: [

			trace add:8.

			"/ Transcript showCR:'8'.

			tearDown value

			trace add:9.

			"/ Transcript showCR:'9'.

		    ].

		].

	    ].

	    trace add:10.

	    "/ Transcript showCR:'10'.

	] newProcess.

    "/ p addExitAction:[ self halt].

    p resume.

    p waitUntilTerminated.

    self assert:(trace asArray = #(5 1 4 8 2 4 10)).

    "

     self new test12_reraiseOuterHandlerWithEnsure

    "

!

test14_queryDefaultAnswer

    |answer|

    answer := MyQuery query.

    self assert:(answer == #defaultAnswer).

!

test15_queryWithHandler

    |answer|

    MyQuery answer:#ok do:[

	answer := MyQuery query.

	self assert:(answer == #ok).

    ].

!

test16_queryWithHandler2DefaultAnswer

    |answer|

    MyQuery answer:#ok

	do:[

	    [

		answer := MyQuery query.

		self assert:(answer == #ok2).

	    ] on:MyQuery do:[:ex | ex return:#ok2 ].

	].

!

test17_queryWithHandler3

    |answer|

    MyQuery answer:#ok

	do:[

	    [

		answer := MyQuery query.

		self assert:(answer == #ok).

	    ] on:AbortAllOperationWantedQuery do:[:ex | ex return:#ok2 ].

	].

!

testHandlerContext

    "A test ensuring that when evaluating the action block the exception environment is set to the handler context."

    | result |

    result := [

    [

    [ MyResumableTestError signal ]

	on: MyTestError

	do: [ 'handler 2' ] ]

	on: MyResumableTestError

	do: [ MyTestError signal ] ]

	on: MyTestError

	do: [ 'handler 1' ].

    self assert: 'handler 1' = result description: 'Incorrect handler'

    "Created: / 20-08-2014 / 17:05:51 / Jan Vrany <jan.vrany@fit.cvut.cz>"

!

testHandlerFromAction

    "A test ensuring that nested exceptions work as expected."

    | result |

    result := [