Implementing the sleep-set technique for the previous version to explore less combina...

[jpf-core.git] / src / main / gov / nasa / jpf / vm / choice / IntChoiceFromSet.java

diff --git a/src/main/gov/nasa/jpf/vm/choice/IntChoiceFromSet.java b/src/main/gov/nasa/jpf/vm/choice/IntChoiceFromSet.java
index 3d71effb27bf4a4df819aac2b1daa449eaf5941f..eb2f33b50c4b81ff766cc9ec17e5d6f0a19b08f6 100644 (file)
--- a/src/main/gov/nasa/jpf/vm/choice/IntChoiceFromSet.java
+++ b/src/main/gov/nasa/jpf/vm/choice/IntChoiceFromSet.java
@@ -68,6 +68,18 @@ public class IntChoiceFromSet extends IntChoiceFromList {
     count = -1;
   }
 
+  // TODO: Fix for Groovy's model-checking
+  // TODO: This is a setter to change the values of the ChoiceGenerator to implement POR
+  @Override
+  public void setNewValues(Integer[] vals) {
+    values = vals;
+  }
+
+  @Override
+  public Integer[] getAllChoices() {
+    return values;
+  }
+
        /** super constructor for subclasses that want to configure themselves
         * 
         * @param id name used in choice config