Mercurial > hg > Members > kono > jpf-core

annotate src/main/gov/nasa/jpf/util/event/ControlEvent.java @ 21:caa0924e093d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
reshuffled Event hierarchy, introducing SystemEvent, with CheckEvent and ControlEvent being subclasses of SystemEvent added Loggable.setLogLevel changed old UserHeuristic to use a Verify.heuristicValue instead of a hardwired "Main" class with hardwired fields (which was just an outdated leftover). Call Verify.setHeuristicValue() to control state priorities from the SUT. This also fixes the bug that UserHeuristic was not properly checking for "Main" resolution.
author Peter Mehlitz <pcmehlitz@gmail.com>
date Fri, 10 Apr 2015 20:53:11 -0700
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
21
caa0924e093d reshuffled Event hierarchy, introducing SystemEvent, with CheckEvent and
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
1 /*
caa0924e093d reshuffled Event hierarchy, introducing SystemEvent, with CheckEvent and
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
2 * Copyright (C) 2015, United States Government, as represented by the
caa0924e093d reshuffled Event hierarchy, introducing SystemEvent, with CheckEvent and
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
3 * Administrator of the National Aeronautics and Space Administration.
caa0924e093d reshuffled Event hierarchy, introducing SystemEvent, with CheckEvent and
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
4 * All rights reserved.
caa0924e093d reshuffled Event hierarchy, introducing SystemEvent, with CheckEvent and
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
5 *
caa0924e093d reshuffled Event hierarchy, introducing SystemEvent, with CheckEvent and
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
6 * The Java Pathfinder core (jpf-core) platform is licensed under the
caa0924e093d reshuffled Event hierarchy, introducing SystemEvent, with CheckEvent and
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
7 * Apache License, Version 2.0 (the "License"); you may not use this file except
caa0924e093d reshuffled Event hierarchy, introducing SystemEvent, with CheckEvent and
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
8 * in compliance with the License. You may obtain a copy of the License at
caa0924e093d reshuffled Event hierarchy, introducing SystemEvent, with CheckEvent and
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
9 *
caa0924e093d reshuffled Event hierarchy, introducing SystemEvent, with CheckEvent and
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
10 * http://www.apache.org/licenses/LICENSE-2.0.
caa0924e093d reshuffled Event hierarchy, introducing SystemEvent, with CheckEvent and
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
11 *
caa0924e093d reshuffled Event hierarchy, introducing SystemEvent, with CheckEvent and
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
12 * Unless required by applicable law or agreed to in writing, software
caa0924e093d reshuffled Event hierarchy, introducing SystemEvent, with CheckEvent and
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
13 * distributed under the License is distributed on an "AS IS" BASIS,
caa0924e093d reshuffled Event hierarchy, introducing SystemEvent, with CheckEvent and
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
14 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
caa0924e093d reshuffled Event hierarchy, introducing SystemEvent, with CheckEvent and
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
15 * See the License for the specific language governing permissions and
caa0924e093d reshuffled Event hierarchy, introducing SystemEvent, with CheckEvent and
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
16 * limitations under the License.
caa0924e093d reshuffled Event hierarchy, introducing SystemEvent, with CheckEvent and
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
17 */
caa0924e093d reshuffled Event hierarchy, introducing SystemEvent, with CheckEvent and
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
18 package gov.nasa.jpf.util.event;
caa0924e093d reshuffled Event hierarchy, introducing SystemEvent, with CheckEvent and
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
19
caa0924e093d reshuffled Event hierarchy, introducing SystemEvent, with CheckEvent and
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
20 import gov.nasa.jpf.vm.MJIEnv;
caa0924e093d reshuffled Event hierarchy, introducing SystemEvent, with CheckEvent and
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
21
caa0924e093d reshuffled Event hierarchy, introducing SystemEvent, with CheckEvent and
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
22 /**
caa0924e093d reshuffled Event hierarchy, introducing SystemEvent, with CheckEvent and
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
23 * pseudo event that is used to control the system under test execution
caa0924e093d reshuffled Event hierarchy, introducing SystemEvent, with CheckEvent and
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
24 */
caa0924e093d reshuffled Event hierarchy, introducing SystemEvent, with CheckEvent and
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
25 public abstract class ControlEvent extends SystemEvent {
caa0924e093d reshuffled Event hierarchy, introducing SystemEvent, with CheckEvent and
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
26
caa0924e093d reshuffled Event hierarchy, introducing SystemEvent, with CheckEvent and
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
27 protected ControlEvent (String name, Object... arguments){
caa0924e093d reshuffled Event hierarchy, introducing SystemEvent, with CheckEvent and
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
28 super(name, arguments);
caa0924e093d reshuffled Event hierarchy, introducing SystemEvent, with CheckEvent and
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
29 }
caa0924e093d reshuffled Event hierarchy, introducing SystemEvent, with CheckEvent and
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
30
caa0924e093d reshuffled Event hierarchy, introducing SystemEvent, with CheckEvent and
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
31 }