Enabled the default use of Subtypes2 for first common superclass
queries.  Renamed getFirstCommonSupertype() methods as
getFirstCommonSuperclass(), which is more indicative of what the
methods actually do.  Added javadoc.

git-svn-id: https://findbugs.googlecode.com/svn/trunk@8510 eae3c2d3-9b19-0410-a86e-396b6ccb6ab3
Added some trickier tests involving finding the first common superclass
of array types.

git-svn-id: https://findbugs.googlecode.com/svn/trunk@8511 eae3c2d3-9b19-0410-a86e-396b6ccb6ab3
fix null pointer bug/warning

git-svn-id: https://findbugs.googlecode.com/svn/trunk@8512 eae3c2d3-9b19-0410-a86e-396b6ccb6ab3
terminate with error if no classes found to analyze

git-svn-id: https://findbugs.googlecode.com/svn/trunk@8513 eae3c2d3-9b19-0410-a86e-396b6ccb6ab3
Add additional error check

git-svn-id: https://findbugs.googlecode.com/svn/trunk@8514 eae3c2d3-9b19-0410-a86e-396b6ccb6ab3
generate better error msgs

git-svn-id: https://findbugs.googlecode.com/svn/trunk@8515 eae3c2d3-9b19-0410-a86e-396b6ccb6ab3
Add additional error check

git-svn-id: https://findbugs.googlecode.com/svn/trunk@8516 eae3c2d3-9b19-0410-a86e-396b6ccb6ab3
More accurate computation of first common superclass for
array types.

git-svn-id: https://findbugs.googlecode.com/svn/trunk@8517 eae3c2d3-9b19-0410-a86e-396b6ccb6ab3
Cache the results of all first common superclass queries.

git-svn-id: https://findbugs.googlecode.com/svn/trunk@8518 eae3c2d3-9b19-0410-a86e-396b6ccb6ab3
When reporting number of archives scanned to the progress callback,
include archives on the aux classpath.

git-svn-id: https://findbugs.googlecode.com/svn/trunk@8519 eae3c2d3-9b19-0410-a86e-396b6ccb6ab3
s/OBSERVED/DOOMED/g

git-svn-id: https://findbugs.googlecode.com/svn/trunk@8520 eae3c2d3-9b19-0410-a86e-396b6ccb6ab3
Renamed FlowValue.MAYBE to FlowValue.UNKNOWN.

Only report conflict when a backwards ALWAYS or NEVER
meets a forwards NEVER or ALWAYS.

(Violations of strict qualifiers---where a backwards ALWAYS
or MAYBE encounters an UNKNOWN source---will be handled
separately.)

git-svn-id: https://findbugs.googlecode.com/svn/trunk@8521 eae3c2d3-9b19-0410-a86e-396b6ccb6ab3
Improvements to the way type qualifier warnings are reported:

- changed bug code from CTQ to TQ

- split into two warnings: one for ALWAYS flowing to NEVER and another
  for NEVER flowing to ALWAYS
  
- report the name of the type qualifier in the LongDescription

git-svn-id: https://findbugs.googlecode.com/svn/trunk@8522 eae3c2d3-9b19-0410-a86e-396b6ccb6ab3
Minor phrasing improvement to Details of
TQ_NEVER_SOURCE_FLOWS_TO_ALWAYS_SINK warnings.

git-svn-id: https://findbugs.googlecode.com/svn/trunk@8523 eae3c2d3-9b19-0410-a86e-396b6ccb6ab3
Add -withMessages and -output options to unionBugs

git-svn-id: https://findbugs.googlecode.com/svn/trunk@8524 eae3c2d3-9b19-0410-a86e-396b6ccb6ab3
project add method

git-svn-id: https://findbugs.googlecode.com/svn/trunk@8525 eae3c2d3-9b19-0410-a86e-396b6ccb6ab3
Make command-line options mutually exclusive.

Add support for -look: option.

git-svn-id: https://findbugs.googlecode.com/svn/trunk@8526 eae3c2d3-9b19-0410-a86e-396b6ccb6ab3
Added some tests involving a type qualifier that should be
checked strictly.

git-svn-id: https://findbugs.googlecode.com/svn/trunk@8527 eae3c2d3-9b19-0410-a86e-396b6ccb6ab3
produce better error msg

git-svn-id: https://findbugs.googlecode.com/svn/trunk@8528 eae3c2d3-9b19-0410-a86e-396b6ccb6ab3
Changed TypeQualifierApplications/TypeQualifierValue so that if a
TypeQualifierValue is found without a when value, we make a note
in order to remember to check it strictly.

Major refactoring of type qualifier dataflow analysis: sources and
sinks are computed once at the beginning of the analysis, keeping track
of all of the information needed to model them.
Eventually, we'll use this to more easily check when backwards
ALWAYS and NEVER flow values reach annotated sources.
A side benefit is that the logic of transferInstruction is
simplified and moved to TypeQualifierDataflowAnalysis (the superclass of the
forwards and backwards type qualifier dataflow analysis classes.)

git-svn-id: https://findbugs.googlecode.com/svn/trunk@8529 eae3c2d3-9b19-0410-a86e-396b6ccb6ab3