short opcode = last.getInstruction().getOpcode(); if (opcode == Constants.IFNULL || opcode == Constants.IFNONNULL) {  boolean isNull = (opcode == Constants.IFNULL && edge.getType() == EdgeTypes.IFCMP_EDGE) || (opcode == Constants.IFNONNULL && edge.getType() == EdgeTypes.FALL_THROUGH_EDGE);
	public void edgeTransfer(Edge edge, DefinitelyNullSet fact) throws DataflowAnalysisException {		if (edge.getSource().isEmpty()) {			return;		}		InstructionHandle last = edge.getSource().getLastInstruction();		Location cmpLoc = new Location(last, edge.getSource());		ValueNumberFrame vnaFrame = vnaDataflow.getFactAtLocation(cmpLoc);				short opcode = last.getInstruction().getOpcode();		if (opcode == Constants.IFNULL || opcode == Constants.IFNONNULL) {						boolean isNull =				(opcode == Constants.IFNULL && edge.getType() == EdgeTypes.IFCMP_EDGE)				|| (opcode == Constants.IFNONNULL && edge.getType() == EdgeTypes.FALL_THROUGH_EDGE);			setTOS(vnaFrame, cmpLoc, fact, isNull);					} else if (opcode == Constants.IF_ACMPEQ || opcode == Constants.IF_ACMPNE) {			// TODO					}	}