public void transfer(BasicBlock basicBlock, InstructionHandle end, BlockType start, BlockType result)
public void transfer(BasicBlock basicBlock, @CheckForNull InstructionHandle end, BlockType start, BlockType result)
	public void transfer(BasicBlock basicBlock, InstructionHandle end, BlockType start, BlockType result)			throws DataflowAnalysisException {		result.copyFrom(start);		if (start.isValid()) {			if (basicBlock.isExceptionHandler()) {				CodeExceptionGen exceptionGen = basicBlock.getExceptionGen();				ObjectType catchType = exceptionGen.getCatchType();				if (catchType == null) {					// Probably a finally block, or a synchronized block					// exception-compensation catch block.					result.pushFinally();				} else {					// Catch type was explicitly specified:					// this is probably a programmer-written catch block					result.pushCatch();				}			}		}	}