01: /*
02: * FindBugs - Find Bugs in Java programs
03: * Copyright (C) 2003-2007 University of Maryland
04: *
05: * This library is free software; you can redistribute it and/or
06: * modify it under the terms of the GNU Lesser General Public
07: * License as published by the Free Software Foundation; either
08: * version 2.1 of the License, or (at your option) any later version.
09: *
10: * This library is distributed in the hope that it will be useful,
11: * but WITHOUT ANY WARRANTY; without even the implied warranty of
12: * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
13: * Lesser General Public License for more details.
14: *
15: * You should have received a copy of the GNU Lesser General Public
16: * License along with this library; if not, write to the Free Software
17: * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
18: */
19: package edu.umd.cs.findbugs.classfile.engine.bcel;
20:
21: import java.util.BitSet;
22:
23: import edu.umd.cs.findbugs.ba.CFG;
24: import edu.umd.cs.findbugs.ba.Dataflow;
25: import edu.umd.cs.findbugs.ba.PostDominatorsAnalysis;
26: import edu.umd.cs.findbugs.classfile.CheckedAnalysisException;
27: import edu.umd.cs.findbugs.classfile.IAnalysisCache;
28: import edu.umd.cs.findbugs.classfile.MethodDescriptor;
29:
30: /**
31: * Analysis engine to produce NonImplicitExceptionPostDominatorsAnalysis
32: * objects for analyzed methods.
33: *
34: * @author David Hovemeyer
35: */
36: public class NonImplicitExceptionPostDominatorsAnalysisFactory extends
37: AnalysisFactory<NonImplicitExceptionPostDominatorsAnalysis> {
38: /**
39: * Constructor.
40: */
41: public NonImplicitExceptionPostDominatorsAnalysisFactory() {
42: super ("non-implicit-exception postdominators analysis",
43: NonImplicitExceptionPostDominatorsAnalysis.class);
44: }
45:
46: /* (non-Javadoc)
47: * @see edu.umd.cs.findbugs.classfile.IAnalysisEngine#analyze(edu.umd.cs.findbugs.classfile.IAnalysisCache, java.lang.Object)
48: */
49: public NonImplicitExceptionPostDominatorsAnalysis analyze(
50: IAnalysisCache analysisCache, MethodDescriptor descriptor)
51: throws CheckedAnalysisException {
52: CFG cfg = getCFG(analysisCache, descriptor);
53: NonImplicitExceptionPostDominatorsAnalysis analysis = new NonImplicitExceptionPostDominatorsAnalysis(
54: cfg, getReverseDepthFirstSearch(analysisCache,
55: descriptor), getDepthFirstSearch(analysisCache,
56: descriptor));
57: Dataflow<BitSet, PostDominatorsAnalysis> dataflow = new Dataflow<BitSet, PostDominatorsAnalysis>(
58: cfg, analysis);
59: dataflow.execute();
60:
61: return analysis;
62: }
63: }
|