Clover Coverage Report
Coverage timestamp: Sun Mar 23 2008 08:24:39 GMT
10   84   2   2.5
2   25   0.5   4
4     1.25  
1    
 
 
  PTBClock       Line # 57 10 2 81.2% 0.8125
 
No Tests
 
1    /*
2    * Copyright (c) 2006, University of Kent
3    * All rights reserved.
4    *
5    * Redistribution and use in source and binary forms, with or without
6    * modification, are permitted provided that the following conditions are met:
7    *
8    * Redistributions of source code must retain the above copyright notice, this
9    * list of conditions and the following disclaimer.
10    *
11    * Redistributions in binary form must reproduce the above copyright notice,
12    * this list of conditions and the following disclaimer in the documentation
13    * and/or other materials provided with the distribution.
14    *
15    * 1. Neither the name of the University of Kent nor the names of its
16    * contributors may be used to endorse or promote products derived from this
17    * software without specific prior written permission.
18    *
19    * 2. THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS
20    * IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO,
21    * THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
22    * PURPOSE ARE DISCLAIMED.
23    *
24    * 3. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
25    * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
26    * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
27    * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
28    * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
29    * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
30    * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
31    * POSSIBILITY OF SUCH DAMAGE.
32    *
33    * 4. YOU AGREE THAT THE EXCLUSIONS IN PARAGRAPHS 2 AND 3 ABOVE ARE REASONABLE
34    * IN THE CIRCUMSTANCES. IN PARTICULAR, YOU ACKNOWLEDGE (1) THAT THIS
35    * SOFTWARE HAS BEEN MADE AVAILABLE TO YOU FREE OF CHARGE, (2) THAT THIS
36    * SOFTWARE IS NOT "PRODUCT" QUALITY, BUT HAS BEEN PRODUCED BY A RESEARCH
37    * GROUP WHO DESIRE TO MAKE THIS SOFTWARE FREELY AVAILABLE TO PEOPLE WHO WISH
38    * TO USE IT, AND (3) THAT BECAUSE THIS SOFTWARE IS NOT OF "PRODUCT" QUALITY
39    * IT IS INEVITABLE THAT THERE WILL BE BUGS AND ERRORS, AND POSSIBLY MORE
40    * SERIOUS FAULTS, IN THIS SOFTWARE.
41    *
42    * 5. This license is governed, except to the extent that local laws
43    * necessarily apply, by the laws of England and Wales.
44    */
45    package issrg.test.ptb;
46   
47    import issrg.pba.rbac.Clock;
48   
49    import java.text.ParseException;
50   
51    /**
52    * This class is the adapted implementation of the Clock interface for the Permis Test Bench. It
53    * has a method to specify a particular date to be returned. In this way, we are able to
54    * change the date used to perform the decisions.
55    */
56   
 
57    public class PTBClock extends Clock {
58    private java.util.Date lastTime = null;
59   
 
60  4 toggle public PTBClock() {
61  4 lastTime = new java.util.Date();
62    }
63   
 
64  2408 toggle public java.util.Date getTime() {
65  2408 return (lastTime == null) ? latch() : lastTime;
66    }
67   
 
68  1440 toggle public java.util.Date latch() {
69  1440 return lastTime;
70    }
71   
 
72  1 toggle public boolean setTime(String s) {
73  1 try {
74  1 java.util.Date date1;
75  1 date1 = new java.text.SimpleDateFormat("yyyy-MM-dd HH:mm:ss").parse(s);
76  1 lastTime = date1;
77  1 return true;
78    } catch (ParseException e) {
79  0 e.printStackTrace();
80  0 return false;
81    }
82    }
83   
84    }