javimar

public static void updateSetInPreferences(Context context, int appWidgetId, String key, String action)
    {
        SharedPreferences prefs = PreferenceManager.getDefaultSharedPreferences(context);
        SharedPreferences.Editor editor = prefs.edit();
        Set<String> storedSet, in;
        switch(action)
        {
            case ACTION_ADD_APP_WIDGET_ID:
                storedSet = prefs.getStringSet(key, new HashSet<>());
                in = new HashSet<>(storedSet);

javimar

/**
 * fifteen.c
 *
 * Computer Science 50
 * Problem Set 3
 *
 * Implements Game of Fifteen (generalized to d x d).
 *
 * Usage: fifteen d
 *