From 04cc3857a0f79e17ff6f721a4cbb29d49155ab3e Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Tue, 17 Apr 2007 21:09:55 +0000
Subject: [PATCH] more changes

---
 .../Analysis/TaskStateAnalysis/TaskAnalysis.java   | 14 ++------------
 .../Analysis/TaskStateAnalysis/TriggerState.java   | 10 +++++-----
 2 files changed, 7 insertions(+), 17 deletions(-)

diff --git a/Robust/src/Analysis/TaskStateAnalysis/TaskAnalysis.java b/Robust/src/Analysis/TaskStateAnalysis/TaskAnalysis.java
index f4973400..0d449b8b 100644
--- 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) {
diff --git a/Robust/src/Analysis/TaskStateAnalysis/TriggerState.java b/Robust/src/Analysis/TaskStateAnalysis/TriggerState.java
index 6cc7c46a..9210dbfe 100644
--- a/Robust/src/Analysis/TaskStateAnalysis/TriggerState.java
+++ b/Robust/src/Analysis/TaskStateAnalysis/TriggerState.java
@@ -10,11 +10,11 @@ public class TriggerState
 	ClassDescriptor cd;
 	FlagState fs;
 
-	public TriggerState(ClassDescriptor cd, FlagState fs)
-	{
-		this.cd = cd;
-		this.fs = fs;
-	}
+    public TriggerState(ClassDescriptor cd, FlagState fs) {
+	throw new Error("Just use FlagState...roll classdescriptor into it");
+	this.cd = cd;
+	this.fs = fs;
+    }
 
 	public ClassDescriptor getClassDescriptor()
 	{
-- 
2.34.1