projects
/
IRC.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
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) {
}
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) {
}
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) {
}
public void printAdjList(ClassDescriptor cd) {