First version of POR; need to double check the backtrack set analysis.

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

diff --git a/src/main/gov/nasa/jpf/vm/choice/NumberChoiceFromList.java b/src/main/gov/nasa/jpf/vm/choice/NumberChoiceFromList.java
index ceb53a52ab0539a4d32be176fbc6e7570c617058..8762ba0233bc38d7511262b429c4947bd7ad4e94 100644 (file)
--- a/src/main/gov/nasa/jpf/vm/choice/NumberChoiceFromList.java
+++ b/src/main/gov/nasa/jpf/vm/choice/NumberChoiceFromList.java
@@ -235,4 +235,9 @@ public abstract class NumberChoiceFromList<T extends Number> extends ChoiceGener
     return this;
   }
 
+  // TODO: Fix for Groovy's model-checking
+  // TODO: This is a setter to change the values of the ChoiceGenerator to implement POR
+  public void setNewValues(T[] vals) {
+    values = vals;
+  }
 }