Coverage report: /home/samppa/personal/opiskelu/ohtuprojekti/pulsu/trunk/headerfooter.lisp

KindCoveredAll%
expression2020100.0
branch48 50.0
Key
Not instrumented
Conditionalized out
Executed
Not executed
 
Both branches taken
One branch taken
Neither branch taken
1
 (in-package :puls.ui)
2
 
3
 (defhtml header ()
4
   (:div :id "header"
5
         (:div (:img :id "logo" :src "static/new-puls-logo.png" :alt "Puls logo"))
6
             (:div :id "header_links"
7
                   (header-link "Unified cases |" "/newest")
8
                   (header-link "Cases |" "/newest.cases")
9
                   (header-link "Map |" "/map")
10
                   (header-link "Help" "/help"))))
11
 
12
 (defhtml header-link (name link)
13
   (link* name link :search (get-parameter "search") :snippet (get-parameter "snippet")))
14
 
15
 (defhtml footer ()
16
   (:div :id "footer"
17
         (:p "PULS - Pattern-based Understanding and Learning System")))
18
 
19
 
20
 (defpage (header-footer-test :uri "/headerfooter") ()
21
   (:html
22
       (:head
23
        (:script :language "javascript"
24
                 :type "text/javascript"
25
                 :src "showhide.js"))
26
     (:body
27
      (header)
28
      (:h1 "Header footer testpage")
29
      (footer))))
30
 
31
 (deftest test-headerfooter ()
32
   (combine-results
33
     (test-header)
34
     (test-footer)))
35
 
36
 (deftest test-header ()
37
   (check (equal (with-output-to-string (*http-stream*)
38
                   (header))
39
                 "
40
 <div id=\"header\">
41
   <p>
42
     <img id=\"logo\" src=\"static/new-puls-logo.png\" alt=\"Puls logo\" />
43
   </p>
44
 </div>")))
45
 
46
 (deftest test-footer ()
47
   (check (equal (with-output-to-string (*http-stream*)
48
                   (footer))
49
                 "
50
 <div id=\"footer\">
51
   <p>
52
     PULS - Pattern-based Understanding and Learning System
53
   </p>
54
 </div>")))