+ for (Location loc : m_locations) {
+ if (null != loc) {
+ loc.dump(pw, childIndent);
+ }
+ }
+ }
+
+ // Note that this is a heuristic, "fuzzy", equals.
+ // Two BugInstances will be considered equal if:
+ // - they refer to the same bug type
+ // - they took place in the same class and method
+ // - the variable names referred to (if any) match
+ // In particular, this equality test does not check
+ // for line numbers being equal. This is by design;
+ // we want to consider two bugs to be the "same bug"
+ // even if other changes in the file have shifted
+ // line numbers a bit.
+ @Override
+ public boolean equals(Object obj)
+ {
+ if (null == obj) {
+ return false;
+ }
+ if (obj instanceof BugInstance) {
+ BugInstance that = (BugInstance)obj;
+
+ if (! Util.objsAreEqual(this.m_type, that.m_type)) {
+ return false;
+ }
+
+ if (! Util.objsAreEqual(this.m_category, that.m_category)) {
+ return false;
+ }
+
+ Location thisLoc = this.getPrincipalLocation();
+ Location thatLoc = that.getPrincipalLocation();
+ if (null == thisLoc) {
+ if (null == thatLoc) {
+ return false;
+ }
+ }
+ else {
+ if (! thisLoc.fuzzyEquals(thatLoc)) {
+ return false;
+ }
+ }
+
+ return true;
+ }
+ return false;
+ }
+
+ @Override
+ public int hashCode()
+ {
+ int code = Util.objHashCode(m_type)
+ ^ Util.objHashCode(m_category)
+ ^ Util.objHashCode(getPrincipalLocation());
+ return code;
+ }
+
+ // Get the "principal" Location.
+ // This should be the place where the bug is reported.
+ Location getPrincipalLocation()
+ {
+ if (null == m_locations) {
+ return null;
+ }
+
+ for (int idx = 0; idx < m_locations.size(); ++idx) {
+ Location loc = m_locations.get(idx);
+ if (Location.METHOD_CALLED.equals(loc.getMethodRole())) {
+ // METHOD_CALLED locations describe the method that is being called,
+ // but the bug is located in the caller, not in the callee.
+ // Thus, ignore this information about the callee.
+ continue;
+ }
+ return loc;
+ }
+
+ return null;
+ }
+
+ private void computeLocations()
+ {
+ assert(null != m_classes);
+ assert(null != m_methods);
+ assert(null != m_lines);
+
+ m_locations.clear();
+
+ /*
+ Somewhat unfortunate special case.
+ The primary "location" for a bug instance is split between tags.
+ Most bugs have a pattern like this:
+ <BugInstance>
+ ...
+ <Method>
+ <SourceLine .../>
+ </Method>
+ ...
+ <SourceLine .../>
+ </BugInstance>
+
+ The primary location for a bug is given by the <Method> with no role attribute,
+ but the <SourceLine/> inside that method describes the whole range of lines
+ covered by that Method, not the spot where the bug is located--that is given
+ by the <SourceLine/> that is a direct child fo the <BugInstance/>.
+ */
+
+ BugMethod primaryMethod = null;
+ SourceLine primaryLine = null;
+
+ for (BugMethod method : m_methods) {
+ if (null != method.getRole()) {
+ primaryMethod = method;
+ break;
+ }
+ }
+ if (m_lines.size() > 0) {
+ primaryLine = m_lines.get(0);
+ }
+
+ if ((null != primaryMethod) && (null != primaryLine)) {
+ m_locations.add(new Location(primaryMethod, primaryLine));
+ }
+
+ for (BugMethod method : m_methods) {
+ if (primaryMethod != method) {
+ m_locations.add(new Location(method));
+ }
+ }
+ for (SourceLine line : m_lines) {
+ if (primaryLine != line) {
+ m_locations.add(new Location(line));
+ }
+ }
+ for (BugClass clazz : m_classes) {
+ m_locations.add(new Location(clazz));
+ }