Mercurial > hg > Members > kono > jpf-core

comparison src/main/gov/nasa/jpf/util/RunRegistry.java @ 0:61d41facf527

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
initial v8 import (history reset)
author Peter Mehlitz <Peter.C.Mehlitz@nasa.gov>
date Fri, 23 Jan 2015 10:14:01 -0800
parents
children
comparison
equal deleted inserted replaced
-1:000000000000 0:61d41facf527
1 /*
2 * Copyright (C) 2014, United States Government, as represented by the
3 * Administrator of the National Aeronautics and Space Administration.
4 * All rights reserved.
5 *
6 * The Java Pathfinder core (jpf-core) platform is licensed under the
7 * Apache License, Version 2.0 (the "License"); you may not use this file except
8 * in compliance with the License. You may obtain a copy of the License at
9 *
10 * http://www.apache.org/licenses/LICENSE-2.0.
11 *
12 * Unless required by applicable law or agreed to in writing, software
13 * distributed under the License is distributed on an "AS IS" BASIS,
14 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
15 * See the License for the specific language governing permissions and
16 * limitations under the License.
17 */
18 package gov.nasa.jpf.util;
19
20 import java.util.ArrayList;
21
22 /**
23 * little helper to enable resetting classes and objects between JPF runs,
24 * mostly to avoid memory leaks
25 *
26 * reset() has to be called at the beginning of a new run, causing all
27 * still registered listeners to be notified. Listeners have to implement
28 * their own logic to check for re-initialization, but can use the
29 * 'run' timestamp to do so
30 */
31 public class RunRegistry {
32 static RunRegistry singleton = new RunRegistry();
33
34 ArrayList<RunListener> listeners = new ArrayList<RunListener>();
35 long run;
36
37 public static RunRegistry getDefaultRegistry() {
38 return singleton;
39 }
40
41 public void addListener (RunListener r) {
42 if (!listeners.contains(r)){
43 listeners.add(r);
44 }
45 }
46
47 public boolean isRegistered (RunListener r){
48 return listeners.contains(r);
49 }
50
51 public void reset() {
52 run = System.currentTimeMillis();
53
54 for (RunListener r : listeners){
55 r.reset(this);
56 }
57
58 listeners.clear();
59 }
60
61 public long getRun() {
62 return run;
63 }
64 }