visitInstruction(location, methodGen, dataflow);
visitLocation(location, methodGen, dataflow);
	private void analyzeMethod(ClassContext classContext, Method method)	        throws CFGBuilderException, DataflowAnalysisException {		MethodGen methodGen = classContext.getMethodGen(method);		CFG cfg = classContext.getCFG(method);		LockDataflow dataflow = classContext.getLockDataflow(method);		for (Iterator<Location> j = cfg.locationIterator(); j.hasNext();) {			Location location = j.next();			visitInstruction(location, methodGen, dataflow);		}	}