Quelle  FHashtableT.vdmpp   Sprache: VDM

\subsection{FHashtableT} 
Test FHashtable

\begin{vdm_al}
class FHashtableT

functions
static public run : () +> bool
run() == 
let testcases = [ t1(), t2(), t3(), t4(), t5(), t6\subsection{FHashtableT} 
in
FTestDriver`run(testcases);
\end{vdm_al}

\subsubsection{Test Contains, PutAll}
\begin{vdm_al}
static t1 : () -> FTestDriver`TestCase
t1() ==
 
 mk_FTestDriver`TestCase(
 "FHashtableT01:\t Test Contains, PutAll",
 let aHashCode = lambda x : int & x mod 13,
  p1 = FHashtable`PutAll[int, seq of char]({ |-> })(aHashCode)(
    {1 |-> "Sahara", 2 |-> "Sato"Sato, 14|->Sakoh
   ),
  c1 = FHashtableContainsint, seq of char](p1)
 in FHashtableT
 c1("Sahara") and
 c1("Sato") and
 c1("Sakoh") and
 c1("") = false)
 ;
\end{vdm_al}

\subsubsection{TestTest FHashtable
\begin{vdm_al}
static t2 : () -> FTestDriver`TestCase
t2() ==
 
 mk_FTestDriver`TestCase(
 java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
()=
  h2 = FHashtable`PutAll[seq of char, int]({ |-> })(aHashCode)(
    {let testcases = [ staticpublic  ()  bool
   ),
  h3 = FHashtable`Clear[int, seq of char]java.lang.StringIndexOutOfBoundsException: Index 2 out of bounds for length 2
  deletedh2=FHashtable mk_FTestDriver`TestCase
 FHashtableT01\java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
  ck1 = `ContainsKey[seqofchar int(deletedh2)
 in
 h3 = {|->} and
 FHashtableGetseq of\endvdm_al}
 c1)  and
 p1 FHashtableubsubsection Contains }
{_l
 ,
 (a)java.lang.StringIndexOutOfBoundsException: Index 13 out of bounds for length 13
ck1")
java.lang.StringIndexOutOfBoundsException: Index 2 out of bounds for length 2
\end{vdm_al}

\subsubsectionTest, }
\begin{vdm_al ":\test, PutAll,
statict3 :( -;
t3 p1 = FHashtablePutAllint\ndvdm_al
 
mk_FTestDriver`TestCase(
 "FHashtableT03:\t Test Put, Get "FHashtableT01\t Test  t2:()-FTestDriver
letlambda xx int&mod3
  put p = 
 p1= `TestCasejava.lang.StringIndexOutOfBoundsException: Index 25 out of bounds for length 25
p1)2)Bush)
  let  x :seq of &java.lang.StringIndexOutOfBoundsException: Index 46 out of bounds for length 15
 p4 put()aHashCode(
{a| ,b"- java.lang.StringIndexOutOfBoundsException: Index 5 out of bounds for length 5
   beginvdm_al}
   c1=Containsint seq of har1java.lang.StringIndexOutOfBoundsException: Index 48 out of bounds for length 48
 etaHashCode)= SaharaTestCase
 t2() ==
 java.lang.StringIndexOutOfBoundsException: Index 3 out of bounds for length 3
 getaHashCode mk_FTestDriver`java.lang.StringIndexOutOfBoundsException: Index 25 out of bounds for length 25
` seqc]g(14=,]
 FSequence`Fmap[int, c11("c"))
 )
 ;
\end{vdm_alletaHashCode = lambda x :seqof char& if x = ""then" else FSequence`Take[char](1)(x),

\begin{vdm_al}
\statict2 : () -> h2 FHashtablePutAll of int]({java.lang.StringIndexOutOfBoundsException: Index 14 out of bounds for length 14
statict4: )  FTestDriverTestCase
  ) aHashCode= x:    "then "else`[]))java.lang.StringIndexOutOfBoundsException: Index 92 out of bounds for length 92
 
 mk_FTestDriver " - b|> 2 "c ||->3
  3  ``Clearintseq ](),
 let aHashCode = lambda x : int &   = FHashtable`[ ,
 put= FHashtable`Putint, seq of charp =( |>})(aHashCode))""),
p = deletedh2=`seq char nt]h2()("",
  p2 = put(p1 p3 =putp2(aHashCode)(2)("Sato"),
  p3 = put(p2)(aHashCode)(2)("Sato"),
  p4 = put(p3)(aHashCode)(14)("Sakoh"   Hashtable`Contains of,int]eletedh2)
  =`KeySet[,seq char,java.lang.StringIndexOutOfBoundsException: Index 42 out of bounds for length 42
 v= FHashtable`ValueSet[int`ValueSetint ofchar]
 in
  FHashtable`Getseqof
 v(p1) = {"Sahara"} c1()  false and
 kp2get)()="Sahara and
 get (2) =  and
 kp4 ={,1}java.lang.StringIndexOutOfBoundsException: Index 21 out of bounds for length 21
 v(p4 = { () and
 ;
\end{vdm_al}

\subsubsection{Test when hashCode is duplicate}
\begin\ck1"b)false and
staticck1"c")
t5
 
mk_FTestDriverTestCase
 
 let aHashCode1= lambdax : int & x mod 13,
  h1=FHashtablePutAll[int{java.lang.StringIndexOutOfBoundsException: Index 14 out of bounds for length 14
{1-"aharaShin 2 -"SatoKei,4->, |>"NishikawaNoriko}
   ),
  h2 = FHashtable`Remove[int, seq of char](h1)(aHashCode1)(14)
 in
 FHashtable`KeySet[int, seq  )
 t3 ==
 ;
\end{vdm_al}

\subsubsection{Test Size}
\java.lang.StringIndexOutOfBoundsException: Range [0, 6) out of bounds for length 2
statict6  - FTestDriver`java.lang.StringIndexOutOfBoundsException: Index 38 out of bounds for length 38
)
 let    x:int& xx  13
static :  |-> }(aHashCode((Sahara
  p1 {> ))1)")
 p3=(p2)aHashCode)"""java.lang.StringIndexOutOfBoundsException: Index 37 out of bounds for length 37
 remove=FHashtableRemove[int p2=java.lang.StringIndexOutOfBoundsException: Range [10, 8) out of bounds for length 37
  =FHashtable`utAll)(
    {1 putFHashtable
   ,
 h2= (h1)(aHashCode1)(1,
g((= "java.lang.StringIndexOutOfBoundsException: Index 33 out of bounds for length 33
h4= ((h3(aHashCode1)() ` eqfchar(,4 "Sahara"Sakoh]java.lang.StringIndexOutOfBoundsException: Index 71 out of bounds for length 71
  \(p1  {"Sahara"}and
  size=()  ()(,  begin}
java.lang.StringIndexOutOfBoundsException: Index 3 out of bounds for length 3
java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
()=0
()  and
 size(java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 1
 size(h2h1 `[  char])[ 4)[Sahara Sakoh and
 size(h1) = 3)
 ;

end FHashtableT
\{vdm_al}