propertySet.decorateBugInstance(bug);
}
accumulator.accumulateBug(bug, sourceLineAnnotation);
}
}
accumulator.reportAccumulatedBugs();
}
/**
* Compare to see if the argument <code>argType</code> passed to the method
* matches the type of the corresponding parameter. The simplest case is