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

"{ NameSpace: RegressionTests }"

TestCase subclass:#MutabilityTest

	instanceVariableNames:''

	classVariableNames:''

	poolDictionaries:''

	category:'tests-Regression-Numbers'

!

!MutabilityTest class methodsFor:'documentation'!

documentation

"

    documentation to be added.

    class:

        <a short class summary here, describing what instances represent>

    responsibilities:    

        <describing what my main role is>

    collaborators:    

        <describing with whom and how I talk to>

    API:

        <public api and main messages>

    example:

        <a one-line examples on how to use - can also be in a separate example method>

    implementation:

        <implementation points>

    [author:]

        Claus Gittinger

    [instance variables:]

    [class variables:]

    [see also:]

"

! !

!MutabilityTest methodsFor:'tests'!

test01_immutability

    "literals are immutable - if specified so"

    <pragma: +STXExtendedArrayLiterals>

    <pragma: +arraysAreImmutable>

    |arr arr2|

    arr := #[1 2 3 4].

    self assert:(arr isImmutable).  "/ because it comes from a literal

    self should:[arr at:1 put:10] raise:NoModificationError.

    arr2 := arr copy.

    self assert:(arr2 isImmutable not). 

    self shouldnt:[arr2 at:1 put:10] raise:Error.

    "/ unboxed s8

    arr := #s8(1 2 3 4).

    self assert:(arr isImmutable).  "/ because it comes from a literal

    self should:[arr at:1 put:10] raise:NoModificationError.

    arr2 := arr copy.

    self assert:(arr2 isImmutable not). 

    self shouldnt:[arr2 at:1 put:10] raise:Error.

    "/ unboxed s16

    arr := #s16(1 2 3 4).

    self assert:(arr isImmutable).  "/ because it comes from a literal

    self should:[arr at:1 put:10] raise:NoModificationError.

    arr2 := arr copy.

    self assert:(arr2 isImmutable not). 

    self shouldnt:[arr2 at:1 put:10] raise:Error.

    "/ unboxed s32

    arr := #s32(1 2 3 4).

    self assert:(arr isImmutable).  "/ because it comes from a literal

    self should:[arr at:1 put:10] raise:NoModificationError.

    arr2 := arr copy.

    self assert:(arr2 isImmutable not). 

    self shouldnt:[arr2 at:1 put:10] raise:Error.

    "/ unboxed s64

    arr := #s64(1 2 3 4).

    self assert:(arr isImmutable).  "/ because it comes from a literal

    self should:[arr at:1 put:10] raise:NoModificationError.

    arr2 := arr copy.

    self assert:(arr2 isImmutable not). 

    self shouldnt:[arr2 at:1 put:10] raise:Error.

    "/ unboxed u1

    arr := #u1(0 1 1 0).

    self assert:(arr isImmutable).  "/ because it comes from a literal

    self should:[arr at:1 put:1] raise:NoModificationError.

    arr2 := arr copy.

    self assert:(arr2 isImmutable not). 

    self shouldnt:[arr2 at:1 put:1] raise:Error.

    self should:[arr2 at:1 put:2] raise:Error.

    "/ unboxed u8

    arr := #u8(1 2 3 4).

    self assert:(arr isImmutable).  "/ because it comes from a literal

    self should:[arr at:1 put:10] raise:NoModificationError.

    arr2 := arr copy.

    self assert:(arr2 isImmutable not). 

    self shouldnt:[arr2 at:1 put:10] raise:Error.

    "/ unboxed u16

    arr := #u16(1 2 3 4).

    self assert:(arr isImmutable).  "/ because it comes from a literal

    self should:[arr at:1 put:10] raise:NoModificationError.

    arr2 := arr copy.

    self assert:(arr2 isImmutable not). 

    self shouldnt:[arr2 at:1 put:10] raise:Error.

    "/ unboxed u32

    arr := #u32(1 2 3 4).

    self assert:(arr isImmutable).  "/ because it comes from a literal

    self should:[arr at:1 put:10] raise:NoModificationError.

    arr2 := arr copy.

    self assert:(arr2 isImmutable not). 

    self shouldnt:[arr2 at:1 put:10] raise:Error.

    "/ unboxed u64

    arr := #s64(1 2 3 4).

    self assert:(arr isImmutable).  "/ because it comes from a literal

    self should:[arr at:1 put:10] raise:NoModificationError.

    arr2 := arr copy.

    self assert:(arr2 isImmutable not). 

    self shouldnt:[arr2 at:1 put:10] raise:Error.

    "/ unboxed f16

    arr := #f16(1 2 3 4).

    self assert:(arr isImmutable).  "/ because it comes from a literal

    self should:[arr at:1 put:10] raise:NoModificationError.

    arr2 := arr copy.

    self assert:(arr2 isImmutable not). 

    self shouldnt:[arr2 at:1 put:10] raise:Error.

    "/ unboxed f32

    arr := #f32(1 2 3 4).

    self assert:(arr isImmutable).  "/ because it comes from a literal

    self should:[arr at:1 put:10] raise:NoModificationError.

    arr2 := arr copy.

    self assert:(arr2 isImmutable not). 

    self shouldnt:[arr2 at:1 put:10] raise:Error.

    "/ unboxed f64

    arr := #f64(1 2 3 4).

    self assert:(arr isImmutable).  "/ because it comes from a literal

    self should:[arr at:1 put:10] raise:NoModificationError.

    arr2 := arr copy.

    self assert:(arr2 isImmutable not). 

    self shouldnt:[arr2 at:1 put:10] raise:Error.

    "

     self run:#test01_mutability

     self new test01_mutability

    "

    "Created: / 09-06-2019 / 15:49:37 / Claus Gittinger"

    "Modified: / 10-06-2019 / 20:50:21 / Claus Gittinger"

    "Modified: / 17-06-2019 / 15:11:09 / Stefan Reise"

