Adding JMCR-Stable version

[Benchmarks_CSolver.git] / JMCR-Stable / mcr-controller / src / edu / tamu / aser / scheduling / strategy / RVProfileStrategy.java

diff --git a/JMCR-Stable/mcr-controller/src/edu/tamu/aser/scheduling/strategy/RVProfileStrategy.java b/JMCR-Stable/mcr-controller/src/edu/tamu/aser/scheduling/strategy/RVProfileStrategy.java
new file mode 100644 (file)
index 0000000..bff0ff9
--- /dev/null
+++ b/JMCR-Stable/mcr-controller/src/edu/tamu/aser/scheduling/strategy/RVProfileStrategy.java
@@ -0,0 +1,49 @@
+package edu.tamu.aser.scheduling.strategy;
+
+import java.util.List;
+import java.util.SortedSet;
+import edu.tamu.aser.rvinstrumentation.RVGlobalStateForInstrumentation;
+
+public class RVProfileStrategy extends SchedulingStrategy {
+
+    private boolean notYetExecutedFirstSchedule;
+
+       @Override
+       public void startingExploration() {
+           this.notYetExecutedFirstSchedule = true;
+       }
+
+       @Override
+       public void startingScheduleExecution() {
+           
+      
+       }
+
+       @Override
+       public void completedScheduleExecution() {
+
+        this.notYetExecutedFirstSchedule = false;
+
+       }
+
+       @Override
+       public boolean canExecuteMoreSchedules() {
+           if(!this.notYetExecutedFirstSchedule)
+           {
+               RVGlobalStateForInstrumentation.instance.saveMetaData();
+           }
+        return this.notYetExecutedFirstSchedule;
+       }
+
+    @Override
+    public Object choose(SortedSet<? extends Object> objectChoices, ChoiceType choiceType) {
+        // TODO Auto-generated method stub
+        return getChosenObject(0, objectChoices);
+    }
+
+    @Override
+    public List<Integer> getChoicesMadeDuringThisSchedule() {
+        // TODO Auto-generated method stub
+        return null;
+    }
+}