Castopod/AntennaPod
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

NonNull annotation

Browse Source
This commit is contained in:
ByteHamster 2019-01-15 20:48:15 +01:00
parent 35f6050194
commit 994a73a06f
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
core/src/main/java/de/danoeh/antennapod/core/storage/DBWriter.java
View File

@ -7,6 +7,7 @@ import android.content.SharedPreferences;
import android.preference.PreferenceManager; import android.preference.PreferenceManager;
import android.util.Log; import android.util.Log;
import io.reactivex.annotations.NonNull;
import org.shredzone.flattr4j.model.Flattr; import org.shredzone.flattr4j.model.Flattr;
import java.io.File; import java.io.File;
@ -80,7 +81,7 @@ public class DBWriter {
* @param context A context that is used for opening a database connection. * @param context A context that is used for opening a database connection.
* @param mediaId ID of the FeedMedia object whose downloaded file should be deleted. * @param mediaId ID of the FeedMedia object whose downloaded file should be deleted.
*/ */
public static Future<?> deleteFeedMediaOfItem(final Context context, public static Future<?> deleteFeedMediaOfItem(@NonNull final Context context,
final long mediaId) { final long mediaId) {
return dbExec.submit(() -> { return dbExec.submit(() -> {
final FeedMedia media = DBReader.getFeedMedia(mediaId); final FeedMedia media = DBReader.getFeedMedia(mediaId);
@ -94,7 +95,7 @@ public class DBWriter {
}); });
} }
private static boolean deleteFeedMediaSynchronous(Context context, FeedMedia media) { private static boolean deleteFeedMediaSynchronous(@NonNull Context context, @NonNull FeedMedia media) {
Log.i(TAG, String.format("Requested to delete FeedMedia [id=%d, title=%s, downloaded=%s", Log.i(TAG, String.format("Requested to delete FeedMedia [id=%d, title=%s, downloaded=%s",
media.getId(), media.getEpisodeTitle(), String.valueOf(media.isDownloaded()))); media.getId(), media.getEpisodeTitle(), String.valueOf(media.isDownloaded())));
if (media.isDownloaded()) { if (media.isDownloaded()) {