System.out.println("\n Pre: " + dataflow.getFactAfterLocation(loc));
UnconditionalValueDerefSet factAfterLocation = dataflow.getFactAfterLocation(loc); System.out.println("\n Pre: " + factAfterLocation); System.out.println("Vna: " + vnd.getFactAtLocation(loc));
			protected UnconditionalValueDerefDataflow analyze(Method method) throws CFGBuilderException, DataflowAnalysisException {								CFG cfg = getCFG(method);								ValueNumberDataflow vnd = getValueNumberDataflow(method);								UnconditionalValueDerefAnalysis analysis = new UnconditionalValueDerefAnalysis(						getReverseDepthFirstSearch(method),						cfg,						getMethodGen(method),						vnd,						getAssertionMethods()						);								// XXX: hack to clear derefs on not-null branches				analysis.clearDerefsOnNonNullBranches(getIsNullValueDataflow(method));								// XXX: type analysis is needed to resolve method calls for				// checking whether call targets unconditionally dereference parameters				analysis.setTypeDataflow(getTypeDataflow(method));								UnconditionalValueDerefDataflow dataflow =					new UnconditionalValueDerefDataflow(getCFG(method), analysis);				dataflow.execute();				 if (UnconditionalValueDerefAnalysis.DEBUG) {			        	System.out.println("\n\nUnconditionalValueDerefAnalysis analysis for " + method.getName());			        	TreeSet<Location> tree = new TreeSet<Location>();			        				        	for(Iterator<Location> locs = cfg.locationIterator(); locs.hasNext(); ) {			        		Location loc = locs.next();			        		tree.add(loc);			        	}			        	for(Location loc : tree) {			        		System.out.println("\n Pre: " + dataflow.getFactAfterLocation(loc));			        		System.out.println("Location: " + loc);			        		System.out.println("Post: " + dataflow.getFactAtLocation(loc));			        					        					        					        	}			        }			 				return dataflow;			}