public void transferInstruction(InstructionHandle handle, BasicBlock basicBlock, TypeFrame fact) throws DataflowAnalysisException { TypeFrameModelingVisitor visitor = new TypeFrameModelingVisitor(fact, methodGen.getConstantPool());
public void transferInstruction(InstructionHandle handle, BasicBlock basicBlock, TypeFrame fact) throws DataflowAnalysisException { visitor.setFrame(fact);
	public void transferInstruction(InstructionHandle handle, BasicBlock basicBlock, TypeFrame fact) throws DataflowAnalysisException {		TypeFrameModelingVisitor visitor = new TypeFrameModelingVisitor(fact, methodGen.getConstantPool());		handle.getInstruction().accept(visitor);	}