Examples of edu.umd.cs.findbugs.ba.bcp.PatternElementMatch

edu.umd.cs.findbugs.ba.bcp.PatternElementMatch
PatternElementMatch represents matching a PatternElement against a single instruction. The "prev" field points to the previous PatternElementMatch. By building up sequences of PatternElementMatch objects in this way, we can implement nondeterministic matching without having to copy anything.

            }
        }


        // Get locations matching the beginning of the object creation,
        // and the final field store.
        PatternElementMatch createBegin = match.getFirstLabeledMatch("createObject");
        PatternElementMatch store = match.getFirstLabeledMatch("end");
        PatternElementMatch test = match.getFirstLabeledMatch("test");
        InstructionHandle testInstructionHandle = test.getMatchedInstructionInstructionHandle();
        if (reported.get(testInstructionHandle.getPosition())) {
            return;
        }


        // Get all blocks

View Full Code Here


                    if (DEBUG) {
                        System.out.println("Pattern match:");
                        Iterator<PatternElementMatch> pemIter = match.patternElementMatchIterator();
                        while (pemIter.hasNext()) {
                            PatternElementMatch pem = pemIter.next();
                            System.out.println("\t" + pem.toString());
                        }
                    }


                    reportMatch(classContext, method, match);
                }

View Full Code Here

TOP

Related Classes of edu.umd.cs.findbugs.ba.bcp.PatternElementMatch

edu.umd.cs.findbugs.ByteCodePatternDetector

edu.umd.cs.findbugs.detect.LazyInit

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.