protected LockChecker analyze(Method method) throws CFGBuilderException, DataflowAnalysisException { LockChecker lockChecker = new LockChecker(ClassContext.this, method); lockChecker.execute(); return lockChecker; }
protected ReturnPathDataflow analyze(Method method) throws DataflowAnalysisException, CFGBuilderException { CFG cfg = getCFG(method); DepthFirstSearch dfs = getDepthFirstSearch(method); ReturnPathAnalysis analysis = new ReturnPathAnalysis(dfs); ReturnPathDataflow dataflow = new ReturnPathDataflow(cfg, analysis); dataflow.execute(); return dataflow; }
				protected LockChecker analyze(Method method) throws CFGBuilderException,						DataflowAnalysisException {					LockChecker lockChecker = new LockChecker(ClassContext.this, method);					lockChecker.execute();					return lockChecker;				}