[Javapathfinder-devel] javapathfinder/src/gov/nasa/jpf/search/heuristic ChooseFree.java,1.1.1.1,1.2 DFSHeuristic.java,1.1.1.1,1.2 MostBlocked.java,1.1.1.1,1.2 PreferThreads.java,1.1.1.1,1.2

[pcm <pcm...@us...>]

Update of /cvsroot/javapathfinder/javapathfinder/src/gov/nasa/jpf/search/heuristic
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv23554

Modified Files:
	ChooseFree.java DFSHeuristic.java MostBlocked.java 
	PreferThreads.java 
Log Message:
some more forgotten public modifiers for Heuristic ctors


Index: DFSHeuristic.java
===================================================================
RCS file: /cvsroot/javapathfinder/javapathfinder/src/gov/nasa/jpf/search/heuristic/DFSHeuristic.java,v
retrieving revision 1.1.1.1
retrieving revision 1.2
diff -u -d -r1.1.1.1 -r1.2
--- DFSHeuristic.java	26 Apr 2005 19:44:19 -0000	1.1.1.1
+++ DFSHeuristic.java	10 Aug 2005 16:34:01 -0000	1.2
@@ -28,7 +28,7 @@
   VM vm;
   HeuristicSearch hSearch;
 
-  DFSHeuristic (HeuristicSearch hs) {
+  public DFSHeuristic (HeuristicSearch hs) {
     hSearch = hs;
     vm = hSearch.getVM();
   }

Index: MostBlocked.java
===================================================================
RCS file: /cvsroot/javapathfinder/javapathfinder/src/gov/nasa/jpf/search/heuristic/MostBlocked.java,v
retrieving revision 1.1.1.1
retrieving revision 1.2
diff -u -d -r1.1.1.1 -r1.2
--- MostBlocked.java	26 Apr 2005 19:44:20 -0000	1.1.1.1
+++ MostBlocked.java	10 Aug 2005 16:34:01 -0000	1.2
@@ -29,7 +29,7 @@
 public class MostBlocked implements Heuristic {
   VM vm;
 
-  MostBlocked (HeuristicSearch hSearch) {
+  public MostBlocked (HeuristicSearch hSearch) {
     vm = hSearch.getVM();
   }
 

Index: ChooseFree.java
===================================================================
RCS file: /cvsroot/javapathfinder/javapathfinder/src/gov/nasa/jpf/search/heuristic/ChooseFree.java,v
retrieving revision 1.1.1.1
retrieving revision 1.2
diff -u -d -r1.1.1.1 -r1.2
--- ChooseFree.java	26 Apr 2005 19:44:19 -0000	1.1.1.1
+++ ChooseFree.java	10 Aug 2005 16:34:01 -0000	1.2
@@ -30,7 +30,7 @@
 public class ChooseFree implements Heuristic {
   VM vm;
 
-  ChooseFree (HeuristicSearch hSearch) {
+  public ChooseFree (HeuristicSearch hSearch) {
     vm = hSearch.getVM();
   }
 

Index: PreferThreads.java
===================================================================
RCS file: /cvsroot/javapathfinder/javapathfinder/src/gov/nasa/jpf/search/heuristic/PreferThreads.java,v
retrieving revision 1.1.1.1
retrieving revision 1.2
diff -u -d -r1.1.1.1 -r1.2
--- PreferThreads.java	26 Apr 2005 19:44:20 -0000	1.1.1.1
+++ PreferThreads.java	10 Aug 2005 16:34:01 -0000	1.2
@@ -34,7 +34,7 @@
   VM vm;
   String[] preferredThreads;
 
-  PreferThreads (Config config, HeuristicSearch hSearch) {
+  public PreferThreads (Config config, HeuristicSearch hSearch) {
     vm = hSearch.getVM();
     preferredThreads = config.getStringArray("search.heuristic.preferredThreads");
   }