private ThisValueFrame getFrame(BasicBlock basicBlock, InstructionHandle handle) throws DataflowAnalysisException { ThisValueFrame frame = null; if (tvaDataflow != null) { DataflowAnalysis<ThisValueFrame> tva = tvaDataflow.getAnalysis(); frame = tva.createFact(); tva.transfer(basicBlock, handle, tvaDataflow.getStartFact(basicBlock), frame); } return frame;
private ThisValueFrame getFrame(InstructionHandle handle) { ThisValueFrame result = null; if (tvaDataflowAnalysis != null) result = tvaDataflowAnalysis.getFactAtInstruction(handle); return result;
	private ThisValueFrame getFrame(BasicBlock basicBlock, InstructionHandle handle) throws DataflowAnalysisException {		ThisValueFrame frame = null;		if (tvaDataflow != null) {			DataflowAnalysis<ThisValueFrame> tva = tvaDataflow.getAnalysis();			frame = tva.createFact();			tva.transfer(basicBlock, handle, tvaDataflow.getStartFact(basicBlock), frame);		}		return frame;	}