01: //
02: //Copyright (C) 2005 United States Government as represented by the
03: //Administrator of the National Aeronautics and Space Administration
04: //(NASA). All Rights Reserved.
05: //
06: //This software is distributed under the NASA Open Source Agreement
07: //(NOSA), version 1.3. The NOSA has been approved by the Open Source
08: //Initiative. See the file NOSA-1.3-JPF at the top of the distribution
09: //directory tree for the complete NOSA document.
10: //
11: //THE SUBJECT SOFTWARE IS PROVIDED "AS IS" WITHOUT ANY WARRANTY OF ANY
12: //KIND, EITHER EXPRESSED, IMPLIED, OR STATUTORY, INCLUDING, BUT NOT
13: //LIMITED TO, ANY WARRANTY THAT THE SUBJECT SOFTWARE WILL CONFORM TO
14: //SPECIFICATIONS, ANY IMPLIED WARRANTIES OF MERCHANTABILITY, FITNESS FOR
15: //A PARTICULAR PURPOSE, OR FREEDOM FROM INFRINGEMENT, ANY WARRANTY THAT
16: //THE SUBJECT SOFTWARE WILL BE ERROR FREE, OR ANY WARRANTY THAT
17: //DOCUMENTATION, IF PROVIDED, WILL CONFORM TO THE SUBJECT SOFTWARE.
18: //
19: package gov.nasa.jpf.jvm;
20:
21: /**
22: * abstract root class for configurable choice generators
23: */
24: public abstract class ChoiceGenerator {
25:
26: // want the id to be visible to subclasses outside package
27: public String id;
28: int idRef;
29:
30: protected ChoiceGenerator(String id) {
31: this .id = id;
32: }
33:
34: public String getId() {
35: return id;
36: }
37:
38: public int getIdRef() {
39: return idRef;
40: }
41:
42: public void setIdRef(int idRef) {
43: this .idRef = idRef;
44: }
45:
46: public abstract boolean hasMoreChoices(JVM vm);
47:
48: public abstract void advance(JVM vm);
49: }
|