Java ParameterProperty类代码示例

import edu.umd.cs.findbugs.ba.interproc.ParameterProperty; //导入依赖的package包/类
@Override
public void sawOpcode(int seen) {
    if (seen == SIPUSH) {
        lastConstantForSIPUSH = getIntConstant();
    }
    if (seen == INVOKEINTERFACE || seen == INVOKEVIRTUAL || seen == INVOKESPECIAL || seen == INVOKESTATIC) {
        String signature = getSigConstantOperand();

        int numberArguments = PreorderVisitor.getNumberArguments(signature);

        for (int i = 0; i < numberArguments; i++) {
            Item item = stack.getStackItem(numberArguments - 1 - i);
            if (item.getSpecialKind() == OpcodeStack.Item.RESULT_OF_I2L) {
                ParameterProperty property = database.getProperty(getMethodDescriptorOperand());
                if (property != null && property.hasProperty(i)) {
                    int priority = NORMAL_PRIORITY;

                    if (getPrevOpcode(1) == I2L && getPrevOpcode(2) == IMUL && getPrevOpcode(3) == SIPUSH
                            && lastConstantForSIPUSH == 1000) {
                        priority = HIGH_PRIORITY;

                    } else if (getPrevOpcode(1) == I2L && getPrevOpcode(2) == IMUL && getPrevOpcode(4) == SIPUSH
                            && lastConstantForSIPUSH == 1000) {
                        priority = HIGH_PRIORITY;
                    }
                    BugInstance bug = new BugInstance(this, "ICAST_INT_2_LONG_AS_INSTANT", priority).addClassAndMethod(this)
                            .addCalledMethod(this).addValueSource(item, this).addSourceLine(this);
                    bugReporter.reportBug(bug);
                }

            }
        }

    }
}
 

import edu.umd.cs.findbugs.ba.interproc.ParameterProperty; //导入依赖的package包/类
@Override
protected ParameterProperty decodeProperty(String propStr) throws PropertyDatabaseFormatException {
    try {
        int longInstants = Integer.parseInt(propStr);
        ParameterProperty prop = new ParameterProperty(longInstants);
        return prop;
    } catch (NumberFormatException e) {
        throw new PropertyDatabaseFormatException("Invalid unconditional deref param set: " + propStr);
    }
}
 

import edu.umd.cs.findbugs.ba.interproc.ParameterProperty; //导入依赖的package包/类
@Override
public void visit(Code obj) {

    if (!getMethod().isPublic() && !getMethod().isProtected())
        return;
    SignatureParser p = new SignatureParser(getMethodSig());
    LocalVariableTable t = obj.getLocalVariableTable();

    if (t == null)
        return;
    ParameterProperty property = new ParameterProperty();

    int index = getMethod().isStatic() ? 0 : 1;
    int parameterNumber = 0;
    for (Iterator<String> i = p.parameterSignatureIterator(); i.hasNext();) {
        String s = i.next();
        LocalVariable localVariable = t.getLocalVariable(index, 0);
        if (localVariable != null) {
            String name = localVariable.getName();
            if (s.equals("J") && (name.toLowerCase().indexOf("instant") >= 0 || name.startsWith("date"))) {

                // System.out.println(getFullyQualifiedMethodName() + " " + s + " " + index + " " + name);
                property.setParamWithProperty(parameterNumber, true);
            }
        }
        if (s.equals("J") || s.equals("D"))
            index += 2;
        else
            index += 1;
        parameterNumber++;
    }
    if (!property.isEmpty()) {
        // System.out.println(getFullyQualifiedMethodName() + " " + property);
        database.setProperty(getMethodDescriptor(), property);
    }
}
 

import edu.umd.cs.findbugs.ba.interproc.ParameterProperty; //导入依赖的package包/类
public void visitClassContext(ClassContext classContext) {

        JavaClass jclass = classContext.getJavaClass();

        for (Method method : jclass.getMethods()) {
            XMethod xmethod = XFactory.createXMethod(classContext.getJavaClass(), method);
            ParameterProperty nonnullParameters = AnalysisContext.currentAnalysisContext().getUnconditionalDerefParamDatabase()
                    .getProperty(xmethod.getMethodDescriptor());
            if (nonnullParameters != null) {
                for (int p : nonnullParameters.iterable()) {
                    TypeQualifierAnnotation directTypeQualifierAnnotation = TypeQualifierApplications
                            .getDirectTypeQualifierAnnotation(xmethod, p, nonnullTypeQualifierValue);
                    if (directTypeQualifierAnnotation != null && directTypeQualifierAnnotation.when == When.UNKNOWN) {
                        //
                        // The LocalVariableAnnotation is constructed using the
                        // local variable
                        // number of the parameter, not the parameter number.
                        //
                        int paramLocal = xmethod.isStatic() ? p : p + 1;

                        reporter.reportBug(new BugInstance(this, "NP_PARAMETER_MUST_BE_NONNULL_BUT_MARKED_AS_NULLABLE",
                                NORMAL_PRIORITY).addClassAndMethod(jclass, method).add(
                                LocalVariableAnnotation.getParameterLocalVariableAnnotation(method, paramLocal)));

                    }

                }
            }
        }

    }
 

import edu.umd.cs.findbugs.ba.interproc.ParameterProperty; //导入依赖的package包/类
@Override
protected ParameterProperty decodeProperty(String propStr) throws PropertyDatabaseFormatException {
    try {
        int unconditionalDerefSet = Integer.parseInt(propStr);
        ParameterProperty prop = new ParameterProperty(unconditionalDerefSet);
        return prop;
    } catch (NumberFormatException e) {
        throw new PropertyDatabaseFormatException("Invalid unconditional deref param set: " + propStr);
    }
}
 

import edu.umd.cs.findbugs.ba.interproc.ParameterProperty; //导入依赖的package包/类
@Override
protected void setUp() throws Exception {
    empty = new ParameterProperty();

    nonEmpty = new ParameterProperty();
    nonEmpty.setParamWithProperty(11, true);
    nonEmpty.setParamWithProperty(25, true);

    extremes = new ParameterProperty();
    extremes.setParamWithProperty(0, true);
    extremes.setParamWithProperty(31, true);
}
 

import edu.umd.cs.findbugs.ba.interproc.ParameterProperty; //导入依赖的package包/类
@Override
protected String encodeProperty(ParameterProperty property) {
    return String.valueOf(property.getParamsWithProperty());
}
 

import edu.umd.cs.findbugs.ba.interproc.ParameterProperty; //导入依赖的package包/类
public NonNullSpecification(JavaClassAndMethod classAndMethod, ParameterProperty nonParamProperty,
        ParameterProperty possiblyNullProperty) {
    this.classAndMethod = classAndMethod;
    this.nonNullProperty = nonParamProperty;
    this.possiblyNullProperty = possiblyNullProperty;
}
 

import edu.umd.cs.findbugs.ba.interproc.ParameterProperty; //导入依赖的package包/类
public ParameterProperty getNonNullProperty() {
    return nonNullProperty;
}
 

import edu.umd.cs.findbugs.ba.interproc.ParameterProperty; //导入依赖的package包/类
public ParameterProperty getCheckForNullProperty() {
    return possiblyNullProperty;
}