more changes

[IRC.git] / Robust / src / Analysis / TaskStateAnalysis / TaskAnalysis.java

diff --git a/Robust/src/Analysis/TaskStateAnalysis/TaskAnalysis.java b/Robust/src/Analysis/TaskStateAnalysis/TaskAnalysis.java
index f4973400a14ea5eff814d55eaa7cf5752c115997..0d449b8b0b82c1600e21f93db638d03f09356d54 100644 (file)
--- a/Robust/src/Analysis/TaskStateAnalysis/TaskAnalysis.java
+++ b/Robust/src/Analysis/TaskStateAnalysis/TaskAnalysis.java
@@ -386,21 +386,11 @@ public class TaskAnalysis {
     }
 
     private boolean existsInQueue(TriggerState ts) {
-       for(Iterator it_queue=q_main.iterator();it_queue.hasNext();) {
-           TriggerState ts_local=(TriggerState)it_queue.next();
-
-           if (ts_local.equals(ts))
-               return true;
-       }
-       return false;
+       throw new Error("Use hashcode/contains of set method to find...no linear search allowed");
     }
 
     private boolean existsInFSQueue(Queue q,FlagState fs) {
-       for (Iterator it_q=q.iterator();it_q.hasNext();) {
-           if(((FlagState)it_q.next()).isEqual(fs))
-               return true;
-       }
-       return false;
+       throw new Error("Use hashcode/contains of set method to find...no linear search allowed");
     }
 
     public void printAdjList(ClassDescriptor cd) {