AnalysisContext.reportMissingClass(e);
	private Obligation comparesObligationTypeToNull(Edge edge)			throws DataflowAnalysisException {		BasicBlock sourceBlock = edge.getSource();		InstructionHandle last = sourceBlock.getLastInstruction();		if (last == null)			return null;				Type type;				short opcode = last.getInstruction().getOpcode();		switch (opcode) {		case Constants.IFNULL:		case Constants.IFNONNULL:			if (   (edge.getType() == EdgeTypes.IFCMP_EDGE && opcode == Constants.IFNONNULL)				|| (edge.getType() == EdgeTypes.FALL_THROUGH_EDGE && opcode == Constants.IFNULL))				return null;						Location location = new Location(last, sourceBlock);			TypeFrame typeFrame = typeDataflow.getFactAtLocation(location);			type = typeFrame.getTopValue();			break;			/*		// FIXME: handle IF_ACMPXX 		case Constants.IFACMP_EQ: 		case Constants.IFACMP_NE: 			// ... 			break; 		 */				default:			return null;		}				if (!(type instanceof ObjectType))			return null;				try {			return factory.getObligationByType((ObjectType) type);		} catch (ClassNotFoundException e) {			throw new DataflowAnalysisException(					"Subtype query failed during ObligationAnalysis", e);		}	}