equal
deleted
inserted
replaced
126 if (getBCI() != other.getBCI()) { |
126 if (getBCI() != other.getBCI()) { |
127 return false; |
127 return false; |
128 } |
128 } |
129 |
129 |
130 // dynamic part - we just compare the frame pointer |
130 // dynamic part - we just compare the frame pointer |
131 if (! getFrame().getFP().equals(other.getFrame().getFP())) { |
131 if (! getFrame().equals(other.getFrame())) { |
132 return false; |
132 return false; |
133 } |
133 } |
134 return true; |
134 return true; |
135 } |
135 } |
136 |
136 |
137 public int hashCode() { |
137 public int hashCode() { |
138 return getMethod().hashCode() ^ getBCI() ^ getFrame().getFP().hashCode(); |
138 return getMethod().hashCode() ^ getBCI() ^ getFrame().hashCode(); |
139 } |
139 } |
140 |
140 |
141 /** Structural compare */ |
141 /** Structural compare */ |
142 public boolean structuralCompare(JavaVFrame other) { |
142 public boolean structuralCompare(JavaVFrame other) { |
143 // Check static part |
143 // Check static part |