summaryrefslogtreecommitdiff
path: root/core/src/main/java/de
diff options
context:
space:
mode:
authorByteHamster <info@bytehamster.com>2019-01-15 20:48:15 +0100
committerByteHamster <info@bytehamster.com>2019-01-15 20:48:15 +0100
commit994a73a06fa49f294718f4d33ba22b632f035c29 (patch)
tree7e6df4c7c21fbdc4b29f254755397fdc6fce6be4 /core/src/main/java/de
parent35f6050194d9525e6554fd51fc69fe937cfa8ba6 (diff)
downloadAntennaPod-994a73a06fa49f294718f4d33ba22b632f035c29.zip
NonNull annotation
Diffstat (limited to 'core/src/main/java/de')
-rw-r--r--core/src/main/java/de/danoeh/antennapod/core/storage/DBWriter.java5
1 files changed, 3 insertions, 2 deletions
diff --git a/core/src/main/java/de/danoeh/antennapod/core/storage/DBWriter.java b/core/src/main/java/de/danoeh/antennapod/core/storage/DBWriter.java
index b13f2f8f3..ab55bd3c0 100644
--- a/core/src/main/java/de/danoeh/antennapod/core/storage/DBWriter.java
+++ b/core/src/main/java/de/danoeh/antennapod/core/storage/DBWriter.java
@@ -7,6 +7,7 @@ import android.content.SharedPreferences;
import android.preference.PreferenceManager;
import android.util.Log;
+import io.reactivex.annotations.NonNull;
import org.shredzone.flattr4j.model.Flattr;
import java.io.File;
@@ -80,7 +81,7 @@ public class DBWriter {
* @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.
*/
- public static Future<?> deleteFeedMediaOfItem(final Context context,
+ public static Future<?> deleteFeedMediaOfItem(@NonNull final Context context,
final long mediaId) {
return dbExec.submit(() -> {
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",
media.getId(), media.getEpisodeTitle(), String.valueOf(media.isDownloaded())));
if (media.isDownloaded()) {