File: succ_case.rb

package info (click to toggle)
ruby-facets 2.9.2-1
  • links: PTS, VCS
  • area: main
  • in suites: wheezy
  • size: 9,824 kB
  • sloc: ruby: 25,483; xml: 90; makefile: 20
file content (39 lines) | stat: -rw-r--r-- 806 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
Covers 'facets/succ.rb'

TestCase String do

  unit :succ do
    "a".succ    .assert == "b"
    "a".succ(1) .assert == "b"
    "a".succ(2) .assert == "c"
    "a".succ(3) .assert == "d"
  end

end

# TODO: We are testing Numeric via Fixnum. Not sure why we need to do this
# but it doesn't work otherwise. Eventually we need to figure ouy why, but
# it's okay for now.

TestCase Fixnum do

  unit :pred do
     4.pred     .assert ==  3 
    -2.pred     .assert == -3 
     4.pred(2)  .assert ==  2
    -2.pred(2)  .assert == -4
     4.pred(-2) .assert ==  6
    -2.pred(-2) .assert ==  0
  end

  unit :succ do
     4.succ     .assert ==  5  
    -2.succ     .assert == -1 
     4.succ(2)  .assert ==  6
    -2.succ(2)  .assert ==  0
     4.succ(-2) .assert ==  2 
    -2.succ(-2) .assert == -4
  end

end