Examples of ReturnPathType

edu.umd.cs.findbugs.ba.npe.ReturnPathType
A dataflow value that indicates what kind of return path is possible at the current program location. Either:
- It is possible to return normally
- It is not possible to return normally (i.e., an exception is guaranteed to be thrown)
@author David Hovemeyer

Examples of edu.umd.cs.findbugs.ba.npe.ReturnPathType


        ReturnPathTypeDataflow rptDataflow;
        try {
            rptDataflow = classContext.getReturnPathTypeDataflow(method);


            ReturnPathType rpt = rptDataflow.getFactAtLocation(loc);


            return !rpt.canReturnNormally();
        } catch (CheckedAnalysisException e) {
            AnalysisContext.logError("Error getting return path type", e);
            return false;
        }
    }

View Full Code Here

Examples of edu.umd.cs.findbugs.ba.npe.ReturnPathType


        ReturnPathTypeDataflow rptDataflow;
        try {
            rptDataflow = classContext.getReturnPathTypeDataflow(method);


            ReturnPathType rpt = rptDataflow.getFactAtLocation(loc);


            return !rpt.canReturnNormally();
        } catch (CheckedAnalysisException e) {
            AnalysisContext.logError("Error getting return path type", e);
            return false;
        }
    }

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.