← Back to branch summary

~ubuntu-branches/ubuntu/wily/afnix/wily

« back to all changes in this revision

Viewing changes to tst/ref/AXI0069.als

  • Committer: Bazaar Package Importer
  • Author(s): Anibal Monsalve Salazar
  • Date: 2011-03-16 21:31:18 UTC
  • mfrom: (1.1.2 upstream)
  • Revision ID: james.westby@ubuntu.com-20110316213118-gk4k3ez3e5d2huna
Tags: 2.0.0-1
* QA upload.
* New upstream release
* Debian source format is 3.0 (quilt)
* Fix debhelper-but-no-misc-depends
* Fix ancient-standards-version
* Fix package-contains-linda-override
* debhelper compatibility is 7
* Fix dh-clean-k-is-deprecated

Show diffs side-by-side

added added

removed removed

Lines of Context:
tst/ref/AXI0069.als
 
1
# ---------------------------------------------------------------------------
 
2
# - AXI0069.als                                                              -
 
3
# - afnix engine test module                                                -
 
4
# ---------------------------------------------------------------------------
 
5
# - This program is free software;  you can redistribute it  and/or  modify -
 
6
# - it provided that this copyright notice is kept intact.                  -
 
7
# -                                                                         -
 
8
# - This program  is  distributed in  the hope  that it will be useful, but -
 
9
# - without  any  warranty;  without  even   the   implied    warranty   of -
 
10
# - merchantability or fitness for a particular purpose.  In no event shall -
 
11
# - the copyright holder be liable for any  direct, indirect, incidental or -
 
12
# - special damages arising in any way out of the use of this software.     -
 
13
# ---------------------------------------------------------------------------
 
14
# - copyright (c) 1999-2011 amaury darsch                                   -
 
15
# ---------------------------------------------------------------------------
 
16
 
 
17
# @info   string vector test module
 
18
# @author amaury darsch
 
19
 
 
20
# create a default string vector
 
21
trans sv (Strvec)
 
22
 
 
23
assert true     (strvec-p  sv)
 
24
assert "Strvec" (sv:repr)
 
25
assert 0        (sv:length)
 
26
 
 
27
# add and test
 
28
sv:add "hello"
 
29
sv:add "world"
 
30
assert 2 (sv:length)
 
31
 
 
32
# check content
 
33
assert "hello" (sv:get 0)
 
34
assert "world" (sv:get 1)
 
35
assert 0       (sv:find "hello")
 
36
assert -1      (sv:find "terre")
 
37
assert 1       (sv:lookup "world")
 
38
 
 
39
# check concat
 
40
assert "helloworld"  (sv:concat)
 
41
assert "hello world" (sv:concat ' ')
 
42
 
 
43
# check length
 
44
assert 5 (sv:min-length)
 
45
assert 5 (sv:max-length)
 
46
 
 
47
# add pop and check
 
48
sv:add "terra firma"
 
49
assert 11 (sv:max-length)
 
50
assert "terra firma" (sv:pop-last)
 
51
assert "hello" (sv:pop)
 
52
assert "world" (sv:pop)
 
53
assert 0 (sv:length)