List of parameterMustBeNonNull() Examples

Examples of parameterMustBeNonNull()

edu.umd.cs.findbugs.ba.INullnessAnnotationDatabase.parameterMustBeNonNull()
Determine whether given parameter must be non-null. @param m a method @param param parameter (0 == first parameter) @return true if the parameter must be non-null, false otherwise

Examples of edu.umd.cs.findbugs.ba.INullnessAnnotationDatabase.parameterMustBeNonNull()


        INullnessAnnotationDatabase db = AnalysisContext.currentAnalysisContext().getNullnessAnnotationDatabase();
        SignatureParser sigParser = new SignatureParser(invokeInstruction.getSignature(cpg));
        for (int i = nullArgSet.nextSetBit(0); i >= 0; i = nullArgSet.nextSetBit(i + 1)) {


            if (db.parameterMustBeNonNull(m, i)) {
                boolean definitelyNull = definitelyNullArgSet.get(i);
                if (DEBUG_NULLARG) {
                    System.out.println("Checking " + m);
                    System.out.println("QQQ2: " + i + " -- " + i + " is null");
                    System.out.println("QQQ nullArgSet: " + nullArgSet);

View Full Code Here

Examples of edu.umd.cs.findbugs.ba.INullnessAnnotationDatabase.parameterMustBeNonNull()

                    int numParams = sigParser.getNumParameters();


                    // Check nonnull annotations


                    for (int j = 0; j < numParams; j++) {
                        if (db.parameterMustBeNonNull(m, j)) {
                            int slot = sigParser.getSlotsFromTopOfStackForParameter(j);
                            ValueNumber valueNumber = valueNumberFrame.getStackValue(slot);
                            if (valueNumberForThis != valueNumber) {
                                derefs.add(location, valueNumber,
                                        PointerUsageRequiringNonNullValue.getPassedAsNonNullParameter(m, j));

View Full Code Here

Examples of edu.umd.cs.findbugs.ba.INullnessAnnotationDatabase.parameterMustBeNonNull()

                int slot = invFrame.getStackLocation(offset);
                if (!reportDereference(invFrame, slot)) {
                    continue;
                }
            }
            if (database.parameterMustBeNonNull(called, i)) {
                int catchSizeNPE = Util.getSizeOfSurroundingTryBlock(method, "java/lang/NullPointerException", location
                        .getHandle().getPosition());
                int catchSizeNFE = Util.getSizeOfSurroundingTryBlock(method, "java/lang/NumberFormatException", location
                        .getHandle().getPosition());
                if (catchSizeNPE == Integer.MAX_VALUE

View Full Code Here

TOP

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.