X-Git-Url: http://plrg.eecs.uci.edu/git/?p=IRC.git;a=blobdiff_plain;f=Robust%2Fsrc%2FAnalysis%2FDisjoint%2FDescriptorQWrapper.java;h=cae5c56496c183105946aaa6d808a4e67bda9249;hp=a459dac68342cf87ad9d2c705b2f3a7b6a892160;hb=eb17be02c22191b3fc7bdc335d9434ada68278de;hpb=c94e3d181dec110fc0bd7071a555631cd2a3863d

diff --git a/Robust/src/Analysis/Disjoint/DescriptorQWrapper.java b/Robust/src/Analysis/Disjoint/DescriptorQWrapper.java
index a459dac6..cae5c564 100644
--- a/Robust/src/Analysis/Disjoint/DescriptorQWrapper.java
+++ b/Robust/src/Analysis/Disjoint/DescriptorQWrapper.java
@@ -10,12 +10,12 @@ public class DescriptorQWrapper implements Comparable {
   private int priority;
   private Descriptor d;
 
-  public DescriptorQWrapper( Integer p, Descriptor d ) {
+  public DescriptorQWrapper(Integer p, Descriptor d) {
     priority = p.intValue();
     this.d   = d;
   }
 
-  public DescriptorQWrapper( int p, Descriptor d ) {
+  public DescriptorQWrapper(int p, Descriptor d) {
     priority = p;
     this.d   = d;
   }
@@ -23,8 +23,8 @@ public class DescriptorQWrapper implements Comparable {
   public Descriptor getDescriptor() {
     return d;
   }
- 
-  public int compareTo( Object o ) throws ClassCastException {
+
+  public int compareTo(Object o) throws ClassCastException {
 
     if( !(o instanceof DescriptorQWrapper) ) {
       throw new ClassCastException();
@@ -42,9 +42,9 @@ public class DescriptorQWrapper implements Comparable {
     if( !( o instanceof DescriptorQWrapper) ) {
       return false;
     }
-    
+
     DescriptorQWrapper dqw = (DescriptorQWrapper) o;
 
-    return d.equals( dqw.d );
-  }  
+    return d.equals(dqw.d);
+  }
 }