|
\begin{vdm_al}
class AlphabetTest
is subclass of TestCase
values
str : seq of char = "ABCD"
operations
public AlphabetTest: seq of char ==> AlphabetTest
AlphabetTest(nm) == name := nm;
protected SetUp: () ==> ()
SetUp () == skip;
protected RunTest: () ==> ()
RunTest () ==
( dcl tc : Alphabet := new Alphabet(str);
for all i in set inds str do
( AssertTrue(tc.GetChar(i) = str(i));
AssertTrue(tc.GetIndex(str(i)) = i);
AssertTrue(tc.Shift(1,i) = tc.Shift(i)) );
AssertTrue(tc.GetSize() = 4);
AssertTrue(tc.GetIndices() = {1,...,4}) );
protected TearDown: () ==> ()
TearDown () == skip;
end AlphabetTest
\end{vdm_al}
¤ Dauer der Verarbeitung: 0.0 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|
