Examples of XField

com.sissi.protocol.iq.data.XField
@author kim 2013年12月5日
edu.umd.cs.findbugs.ba.XField
Abstract representation of a field. Note that this is called "XField" to distinguish it from BCEL's Field class. Also, you can think of the "X" as expanding to "Instance" or "Static".
This interface and its implementations exist because Field objects in BCEL are awkward to deal with. They are not Comparable, it is difficult to find out what class they belong to, etc.

If the resolved() method returns true, then any information queried from this object can be assumed to be accurate. If the resolved() method returns false, then FindBugs can't find the field and any information other than name/signature/etc. cannot be trusted.
us.thinkable.framework.form.XField
xjavadoc.XField

Examples of edu.umd.cs.findbugs.ba.XField

    public void addFieldAnnotation(String cName, String mName, String mSig, boolean isStatic, NullnessAnnotation annotation) {
        if (DEBUG) {
            System.out.println("addFieldAnnotation: annotate " + cName + "." + mName + " with " + annotation);
        }


        XField xfield = XFactory.createXField(cName, mName, mSig, isStatic);
        if (!(xfield instanceof FieldInfo)) {
            if (DEBUG) {
                System.out.println("  Field not found! " + cName + "." + mName + ":" + mSig + " " + isStatic + " " + annotation);
            }
            return;

View Full Code Here

Examples of edu.umd.cs.findbugs.ba.XField

        }
    }


    private void modelFieldStore(Location location) throws DataflowAnalysisException {
        // Model field stores
        XField writtenField = XFactory.createXField((FieldInstruction) location.getHandle().getInstruction(), cpg);
        TypeQualifierAnnotation tqa = TypeQualifierApplications.getEffectiveTypeQualifierAnnotation(writtenField,
                typeQualifierValue);
        When when = (tqa != null) ? tqa.when : When.UNKNOWN;


        // The ValueNumberFrame *before* the FieldInstruction should

View Full Code Here

Examples of edu.umd.cs.findbugs.ba.XField

            throws DataflowAnalysisException {
        INullnessAnnotationDatabase database = AnalysisContext.currentAnalysisContext().getNullnessAnnotationDatabase();


        FieldInstruction fieldIns = (FieldInstruction) location.getHandle().getInstruction();


        XField field = XFactory.createXField(fieldIns, methodGen.getConstantPool());
        char firstChar = field.getSignature().charAt(0);
        if (firstChar != 'L' && firstChar != '[') {
            return;
        }
        NullnessAnnotation resolvedAnnotation = database.getResolvedAnnotation(field, true);
        if (resolvedAnnotation == NullnessAnnotation.NONNULL) {

View Full Code Here

Examples of edu.umd.cs.findbugs.ba.XField


    private void handleInstruction(InstructionHandle handle, BasicBlock basicBlock, FieldSet fact)
    {
        Instruction ins = handle.getInstruction();
        short opcode = ins.getOpcode();
        XField field;


        switch (opcode) {
        case Constants.GETFIELD:
        case Constants.GETSTATIC:
            field = lookupField(handle, (FieldInstruction) ins);

View Full Code Here

Examples of edu.umd.cs.findbugs.ba.XField

            break;
        }
    }


    private @CheckForNull XField lookupField(InstructionHandle handle, FieldInstruction fins) {
        XField field = instructionToFieldMap.get(handle);
        if (field == null) {
            field = Hierarchy.findXField(fins, getCPG());
            instructionToFieldMap.put(handle, field);
        }
        return field;

View Full Code Here

Examples of edu.umd.cs.findbugs.ba.XField

            return;
        }
        FieldSummary fieldSummary = AnalysisContext.currentAnalysisContext().getFieldSummary();
        HashSet<AvailableLoad> killMe = new HashSet<AvailableLoad>();
        for (AvailableLoad availableLoad : getAvailableLoadMap().keySet()) {
            XField field = availableLoad.getField();
            if (field.isVolatile() || !field.isFinal()
                    && (!USE_WRITTEN_OUTSIDE_OF_CONSTRUCTOR || fieldSummary.isWrittenOutsideOfConstructor(field))) {
                if (RLE_DEBUG) {
                    System.out.println("KILLING load of " + availableLoad + " in " + this);
                }
                killMe.add(availableLoad);

View Full Code Here

Examples of edu.umd.cs.findbugs.ba.XField

        HashSet<AvailableLoad> killMe = new HashSet<AvailableLoad>();
        for (AvailableLoad availableLoad : getAvailableLoadMap().keySet()) {
            if (availableLoad.getReference() != v) {
                continue;
            }
            XField field = availableLoad.getField();
            if (!field.isFinal() && (!USE_WRITTEN_OUTSIDE_OF_CONSTRUCTOR || fieldSummary.isWrittenOutsideOfConstructor(field))) {
                if (RLE_DEBUG) {
                    System.out.println("Killing load of " + availableLoad + " in " + this);
                }
                killMe.add(availableLoad);
            }

View Full Code Here

Examples of edu.umd.cs.findbugs.ba.XField

        String packageName = extractPackageName(className);


        HashSet<AvailableLoad> killMe = new HashSet<AvailableLoad>();
        for (AvailableLoad availableLoad : getAvailableLoadMap().keySet()) {


            XField field = availableLoad.getField();
            String fieldPackageName = extractPackageName(field.getClassName());
            if (packageName.equals(fieldPackageName) && field.isStatic()
                    && methodName.toLowerCase().indexOf(field.getName().toLowerCase()) >= 0) {
                killMe.add(availableLoad);
            }


        }
        killAvailableLoads(killMe);

View Full Code Here

Examples of edu.umd.cs.findbugs.ba.XField

            registerTopOfStackSource(SourceSinkType.RETURN_VALUE_OF_CALLED_METHOD, location, when, interproc, null);
        }
    }


    private void registerFieldLoadSource(Location location) throws DataflowAnalysisException {
        XField loadedField = XFactory.createXField((FieldInstruction) location.getHandle().getInstruction(), cpg);
        if (loadedField.isResolved()) {
            TypeQualifierAnnotation tqa = TypeQualifierApplications.getEffectiveTypeQualifierAnnotation(loadedField,
                    typeQualifierValue);
            When when = (tqa != null) ? tqa.when : When.UNKNOWN;
            registerTopOfStackSource(SourceSinkType.FIELD_LOAD, location, when, false, null);
        }

View Full Code Here

Examples of edu.umd.cs.findbugs.ba.XField

    private boolean doRedundantLoadElimination() {
        if (!REDUNDANT_LOAD_ELIMINATION) {
            return false;
        }


        XField xfield = loadedFieldSet.getField(handle);
        if (xfield == null) {
            return false;
        }


        if (!xfield.isReferenceType()) {
            return false;
        }


        // Don't do redundant load elimination for fields that
        // are loaded in only one place.

View Full Code Here

0 1 2 3 4 5

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.