**/
@Override
public boolean hasMoreChoices() {
- if (!isDone && (count < values.length-1))
+ // TODO: Fix for Groovy's model-checking
+ // TODO: This is a setter to change the values of the ChoiceGenerator to implement POR
+ if (!isDone)
return true;
else
return false;
+
+ /* TODO: ORIGINAL CODE
+ if (!isDone && (count < values.length-1))
+ return true;
+ else
+ return false;*/
}
/**
**/
@Override
public void advance() {
+ // TODO: Fix for Groovy's model-checking
+ // TODO: This is a setter to change the values of the ChoiceGenerator to implement POR
+
+ // TODO: We make this circular
if (count < values.length-1) count++;
+ else count = 0;
+
+ /* TODO: ORIGINAL CODE
+ if (count < values.length-1) count++;*/
}
/**