"{ Encoding: utf8 }"

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

"{ NameSpace: RegressionTests }"

TestCase subclass:#StringTests
	instanceVariableNames:''
	classVariableNames:''
	poolDictionaries:''
	category:'tests-Regression-Collections'
!


!StringTests class methodsFor:'queries'!

coveredClassNames
    "These classes can be instrumented for coverage analysis,
     before running the suite to provide coverage analysis/report"

    ^ #( String CharacterArray )

    "Created: / 06-07-2011 / 21:27:03 / cg"
! !

!StringTests methodsFor:'helpers'!

runAccessTestsOnInstancesOf:aStringClass
    |str s0 s1 s2 s3 s4 t|

    0 to:33 do:[:l |
	str := aStringClass new:l.
	str atAllPut:(Character space).
	self assert:( str isBlank ).

	1 to:l do:[:pos |
	    str at:pos put:$a.
	    self assert:( str isBlank not ).
	    str at:pos put:(Character space).
	].
    ].

    s0 := aStringClass new:0.
    self assert:s0 isEmpty.
    self assert:s0 isEmptyOrNil.
    self assert:s0 size == 0.

    s1 := (aStringClass new:5) replaceFrom:1 with:'hello'.
    s2 := (aStringClass new:6) replaceFrom:1 with:' world'.
    self assert:(s1 , s2) size == 11.
    self assert:(s1 , s2) class == aStringClass.
    self assert:(s1 = 'hello').
    self assert:(s2 = ' world').
    self assert:(s1 size == 5).
    self assert:(s2 size == 6).

    self assert:(s1 = 'hello').
    self assert:(s1 asSymbol == #'hello').
    self assert:(s1 copyFrom:1) = 'hello'.
    self assert:(s1 copyFrom:1) class == aStringClass.
    self assert:(s1 copyFrom:1 to:3) = 'hel'.
    self assert:(s1 copyFrom:1 to:3) class == aStringClass.
    self assert:(s1 copyWith:$X) = 'helloX'.
    self assert:(s1 copyWith:$X) class == aStringClass.
    self assert:(s1 endsWith:'llo').
    self assert:(s1 startsWith:'hel').
    self assert:(s1 copyTo:3) = 'hel'.
    self assert:(s1 copyFirst:3) = 'hel'.
    self assert:(s1 first:3) = 'hel'.

    self assert:(t := s1 identityIndexOf:$h) == 1 description:('identityIndex is %1 (should be 1)' bindWith:t).
    self assert:(t := s1 identityIndexOf:$l) == 3 description:('identityIndex is %1 (should be 3)' bindWith:t).
    self assert:(t := s1 identityIndexOf:$L) == 0 description:('identityIndex is %1 (should be 0)' bindWith:t).

    self assert:(s1 identityIndexOf:$h startingAt:1) == 1.
    self assert:(s1 identityIndexOf:$h startingAt:2) == 0.
    self assert:(s1 identityIndexOf:$e startingAt:1) == 2.
    self assert:(s1 identityIndexOf:$e startingAt:2) == 2.
    self assert:(s1 identityIndexOf:$l startingAt:1) == 3.
    self assert:(s1 identityIndexOf:$l startingAt:2) == 3.
    self assert:(s1 identityIndexOf:$l startingAt:3) == 3.
    self assert:(s1 identityIndexOf:$l startingAt:4) == 4.
    self assert:(s1 identityIndexOf:$l startingAt:5) == 0.
    self assert:(s1 identityIndexOf:$l startingAt:6) == 0.

    self assert:(s1 indexOf:$h) == 1.
    self assert:(s1 indexOf:$l) == 3.
    self assert:(s1 indexOf:$L) == 0.
    self assert:(s1 indexOf:$A) == 0.

    self assert:(s1 indexOf:$h startingAt:1) == 1.
    self assert:(s1 indexOf:$h startingAt:2) == 0.
    self assert:(s1 indexOf:$e startingAt:1) == 2.
    self assert:(s1 indexOf:$e startingAt:2) == 2.
    self assert:(s1 indexOf:$l startingAt:1) == 3.
    self assert:(s1 indexOf:$l startingAt:2) == 3.
    self assert:(s1 indexOf:$l startingAt:3) == 3.
    self assert:(s1 indexOf:$l startingAt:4) == 4.
    self assert:(s1 indexOf:$l startingAt:5) == 0.
    self assert:(s1 indexOf:$l startingAt:6) == 0.

    self assert:(s1 includes:$l).
    self assert:(s1 includes:$L) not.

    self assert:(s1 includesAny:'a') not.
    self assert:(s1 includesAny:'ab') not.
    self assert:(s1 includesAny:'abc') not.
    self assert:(s1 includesAny:'abcd') not.
    self assert:(s1 includesAny:'abcde').
    self assert:(s1 includesAny:'e').
    self assert:(s1 includesAny:'ae').
    self assert:(s1 includesAny:'ea').
    self assert:(s1 includesAny:'abe').
    self assert:(s1 includesAny:'eab').
    self assert:(s1 includesAny:'aeb').
    self assert:(s1 includesAny:'abce').
    self assert:(s1 includesAny:'eabc').
    self assert:(s1 includesAny:'aebc').
    self assert:(s1 includesAny:'abec').
    self assert:(s1 includesAny:'abcde').
						  " 12345678901234567890 "
    s3 := (aStringClass new:20) replaceFrom:1 with:'12 45,78;01.34-67+90'.
    t := s3 asCollectionOfSubstringsSeparatedBy:$,.
    self assert:(t size = 2).
    self assert:(t first = '12 45').
    self assert:(t second = '78;01.34-67+90').

    t := s3 asCollectionOfSubstringsSeparatedByAny:',;. '.
    self assert:(t size = 5).
    self assert:(t first = '12').
    self assert:(t second = '45').
    self assert:(t third = '78').
    self assert:(t fourth = '01').
    self assert:(t fifth = '34-67+90').

    s4 := (aStringClass new:10) replaceFrom:1 with:'123',Character tab,'567',Character cr,'90'.
    self assert:(s4 size = 10).
    self assert:(s4 indexOfSeparatorStartingAt:1) = 4.
    self assert:(s4 indexOfSeparatorStartingAt:3) = 4.
    self assert:(s4 indexOfSeparatorStartingAt:4) = 4.
    self assert:(s4 indexOfSeparatorStartingAt:5) = 8.
    self assert:(s4 indexOfControlCharacterStartingAt:1) = 4.
    self assert:(s4 indexOfNonSeparatorStartingAt:1) = 1.
    self assert:(s4 indexOfNonSeparatorStartingAt:3) = 3.
    self assert:(s4 indexOfNonSeparatorStartingAt:4) = 5.
    self assert:(s4 indexOfNonSeparatorStartingAt:5) = 5.
! !

!StringTests methodsFor:'tests'!

bench_stringSearch
    "
     self new bench_stringSearch
    "

    |haystack toBeFoundAtEnd|

    toBeFoundAtEnd := '0123456789012345678901234567890123456789'.
    haystack := String new:50000.
    haystack := String new:1000.
    haystack replaceFrom:(haystack size-toBeFoundAtEnd size) with:toBeFoundAtEnd.

    #(
	$0
	'0'
	'01'
	'012'
	'0123'
	'01234'
	'012345'
	'0123456'
	'01234567'
	'012345678'
	'0123456789'
	'01234567890123456789'
	'0123456789012345678901234567890123456789'
	'01234567890123456789012345678901234567890123456789'
	'0123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789'
    ) do:[:needle |
	|micros i|

	needle isCharacter ifTrue:[
	    micros := Time microsecondsToRun:[
		    1000 timesRepeat:[
			haystack indexOf:needle startingAt:1
		    ].
		 ].
	    i := haystack indexOf:needle startingAt:1
	] ifFalse:[
	    micros := Time microsecondsToRun:[
		    1000 timesRepeat:[
			haystack indexOfSubCollection:needle startingAt:1 ifAbsent:0 caseSensitive:true

		    ].
		 ].
	    i := haystack indexOfSubCollection:needle startingAt:1 ifAbsent:(haystack size) caseSensitive:true.
	].

	Transcript showCR:'size %1: t=%2 (%3 chars/second)'
		     with:(needle isCharacter ifTrue:[1] ifFalse:[needle size])
		     with:(TimeDuration microseconds:micros)
		     with:(UnitConverter
			    unitStringFor:((i*1000000.0) / micros )
			    scale:1000 rounded:true
			    unitStrings:#('' 'k' 'M' 'G' 'T' 'P' 'E' )).
    ].
!

test01_access
    0 to:33 do:[:l |
	|str|

	str := String new:l.
	str atAllPut:(Character space).
	self assert:( str isBlank ).
	self assert:((str size == 0) or: [(str first) == Character space.]).

	1 to:l do:[:pos |
	    str at:pos put:$a.
	    self assert:( str isBlank not ).
	    self assert:((str at:pos) == $a).
	    str at:pos put:(Character space).
	].
    ].
    self runAccessTestsOnInstancesOf:String

    "
     self new test01_access
    "
!

test02_subclassAccess
    |myStringClass s1|

    Class withoutUpdatingChangesDo:[
	myStringClass := String
			subclass:#'MyString'
			instanceVariableNames:'foo'
			classVariableNames:''
			poolDictionaries:nil.
	myStringClass compile:'foo ^foo'.
	myStringClass compile:'foo:arg foo := arg'.
    ].

    s1 := (myStringClass new:5) replaceFrom:1 with:'hello'.
    self assert:(s1 foo isNil).
    self assert:(s1 size == 5).
    s1 foo:16r11413344.         "/ ensure there is a $A inside (hex 41)
    self assert:(s1 foo == 16r11413344).
    self assert:(s1 = 'hello').
    self assert:(s1 deepCopy foo == 16r11413344).

    self assert:((s1 indexOf:$A) == 0).                 "/ should not find the A
    self assert:((s1 identityIndexOf:$A) == 0).         "/ should not find the A
    self assert:((s1 findFirst:[:ch | ch == $A]) == 0). "/ should not find the A

    self runAccessTestsOnInstancesOf:myStringClass.

    "
     self new test02_subclassAccess
    "
!

test03a_unicode16
    |u s u2|

    u := 'hello' asUnicode16String.
    self assert:(u class == Unicode16String).
    self assert:(u size == 5).
    self assert:((u at:1) == $h).
    self assert:((u at:2) == $e).
    self assert:((u at:3) == $l).
    self assert:((u at:4) == $l).
    self assert:((u at:5) == $o).

    s := u asSingleByteString.
    self assert:(s class == String).
    self assert:(s size == 5).
    self assert:((s at:1) == $h).
    self assert:((s at:2) == $e).
    self assert:((s at:3) == $l).
    self assert:((s at:4) == $l).
    self assert:((s at:5) == $o).

    s := u asSingleByteStringIfPossible.
    self assert:(s class == String).
    self assert:(s size == 5).
    self assert:((s at:1) == $h).
    self assert:((s at:2) == $e).
    self assert:((s at:3) == $l).
    self assert:((s at:4) == $l).
    self assert:((s at:5) == $o).

    u2 := 'hello' asUnicode16String.
    u2 at:1 put:(Character codePoint:16r20AC).   "/ euro character
    self assert:(u2 size == 5).
    self assert:((u2 at:1) = (Character codePoint:16r20AC)).
    self assert:((u2 at:2) == $e).
    self assert:((u2 at:3) == $l).
    self assert:((u2 at:4) == $l).
    self assert:((u2 at:5) == $o).

    s := u2 asSingleByteStringIfPossible.
    self assert:(s class == Unicode16String).
    self assert:(u2 == s).

    u := Unicode16String fromString:'hello'.
    self assert:(u class == Unicode16String).
    self assert:(u size == 5).
    self assert:((u at:1) == $h).
    self assert:((u at:2) == $e).
    self assert:((u at:3) == $l).
    self assert:((u at:4) == $l).
    self assert:((u at:5) == $o).

    u replaceFrom:1 to:5 with:'abcde' startingAt:1.
    self assert:(u class == Unicode16String).
    self assert:(u size == 5).
    self assert:((u at:1) == $a).
    self assert:((u at:2) == $b).
    self assert:((u at:3) == $c).
    self assert:((u at:4) == $d).
    self assert:((u at:5) == $e).

    "
     self new test03a_unicode16
    "

    "Created: / 02-04-2019 / 10:43:49 / Claus Gittinger"
!

test03b_unicode32
    |u s u2|

    u := 'hello' asUnicode32String.
    self assert:(u class == Unicode32String).
    self assert:(u size == 5).
    self assert:((u at:1) == $h).
    self assert:((u at:2) == $e).
    self assert:((u at:3) == $l).
    self assert:((u at:4) == $l).
    self assert:((u at:5) == $o).

    s := u asSingleByteString.
    self assert:(s class == String).
    self assert:(s size == 5).
    self assert:((s at:1) == $h).
    self assert:((s at:2) == $e).
    self assert:((s at:3) == $l).
    self assert:((s at:4) == $l).
    self assert:((s at:5) == $o).

    s := u asSingleByteStringIfPossible.
    self assert:(s class == String).
    self assert:(s size == 5).
    self assert:((s at:1) == $h).
    self assert:((s at:2) == $e).
    self assert:((s at:3) == $l).
    self assert:((s at:4) == $l).
    self assert:((s at:5) == $o).

    u2 := 'hello' asUnicode32String.
    u2 at:1 put:(Character codePoint:16r20AC).   "/ euro character
    self assert:(u2 size == 5).
    self assert:((u2 at:1) = (Character codePoint:16r20AC)).
    self assert:((u2 at:2) == $e).
    self assert:((u2 at:3) == $l).
    self assert:((u2 at:4) == $l).
    self assert:((u2 at:5) == $o).

    s := u2 asSingleByteStringIfPossible.
    self assert:(s class == Unicode32String).
    self assert:(u2 == s).

    u := Unicode32String fromString:'hello'.
    self assert:(u class == Unicode32String).
    self assert:(u size == 5).
    self assert:((u at:1) == $h).
    self assert:((u at:2) == $e).
    self assert:((u at:3) == $l).
    self assert:((u at:4) == $l).
    self assert:((u at:5) == $o).

    u replaceFrom:1 to:5 with:'abcde' startingAt:1.
    self assert:(u class == Unicode32String).
    self assert:(u size == 5).
    self assert:((u at:1) == $a).
    self assert:((u at:2) == $b).
    self assert:((u at:3) == $c).
    self assert:((u at:4) == $d).
    self assert:((u at:5) == $e).

    "
     self new test03b_unicode32
    "

    "Created: / 02-04-2019 / 10:44:34 / Claus Gittinger"
!

test03c_unicodeStrings
    |u32 u16 u8|

    u32 := 'hello' asUnicode32String.
    u16 := 'hello' asUnicode16String.
    u8 := 'hello' asString.
    self assert:(u32 = u16).
    self assert:(u16 = u32).
    self assert:(u32 = u8).
    self assert:(u8 = u32).
    self assert:(u16 = u8).
    self assert:(u8 = u16).

    self assert:(u32 asDenseUnicodeString = u8).
    self assert:(u32 asDenseUnicodeString class == String).
    self assert:(u16 asDenseUnicodeString = u8).
    self assert:(u16 asDenseUnicodeString class == String).
    self assert:(u8 asDenseUnicodeString == u8).

    "
     self new test03c_unicodeStrings
    "

    "Created: / 02-04-2019 / 10:46:10 / Claus Gittinger"
!

test10_Contains8BitCharacters
    0 to:65 do:[:l |
	|str|

	str := String new:l.
	str atAllPut:(Character value:16r7F).
	self assert:( str contains8BitCharacters not ).

	1 to:l do:[:pos |
	    str at:pos put:(Character value:16r80).
	    self assert:( str contains8BitCharacters ).
	    str at:pos put:(Character value:16r7F).
	].
    ].

    "
     self new test10_Contains8BitCharacters
    "
!

test11_IsEmpty
    |nul n|
    nul := 0 asCharacter.
    n := 1.
    self assert:('' isEmpty).
    self assert:(' ' isEmpty not).
    self assert:(nul asCharacter asString isEmpty not).
    self assert:(('' , nul) isEmpty not).
    self assert:((String new:0) isEmpty).
    self assert:((String new:17 withAll:nul) isEmpty not).

    29 timesRepeat:[
	|s|

	s := String new:(n + 17).
	self assert:(s isEmpty not).
	n := n * 2.
    ].
    self assert:((String new:17 withAll:nul) isEmpty not).
    self assert:((String new:0 withAll:nul) isEmpty).
    "
     self new test11_IsEmpty
    "
!

test12_Comparison
    0 to: 255 do: [ :i |
	|s t|

	1 to: 9 do: [ :j |
	    s := String new:j withAll:(i asCharacter).
	    t := s copy.

	    self assert:(s notNil).
	    self assert:(s = s).
	    self assert:(s ~= s) not.
	    self assert:(s < s) not.
	    self assert:(s > s) not.
	    self assert:(s = (s,s)) not.

	    self assert:(t notNil).
	    self assert:(s = t).
	    self assert:(s ~= t) not.
	    self assert:(s < t) not.
	    self assert:(s > t) not.

	    self assert:((s = nil) == ((s ~= nil) not)).
	    self assert:((s = '') == ((s ~= '') not)).
	].

	s := i asCharacter asString.
	0 to: 255 do: [ :j |
	    t := j asCharacter asString.
	    self assert:(t notNil).

	    self assert:((s = t) == ((s ~= t) not)).
	]
    ].

    "
     self new test12_Comparison
    "
!

test13_startsWithEndsWithSameAs
    self assert:('hello' startsWith:'').
    self assert:('hello' startsWith:'h').
    self assert:('hello' startsWith:'he').
    self assert:('hello' startsWith:'hel').
    self assert:('hello' startsWith:'hell').
    self assert:('hello' startsWith:'hello').
    self assert:('hello' startsWith:'hello world') not.
    "/ int size
    self assert:('1234' startsWith:'123').
    self assert:('1234' startsWith:'1234').
    self assert:('1234' startsWith:'12345') not.
    self assert:('12345678' startsWith:'123').
    self assert:('12345678' startsWith:'1234').
    self assert:('12345678' startsWith:'12345').
    self assert:('12345678' startsWith:'123456').
    self assert:('12345678' startsWith:'1234567').
    self assert:('12345678' startsWith:'12345678').
    self assert:('12345678' startsWith:'123456789') not.

    self assert:('1234' startsWith:'x23') not.
    self assert:('1234' startsWith:'x234') not.
    self assert:('1234' startsWith:'1x34') not.
    self assert:('1234' startsWith:'12x4') not.
    self assert:('1234' startsWith:'123x') not.
    self assert:('1234' startsWith:'12345') not.
    self assert:('12345678' startsWith:'x234') not.
    self assert:('12345678' startsWith:'1x34') not.
    self assert:('12345678' startsWith:'12x4') not.
    self assert:('12345678' startsWith:'123x') not.

    self assert:('hello' endsWith:'').
    self assert:('hello' endsWith:'o').
    self assert:('hello' endsWith:'lo').
    self assert:('hello' endsWith:'llo').
    self assert:('hello' endsWith:'ello').
    self assert:('hello' endsWith:'hello').
    self assert:('hello' endsWith:'hello world') not.
    "/ int size
    self assert:('1234' endsWith:'234').
    self assert:('1234' endsWith:'1234').
    self assert:('1234' endsWith:'1235') not.
    self assert:('1234' endsWith:'12345') not.
    self assert:('12345678' endsWith:'678').
    self assert:('12345678' endsWith:'5678').
    self assert:('12345678' endsWith:'45678').
    self assert:('12345678' endsWith:'345678').
    self assert:('12345678' endsWith:'2345678').
    self assert:('12345678' endsWith:'12345678').
    self assert:('12345678' endsWith:'123456789') not.
    self assert:('12345678' endsWith:'012345678') not.

    self assert:('1234' endsWith:'x233') not.
    self assert:('1234' endsWith:'1x34') not.
    self assert:('1234' endsWith:'12x4') not.
    self assert:('1234' endsWith:'123x') not.
    self assert:('12345678' endsWith:'x2345678') not.
    self assert:('12345678' endsWith:'1x345678') not.
    self assert:('12345678' endsWith:'12x45678') not.
    self assert:('12345678' endsWith:'123x5678') not.
    self assert:('12345678' endsWith:'1234x678') not.
    self assert:('12345678' endsWith:'12345x78') not.
    self assert:('12345678' endsWith:'123456x8') not.
    self assert:('12345678' endsWith:'1234567x') not.

    self assert:('' sameAs:'').
    self assert:('' sameAs:'a') not.
    self assert:('a' sameAs:'') not.
    self assert:('a' sameAs:'a').
    self assert:('a' sameAs:'A').
    self assert:('A' sameAs:'A').
    self assert:('A' sameAs:'a').

    self assert:('a' sameAs:'1') not.
    self assert:('A' sameAs:'1') not.

    1 to:20 do:[:len |
	|s1 s2|

	s1 := ($a to:($a + len - 1)) asString.
	s2 := s1 copy.
	1 to:len do:[:idx |
	    s2 at:idx put:(s2 at:idx) asUppercase.
	    self assert:(s1 sameAs:s2).
	].
    ].

    self assert:('Ä' sameAs:'ä').
    self assert:('Ä' sameAs:'ä').
    self assert:('ß' sameAs:'ÿ') not.
    self assert:('Ÿ' sameAs:'ÿ'). "/ single byte char ws. wide char
    self assert:('Ÿ' sameAs:'Ÿ'). "/ single byte char ws. wide char
    self assert:('ÿ' sameAs:'ÿ'). "/ single byte char ws. wide char

    "
     self new test13_startsWithEndsWithSameAs
    "

    "Created: / 19-07-2018 / 11:05:32 / Claus Gittinger"
!

test15_CompareWithCollating
    | nul |

    nul := 0 asCharacter asString.
    self assert:('' compareWith:'' collating:true) == 0.
    self assert:('' compareWith:'' collating:false) == 0.
    self assert:(nul compareWith:(255 asCharacter asString) collating:false) == -1.
    self assert:((255 asCharacter asString) compareWith:nul collating:false) == 1.
    "/ This will fail and is a WONTFIX
    "/ self assert:((('' compareWith:nul collating:false) == 0) == ('' = nul)).

    0 to: 255 do: [ :i |
	|s|

	s := i asCharacter asString.
	self assert:(s notNil).

	"/ This will fail and is a WONTFIX
	"/ self assert:('' compareWith:s collating:false) ~= 0.
	self assert:('' compareWith:s collating:false) == ((s compareWith:'' collating:false) negated).

	0 to: 255 do: [ :j |
	    | t |
	    t := j asCharacter asString.
	    self assert:(t notNil).

	    self assert:(((s compareWith:t collating:false) == -1) == (s < t)).
	    self assert:(((s compareWith:t collating:false) == 0) == (s = t)).
	    self assert:(((s compareWith:t collating:false) == 1) == (s > t)).
	    self assert:(((s compareWith:t collating:true) == -1) == (s < t)).
	    self assert:(((s compareWith:t collating:true) == 0) == (s = t)).
	    self assert:(((s compareWith:t collating:true) == 1) == (s > t)).
	]
    ].

    0 to: 9 do: [ :i |
	0 to: 255 do: [ :j |
	    |s t|
	    s := String new:i withAll:(j asCharacter).
	    t := s copy.

	    self assert: (s compareWith:s collating:false) == 0.
	    self assert: (s compareWith:s collating:true) == 0.
	    self assert: (s compareWith:t collating:false) == 0.
	    self assert: (s compareWith:t collating:true) == 0
	]
    ].

    "
     self new test15_CompareWithCollating
    "
!

test20_literalsAreReadonly
    |myClass s1 l2 s2 parserFlags compiler|

    parserFlags := Compiler new parserFlags copy.
    parserFlags stringsAreImmutable:true.
    parserFlags arraysAreImmutable:true.

    Class withoutUpdatingChangesDo:[
	myClass := Object
			subclass:#'MyClass'
			instanceVariableNames:''
			classVariableNames:''
			poolDictionaries:nil.

	compiler := myClass compilerClass new.
	compiler parserFlags:parserFlags.
	compiler compile:'lit1 ^''hello''' forClass:myClass install:true.

	compiler := myClass compilerClass new.
	compiler parserFlags:parserFlags.
	compiler compile:'lit2 ^#(''foo'' ''bar'' ''baz'')' forClass:myClass install:true.
    ].

    s1 := myClass new perform:#lit1.
    self assert:(s1 isString).
    self assert:(s1 class == ImmutableString).
    self should:[ s1 at:1 put:$H ] raise:Error.

    l2 := myClass new perform:#lit2.
    self assert:(l2 isArray).
    self assert:(l2 class == ImmutableArray).
    self should:[ l2 at:1 put:$H ] raise:Error.
    s2 := l2 at:1.
    self assert:(s2 isString).
    self assert:(s2 class == ImmutableString).
    self should:[ s2 at:1 put:$H ] raise:Error.

    "
     self new test20_literalsAreReadonly
    "

    "Modified: / 02-08-2011 / 19:30:53 / cg"
!

test30_indexOfSubCollection
    |i|
      "/  12345678901
    i := 'hello world' indexOfSubCollection:'world' startingAt:1 ifAbsent:0 caseSensitive:true.
    self assert:(i == 7).
    i := 'hello wOrLd' indexOfSubCollection:'world' startingAt:1 ifAbsent:0 caseSensitive:true.
    self assert:(i == 0).
    i := 'hello wOrLd' indexOfSubCollection:'world' startingAt:1 ifAbsent:0 caseSensitive:false.
    self assert:(i == 7).
    i := 'hello wOrLd' indexOfSubCollection:'ll' startingAt:1 ifAbsent:0 caseSensitive:false.
    self assert:(i == 3).

    i := 'hello wOrLd yellow' indexOfSubCollection:'ll' startingAt:1 ifAbsent:0 caseSensitive:false.
    self assert:(i == 3).
    i := 'hello wOrLd yellow' indexOfSubCollection:'ll' startingAt:3 ifAbsent:0 caseSensitive:false.
    self assert:(i == 3).
    i := 'hello wOrLd yellow' indexOfSubCollection:'ll' startingAt:4 ifAbsent:0 caseSensitive:false.
    self assert:(i == 15).

    i := 'hello wOrLd yellow' indexOfSubCollection:'low' startingAt:1 ifAbsent:0 caseSensitive:false.
    self assert:(i == 16).
    i := 'hello wOrLd yellow' indexOfSubCollection:'low' startingAt:17 ifAbsent:0 caseSensitive:false.
    self assert:(i == 0).
    i := 'hello wOrLd yellow' indexOfSubCollection:'low' startingAt:18 ifAbsent:0 caseSensitive:false.
    self assert:(i == 0).

    i := 'world' indexOfString:'world'.
    self assert:(i == 1).
    i := 'world' indexOfString:'world' startingAt:1.
    self assert:(i == 1).
    i := 'world' indexOfString:'world' startingAt:6.
    self assert:(i == 0).

    i := 'hello world' indexOfString:'world'.
    self assert:(i == 7).
    i := 'hello world' indexOfString:'world' startingAt:1.
    self assert:(i == 7).
    i := 'hello world' indexOfString:'world' startingAt:4.
    self assert:(i == 7).
    i := 'hello world' indexOfString:'world' startingAt:7.
    self assert:(i == 7).
    i := 'hello world' indexOfString:'world' startingAt:8.
    self assert:(i == 0).

    i := 'hello wOrLd' indexOfString:'world' startingAt:1.
    self assert:(i == 0).

    "
     self new test30_indexOfSubCollection
    "

    "Modified: / 25-05-2019 / 09:01:43 / Claus Gittinger"
!

test30b_indexOfSubCollection
    |i|

      "/  12345678901
    i := 'hello world' indexOfSubCollection:'w' startingAt:1 ifAbsent:0 caseSensitive:true.
    self assert:(i == 7).
    i := 'hello world' indexOfSubCollection:'w' startingAt:6 ifAbsent:0 caseSensitive:true.
    self assert:(i == 7).
    i := 'hello world' indexOfSubCollection:'w' startingAt:7 ifAbsent:0 caseSensitive:true.
    self assert:(i == 7).
    i := 'hello world' indexOfSubCollection:'w' startingAt:8 ifAbsent:0 caseSensitive:true.
    self assert:(i == 0).
    i := 'hello world' indexOfSubCollection:'x' startingAt:1 ifAbsent:0 caseSensitive:true.
    self assert:(i == 0).

      "/  12345678901
    i := 'hello world' indexOfSubCollection:'wo' startingAt:1 ifAbsent:0 caseSensitive:true.
    self assert:(i == 7).
    i := 'hello world' indexOfSubCollection:'wo' startingAt:6 ifAbsent:0 caseSensitive:true.
    self assert:(i == 7).
    i := 'hello world' indexOfSubCollection:'wo' startingAt:7 ifAbsent:0 caseSensitive:true.
    self assert:(i == 7).
    i := 'hello world' indexOfSubCollection:'wo' startingAt:8 ifAbsent:0 caseSensitive:true.
    self assert:(i == 0).
    i := 'hello world' indexOfSubCollection:'xx' startingAt:1 ifAbsent:0 caseSensitive:true.
    self assert:(i == 0).
    i := 'hello world' indexOfSubCollection:'wO' startingAt:1 ifAbsent:0 caseSensitive:true.
    self assert:(i == 0).
    i := 'hello world' indexOfSubCollection:'wO' startingAt:6 ifAbsent:0 caseSensitive:true.
    self assert:(i == 0).
    i := 'hello world' indexOfSubCollection:'wO' startingAt:7 ifAbsent:0 caseSensitive:true.
    self assert:(i == 0).
    i := 'hello world' indexOfSubCollection:'wO' startingAt:8 ifAbsent:0 caseSensitive:true.
    self assert:(i == 0).

      "/  12345678901
    i := 'hello world' indexOfSubCollection:'world' startingAt:1 ifAbsent:0 caseSensitive:true.
    self assert:(i == 7).
    i := 'hello wOrLd' indexOfSubCollection:'world' startingAt:1 ifAbsent:0 caseSensitive:true.
    self assert:(i == 0).
    i := 'hello wOrLd' indexOfSubCollection:'world' startingAt:1 ifAbsent:0 caseSensitive:false.
    self assert:(i == 7).
    i := 'hello wOrLd' indexOfSubCollection:'ll' startingAt:1 ifAbsent:0 caseSensitive:false.
    self assert:(i == 3).

    i := 'hello wOrLd yellow' indexOfSubCollection:'ll' startingAt:1 ifAbsent:0 caseSensitive:false.
    self assert:(i == 3).
    i := 'hello wOrLd yellow' indexOfSubCollection:'ll' startingAt:3 ifAbsent:0 caseSensitive:false.
    self assert:(i == 3).
    i := 'hello wOrLd yellow' indexOfSubCollection:'ll' startingAt:4 ifAbsent:0 caseSensitive:false.
    self assert:(i == 15).

    i := 'hello wOrLd yellow' indexOfSubCollection:'low' startingAt:1 ifAbsent:0 caseSensitive:false.
    self assert:(i == 16).
    i := 'hello wOrLd yellow' indexOfSubCollection:'low' startingAt:17 ifAbsent:0 caseSensitive:false.
    self assert:(i == 0).
    i := 'hello wOrLd yellow' indexOfSubCollection:'low' startingAt:18 ifAbsent:0 caseSensitive:false.
    self assert:(i == 0).

    i := 'world' indexOfSubCollection:'world' startingAt:1 ifAbsent:0 caseSensitive:true.
    self assert:(i == 1).
    i := 'world' indexOfSubCollection:'world' startingAt:1 ifAbsent:0 caseSensitive:false.
    self assert:(i == 1).
    i := 'world' indexOfSubCollection:'world' startingAt:2 ifAbsent:0 caseSensitive:true.
    self assert:(i == 0).
    i := 'world' indexOfSubCollection:'world' startingAt:2 ifAbsent:0 caseSensitive:false.
    self assert:(i == 0).
    i := 'world' indexOfSubCollection:'world' startingAt:6 ifAbsent:0 caseSensitive:true.
    self assert:(i == 0).
    i := 'world' indexOfSubCollection:'world' startingAt:6 ifAbsent:0 caseSensitive:false.
    self assert:(i == 0).

    i := 'hello world' indexOfSubCollection:'world' startingAt:1 ifAbsent:0 caseSensitive:false.
    self assert:(i == 7).
    i := 'hello world' indexOfSubCollection:'world' startingAt:1 ifAbsent:0 caseSensitive:true.
    self assert:(i == 7).

    i := 'hello world' indexOfSubCollection:'world' startingAt:1 ifAbsent:0 caseSensitive:false.
    self assert:(i == 7).
    i := 'hello world' indexOfSubCollection:'world' startingAt:1 ifAbsent:0 caseSensitive:true.
    self assert:(i == 7).

    i := 'hello world' indexOfSubCollection:'world' startingAt:4 ifAbsent:0 caseSensitive:false.
    self assert:(i == 7).
    i := 'hello world' indexOfSubCollection:'world' startingAt:4 ifAbsent:0 caseSensitive:true.
    self assert:(i == 7).

    i := 'hello world' indexOfSubCollection:'world' startingAt:7 ifAbsent:0 caseSensitive:false.
    self assert:(i == 7).
    i := 'hello world' indexOfSubCollection:'world' startingAt:7 ifAbsent:0 caseSensitive:true.
    self assert:(i == 7).

    i := 'hello world' indexOfSubCollection:'world' startingAt:8 ifAbsent:0 caseSensitive:false.
    self assert:(i == 0).
    i := 'hello world' indexOfSubCollection:'world' startingAt:8 ifAbsent:0 caseSensitive:true.
    self assert:(i == 0).

    i := 'hello wOrLd' indexOfSubCollection:'world' startingAt:1 ifAbsent:0 caseSensitive:true.
    self assert:(i == 0).
    i := 'hello wOrLd' indexOfSubCollection:'world' startingAt:1 ifAbsent:0 caseSensitive:false.
    self assert:(i == 7).

    "
     self new test30b_indexOfSubCollection
    "

    "Modified: / 25-05-2019 / 09:01:43 / Claus Gittinger"
!

test31_occurrencesOfString
    |n|
      "/  12345678901
    n := 'hello world' occurrencesOfString:'world'.
    self assert:(n == 1).

    n := 'hello wOrLd world' occurrencesOfString:'world'.
    self assert:(n == 1).

    n := 'hello wOrLd world' occurrencesOfString:'world' caseSensitive:false.
    self assert:(n == 2).

    n := 'hello world hello world' occurrencesOfString:'world'.
    self assert:(n == 2).

    n := '' occurrencesOfString:'aa'.
    self assert:(n == 0).

    n := 'a' occurrencesOfString:'aa'.
    self assert:(n == 0).

    n := 'aa' occurrencesOfString:'aa'.
    self assert:(n == 1).

    n := ' aa ' occurrencesOfString:'aa'.
    self assert:(n == 1).

    n := ' aa a' occurrencesOfString:'aa'.
    self assert:(n == 1).

    n := ' aaaa' occurrencesOfString:'aa'.
    self assert:(n == 2).

    n := ' aa aa ' occurrencesOfString:'aa'.
    self assert:(n == 2).

    n := ' aa bb ab ba aa ab' occurrencesOfString:'aa'.
    self assert:(n == 2).

    n := ' aa bb cc aa bb cc aa bb ' occurrencesOfString:'aa'.
    self assert:(n == 3).

    n := ' aa bb cc aA bb cc Aa bb ' occurrencesOfString:'aa'.
    self assert:(n == 1).
    n := ' aa bb cc aA bb cc Aa bb ' occurrencesOfString:'aa' caseSensitive:false.
    self assert:(n == 3).

    "
     self new test31_occurrencesOfString
    "

    "Created: / 25-05-2019 / 09:03:11 / Claus Gittinger"
!

test40_indexOfAny
    |s i collection|

    s := 'Some Sample Generators (74035660-d1f6-11df-9ab3-00ff7b08316c)'.
    1 to:s size do:[:start |
	i := s indexOfAny:'-' startingAt:start.
	self assert:(i == 0 or:[ i >= start]).
	(i ~~ 0) ifTrue:[
	    self assert:(s at:i) == $-
	].
    ].
    "/    123456789012
    s := 'bla bla 1234'.
    1 to:s size do:[:start |
	i := s indexOfAny:'1234' startingAt:start.
	self assert:(i == 0 or:[ i >= start]).
	(i == 9) ifTrue:[ self assert:((s at:i) == $1) ].
	(i == 10) ifTrue:[ self assert:((s at:i) == $2) ].
	(i == 11) ifTrue:[ self assert:((s at:i) == $3) ].
	(i == 12) ifTrue:[ self assert:((s at:i) == $4) ].
    ].

    collection := #($o, $l, $o).
      "/  12345678901
    i := 'hello world' indexOfAny:collection startingAt:1.
    self assert:(i == 3).
    i := 'hello world' indexOfAny:collection startingAt:2.
    self assert:(i == 3).
    i := 'hello world' indexOfAny:collection startingAt:3.
    self assert:(i == 3).
    i := 'hello world' indexOfAny:collection startingAt:4.
    self assert:(i == 4).
    i := 'hello world' indexOfAny:collection startingAt:5.
    self assert:(i == 5).
    i := 'hello world' indexOfAny:collection startingAt:6.
    self assert:(i == 8).
    i := 'hello world' indexOfAny:collection startingAt:7.
    self assert:(i == 8).
    i := 'hello world' indexOfAny:collection startingAt:8.
    self assert:(i == 8).
    i := 'hello world' indexOfAny:collection startingAt:9.
    self assert:(i == 10).
    i := 'hello world' indexOfAny:collection startingAt:10.
    self assert:(i == 10).
    i := 'hello world' indexOfAny:collection startingAt:11.
    self assert:(i == 0).
    i := 'hello world' indexOfAny:collection startingAt:12.
    self assert:(i == 0).
    i := 'hello world' indexOfAny:collection startingAt:10000.
    self assert:(i == 0).
    "
     self new test40_indexOfAny
    "

    "Created: / 29-10-2010 / 14:58:21 / cg"
!

test41_contains
    |s|

    s := 'abcdefg'.
    self assert:(s contains:[:ch | ch == $a]).
    self assert:(s contains:[:ch | ch == $A]) not.
    self assert:(s contains:[:ch | ch == $1]) not.
    self assert:(s contains:[:ch | ch == (0 asCharacter)]) not.
    "
     self new test41_contains
    "
!

test42a_includesAny
    |s|

    1 to:20 do:[:na |
	s := (String new:na withAll:$a),'bla bla 1234'.
	self assert:( s includesAny:'12').
	self assert:( s includesAny:'21').
	self assert:( s includesAny:'15').
	self assert:( s includesAny:'51').
	self assert:( s includesAny:'45').
	self assert:( s includesAny:'54').
	self assert:( s includesAny:'56') not.
    ].

    "
     self new test42a_includesAny
    "

    "Created: / 02-04-2019 / 11:03:13 / Claus Gittinger"
!

test42b_includesMatchCharacters
    self assert:('hello' includesMatchCharacters not).
    self assert:('he*llo' includesMatchCharacters).
    self assert:('h[eE]llo' includesMatchCharacters).
    self assert:('h#llo' includesMatchCharacters).

    "
     self new test42b_includesMatchCharacters
    "

    "Created: / 02-04-2019 / 11:03:46 / Claus Gittinger"
!

test42c_includesSeparator
    self assert:('' includesSeparator not).
    self assert:('a' includesSeparator not).
    self assert:('ab' includesSeparator not).
    self assert:('abc' includesSeparator not).
    self assert:('abcd' includesSeparator not).
    self assert:('abcde' includesSeparator not).
    self assert:('abcdef' includesSeparator not).
    self assert:('abcdefg' includesSeparator not).
    self assert:('abcdefgh' includesSeparator not).
    self assert:('a ' includesSeparator).
    self assert:('ab ' includesSeparator).
    self assert:('abc ' includesSeparator).
    self assert:('abcd ' includesSeparator).
    self assert:('abcde ' includesSeparator).
    self assert:('abcdef ' includesSeparator).
    self assert:('abcdefg ' includesSeparator).
    self assert:('abcdefgh ' includesSeparator).
    self assert:(' a' includesSeparator).
    self assert:(' ab' includesSeparator).
    self assert:(' abc' includesSeparator).
    self assert:(' abcd' includesSeparator).
    self assert:(' abcde' includesSeparator).
    self assert:(' abcdef' includesSeparator).
    self assert:(' abcdefg' includesSeparator).
    self assert:(' abcdefgh' includesSeparator).
    self assert:('hello' includesSeparator not).
    self assert:('he llo' includesSeparator).
    self assert:(' hello' includesSeparator).
    self assert:('hello ' includesSeparator).
    self assert:(' he llo ' includesSeparator).
    self assert:(c'h\nllo' includesSeparator).
    self assert:(c'h\tllo' includesSeparator).

    "
     self new test42c_includesSeparator
    "

    "Created: / 02-04-2019 / 11:05:39 / Claus Gittinger"
!

test43_occurrencesOf
    |s|

    "/             12345678901
    self assert:( 'hello world' occurrencesOf:$0 ) == 0.
    self assert:( 'hello world' occurrencesOf:$l ) == 3.
    self assert:( 'hello world' occurrencesOf:$d ) == 1.

    "/ how about 0-bytes in between
    self assert:( #[0 0 1 0 0] asString occurrencesOf:(Character value:1) ) == 1.
    self assert:( #[0 0 1 0 0] asString occurrencesOf:(Character value:0) ) == 4.

    1 to:10 do:[:nA |
	1 to:10 do:[:nB |
	    s := (String new:nA withAll:$a),(String new:nB withAll:$b).
	    self assert:(s occurrencesOf:$a) == nA.
	    self assert:(s occurrencesOf:$b) == nB.
	]
    ].

    s := String new:1024.
    s atAllPut:$a.
    s at:512 put:(Character space).
    self assert:(s occurrencesOf:(Character space)) == 1.
    self assert:(s occurrencesOf:$a) == 1023.

    s := String new:1024.
    s atAllPut:$a.
    1 to:1024 by:2 do:[:i | s at:i put:$b].
    self assert:(s occurrencesOf:$a) == 512.
    self assert:(s occurrencesOf:$b) == 512.

    "
     self new test43_occurrencesOf
    "
!

test50_indexOf
    |s i|

    s := 'Some Sample Generators (74035660-d1f6-11df-9ab3-00ff7b08316c)'.
    1 to:s size do:[:start |
	i := s indexOf:$- startingAt:start.
	self assert:(i == 0 or:[ i >= start]).
    ].
    "/             12345678901
    self assert:( 'hello world' indexOf:$0 startingAt:1 ) == 0.
    self assert:( 'hello world' indexOf:$l startingAt:1 ) == 3.
    self assert:( 'hello world' indexOf:$l startingAt:5 ) == 10.
    self assert:( 'hello world' indexOf:$d startingAt:5 ) == 11.

    "/             12345678901
    self assert:(('hello world' indexOf:$o startingAt:1) == 5).
    self assert:(('hello world' indexOf:$o startingAt:2) == 5).
    self assert:(('hello world' indexOf:$o startingAt:3) == 5).
    self assert:(('hello world' indexOf:$o startingAt:4) == 5).
    self assert:(('hello world' indexOf:$o startingAt:5) == 5).
    self assert:(('hello world' indexOf:$o startingAt:6) == 8).
    self assert:(('hello world' indexOf:$o startingAt:7) == 8).
    self assert:(('hello world' indexOf:$o startingAt:8) == 8).
    self assert:(('hello world' indexOf:$o startingAt:9) == 0).
    self assert:(('hello world' indexOf:$o startingAt:10) == 0).
    self assert:(('hello world' indexOf:$o startingAt:11) == 0).
    self assert:(('hello world' indexOf:$o startingAt:12) == 0).
    self assert:(('hello world' indexOf:$o startingAt:10000) == 0).

    "/ how about 0-bytes in between
    self assert:( #[0 0 1 0 0] asString indexOf:(Character value:1) startingAt:1 ) == 3.
    self assert:( #[0 0 1 0 0] asString indexOf:(Character value:0) startingAt:3 ) == 4.
    self assert:( #[0 0 1 1 0] asString indexOf:(Character value:0) startingAt:3 ) == 5.
    self assert:( #[0 1 0 1 0] asString indexOf:(Character value:1) startingAt:3 ) == 4.

    s := '12345678901234b'.
    self assert:(s indexOf:$x) == 0.
    self assert:(s indexOf:$1) == 1.
    self assert:(s indexOf:$2) == 2.
    self assert:(s indexOf:$3) == 3.
    self assert:(s indexOf:$4) == 4.
    self assert:(s indexOf:$5) == 5.
    self assert:(s indexOf:$0) == 10.
    self assert:(s indexOf:$b) == 15.

    s := ''.
    self assert:(s indexOf:$1) == 0.
    s := '1'.
    self assert:(s indexOf:$1) == 1.
    self assert:(s indexOf:$2) == 0.
    s := '12'.
    self assert:(s indexOf:$1) == 1.
    self assert:(s indexOf:$2) == 2.
    self assert:(s indexOf:$3) == 0.
    s := '123'.
    self assert:(s indexOf:$1) == 1.
    self assert:(s indexOf:$2) == 2.
    self assert:(s indexOf:$3) == 3.
    self assert:(s indexOf:$4) == 0.
    s := '1234'.
    self assert:(s indexOf:$1) == 1.
    self assert:(s indexOf:$2) == 2.
    self assert:(s indexOf:$3) == 3.
    self assert:(s indexOf:$4) == 4.
    self assert:(s indexOf:$5) == 0.
    s := '12345'.
    self assert:(s indexOf:$1) == 1.
    self assert:(s indexOf:$2) == 2.
    self assert:(s indexOf:$3) == 3.
    self assert:(s indexOf:$4) == 4.
    self assert:(s indexOf:$5) == 5.
    self assert:(s indexOf:$6) == 0.
    s := '123456'.
    self assert:(s indexOf:$1) == 1.
    self assert:(s indexOf:$2) == 2.
    self assert:(s indexOf:$3) == 3.
    self assert:(s indexOf:$4) == 4.
    self assert:(s indexOf:$5) == 5.
    self assert:(s indexOf:$6) == 6.
    self assert:(s indexOf:$7) == 0.
    s := '1234567'.
    self assert:(s indexOf:$1) == 1.
    self assert:(s indexOf:$2) == 2.
    self assert:(s indexOf:$3) == 3.
    self assert:(s indexOf:$4) == 4.
    self assert:(s indexOf:$5) == 5.
    self assert:(s indexOf:$6) == 6.
    self assert:(s indexOf:$7) == 7.
    self assert:(s indexOf:$8) == 0.
    s := '12345678'.
    self assert:(s indexOf:$1) == 1.
    self assert:(s indexOf:$2) == 2.
    self assert:(s indexOf:$3) == 3.
    self assert:(s indexOf:$4) == 4.
    self assert:(s indexOf:$5) == 5.
    self assert:(s indexOf:$6) == 6.
    self assert:(s indexOf:$7) == 7.
    self assert:(s indexOf:$8) == 8.
    self assert:(s indexOf:$9) == 0.
    s := '123456789'.
    self assert:(s indexOf:$1) == 1.
    self assert:(s indexOf:$2) == 2.
    self assert:(s indexOf:$3) == 3.
    self assert:(s indexOf:$4) == 4.
    self assert:(s indexOf:$5) == 5.
    self assert:(s indexOf:$6) == 6.
    self assert:(s indexOf:$7) == 7.
    self assert:(s indexOf:$8) == 8.
    self assert:(s indexOf:$9) == 9.

    self assert:(s indexOf:$0) == 0.
    self assert:(s indexOf:$b) == 0.

    s := String new:1024.
    s atAllPut:$a.
    s at:512 put:(Character space).
    self assert:(s indexOf:(Character space)) == 512.
    self assert:(s indexOf:(Character space) startingAt:1) == 512.
    self assert:(s indexOf:(Character space) startingAt:2) == 512.
    self assert:(s indexOf:(Character space) startingAt:3) == 512.
    self assert:(s indexOf:(Character space) startingAt:4) == 512.
    self assert:(s indexOf:(Character space) startingAt:5) == 512.
    self assert:(s indexOf:(Character space) startingAt:6) == 512.
    self assert:(s indexOf:(Character space) startingAt:7) == 512.
    self assert:(s indexOf:(Character space) startingAt:8) == 512.
    self assert:(s indexOf:(Character space) startingAt:9) == 512.
    self assert:(s indexOf:(Character space) startingAt:511) == 512.
    self assert:(s indexOf:(Character space) startingAt:512) == 512.
    self assert:(s indexOf:(Character space) startingAt:513) == 0.

    self assert:(s indexOfSeparator) == 512.
    self assert:(s indexOfSeparatorStartingAt:1) == 512.
    self assert:(s indexOfSeparatorStartingAt:2) == 512.
    self assert:(s indexOfSeparatorStartingAt:3) == 512.
    self assert:(s indexOfSeparatorStartingAt:4) == 512.
    self assert:(s indexOfSeparatorStartingAt:5) == 512.
    self assert:(s indexOfSeparatorStartingAt:6) == 512.
    self assert:(s indexOfSeparatorStartingAt:7) == 512.
    self assert:(s indexOfSeparatorStartingAt:8) == 512.
    self assert:(s indexOfSeparatorStartingAt:9) == 512.
    self assert:(s indexOfSeparatorStartingAt:511) == 512.
    self assert:(s indexOfSeparatorStartingAt:512) == 512.
    self assert:(s indexOfSeparatorStartingAt:513) == 0.

    "
     self new test50_indexOf
    "

    "Created: / 29-10-2010 / 14:58:21 / cg"
    "Modified: / 02-04-2019 / 11:06:52 / Claus Gittinger"
!

test51_substrings
    self assert:('aaa/bbb/ccc' subStrings:'/') asArray = #('aaa' 'bbb' 'ccc').
    self assert:(('aaa/bbb/ccc' subStrings:'/') asStringWith:'/') = 'aaa/bbb/ccc'.

    self assert:('aaa/bbb' withoutSuffix:'bbb') = 'aaa/'.
    self assert:('aaa/bbb' withoutPrefix:'aaa') = '/bbb'.

"/    self assert:('/aaa/bbb/ccc' subStrings:'/') asArray = #('' 'aaa' 'bbb' 'ccc').
"/    self assert:(('/aaa/bbb/ccc' subStrings:'/') asStringWith:'/') = '/aaa/bbb/ccc'.
"/
"/    self assert:('aaa/bbb/ccc/' subStrings:'/') asArray = #('aaa' 'bbb' 'ccc' '' ).
"/    self assert:(('aaa/bbb/ccc/' subStrings:'/') asStringWith:'/') = '/aaa/bbb/ccc/'.
"/
"/    self assert:('/aaa/bbb/ccc/' subStrings:'/') asArray = #('' 'aaa' 'bbb' 'ccc' '').
"/    self assert:(('/aaa/bbb/ccc/' subStrings:'/') asStringWith:'/') = '/aaa/bbb/ccc'' '.
"/
"/    self assert:('//aaa/bbb/ccc' subStrings:'/') asArray = #('' '' 'aaa' 'bbb' 'ccc').
"/    self assert:(('//aaa/bbb/ccc' subStrings:'/') asStringWith:'/') = '//aaa/bbb/ccc'.

    "
     self new test51_substrings
    "

    "Modified: / 11-02-2019 / 23:57:03 / Claus Gittinger"
!

test52_indexOfSeparator
    |j s|

    self assert:('' indexOfSeparator) == 0.
    1 to:20 do:[:n |
	s := (String new:n withAll:$a).
	1 to:20 do:[:start |
	    self assert:(s indexOfSeparatorStartingAt:start) == 0.
	].
    ].
    1 to:20 do:[:n |
	s := (String new:n withAll:$a),' '.
	1 to:n do:[:start |
	    self assert:(s indexOfSeparatorStartingAt:start) == (n+1).
	].
    ].

    {
	Character space .
	Character tab .
	Character return .
	Character lf .
    } do:[:sep |
	1 to:20 do:[:na |
	    1 to:20 do:[:nb |
		s := (String new:na withAll:$a),sep,(String new:na withAll:$a).
		1 to:na do:[:start |
		    self assert:(s indexOfSeparatorStartingAt:start) == (na+1).
		]
	    ]
	].
    ].

    {
	Character esc .
	Character null .
	$a .
    } do:[:nonSep |
	1 to:20 do:[:na |
	    1 to:20 do:[:nb |
		s := (String new:na withAll:$a),nonSep,(String new:na withAll:$a).
		1 to:20 do:[:start |
		    self assert:(s indexOfSeparatorStartingAt:start) == 0.
		]
	    ]
	].
    ].

    s := String new:1000 withAll:$a.
    self assert:(s indexOfSeparatorStartingAt:1) == 0.
    400 to: 417 do:[:i |
	s := String new:1000 withAll:$a.
	s at:i put:(Character space).
	self assert:(s indexOfSeparatorStartingAt:1) == i.

	s := String new:1000 withAll:$a.
	s at:i put:(Character return).
	self assert:(s indexOfSeparatorStartingAt:1) == i.
    ].

      "/  12345678901
    j := 'hello world' indexOfSeparatorStartingAt:1.
    self assert:(j == 6).
    j := 'hello world ' indexOfSeparatorStartingAt:2.
    self assert:(j == 6).
    j := 'hello world ' indexOfSeparatorStartingAt:3.
    self assert:(j == 6).
    j := 'hello world ' indexOfSeparatorStartingAt:4.
    self assert:(j == 6).
    j := 'hello world ' indexOfSeparatorStartingAt:5.
    self assert:(j == 6).
    j := 'hello world ' indexOfSeparatorStartingAt:6.
    self assert:(j == 6).
    j := 'hello world ' indexOfSeparatorStartingAt:7.
    self assert:(j == 12).
    j := 'hello world ' indexOfSeparatorStartingAt:8.
    self assert:(j == 12).
    j := 'hello world ' indexOfSeparatorStartingAt:9.
    self assert:(j == 12).
    j := 'hello world ' indexOfSeparatorStartingAt:10.
    self assert:(j == 12).
    j := 'hello world ' indexOfSeparatorStartingAt:11.
    self assert:(j == 12).
    j := 'hello world ' indexOfSeparatorStartingAt:12.
    self assert:(j == 12).
    j := 'hello world' indexOfSeparatorStartingAt:12.
    self assert:(j == 0).
    j := 'hello world ' indexOfSeparatorStartingAt:13.
    self assert:(j == 0).
    j := 'hello world ' indexOfSeparatorStartingAt:10000.
    self assert:(j == 0).

    "
     self new test52_indexOfSeparator
    "
!

test54_occurrencesOf
    |s|

    self assert:('' occurrencesOf:$a) == 0.
    1 to:20 do:[:n |
	s := (String new:n withAll:$a).
	self assert:(s occurrencesOf:$a) == n.
    ].
    1 to:20 do:[:na |
	1 to:20 do:[:nb |
	    s := (String new:na withAll:$a),(String new:nb withAll:$b).
	    self assert:(s occurrencesOf:$a) == na.
	].
    ].
    1 to:40 do:[:n |
	s := String new:n withAll:$a.
	1 to:n by:2 do:[:n |
	    s at:n put:$b.
	].
	self assert:(s occurrencesOf:$a) == (n // 2).
    ].

    s := String new:1000 withAll:$a.
    self assert:(s occurrencesOf:$a) == 1000.
    1 to:1000 do:[:i |
	s at:i put:$b.
	self assert:(s occurrencesOf:$a) == (1000-i).
	self assert:(s occurrencesOf:$b) == i.
    ].

    "
     self new test54_occurrencesOf
    "
!

test60a_hash
    "
    As of 2013-01-09 for strings of size 7 String & Unicode16String hash
    returned different values. This test checks this
    "

    | tester |

    tester := [:s|
	|sHash u16Hash u32Hash|

	sHash := s hash.
	u16Hash := s asUnicode16String hash.
	u32Hash := s asUnicode32String hash.

	self assert: sHash == u16Hash
	     description: ('String and Unicode16String hashes differ on "%1" (%2)'
				bindWith:s with:s class name).
	self assert: sHash == u32Hash
	     description: ('String and Unicode32String hashes differ on "%1" (%2)'
				bindWith:s with:s class name)
    ].

    tester value:'a'.
    tester value:'123456789012345678'.
    tester value:'12345678901234567'.
    tester value:'1234567890123456'.
    tester value:'123456789012345'.
    tester value:'12345678901234'.
    tester value:'1234567890123'.
    tester value:'123456789012'.
    tester value:'12345678901'.
    tester value:'1234567890'.
    tester value:'123456789'.
    tester value:'12345678'.
    tester value:'1234567'.
    tester value:'123456'.
    tester value:'12345'.
    tester value:'1234'.
    tester value:'123'.
    tester value:'12'.
    tester value:'boolean'.

    "/ strings with 0-elements
    tester value:('' copyWith:Character null).
    tester value:('1' copyWith:Character null).
    tester value:('12' copyWith:Character null).
    tester value:('123' copyWith:Character null).
    tester value:('1234' copyWith:Character null).
    tester value:('12345' copyWith:Character null).
    tester value:('123456' copyWith:Character null).
    tester value:('1234567' copyWith:Character null).
    tester value:('12345678' copyWith:Character null).
    tester value:('123456789' copyWith:Character null).
    tester value:('1234567890' copyWith:Character null).
    tester value:('12345678901' copyWith:Character null).
    tester value:('123456789012' copyWith:Character null).
    tester value:('1234567890123' copyWith:Character null).
    tester value:('12345678901234' copyWith:Character null).
    tester value:('123456789012345' copyWith:Character null).
    tester value:('1234567890123456' copyWith:Character null).
    tester value:('12345678901234567' copyWith:Character null).

    tester value:('' copyWith:Character null),'123'.
    tester value:('1' copyWith:Character null),'123'.
    tester value:('12' copyWith:Character null),'123'.
    tester value:('123' copyWith:Character null),'123'.
    tester value:('1234' copyWith:Character null),'123'.
    tester value:('12345' copyWith:Character null),'123'.
    tester value:('123456' copyWith:Character null),'123'.
    tester value:('1234567' copyWith:Character null),'123'.
    tester value:('12345678' copyWith:Character null),'123'.
    tester value:('123456789' copyWith:Character null),'123'.
    tester value:('1234567890' copyWith:Character null),'123'.
    tester value:('12345678901' copyWith:Character null),'123'.
    tester value:('123456789012' copyWith:Character null),'123'.
    tester value:('1234567890123' copyWith:Character null),'123'.
    tester value:('12345678901234' copyWith:Character null),'123'.
    tester value:('123456789012345' copyWith:Character null),'123'.
    tester value:('1234567890123456' copyWith:Character null),'123'.

    "Created: / 02-04-2019 / 10:55:23 / Claus Gittinger"
!

test60b_hash
    "verifies that symbols hash the same as string, u16string and u32string"

    | tester |

    "/ self skip:'takes long'.

    tester := [:s|
	|sHash u8Hash u16Hash u32Hash|

	sHash := s hash.
	u8Hash := s asString hash.
	u16Hash := s asUnicode16String hash.
	u32Hash := s asUnicode32String hash.

	self assert: sHash == u8Hash
	     description: ('Symbol and String hashes differ on "%1" (%2)'
				bindWith:s with:s class name).
	self assert: sHash == u16Hash
	     description: ('Symbol and Unicode16String hashes differ on "%1" (%2)'
				bindWith:s with:s class name).
	self assert: sHash == u32Hash
	     description: ('Symbol and Unicode32String hashes differ on "%1" (%2)'
				bindWith:s with:s class name)
    ].

    "/ String allInstancesDo:[:each| tester value:each].
    Symbol allInstancesDo:[:each| tester value:each].

    "Created: / 02-04-2019 / 10:55:26 / Claus Gittinger"
!

test61_hash
    "all string-representations must hash equal"

    | string8 string16 string32 |

    string8 := 'sun/nio/cs/UTF_8.class'.
    string16 := string8 asUnicode16String.
    string32 := string8 asUnicode16String.

    self assert: string8 hash == string16 hash.
    self assert: string8 hash == string32 hash.
    self assert: string8 hash == string8 asSymbol hash.

    "Created: / 09-10-2014 / 12:41:01 / Jan Vrany <jan.vrany@fit.cvut.cz>"
    "Modified: / 02-04-2019 / 10:42:35 / Claus Gittinger"
!

test65_concatenation
    |strA strB|

    0 to:32 do:[:szA |
	0 to:32 do:[:szB |
	    |szAB|

	    strA := String new:szA withAll:$a.
	    strB := String new:szB withAll:$b.
	    szAB := szA + szB.
	    self assert:(szA = strA size).
	    self assert:(szB = strB size).
	    "/ why repeat ??? - to check GC???
	    1 "10000" timesRepeat:[
		|strAB|

		strAB := strA , strB.
		self assert:(szAB == strAB size).
	    ]
	]
    ].

    strA := strB := ''.
    self assert: ((strA , strB) = '').
    self assert: ((strA , strA) = '').
    strA := 'a'.
    self assert: ((strA , strA) = 'aa').
    self assert: ((strA , strB) = 'a').
    strA := ''.
    strB := 'b'.
    self assert: ((strA , strB) = 'b').
    strA := 'b'.
    strB := 'a'.
    self assert: ((strB , strA) = 'ab').

    "/ concatenating other things
    self assert:('hello',123) = 'hello123'.
    self assert:('hello' asUnicode16String,123) = 'hello123' asUnicode16String.
    self assert:('hello' asUnicode32String,123) = 'hello123' asUnicode32String.

    "/ concatenating other things
    self assert:('hello',,123) = c'hello\n123'.
    self assert:('hello' asUnicode16String,,123) = c'hello\n123' asUnicode16String.
    self assert:('hello' asUnicode32String,,123) = c'hello\n123' asUnicode32String.

    "
     self new test65_concatenation
    "

    "Modified: / 02-04-2019 / 10:41:24 / Claus Gittinger"
!

test66_replace
    |strA|

    1 to:64 do:[:szA |
	strA := String new:szA withAll:$a.
	    1 to:szA do:[:idx |
		strA at:idx put:$*.

		strA replaceAll:$* with:$#.

		self assert:(strA at:idx) = $#.
		self assert:(strA occurrencesOf:$#) = idx.
		self assert:(strA count:[:ch | ch = $#]) = idx.
		self assert:(strA occurrencesOf:$*) = 0.
		self assert:(strA count:[:ch | ch = $*]) = 0.
		self assert:(strA includes:$#).
		self assert:(strA includes:$*) not.
	]
    ]

    "
     self new test66_replace
    "
!

test67_concatenationAnd
    |strA strB strC|

    0 to:32 do:[:szA |
	0 to:32 do:[:szB |
	    0 to:32 do:[:szC |
		|szABC|
		strA := String new:szA withAll:$a.
		strB := String new:szB withAll:$b.
		strC := String new:szC withAll:$c.

		szABC := szA + szB + szC.
		self assert:(szA = strA size).
		self assert:(szB = strB size).
		self assert:(szC = strC size).

		"/ why repeat? to test GC???
		1 "300" timesRepeat:[
		    |strABC|

		    strABC := strA concatenate:strB and:strC.

		    self assert:(szABC == strABC size).
		]
	    ]
	]
    ].
    strA := strB := strC := ''.
    self assert: ((strA concatenate:strB and:strC) = '').
    strA := 'a'.
    self assert: ((strA concatenate:strB and:strC) = 'a').
    strA := ''.
    strB := 'b'.
    self assert: ((strA concatenate:strB and:strC) = 'b').
    strB := ''.
    strC := 'c'.
    self assert: ((strA concatenate:strB and:strC) = 'c').
    strA := 'c'.
    strB := 'b'.
    strC := 'a'.
    self assert: ((strC concatenate:strB and:strA) = 'abc').
    "
     self new test67_concatenationAnd
    "

    "Modified: / 02-04-2019 / 10:51:31 / Claus Gittinger"
!

test68_concatenationAndAnd
    |strA strB strC strD|

    0 to:32 do:[:szA |
	strA := String new:szA withAll:$a.
	self assert:(szA = strA size).
	0 to:32 do:[:szB |
	    strB := String new:szB withAll:$b.
	    self assert:(szB = strB size).
	    0 to:32 do:[:szC |
		strC := String new:szC withAll:$c.
		self assert:(szC = strC size).
		0 to:32 do:[:szD |
		    |szABCD|
		    strD := String new:szD withAll:$d.

		    szABCD := szA + szB + szC + szD.

		    self assert:(szD = strD size).

		    "/ why repeat???
		    1 "5" timesRepeat:[
			|strABCD|

			strABCD := strA concatenate:strB and:strC and:strD.

			self assert:(szABCD == strABCD size).
		    ]
		]
	    ]
	]
    ].

    strA := strB := strC := strD := ''.
    self assert: ((strA concatenate:strB and:strC and:strD) = '').
    strA := 'a'.
    self assert: ((strA concatenate:strB and:strC and:strD) = 'a').
    strA := ''.
    strB := 'b'.
    self assert: ((strA concatenate:strB and:strC and:strD) = 'b').
    strB := ''.
    strC := 'c'.
    self assert: ((strA concatenate:strB and:strC and:strD) = 'c').
    strC := ''.
    strD := 'd'.
    self assert: ((strA concatenate:strB and:strC and:strD) = 'd').
    strA := 'd'.
    strB := 'c'.
    strC := 'b'.
    strD := 'a'.
    self assert: ((strD concatenate:strC and:strB and:strA) = 'abcd').
    "
     self new test68_concatenationAndAnd
    "

    "Modified: / 02-04-2019 / 10:51:50 / Claus Gittinger"
!

test69_split
    self assert:(('a,b,c,d' splitByAny:',;') sameContentsAs: #('a' 'b' 'c' 'd')).
    self assert:(('a;b;c;d' splitByAny:',;') sameContentsAs: #('a' 'b' 'c' 'd')).
    self assert:(('a;b,c;d' splitByAny:',;') sameContentsAs: #('a' 'b' 'c' 'd')).

    self assert:(($, split:'a,b,c,d') sameContentsAs: #('a' 'b' 'c' 'd')).
    self assert:((',' split:'a,b,c,d') sameContentsAs: #('a' 'b' 'c' 'd')).
    self assert:(('//' split:'a//b//c//d') sameContentsAs: #('a' 'b' 'c' 'd')).
    self assert:(('a//b//c//d' splitOn:'//') sameContentsAs: #('a' 'b' 'c' 'd')).

    "/ self assert:(([:ch | ch isLetter] split:'a2b3c4') sameContentsAs: #('1' '2' '3' '4')).
    "/ self assert:(([:char | char isDigit] split: '1a2b3c4') sameContentsAs: #('a' 'b' 'c')).

    "
     self new test69_split
    "

    "Created: / 20-07-2018 / 23:54:15 / Claus Gittinger"
!

test70_storeString

    self assert: 'AAA' storeString = '''AAA'''.
    self assert: 'A''A''A' storeString = '''A''''A''''A'''.

    self assert: 'AAA' asImmutableString storeString = '''AAA'''.
    self assert: 'A''A''A' asImmutableString storeString = '''A''''A''''A'''.

    "Created: / 14-07-2013 / 19:17:33 / Jan Vrany <jan.vrany@fit.cvut.cz>"
!

test80a_copyReplaceAll

    | orig copy |

    orig := 'AAA' copy. "/ In case literals are immutable...
    self assert: orig = 'AAA'.

    copy := orig copyReplaceAll: $A with: $X.
    self assert: copy = 'XXX'.
    self assert: orig = 'AAA'.

    orig := 'AAA' asImmutableString.
    self assert: orig = 'AAA'.

    copy := orig copyReplaceAll: $A with: $X.
    self assert: copy = 'XXX'.
    self assert: orig = 'AAA'.

    "Created: / 06-03-2014 / 15:10:19 / Jan Vrany <jan.vrany@fit.cvut.cz>"
!

test80b_copyReplaceString

    | copy |

    copy := 'AAA' copyReplaceString:'AA' withString:'BB'.
    self assert: copy = 'BBA'.

    copy := 'AAAA' copyReplaceString:'AA' withString:'BB'.
    self assert: copy = 'BBBB'.

    copy := 'AAAA' copyReplaceString:'XX' withString:'BB'.
    self assert: copy = 'AAAA'.

    copy := '' copyReplaceString:'XX' withString:'BB'.
    self assert: copy = ''.

    copy := 'X' copyReplaceString:'XX' withString:'BB'.
    self assert: copy = 'X'.
!

test81_filling

    | str |

    str := 'AAA' copy. "/ In case literals are immutable...

    str atAllPut:$B.
    self assert: str = 'BBB'.

    str from:1 to:0 put:$C.
    self assert: str = 'BBB'.

    str from:1 to:1 put:$D.
    self assert: str = 'DBB'.

    str from:1 to:2 put:$E.
    self assert: str = 'EEB'.

    str from:1 to:3 put:$F.
    self assert: str = 'FFF'.

    str from:1 to:0 put:$G.
    self assert: str = 'FFF'.

    str from:-1 to:-2 put:$G.
    self assert: str = 'FFF'.

    self should:[
	str from:-1 to:-1 put:$x
    ] raise:SubscriptOutOfBoundsError.
    self assert: str = 'FFF'.

    self should:[
	str from:-1 to:1 put:$x
    ] raise:SubscriptOutOfBoundsError.
    self assert: str = 'FFF'.
!

test82a_expanding

    | rslt |

    rslt := 'A%1B%2C' expandPlaceholdersWith:#(10 20 30).
    self assert:(rslt = 'A10B20C').

    rslt := 'A%1B%2C%' expandPlaceholdersWith:#(10 20 30).
    self assert:(rslt = 'A10B20C%').

    rslt := 'A%%1B%2C%' expandPlaceholdersWith:#(10 20 30).
    self assert:(rslt = 'A%1B20C%').


    rslt := 'A%aB%bC' expandPlaceholdersWith:(Dictionary withKeys:#(a b c)
							 andValues:#(10 20 30)).
    self assert:(rslt = 'A10B20C').

    "/ not expanded, if not found
    rslt := 'A%aB%bC' expandPlaceholdersWith:(Dictionary withKeys:#(aa bb cc)
							 andValues:#(10 20 30)).
    self assert:(rslt = 'A%aB%bC').

    rslt := 'A%aaB%bbC' expandPlaceholdersWith:(Dictionary withKeys:#(aa bb cc)
							 andValues:#(10 20 30)).
    self assert:(rslt = 'A%aaB%bbC').

    rslt := 'A%(aa)B%(bb)C' expandPlaceholdersWith:(Dictionary withKeys:#(aa bb cc)
							 andValues:#(10 20 30)).
    self assert:(rslt = 'A10B20C').

    "/ allowing non-parenthized
    rslt := String streamContents:[:s |
		'A%aa,B%bb,C'
			expandPlaceholders:$%
			with:(Dictionary withKeys:#(aa bb cc) andValues:#(10 20 30))
			ignoreNumericEscapes:false
			requireParentheses:false
			on:s.
	    ].
    self assert:(rslt = 'A10,B20,C').

    "Created: / 02-04-2019 / 11:00:08 / Claus Gittinger"
!

test82b_expanding
    | rslt |

    rslt := 'hello' copyExpanding:(Dictionary
					withKeys:{$h . $e . $o}
					andValues:{'HH' . 'EE' . $O }).
    self assert:(rslt = 'HHEEllO').

    rslt := 'he%2llo%1' % { 123 . 456 }.
    self assert:(rslt = 'he456llo123').

    "Created: / 02-04-2019 / 11:00:43 / Claus Gittinger"
!

test82c_expanding
    | rslt |

    rslt := '%1-%2-%3'
	    expandPlaceholders:$$
	    with:{10 . 20 . 30}
	    ignoreNumericEscapes:false
	    ignoreNonNumericEscapes:false
	    ignoreSpecialEscapes:false
	    requireParentheses:false.
    self assert:(rslt = '%1-%2-%3').

    rslt := '$$rev'
	    expandPlaceholders:$$
	    with:{10 . 20 . 30}
	    ignoreNumericEscapes:false
	    ignoreNonNumericEscapes:false
	    ignoreSpecialEscapes:false
	    requireParentheses:false.
    self assert:(rslt = '$rev').

    rslt := '$$rev'
	    expandPlaceholders:$$
	    with:(Dictionary withKeysAndValues:{ 'rev' . '1234'})
	    ignoreNumericEscapes:false
	    ignoreNonNumericEscapes:false
	    ignoreSpecialEscapes:false
	    requireParentheses:false.
    self assert:(rslt = '$rev').

    rslt := '$rev'
	    expandPlaceholders:$$
	    with:{10 . 20 . 30}
	    ignoreNumericEscapes:false
	    ignoreNonNumericEscapes:false
	    ignoreSpecialEscapes:false
	    requireParentheses:false.
    self assert:(rslt = '$rev').

    rslt := '$rev'
	    expandPlaceholders:$$
	    with:(Dictionary withKeysAndValues:{ 'rev' . '1234'})
	    ignoreNumericEscapes:false
	    ignoreNonNumericEscapes:false
	    ignoreSpecialEscapes:false
	    requireParentheses:false.
    self assert:(rslt = '1234').

    rslt := '%1-%2-%3'
	    expandPlaceholders:$%
	    with:{10 . 20 . 30}
	    ignoreNumericEscapes:false
	    ignoreNonNumericEscapes:false
	    ignoreSpecialEscapes:false
	    requireParentheses:false.
    self assert:(rslt = '10-20-30').

    rslt := '%1-%2-%3'
	    expandPlaceholders:$%
	    with:{10 . 20 . 30}
	    ignoreNumericEscapes:true
	    ignoreNonNumericEscapes:false
	    ignoreSpecialEscapes:false
	    requireParentheses:false.
    self assert:(rslt = '%1-%2-%3').

    rslt := '%1%<cr>%2%<cr>%3'
	    expandPlaceholders:$%
	    with:{10 . 20 . 30}
	    ignoreNumericEscapes:true
	    ignoreNonNumericEscapes:false
	    ignoreSpecialEscapes:false
	    requireParentheses:false.
    self assert:(rslt = c'%1\n%2\n%3').

    rslt := '%1%<cr>%2%<cr>%3'
	    expandPlaceholders:$%
	    with:{10 . 20 . 30}
	    ignoreNumericEscapes:false
	    ignoreNonNumericEscapes:false
	    ignoreSpecialEscapes:false
	    requireParentheses:false.
    self assert:(rslt = c'10\n20\n30').

    rslt := '%1%<cr>%2%<cr>%3'
	    expandPlaceholders:$%
	    with:{10 . 20 . 30}
	    ignoreNumericEscapes:false
	    ignoreNonNumericEscapes:false
	    ignoreSpecialEscapes:true
	    requireParentheses:false.
    self assert:(rslt = '10%<cr>20%<cr>30').

    rslt := '%1 %(a) %(1) %(b)'
	    expandPlaceholders:$%
	    with:(Dictionary withKeysAndValues:{ 'a' . 'AAA' . 'b' . 'BBB' })
	    ignoreNumericEscapes:false
	    ignoreNonNumericEscapes:true
	    ignoreSpecialEscapes:false
	    requireParentheses:false.
    self assert:(rslt = ' %(a)  %(b)').

    rslt := '%1 %(a) %(1) %(b)'
	    expandPlaceholders:$%
	    with:(Dictionary withKeysAndValues:{ 'a' . 'AAA' . 'b' . 'BBB' })
	    ignoreNumericEscapes:true
	    ignoreNonNumericEscapes:false
	    ignoreSpecialEscapes:false
	    requireParentheses:false.
    self assert:(rslt = '%1 AAA %(1) BBB').

    rslt := '%1 %a %(1) %b'
	    expandPlaceholders:$%
	    with:(Dictionary withKeysAndValues:{ 'a' . 'AAA' . 'b' . 'BBB' })
	    ignoreNumericEscapes:true
	    ignoreNonNumericEscapes:false
	    ignoreSpecialEscapes:false
	    requireParentheses:false.
    self assert:(rslt = '%1 AAA %(1) BBB').


    rslt := '%1 %aa %(1) %bb'
	    expandPlaceholders:$%
	    with:(Dictionary withKeysAndValues:{ 'a' . 'AAA' . 'b' . 'BBB' })
	    ignoreNumericEscapes:true
	    ignoreNonNumericEscapes:false
	    ignoreSpecialEscapes:false
	    requireParentheses:true.
    self assert:(rslt = '%1 AAAa %(1) BBBb').
!

test82d_expanding
    "what happens with missing keys:"

    | rslt |

    rslt := '%1-%2-%3'
	    expandPlaceholders:$%
	    with:{10 . 20 }
	    ignoreNumericEscapes:false
	    ignoreNonNumericEscapes:false
	    ignoreSpecialEscapes:false
	    requireParentheses:false.
    self assert:(rslt = '10-20-').

    "/ stupid backward compatibiliy!!
    rslt := '%a-%b-%c'
	    expandPlaceholders:$%
	    with:(Dictionary withKeys:#('a' 'b') andValues:#(10 20 ))
	    ignoreNumericEscapes:false
	    ignoreNonNumericEscapes:false
	    ignoreSpecialEscapes:false
	    requireParentheses:false.
    self assert:(rslt = '10-20-%c').

    rslt := '%(a)-%(b)-%(c)'
	    expandPlaceholders:$%
	    with:(Dictionary withKeys:#('a' 'b') andValues:#(10 20 ))
	    ignoreNumericEscapes:false
	    ignoreNonNumericEscapes:false
	    ignoreSpecialEscapes:false
	    requireParentheses:false.
    self assert:(rslt = '10-20-').

    rslt := '%(a)-%(b)-%(c)'
	    expandPlaceholders:$%
	    with:(Dictionary withKeys:#('a' 'b') andValues:#(10 20 ))
	    ignoreNumericEscapes:false
	    ignoreNonNumericEscapes:false
	    ignoreSpecialEscapes:false
	    requireParentheses:false
	    ifKeyAbsent:[:str :var | str].
    self assert:(rslt = '10-20-%(c)').

    rslt := '%(a)-%(b)-%(abc)'
	    expandPlaceholders:$%
	    with:(Dictionary withKeys:#('a' 'b') andValues:#(10 20 ))
	    ignoreNumericEscapes:false
	    ignoreNonNumericEscapes:false
	    ignoreSpecialEscapes:false
	    requireParentheses:false
	    ifKeyAbsent:[:str :var | str].
    self assert:(rslt = '10-20-%(abc)').
!

test82e_expandingSpecialSequences
    | rslt |

    rslt := 'abc%<tab>def'
	    expandPlaceholders:$%
	    with:nil
	    ignoreNumericEscapes:false
	    ignoreNonNumericEscapes:false
	    ignoreSpecialEscapes:false
	    requireParentheses:false.
    self assert:(rslt = ('abc',Character tab,'def')).

    rslt := 'abc%<crlf>def'
	    expandPlaceholders:$%
	    with:nil
	    ignoreNumericEscapes:false
	    ignoreNonNumericEscapes:false
	    ignoreSpecialEscapes:false
	    requireParentheses:false.
    self assert:(rslt = ('abc',String crlf,'def')).

    rslt := 'abc%<crlf>def' with:nil.
    self assert:(rslt = ('abc',String crlf,'def')).
!

test82f_expanding
    "special cases:"

    | rslt args |

    rslt := '%' bindWith:'aaa'.
    self assert:(rslt = '%').

    rslt := '%1' bindWith:'aaa'.
    self assert:(rslt = 'aaa').
    rslt := '%1b' bindWith:'aaa'.
    self assert:(rslt = 'aaab').
    rslt := '%2' bindWith:'aaa'.
    self assert:(rslt = '').
    rslt := '%9' bindWith:'aaa'.
    self assert:(rslt = '').
    rslt := '%9' bindWithArguments:#(a1 b2 c3 d4 e5 f6 g7 h8 i9).
    self assert:(rslt = 'i9').
    rslt := '%1x' bindWithArguments:#(a1 b2 c3 d4 e5 f6 g7 h8 i9 j10).
    self assert:(rslt = 'a1x').
    rslt := '%10' bindWithArguments:#(a1 b2 c3 d4 e5 f6 g7 h8 i9 j10).
    self assert:(rslt = 'j10').
    rslt := '%10x' bindWithArguments:#(a1 b2 c3 d4 e5 f6 g7 h8 i9 j10).
    self assert:(rslt = 'j10x').

    rslt := 'hello %10%9%8' expandPlaceholders:$% with:{ 'x1' . 'x2' . 'x3' . 'x4' . 'x5' . 'x6' . 'x7' . 'x8' . 'x9' . 'x10' }.
    self assert:(rslt = 'hello x10x9x8').
    rslt := 'hello %10' expandPlaceholders:$% with:{ 'x1' . 'x2' . 'x3' . 'x4' . 'x5' . 'x6' . 'x7' . 'x8' . 'x9' . 'x10' }.
    self assert:(rslt = 'hello x10').
    rslt := 'hello %(1)x' expandPlaceholders:$% with:{ 'x1' . 'x2' . 'x3' . 'x4' . 'x5' . 'x6' . 'x7' . 'x8' . 'x9' . 'x10' }.
    self assert:(rslt = 'hello x1x').

    args := Dictionary new
		at:'year' put:'yyyy';
		at:'mon' put:'mmm';
		at:'day' put:'dd';
		at:'h' put:'HH';
		at:'m' put:'MM';
		at:'s' put:'SS';
		at:'i' put:'II';
		yourself.

    rslt := '%(year)-%(mon)-%(day) %h:%m:%s.%i' bindWithArguments:args.
    self assert:(rslt = 'yyyy-mmm-dd HH:MM:SS.II').
    rslt := '%(year)-%(mon)-%(day) %(h):%(m):%(s).%(i)' bindWithArguments:args.
    self assert:(rslt = 'yyyy-mmm-dd HH:MM:SS.II').

    self should:[ rslt := '%(' bindWith:'aaa' ] raise:Error.
!

test83_padding
    | rslt |

    rslt := 'foo' paddedTo:10.
    self assert:(rslt = 'foo       ').

    rslt := 'foo' paddedTo:3.
    self assert:(rslt = 'foo').
    rslt := 'foo' paddedTo:4.
    self assert:(rslt = 'foo ').
    rslt := 'foo' paddedTo:2.
    self assert:(rslt = 'foo').

    rslt := '' paddedTo:2.
    self assert:(rslt = '  ').

    rslt := 'foo' paddedTo:10 with:$-.
    self assert:(rslt = 'foo-------').

    rslt := 'foo' paddedTo:3 with:$-.
    self assert:(rslt = 'foo').
    rslt := 'foo' paddedTo:4 with:$-.
    self assert:(rslt = 'foo-').
    rslt := 'foo' paddedTo:2 with:$-.
    self assert:(rslt = 'foo').

    rslt := '' paddedTo:2 with:$-.
    self assert:(rslt = '--').

    rslt := 'foo' leftPaddedTo:10.
    self assert:(rslt = '       foo').

    rslt := 'foo' leftPaddedTo:3.
    self assert:(rslt = 'foo').
    rslt := 'foo' leftPaddedTo:4.
    self assert:(rslt = ' foo').
    rslt := 'foo' leftPaddedTo:2.
    self assert:(rslt = 'foo').

    rslt := '' leftPaddedTo:2.
    self assert:(rslt = '  ').

    rslt := 'foo' leftPaddedTo:10 with:$-.
    self assert:(rslt = '-------foo').

    rslt := 'foo' leftPaddedTo:3 with:$-.
    self assert:(rslt = 'foo').
    rslt := 'foo' leftPaddedTo:4 with:$-.
    self assert:(rslt = '-foo').
    rslt := 'foo' leftPaddedTo:2 with:$-.
    self assert:(rslt = 'foo').

    rslt := '' leftPaddedTo:2 with:$-.
    self assert:(rslt = '--').

    "Created: / 21-03-2019 / 12:58:33 / Claus Gittinger"
!

test84_withCRs
    | rslt |

    rslt := 'foo\bar' addLineDelimiters.
    self assert:(rslt = ('foo',Character cr,'bar')).

    "Created: / 02-04-2019 / 10:57:44 / Claus Gittinger"
!

test85_printf
    self assert:( (PrintfScanf printf:'%c' argument:$a) = 'a' ).
    self assert:( (PrintfScanf printf:'%c' argument:'a') = 'a' ).
    self assert:( (PrintfScanf printf:'%c' argument:'abc') = 'a' ).
    self assert:( (PrintfScanf printf:'%c' argument:65) = 'A' ).

    "/ verify that our printf generates the same string as the system-printf.

    #(
	'%s'       ''           ''
	'%s'       'abc'        'abc'
	'x%s'      ''           'x'
	'x%s'      'abc'        'xabc'
	'%sx'      ''           'x'
	'%sx'      'abc'        'abcx'
	'x%sx'     ''           'xx'
	'x%sx'     'abc'        'xabcx'
	'%6s'      'abc'        '   abc'
	'%-6s'     'abc'        'abc   '
     "/   '%06s'     'abc'        '000abc'
     "/   '%-06s'    'abc'        'abc000'

	'%.3s'     'abcdef'     'abc'
	'%6.3s'    'abcdef'     '   abc'
	'%-6.3s'   'abcdef'     'abc   '

    ) inGroupsOf:3 do:[:fmt :val :expected|
	|printfGenerated stxGenerated|

	printfGenerated := val printfPrintString:fmt.
	stxGenerated := PrintfScanf printf:fmt argument:val.
	self assert:(stxGenerated = printfGenerated).
	self assert:(printfGenerated = expected).
    ].
!

test86_misc
    self assert:( '"hello"' withoutQuotes = 'hello' ).
    self assert:( '''hello''' withoutQuotes = 'hello' ).

    self assert:( 'hello''' withoutQuotes = 'hello''' ).
    self assert:( '''hello' withoutQuotes = '''hello' ).

    self assert:( 'hello"' withoutQuotes = 'hello"' ).
    self assert:( '"hello' withoutQuotes = '"hello' ).
    self assert:( 'hello' withoutQuotes = 'hello' ).

    self assert:( 'he' withoutQuotes = 'he' ).
    self assert:( 'h' withoutQuotes = 'h' ).
    self assert:( '' withoutQuotes = '' ).

    self assert:( '""' withoutQuotes = '' ).
    self assert:( '''''' withoutQuotes = '' ).

    "/ ------------------------------------

    "/ unquote only unquotes double quotes
    self assert:( '"hello"' unquote = 'hello' ).
    self assert:( '''hello''' unquote = '''hello''' ).

    self assert:( 'hello"' unquote = 'hello"' ).
    self assert:( '"hello' unquote = '"hello' ).
    self assert:( 'hello' unquote = 'hello' ).

    self assert:( 'he' unquote = 'he' ).
    self assert:( 'h' unquote = 'h' ).
    self assert:( '' unquote = '' ).

    self assert:( '""' unquote = '' ).
    self assert:( '''''' unquote = '''''' ).

    "/ ------------------------------------

    "/ unquote only unquotes double quotes
    self assert:( ('"hello"' unquote:$") = 'hello' ).
    self assert:( ('''hello''' unquote:$") = '''hello''' ).

    self assert:( ('"hello"' unquote:$') = '"hello"' ).
    self assert:( ('''hello''' unquote:$') = 'hello' ).
!

test87_misc
     self assert:( String readSmalltalkStringFrom:('''hello world''' readStream) onError:[nil] ) = 'hello world'.
     self assert:( String readSmalltalkStringFrom:('''hello '''' world''' readStream) onError:[nil] ) = 'hello '' world'.   
     self assert:( String readSmalltalkStringFrom:('1 ''hello'' ' readStream) onError:[nil] ) isNil.

     self assert:( String readSmalltalkStringFrom:('1 ''hello'' ' readStream) onError:['foobar'] ) = 'foobar'.   
     self assert:( String readSmalltalkStringFrom:('''hello\nworld''' readStream) onError:[nil] ) = 'hello\nworld'.       

     self assert:( String readSmalltalkStringFrom:('c''hello\nworld''' readStream) keepCRs:false onError:[nil] ) = c'hello\nworld'.   
     self assert:( String readSmalltalkStringFrom:('c''hello\tworld''' readStream) keepCRs:false onError:[nil] ) = c'hello\tworld'.   
!

test90_enumeratingLines

    |  |

    #(
	c''
	c'abc'
	c'\n'
	c'abc\n'
	c'\n\n'
	c'abc\n\n'
	c'\n\nabc'
	c'\nabc\n'
	c'abc\nabc\nabc'
	c'abc\nabc\nabc\n'
	c'abc\nabc\nabc\n\n'
	c'a\nb\nc\n\n'
	c'a\n\n\nb\nc\n\n\n\nd'
    ) do:[:eachTestString |
	|testString sColl calledWith1 calledWith2 count1 count2 countReturned|

	#( yourself asUnicode16String asUnicode32String ) do:[:conv |
	    testString := eachTestString perform:conv.

	    "/ try asStringCollection as reference
	    sColl := testString asStringCollection.
	    count1 := 0.
	    calledWith1 := OrderedCollection new.
	    sColl do:[:each |
		count1 := count1 + 1.
		calledWith1 add:each.
	    ].

	    "/ check asCollectionOfLinesDo:
	    count2 := 0.
	    calledWith2 := OrderedCollection new.
	    countReturned := testString asCollectionOfLinesDo:[:each |
		count2 := count2 + 1.
		calledWith2 add:each.
	    ].
	    self assert:(count1 == count2).
	    self assert:(count2 == countReturned).
	    self assert:(calledWith1 = calledWith2).
	].
    ].
!

test91_enumeratingWords

    |  |

    #(
	0 c''
	1 c'abc'
	0 c'\n'
	1 c'abc\n'
	0 c'\n\n'
	1 c'abc\n\n'
	1 c'\n\nabc'
	1 c'\nabc\n'
	3 c'abc\nabc\nabc'
	3 c'abc\nabc\nabc\n'
	3 c'abc\nabc\nabc\n\n'
	3 c'a\nb\nc\n\n'
	4 c'a\n\n\nb\nc\n\n\n\nd'
    ) pairWiseDo:[:expectedCount :eachTestString |
	|testString sColl calledWith1 calledWith2 count1 count2 countReturned|

	#( yourself asUnicode16String asUnicode32String ) do:[:conv |
	    testString := eachTestString perform:conv.

	    "/ try asStringCollection as reference
	    sColl := testString asCollectionOfWords.
	    count1 := 0.
	    calledWith1 := OrderedCollection new.
	    sColl do:[:each |
		count1 := count1 + 1.
		calledWith1 add:each.
	    ].

	    "/ check asCollectionOfWordsDo:
	    count2 := 0.
	    calledWith2 := OrderedCollection new.
	    countReturned := testString asCollectionOfWordsDo:[:each |
		count2 := count2 + 1.
		calledWith2 add:each.
	    ].
	    self assert:(count1 == expectedCount).
	    self assert:(count1 == count2).
	    self assert:(count2 == countReturned).
	    self assert:(calledWith1 = calledWith2).
	].
    ].
! !

!StringTests class methodsFor:'documentation'!

version
    ^ '$Header$'
!

version_CVS
    ^ '$Header$'
! !