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 org.apache.bcel.generic.MethodGen;
22:
23: import edu.umd.cs.findbugs.ba.CFG;
24: import edu.umd.cs.findbugs.ba.DepthFirstSearch;
25: import edu.umd.cs.findbugs.ba.LockAnalysis;
26: import edu.umd.cs.findbugs.ba.LockDataflow;
27: import edu.umd.cs.findbugs.ba.MethodUnprofitableException;
28: import edu.umd.cs.findbugs.ba.vna.ValueNumberDataflow;
29: import edu.umd.cs.findbugs.classfile.CheckedAnalysisException;
30: import edu.umd.cs.findbugs.classfile.IAnalysisCache;
31: import edu.umd.cs.findbugs.classfile.MethodDescriptor;
32:
33: /**
34: * Analysis engine to produce LockDataflow objects for
35: * analyzed methods.
36: *
37: * @author David Hovemeyer
38: */
39: public class LockDataflowFactory extends AnalysisFactory<LockDataflow> {
40: /**
41: * Constructor.
42: */
43: public LockDataflowFactory() {
44: super ("lock set analysis", LockDataflow.class);
45: }
46:
47: /* (non-Javadoc)
48: * @see edu.umd.cs.findbugs.classfile.IAnalysisEngine#analyze(edu.umd.cs.findbugs.classfile.IAnalysisCache, java.lang.Object)
49: */
50: public LockDataflow analyze(IAnalysisCache analysisCache,
51: MethodDescriptor descriptor)
52: throws CheckedAnalysisException {
53: MethodGen methodGen = getMethodGen(analysisCache, descriptor);
54: if (methodGen == null) {
55: throw new MethodUnprofitableException(descriptor);
56: }
57: ValueNumberDataflow vnaDataflow = getValueNumberDataflow(
58: analysisCache, descriptor);
59: DepthFirstSearch dfs = getDepthFirstSearch(analysisCache,
60: descriptor);
61: CFG cfg = getCFG(analysisCache, descriptor);
62:
63: LockAnalysis analysis = new LockAnalysis(methodGen,
64: vnaDataflow, dfs);
65: LockDataflow dataflow = new LockDataflow(cfg, analysis);
66: dataflow.execute();
67: return dataflow;
68:
69: }
70: }
|