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

diff --git a/Robust/src/Analysis/Disjoint/RefSrcNode.java b/Robust/src/Analysis/Disjoint/RefSrcNode.java
index 304ac127..b1b4fef5 100644
--- a/Robust/src/Analysis/Disjoint/RefSrcNode.java
+++ b/Robust/src/Analysis/Disjoint/RefSrcNode.java
@@ -26,29 +26,29 @@ public abstract class RefSrcNode {
     return referencees.size();
   }
 
-  public void addReferencee( RefEdge edge ) {
+  public void addReferencee(RefEdge edge) {
     assert edge != null;
-    referencees.add( edge );
+    referencees.add(edge);
   }
 
-  public void removeReferencee( RefEdge edge ) {
+  public void removeReferencee(RefEdge edge) {
     assert edge != null;
-    assert referencees.contains( edge );
-    referencees.remove( edge );
+    assert referencees.contains(edge);
+    referencees.remove(edge);
   }
 
-  public RefEdge getReferenceTo( HeapRegionNode hrn,
-                                 TypeDescriptor type,
-                                 String         field
-                                 ) {
+  public RefEdge getReferenceTo(HeapRegionNode hrn,
+                                TypeDescriptor type,
+                                String field
+                                ) {
     assert hrn != null;
 
     Iterator<RefEdge> itrEdge = referencees.iterator();
     while( itrEdge.hasNext() ) {
       RefEdge edge = itrEdge.next();
-      if( edge.getDst().equals( hrn ) &&
-	  edge.typeEquals( type )     &&
-          edge.fieldEquals( field ) 
+      if( edge.getDst().equals(hrn) &&
+          edge.typeEquals(type)     &&
+          edge.fieldEquals(field)
           ) {
 	return edge;
       }