@Override
    public void meetInto(TypeQualifierValueSet fact, Edge edge, TypeQualifierValueSet result) throws DataflowAnalysisException {
        if (fact.isTop() || result.isBottom()) {
            // result does not change
            return;
        } else if (fact.isBottom() || result.isTop()) {
            result.makeSameAs(fact);
            return;
        }

        assert fact.isValid();
        assert result.isValid();

        result.mergeWith(fact);
    }
@ Override public void meetInto ( TypeQualifierValueSet fact , Edge edge , TypeQualifierValueSet result ) throws DataflowAnalysisException { if ( fact . isTop ( ) || result . isBottom ( ) ) { return ; } else if ( fact . isBottom ( ) || result . isTop ( ) ) { result . makeSameAs ( fact ) ; return ; } assert fact . isValid ( ) ; assert result . isValid ( ) ; result . mergeWith ( fact ) ; }
/*
(non-Javadoc)

@see edu.umd.cs.findbugs.ba.DataflowAnalysis#meetInto(java.lang.Object,
edu.umd.cs.findbugs.ba.Edge, java.lang.Object)