01 /*
02 * RuleTime.java
03 *
04 * Copyright (c) 2009, Intelius, Inc.
05 *
06 * This file is part of GATE (see http://gate.ac.uk/), and is free
07 * software, licenced under the GNU Library General Public License,
08 * Version 2, June 1991 (in the distribution as file licence.html,
09 * and also available at http://gate.ac.uk/gate/licence.html).
10 *
11 * Andrew Borthwick, 7/22/2009
12 *
13 */
14 package gate.fsm;
15
16 /**
17 * @author andrew
18 *
19 */
20 public class RuleTime {
21 private long timeSpent;
22 final private String ruleName;
23 RuleTime(long my_timeSpent, String my_ruleName) {
24 timeSpent = my_timeSpent;
25 ruleName = my_ruleName;
26 }
27 public long getTimeSpent() {
28 return timeSpent;
29 }
30 public void setTimeSpent(long timeSpent) {
31 this.timeSpent = timeSpent;
32 }
33 public long addTime(long additionalTime) {
34 this.timeSpent += additionalTime;
35 return timeSpent;
36 }
37 public String getRuleName() {
38 return ruleName;
39 }
40
41 }
|