public PTBClock() { public java.util.Date getTime() { public java.util.Date latch() { public boolean setTime(String s) {| 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 |
public PTBClock() { |
| 61 | 4 | lastTime = new java.util.Date(); |
| 62 | } | |
| 63 | ||
| 64 | 2408 |
public java.util.Date getTime() { |
| 65 | 2408 | return (lastTime == null) ? latch() : lastTime; |
| 66 | } | |
| 67 | ||
| 68 | 1440 |
public java.util.Date latch() { |
| 69 | 1440 | return lastTime; |
| 70 | } | |
| 71 | ||
| 72 | 1 |
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 | } | |
|
||||||||||
