Rework WidevineSamplePlayer to use fragments

Previously it used TabActivity which has been deprecated
and no longer works.

bug: 29045104

Change-Id: I207f0208b6dba47adfa0ffe7485800d1561af617

proprietary/samplePlayer/src/com/widevine/demo/DownloadFragment.java

@@ -0,0 +1,71 @@
+/*
+ * (c)Copyright 2011 Google, Inc
+ */
+
+package com.widevine.demo;
+
+import java.io.File;
+import java.io.FilenameFilter;
+import java.util.ArrayList;
+import android.content.Context;
+import android.widget.Toast;
+
+public class DownloadFragment extends AssetFragment {
+    private static String TAG = "DownloadActivity";
+
+    protected boolean setUpAssetPages() {
+        pages = new ArrayList<AssetsPage>();
+
+        File[] assets = getDownloadedClips();
+
+        if (assets != null && assets.length > 0) {
+            for (int i = 0; i < assets.length;) {
+                AssetsPage page = new AssetsPage();
+                for (int j = 0; j < AssetsPage.MAX_ITEMS && i < assets.length; j++, i++) {
+                    page.addPage(assets[i].getAbsolutePath(), null, null);
+                }
+                pages.add(page);
+            }
+            return true;
+        } else {
+            return false;
+        }
+    }
+
+    private File[] getDownloadedClips() {
+
+        File file = new File("/sdcard/Widevine");
+        String message = null;
+
+        if (!file.exists()) {
+            message = "Warning: /sdcard/Widevine does not exist, create it for downloads";
+        } else if (!file.isDirectory()) {
+            message = "Warning: /sdcard/Widevine is not a directory";
+        } else if (!file.canRead()) {
+            message = "Warning: unable to read /sdcard/Widevine, check settings->app->permissions->storage";
+        }
+
+        if (message != null) {
+            Context context = getActivity().getApplicationContext();
+            int duration = Toast.LENGTH_LONG;
+
+            Toast toast = Toast.makeText(context, message, duration);
+            toast.show();
+        }
+
+        FilenameFilter filter = new FilenameFilter() {
+            public boolean accept(File dir, String name) {
+                File file = new File(dir.getAbsolutePath() + File.separator + name);
+                if (!file.isDirectory()
+                        && !name.equals("curl")
+                    && (name.contains(".wvm") || name.contains(".ts") || name.contains(".mp4") ||
+                        name.contains(".m3u8") | !name.contains(".")))
+                    return true;
+                else
+                    return false;
+            }
+        };
+
+        return file.listFiles(filter);
+    }
+}