!

test02_mutability

    "literals are mutable - if specified so"

    <pragma: +STXExtendedArrayLiterals>

    <pragma: -arraysAreImmutable>

    |arr|

    self skipIf:(self class compiledMethodAt:#test01_immutability)

                byteCode isNil

         description:'skipped because stc-compiled literals are always immutable'.

    arr := #[1 2 3 4].

    self assert:(arr isImmutable not).  "/ because I specifid so

    self shouldnt:[arr at:1 put:10] raise:NoModificationError.

    "/ unboxed s8

    arr := #s8(1 2 3 4).

    self assert:(arr isImmutable not).  "/ because I specifid so

    self shouldnt:[arr at:1 put:10] raise:NoModificationError.

    "/ unboxed s16

    arr := #s16(1 2 3 4).

    self assert:(arr isImmutable not).  "/ because I specifid so

    self shouldnt:[arr at:1 put:10] raise:NoModificationError.

    "/ unboxed s32

    arr := #s32(1 2 3 4).

    self assert:(arr isImmutable not).  "/ because I specifid so

    self shouldnt:[arr at:1 put:10] raise:NoModificationError.

    "/ unboxed s64

    arr := #s64(1 2 3 4).

    self assert:(arr isImmutable not).  "/ because I specifid so

    self shouldnt:[arr at:1 put:10] raise:NoModificationError.

    "/ unboxed u1

    arr := #u1(0 1 1 0).

    self assert:(arr isImmutable not).  "/ because I specifid so

    self shouldnt:[arr at:1 put:1] raise:NoModificationError.

    self should:[arr at:1 put:2] raise:Error.

    "/ unboxed u8

    arr := #u8(1 2 3 4).

    self assert:(arr isImmutable not).  "/ because I specifid so

    self shouldnt:[arr at:1 put:10] raise:NoModificationError.

    "/ unboxed u16

    arr := #u16(1 2 3 4).

    self assert:(arr isImmutable not).  "/ because I specifid so

    self shouldnt:[arr at:1 put:10] raise:NoModificationError.

    "/ unboxed u32

    arr := #u32(1 2 3 4).

    self assert:(arr isImmutable not).  "/ because I specifid so

    self shouldnt:[arr at:1 put:10] raise:NoModificationError.

    "/ unboxed u64

    arr := #s64(1 2 3 4).

    self assert:(arr isImmutable not).  "/ because I specifid so

    self shouldnt:[arr at:1 put:10] raise:NoModificationError.

    "/ unboxed f16

    arr := #f16(1 2 3 4).

    self assert:(arr isImmutable not).  "/ because I specifid so

    self shouldnt:[arr at:1 put:10] raise:NoModificationError.

    "/ unboxed f32

    arr := #f32(1 2 3 4).

    self assert:(arr isImmutable not).  "/ because I specifid so

    self shouldnt:[arr at:1 put:10] raise:NoModificationError.

    "/ unboxed f64

    arr := #f64(1 2 3 4).

    self assert:(arr isImmutable not).  "/ because I specifid so

    self shouldnt:[arr at:1 put:10] raise:NoModificationError.

    "

     self run:#test01_mutability

     self new test01_mutability

    "

    "Created: / 09-06-2019 / 15:49:46 / Claus Gittinger"

    "Modified: / 17-06-2019 / 15:11:06 / Stefan Reise"

! !

!MutabilityTest class methodsFor:'documentation'!

version_CVS

    ^ '$Header$'

! !