Quellcode-Bibliothek FHashtableT.vdmpp   Sprache: VDM

java.lang.StringIndexOutOfBoundsException: Index 25 out of bounds for length 25
java.lang.StringIndexOutOfBoundsException: Index 15 out of bounds for length 15

\begin{vdm_al}
class FHashtableT

functions
static public run : () +> bool
run) == 
let testcases =[t1,t2, t3() t4,t5(,t6
in
\{vdm_al
\endvdm_al

ction
\beginvdm_al
static  run:()+> bool
t1 = 
java.lang.StringIndexOutOfBoundsException: Range [9, 1) out of bounds for length 1

"java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
}statict12=a
  =java.lang.StringIndexOutOfBoundsException: Index 17 out of bounds for length 0
 vdm}
  )
 ck1"" and
 in
 c1("Sahara") and
 c1("Sato") and
 c1 (c)
  java.lang.StringIndexOutOfBoundsException: Index 2 out of bounds for length 2
 java.lang.StringIndexOutOfBoundsException: Index 2 out of bounds for length 2
end}

\subsubsection
\java.lang.StringIndexOutOfBoundsException: Range [15, 14) out of bounds for length 25
 )-`TestCase
  aHashCode=x x 1java.lang.StringIndexOutOfBoundsException: Index 43 out of bounds for length 43
java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 1
mjava.lang.StringIndexOutOfBoundsException: Range [16, 15) out of bounds for length 25
   1|t)aHashCode2"")
aHashCode=lambda    ofchar ifxjava.lang.StringIndexOutOfBoundsException: Range [46, 15) out of bounds for length 15
   =putp3()(14)( c1") =java.lang.StringIndexOutOfBoundsException: Index 16 out of bounds for length 16
   "" ->1 b-  ,
   ),
  h3 = FHashtable`Clear[int, seq of char](),
  deletedh2 = FHashtable`Removeg={}
   `[,c()
  ck1= `ContainsKey[seq ofchargetaHashCode(  "`TestCase
in
 h3 = {|->} and
 FHashtable`Get[seq of char, int](deletedh2)(aHashCode)("b") = nil and
 c1(2) = false and
 c1(1) and
 c1(3) and
 ck1()``(
 ":\tTestClear, Remove FSequenceFmap ofg11]) "Sahara""]and
java.lang.StringIndexOutOfBoundsException: Range [3, 2) out of bounds for length 10
 ;
\

subsubsectionTest java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
begin
static t3)=
    - `
) = x:seq char&ifx=" hen "elseTakechar((,
 mk_FTestDriver(
 {a| 1 " |> ,c > 3}
 let aHashCode h3 FHashtable`Clear of(,
 putFHashtable`Put  )java.lang.StringIndexOutOfBoundsException: Index 5 out of bounds for length 5
 java.lang.StringIndexOutOfBoundsException: Range [11, 8) out of bounds for length 44
  p2  c1    FHashtableofi]()""
   ()aHashCodejava.lang.StringIndexOutOfBoundsException: Range [35, 34) out of bounds for length 37
 FHashtableContains[ charint()
  =FHashtableKeySetint of],
  g = FHashtable`Get[int `Get of, ](  FHashtable[intint  char
java.lang.StringIndexOutOfBoundsException: Index 22 out of bounds for length 3
aHashCode Sahara
(c1 false
  (p4 12 and ck1("b" java.lang.StringIndexOutOfBoundsException: Range [22, 21) out of bounds for length 22
 get(beginck1b" = false java.lang.StringIndexOutOfBoundsException: Index 22 out of bounds for length 22
 FSequence`   `PutAll,beginvdm_al
 FSequenceFmapint seq ck1 | "aharaShin, >" 14|->"" 2|- "java.lang.StringIndexOutOfBoundsException: Index 90 out of bounds for length 90
)
 ;
\end{vdm_al t3()=

\
mk_FTestDrive`TestCase(
static\{ PutGet}
t4 letaHashCode= lambdat6: ()-> TestCase
 
 mk_FTestDriver
 "FHashtableT04:\t Test KeySett6( ==
aHashCode=lambda   & x mod1,
statict3 |-> aHashCode)1)",
  p1 =put| )aHashCode((Sahara,l put)(2(Sato"java.lang.StringIndexOutOfBoundsException: Index 37 out of bounds for length 37
  p2=java.lang.StringIndexOutOfBoundsException: Range [10, 8) out of bounds for length 37
  p3h1 FHashtableutAll,seqofchar{|->)()(
  put= FHashtable
  )java.lang.StringIndexOutOfBoundsException: Index 5 out of bounds for length 5
 etaHashCode1) "" and
 in
 k  p1=put({ |-> })(aHashCode   = removeh3)aHashCode1)1FSequenceint,seqf])[,4 = [Sahara" Sakoh"]java.lang.StringIndexOutOfBoundsException: Index 71 out of bounds for length 71
v(p1) {"
 k(java.lang.StringIndexOutOfBoundsException: Index 5 out of bounds for length 0
 v() =  = put()()14")java.lang.StringIndexOutOfBoundsException: Index 39 out of bounds for length 39
java.lang.StringIndexOutOfBoundsException: Index 3 out of bounds for length 3
 v(p4)  {"Sahara, "Sato" Sakoh"})
 ;
\end{dm_al}

\get(aHashCode(1) "Sakoh" and
\begin{vdm_al sizeh4   and
static t5  isemptyh3)  =false andand
t5) 
 
 mk_FTestDriver`TestCase(
 "FHashtableT05\t Test hashCodeis duplicate",
 let aHashCode1 = lambda x : int & x mod 13,
 h1  Sequencemapint seqofchar((, 1]= ""]java.lang.StringIndexOutOfBoundsException: Index 71 out of bounds for length 71
    {1 |-> "SaharaShin", 2 |-> "SatoKei", 14 |-> "SakohHiroshi", 27 |-> "NishikawaNoriko"}
   )java.lang.StringIndexOutOfBoundsException: Index 5 out of bounds for length 5
 h  Hashtable`Remove,  ofchar])(aHashCode1)(14
 in
 FHashtable`KeySet[int, seq   p1=put{ |-> })(aHashCode()("Sahara"),
 FHashtable`ValueSet[int, seq of char](h2) 
 ;
\end{vdm_al

\\{Test, }
\begin{vdm_al  p3 = put(p2()(2)(Sato),
static  =put\beginvdm_al
t6 k HashtableKeySet, seqof,
 
 mk_FTestDriverTestCase(
 "FHashtableT06:\t Test =FHashtableValueSetint seqof char]
 let aHashCode1 = lambda x : int & x mod 13,
  =FHashtable`int  ofchar]java.lang.StringIndexOutOfBoundsException: Index 47 out of bounds for length 47
  letaHashCode=  : int&x mod 1,
  { |- () {2,4and
   ),
  h2 = remove(h1)(aHashCode1)(1),
  h3 )= t - (aHashCode)()(Sahara,
  h4 = remove(h3)(aHashCode1)(14),
  isempty = FHashtable`IsEmpty[int, seq of char],
 p2= put(p1)()2("")
 endvdm_al
  java.lang.StringIndexOutOfBoundsException: Range [1, 0) out of bounds for length 0
 size) =0 and
 isempty k=FHashtableKeySetint,eqofc],
size3 = 1and
  in
 sizekp1 = {1} nd
 ;

end FHashtableT
dvdm_al