Location location) throws DataflowAnalysisException, CFGBuilderException { TypeDataflow typeDataflow = classContext.getTypeDataflow(method); TypeFrame frame = typeDataflow.getFactAtLocation(location); if (frame.isValid()) { Type type = frame.getInstance( location.getHandle().getInstruction(), classContext.getConstantPoolGen()); if (type instanceof ReferenceType) { propertySet.setProperty(GeneralWarningProperty.RECEIVER_OBJECT_TYPE, type.toString());
Location location) { try { TypeDataflow typeDataflow = classContext.getTypeDataflow(method); TypeFrame frame = typeDataflow.getFactAtLocation(location); if (frame.isValid()) { Type type = frame.getInstance( location.getHandle().getInstruction(), classContext.getConstantPoolGen()); if (type instanceof ReferenceType) { propertySet.setProperty(GeneralWarningProperty.RECEIVER_OBJECT_TYPE, type.toString()); }
	public static void addReceiverObjectType(			WarningPropertySet propertySet,			ClassContext classContext,			Method method,			Location location) throws DataflowAnalysisException, CFGBuilderException {		TypeDataflow typeDataflow = classContext.getTypeDataflow(method);		TypeFrame frame = typeDataflow.getFactAtLocation(location);		if (frame.isValid()) {			Type type = frame.getInstance(					location.getHandle().getInstruction(), classContext.getConstantPoolGen());			if (type instanceof ReferenceType) {				propertySet.setProperty(GeneralWarningProperty.RECEIVER_OBJECT_TYPE, type.toString());			}		}	}