Quellcode-Bibliothek FHashtableT.vdmpp   Sprache: VDM

- " > ""}
Testc1`[,seq

\begin
classjava.lang.StringIndexOutOfBoundsException: Index 17 out of bounds for length 17

\{}
staticpublic  ( >bool
=java.lang.StringIndexOutOfBoundsException: Index 9 out of bounds for length 9
lettestcases  run >java.lang.StringIndexOutOfBoundsException: Index 30 out of bounds for length 30
in
FTestDriver`run(testcases);
\end{vdm_alletFHashtable`TestCase

\subsubsection{Test Contains,  ck1 = FHashtable`ContainsKey[seqFHashtable[  ,]()
`[ {}
  :(2 falseand
t1{Test, PutAll
bjava.lang.StringIndexOutOfBoundsException: Range [7, 6) out of bounds for length 14
java.lang.StringIndexOutOfBoundsException: Index 2 out of bounds for length 2
 :   "
 t3 )-;
 p1 `[inte{}java.lang.StringIndexOutOfBoundsException: Index 12 out of bounds for length 12
 atic ( >FTestDriver
  let   lambdax :&xmod3
 
    k_FTestDriver(
 c1("Sahara") and  { -p1aHashCode(java.lang.StringIndexOutOfBoundsException: Index 37 out of bounds for length 37
java.lang.StringIndexOutOfBoundsException: Index 46 out of bounds for length 15
 c1("Sakoh") and
() false)
 ;
\end{vdm_al}

\subsubsection{Test  {a|>,"" | )java.lang.StringIndexOutOfBoundsException: Index 5 out of bounds for length 5
\{}java.lang.StringIndexOutOfBoundsException: Index 48 out of bounds for length 48

t2
java.lang.StringIndexOutOfBoundsException: Index 3 out of bounds for length 3
 TestCase
 FHashtableT02t  Clear,FSequence[,  char()(1,] ["" " java.lang.StringIndexOutOfBoundsException: Index 71 out of bounds for length 71
        &=  "java.lang.StringIndexOutOfBoundsException: Range [65, 64) out of bounds for length 92
  `[ charint}
    (=java.lang.StringIndexOutOfBoundsException: Index 7 out of bounds for length 7
let lambda  ofchari = "else]java.lang.StringIndexOutOfBoundsException: Index 92 out of bounds for length 92
 3FHashtable[, char(java.lang.StringIndexOutOfBoundsException: Index 44 out of bounds for length 44
letedh2 Hashtable[ seq ] 1 {| )()(1(Sahara
     1= deletedh2  Removeof,nt)aHashCode"bjava.lang.StringIndexOutOfBoundsException: Index 70 out of bounds for length 70
 c1F`seq )
 in
 h3  java.lang.StringIndexOutOfBoundsException: Range [6, 5) out of bounds for length 42
FHashtable[seq charint( =FHashtable[,seq java.lang.StringIndexOutOfBoundsException: Index 43 out of bounds for length 43
 2=falseand
 c1(1) and
 c1() (1 "" java.lang.StringIndexOutOfBoundsException: Index 33 out of bounds for length 33
ck1"
 ck1)"3 java.lang.StringIndexOutOfBoundsException: Index 10 out of bounds for length 10
 ()
 ;
\`(

let = java.lang.StringIndexOutOfBoundsException: Range [27, 26) out of bounds for length 44
\{}
static`[,   1>""2 S"4"7"java.lang.StringIndexOutOfBoundsException: Index 90 out of bounds for length 90
t3java.lang.StringIndexOutOfBoundsException: Index 7 out of bounds for length 7
  ;
rTestCase
ubsubsection  }
  =  : ( >TestCase
  putjava.lang.StringIndexOutOfBoundsException: Index 15 out of bounds for length 14
- ))
  p1 ( -}(()(",
 p2)2,
 
  get =  Hashtable[int  (p1)()(2)(""),
t[, seq`intseq( - )aHashCode1

  ,
   =removeaHashCode1(1,
 ()4  Sakoh
 get(java.lang.StringIndexOutOfBoundsException: Range [0, 14) out of bounds for length 3
[so g )= [,"a
 FSequence`Fmap[ p2= (p1()()(""),
 )
;
\={Sahara

\subsubsection =FHashtablep2p=3)aHashCode1)"
\beginvdm_al
java.lang.StringIndexOutOfBoundsException: Index 3 out of bounds for length 3
()14=Sakohjava.lang.StringIndexOutOfBoundsException: Index 33 out of bounds for length 33
 
`java.lang.StringIndexOutOfBoundsException: Index 25 out of bounds for length 25
 h1F`,ocharg1 ","java.lang.StringIndexOutOfBoundsException: Index 71 out of bounds for length 71
 let aHashCode =end}
 put FHashtable`Put2=Hashtableintseq char]h1)aHashCode1(4
  ( })1java.lang.StringIndexOutOfBoundsException: Index 44 out of bounds for length 44
 KeySetValueSet
 p3=put)aHashCode)(""),
 p4 put{}
 =F`[int  charjava.lang.StringIndexOutOfBoundsException: Index 42 out of bounds for length 42
  v  `[,  java.lang.StringIndexOutOfBoundsException: Index 43 out of bounds for length 43
 in
t4removeFHashtable[,seq,
  mk_FTestDriver`TestCase
 k(p2 FHashtableT04\  KeySet ValueSet
 v(p2   x: & x 3java.lang.StringIndexOutOfBoundsException: Index 43 out of bounds for length 43
 kp4={,4java.lang.StringIndexOutOfBoundsException: Index 21 out of bounds for length 21
  t{-}(aHashCode()""java.lang.StringIndexOutOfBoundsException: Index 44 out of bounds for length 44
  put(((Bush,
end{vdm_al

\subsubsection{Test when hashCode is duplicate}
\begin{vdm_al}
static t5 : () -> FTestDriver`TestCase
t5() ==
 
s(h4 0 and
   `intseq ]
   = (  1java.lang.StringIndexOutOfBoundsException: Range [17, 18) out of bounds for length 17
  h1 = FHashtable`PutAll[int, seqvdjava.lang.StringIndexOutOfBoundsException: Index 12 out of bounds for length 12
  { -> SaharaShin  |>"", 1 - "", 2 |> ""}
 java.lang.StringIndexOutOfBoundsException: Index 5 out of bounds for length 5
  h2{}
 in
able[int seq ofchar() = {1, 2, 27}and
 `[int seq of char](h2) = {"SaharaShin, "", "NishikawaNoriko
 ;
\ndvdm_al

\{Test}
\begin{vdm_al}
statict6 ()- `TestCase
t6( =
 
 mk_FTestDriver`TestCase(
 "FHashtableT06:\t Test Size",
 let  =lambda x int & x  13
 FHashtableKeySet, seqofchar(h2={,2 27}and
  h1 = FHashtable`PutAll[int, seq of char]({ |-> })(aHashCode1)(
  { |-> "SaharaShin", ->"SatoKei",4|>"SakohHiroshi"}
   ),
  h2 remove(h1()(1)
  h3 = remove)(aHashCode1)(2,
  h4 = remove(h3)(aHashCode1)(14),
  isempty = FHashtable`IsEmpty[int, seq of char],
  \ubsubsection Size
 in
 (h4and
 size(h4) = 0 and
 isempty(h3)  = false and
 size) =1and
 size(h2) = 2 and
 size(h1) = 3)
 ;

endmk_FTestDriverTestCase(
e{vdm_al