Impressum FHashtableT.vdmpp   Sprache: VDM

java.lang.StringIndexOutOfBoundsException: Range [15, 2) out of bounds for length 25
Test FHashtable(let   (), (), t3,() t5) () ]

\beginvdm_al}
classend{vdm_al}

\subsubsejava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
static: +bool
run() == java.lang.StringIndexOutOfBoundsException: Index 5 out of bounds for length 5
testcases  mk_FTestDriver`(
in:java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
java.lang.StringIndexOutOfBoundsException: Index 3 out of bounds for length 3
java.lang.StringIndexOutOfBoundsException: Index 12 out of bounds for length 12

ubsubsection ContainsPutAll
begin_ljava.lang.StringIndexOutOfBoundsException: Index 14 out of bounds for length 14
static("
;
 
 mk_FTestDriver`TestCase{ PutGetvdm_alFHashtableT01TContainsjava.lang.StringIndexOutOfBoundsException: Index 42 out of bounds for length 42
:  t  
let  x  & mod
 1 
 {t((Bush  l  :seq & java.lang.StringIndexOutOfBoundsException: Range [46, 15) out of bounds for length 15
  java.lang.StringIndexOutOfBoundsException: Index 5 out of bounds for length 5
FHashtableof])
 in
 c1 =FHashtable[seq g()1""
 java.lang.StringIndexOutOfBoundsException: Index 3 out of bounds for length 3
 into][,) SaharaSakohand
java.lang.StringIndexOutOfBoundsException: Range [3, 2) out of bounds for length 10
 ;
\end{ ;

\{Test
beginvdm_al
 t2) > =`seq,int\vdm_al
t2 =
 
 static:( >FTestDriver
 
aHashCode  :of   =" FSequence[1x,
  h2 = FHashtable`TestCase
  {""-,b"- 2"|>java.lang.StringIndexOutOfBoundsException: Index 37 out of bounds for length 37
 ,
  h3  F`[intseq char  =put>)(aHashCode1Sahara
 deletedh2=[ ,int]))"java.lang.StringIndexOutOfBoundsException: Index 70 out of bounds for length 70
 =Containsofint()
 kFHashtable[ charjava.lang.StringIndexOutOfBoundsException: Index 42 out of bounds for length 42
 in

[ java.lang.StringIndexOutOfBoundsException: Index 22 out of bounds for length 3
c1)false
 ()= 24andck1)=falseand
c1 java.lang.StringIndexOutOfBoundsException: Index 10 out of bounds for length 10
 (b  java.lang.StringIndexOutOfBoundsException: Index 22 out of bounds for length 22
|"|14- SakohHiroshi7-"java.lang.StringIndexOutOfBoundsException: Index 90 out of bounds for length 90
t3java.lang.StringIndexOutOfBoundsException: Index 7 out of bounds for length 7
 ;
\r`TestCase

\Test,java.lang.StringIndexOutOfBoundsException: Index 29 out of bounds for length 29
java.lang.StringIndexOutOfBoundsException: Index 15 out of bounds for length 14
   -}))")
t3  p3put)2")
 
 gete `[ put)aHashCodeBush
 "FHashtableT03:\t [int, seq of char](p4)(aHashCode)
 let  FHashtable[   ]] >}((
   java.lang.StringIndexOutOfBoundsException: Index 10 out of bounds for length 3
  {>aHashCoderemove1Fmap (11][Saharaand
  =put)aHashCode2Bush
  p3 = put( java.lang.StringIndexOutOfBoundsException: Index 2 out of bounds for length 2
 4 putp3aHashCode4Sakoh
 getbegin{}
  in
 in
 getv="Sato,")
 ;v}
aHashCode)=java.lang.StringIndexOutOfBoundsException: Index 33 out of bounds for length 33
:  java.lang.StringIndexOutOfBoundsException: Index 47 out of bounds for length 47
`seq(1 "]java.lang.StringIndexOutOfBoundsException: Index 71 out of bounds for length 71
,
   =FHashtable =[ofaHashCode1java.lang.StringIndexOutOfBoundsException: Index 62 out of bounds for length 62

\end{vdm_al}

subsubsection,java.lang.StringIndexOutOfBoundsException: Index 37 out of bounds for length 37
}kint ]
static t4`java.lang.StringIndexOutOfBoundsException: Index 25 out of bounds for length 25
(  Remove  ,
 
 mk_FTestDriver(
":\tTest , ValueSet",
llambda:int  3
   1- ,,4java.lang.StringIndexOutOfBoundsException: Index 21 out of bounds for length 21
(|>}aHashCode)"Sahara)java.lang.StringIndexOutOfBoundsException: Index 44 out of bounds for length 44
   (p1aHashCode)""
\end}
 java.lang.StringIndexOutOfBoundsException: Range [1, 0) out of bounds for length 0
=[  har
v ()   and
 in
 (){}java.lang.StringIndexOutOfBoundsException: Index 16 out of bounds for length 16
 v({}
 k(p2) = {1, 2} and
 v(p2) = {"Sahara", "Bush"} and
 k(p4) =  1 |> "",2|- SatoKei4|>SakohHiroshi 7|->NishikawaNoriko
 v(p4) = {" ),
 ;
\end{vdm_al}

\subsubsection{Test when hashCode is duplicate}
\beginvdm_al
static FHasht`KeySet,seq ]h21 
t5() ==
 
 mk_FTestDriver`TestCaseFHashtableValueSet,""  SatoKei""})
 "FHashtableT05:\t Test hashCode is duplicate",
\nd{}
 
subsubsection Sizebeginvdm_al
   :( >FTestDriverTestCase
  h2)=java.lang.StringIndexOutOfBoundsException: Index 7 out of bounds for length 7
aHashCode1 lambda :int & xmod,
`[intseq of ]()  1 ,27 java.lang.StringIndexOutOfBoundsException: Index 57 out of bounds for length 57
 FHashtable`ValueSet[int,   1|-> ",2|- "SatoKei 1 - SakohHiroshi
 ; =remove()aHashCode11,
\end h3 (h2aHashCode1(2)java.lang.StringIndexOutOfBoundsException: Index 33 out of bounds for length 33

\{Test}
\begin
isempty) java.lang.StringIndexOutOfBoundsException: Range [16, 17) out of bounds for length 16
t6() (h3   java.lang.StringIndexOutOfBoundsException: Index 17 out of bounds for length 17
 
 `TestCasejava.lang.StringIndexOutOfBoundsException: Index 25 out of bounds for length 25
 "FHashtableT06:\t Test Size",
 let aHashCode1 = lambda x : int & x mod 1\nd}
  remove = FHashtable`Remove[int, seq of char],
  h1 = FHashtable`PutAll[int, seq of char]({ |-> })(aHashCode1)(
    {1 |-> "SaharaShin", 2 |-> "SatoKei", 14 |-> "SakohHiroshi"}
   ),
  h2 = remove(h1)(aHashCode1)(1),
  h3 = remove(h2)(aHashCode1)(2),
  h4 = remove(h3)(aHashCode1)(14),
  isempty = FHashtable`IsEmpty[int, seq of char],
  size = FHashtable`Size[int, seq of char]
 in
 isempty(h4) and
 size(h4) = 0 and
 isempty(h3)  = false and
 size(h3) = 1 and
 size(h2) = 2 and
 size(h1) = 3)
 ;

end FHashtableT
\end{vdm_al}