Mercurial > hg > Members > kono > jpf-core

changeset 11:ca88bd8e918c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
PairPermutationGenerator didn't have public ctor PermutationCG ctor didn't have id
author Peter Mehlitz <pcmehlitz@gmail.com>
date Wed, 25 Feb 2015 13:03:40 -0800
parents 87e9c7544a06
children a51545ab397e
files src/main/gov/nasa/jpf/util/PairPermutationGenerator.java src/main/gov/nasa/jpf/vm/choice/PermutationCG.java
diffstat 2 files changed, 6 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/main/gov/nasa/jpf/util/PairPermutationGenerator.java	Wed Feb 25 09:42:13 2015 -0800
+++ b/src/main/gov/nasa/jpf/util/PairPermutationGenerator.java	Wed Feb 25 13:03:40 2015 -0800
@@ -31,7 +31,7 @@
 
   protected int i, j;
 
-  PairPermutationGenerator (int nElements){
+  public PairPermutationGenerator (int nElements){
     super(nElements);
   }
 
--- a/src/main/gov/nasa/jpf/vm/choice/PermutationCG.java	Wed Feb 25 09:42:13 2015 -0800
+++ b/src/main/gov/nasa/jpf/vm/choice/PermutationCG.java	Wed Feb 25 13:03:40 2015 -0800
@@ -35,6 +35,11 @@
   public PermutationCG (PermutationGenerator pg){
     this.pg = pg;
   }
+
+  public PermutationCG (String id, PermutationGenerator pg){
+    super(id);
+    this.pg = pg;
+  }
   
   @Override
   public int[] getNextChoice() {