- private int queueID;
- private int status;
- private String dynID="";
- private TempDescriptor tempDesc;
-
- public void setTempDesc(TempDescriptor tempDesc){
- this.tempDesc=tempDesc;
- }
-
- public TempDescriptor getTempDesc(){
- return tempDesc;
- }
-
- public void setQueueID(int queueID) {
- this.queueID = queueID;
- }
-
- public String getDynID(){
- return dynID;
- }
-
- public void setDynID(String dynID){
- this.dynID=dynID;
- }
-
- public int getQueueID() {
- return queueID;
- }
-
- public void setStatus(int status) {
- this.status = status;
- }
-
- public int getStatus() {
- return status;
- }
-
- public boolean equals(Object o) {
-
- if (o == null) {
- return false;
- }
-
- if (!(o instanceof WaitingElement)) {
- return false;
- }
-
- WaitingElement in = (WaitingElement) o;
-
- if (queueID == in.getQueueID() && status == in.getStatus() && dynID.equals(in.getDynID()) ) {
- return true;
- } else {
- return false;
- }
-
- }
-
- public String toString() {
- return "[waitingID=" + queueID + " status=" + status + " dynID="
- + dynID + "]";
- }
-
- public int hashCode() {
-
- int hash = 1;
-
- hash = hash * 31 + queueID;
-
- hash += status;
-
- hash += dynID.hashCode();
-
- return hash;
-
- }
+ private int queueID;
+ private int status;
+ private String dynID = "";
+ private TempDescriptor tempDesc;
+
+ // a set of tempDescriptors:
+ // all associated with coarse conflicts for the same queue and the same sese
+ private Set<TempDescriptor> tempSet;
+
+ public WaitingElement() {
+ tempSet = new HashSet<TempDescriptor>();
+ }
+
+ public void addTempDesc(TempDescriptor tempDesc) {
+ tempSet.add(tempDesc);
+ }
+
+ public Set<TempDescriptor> getTempDescSet() {
+ return tempSet;
+ }
+
+ public void setTempDesc(TempDescriptor tempDesc) {
+ this.tempDesc = tempDesc;
+ }
+
+ public TempDescriptor getTempDesc() {
+ return tempDesc;
+ }
+
+ public void setQueueID(int queueID) {
+ this.queueID = queueID;
+ }
+
+ public String getDynID() {
+ return dynID;
+ }
+
+ public void setDynID(String dynID) {
+ this.dynID = dynID;
+ }
+
+ public int getQueueID() {
+ return queueID;
+ }
+
+ public void setStatus(int status) {
+ this.status = status;
+ }
+
+ public int getStatus() {
+ return status;
+ }
+
+ public boolean equals(Object o) {
+
+ if (o == null) {
+ return false;
+ }
+
+ if (!(o instanceof WaitingElement)) {
+ return false;
+ }
+
+ WaitingElement in = (WaitingElement) o;
+
+ if (queueID == in.getQueueID() && status == in.getStatus() && dynID.equals(in.getDynID())) {
+ return true;
+ } else {
+ return false;
+ }
+
+ }
+
+ public String toString() {
+ return "[waitingID=" + queueID + " status=" + status + " dynID=" + dynID + "]";
+ }
+
+ public int hashCode() {
+
+ int hash = 1;
+
+ hash = hash * 31 + queueID;
+
+ hash += status;
+
+ hash += dynID.hashCode();
+
+ return hash;
+
+ }