public static void addReceiverObjectType(
private static void addReceiverObjectType(
	public static void addReceiverObjectType(			WarningPropertySet propertySet,			ClassContext classContext,			Method method,			Location location) {		try {			Instruction ins = location.getHandle().getInstruction();						if (!receiverObjectInstructionSet.get(ins.getOpcode()))				return;						TypeDataflow typeDataflow = classContext.getTypeDataflow(method);			TypeFrame frame = typeDataflow.getFactAtLocation(location);			if (frame.isValid()) {				Type type = frame.getInstance(ins, classContext.getConstantPoolGen());				if (type instanceof ReferenceType) {					propertySet.setProperty(GeneralWarningProperty.RECEIVER_OBJECT_TYPE, type.toString());				}			}		} catch (DataflowAnalysisException e) {			// Ignore		} catch (CFGBuilderException e) {			// Ignore		}	}