X-Git-Url: http://plrg.eecs.uci.edu/git/?p=IRC.git;a=blobdiff_plain;f=Robust%2Fsrc%2FAnalysis%2FOwnershipAnalysis%2FOwnershipNode.java;h=10b7d2ed9df6f4dd6ca221c2d5225e947f2ff2f5;hp=6b0469a0c67475ba9b2e16484a0d6ae8b877142c;hb=eb17be02c22191b3fc7bdc335d9434ada68278de;hpb=c94e3d181dec110fc0bd7071a555631cd2a3863d diff --git a/Robust/src/Analysis/OwnershipAnalysis/OwnershipNode.java b/Robust/src/Analysis/OwnershipAnalysis/OwnershipNode.java index 6b0469a0..10b7d2ed 100644 --- a/Robust/src/Analysis/OwnershipAnalysis/OwnershipNode.java +++ b/Robust/src/Analysis/OwnershipAnalysis/OwnershipNode.java @@ -41,15 +41,15 @@ public abstract class OwnershipNode { public ReferenceEdge getReferenceTo(HeapRegionNode hrn, TypeDescriptor type, - String field) { + String field) { assert hrn != null; Iterator itrEdge = referencees.iterator(); while( itrEdge.hasNext() ) { ReferenceEdge edge = itrEdge.next(); if( edge.getDst().equals(hrn) && - edge.typeEquals( type ) && - edge.fieldEquals( field ) ) { + edge.typeEquals(type) && + edge.fieldEquals(field) ) { return edge; } }