AppPreferencesModel.java

Go to the documentation of this file.

/*
 * Gridarta MMORPG map editor for Crossfire, Daimonin and similar games.
 * Copyright (C) 2000-2023 The Gridarta Developers.
 *
 * This program is free software; you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation; either version 2 of the License, or
 * (at your option) any later version.
 *
 * This program is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License along
 * with this program; if not, write to the Free Software Foundation, Inc.,
 * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
 */
 
package net.sf.gridarta.utils;
 
import java.util.ArrayList;
import java.util.List;
import java.util.prefs.Preferences;
import net.sf.gridarta.MainControl;
import org.jetbrains.annotations.NotNull;
 
public class AppPreferencesModel {
 
    @NotNull
    private static final String PREFERENCES_APP_SERVER = "appServer";
 
    @NotNull
    private static final String PREFERENCES_APP_CLIENT = "appClient";
 
    @NotNull
    private static final String PREFERENCES_APP_EDITOR = "appEditor2";
 
    @NotNull
    private static final Preferences PREFERENCES = Preferences.userNodeForPackage(MainControl.class);
 
    @NotNull
    private final String serverDefault;
 
    @NotNull
    private final String clientDefault;
 
    @NotNull
    private final String editorDefault;
 
    public AppPreferencesModel(@NotNull final String serverDefault, @NotNull final String clientDefault, @NotNull final String editorDefault) {
        this.serverDefault = serverDefault;
        this.clientDefault = clientDefault;
        this.editorDefault = editorDefault;
    }
 
    public static void setServer(@NotNull final CharSequence server) {
        PREFERENCES.put(PREFERENCES_APP_SERVER, PathManagerUtils.path(server));
    }
 
    public static void setClient(@NotNull final CharSequence client) {
        PREFERENCES.put(PREFERENCES_APP_CLIENT, PathManagerUtils.path(client));
    }
 
    public static void setEditor(@NotNull final CharSequence editor) {
        PREFERENCES.put(PREFERENCES_APP_EDITOR, PathManagerUtils.path(editor));
    }
 
    @NotNull
    public String getServer() {
        return PREFERENCES.get(PREFERENCES_APP_SERVER, serverDefault);
    }
 
    @NotNull
    public String getClient() {
        return PREFERENCES.get(PREFERENCES_APP_CLIENT, clientDefault);
    }
 
    @NotNull
    public String getEditor() {
        return PREFERENCES.get(PREFERENCES_APP_EDITOR, editorDefault);
    }
 
    @NotNull
    public static List<String> splitCommand(@NotNull final String command) {
        final char[] s = command.toCharArray();
        int pos = 0;
        while (pos < s.length && s[pos] == ' ') {
            pos++;
        }
        final List<String> result = new ArrayList<>();
        while (pos < s.length) {
            final int start;
            final int end;
            if (s[pos] == '"') {
                pos++;
                start = pos;
                while (pos < s.length && s[pos] != '"') {
                    pos++;
                }
                end = pos;
                if (pos < s.length && s[pos] == '"') {
                    pos++;
                }
            } else {
                start = pos;
                while (pos < s.length && s[pos] != ' ') {
                    pos++;
                }
                end = pos;
            }
            while (pos < s.length && s[pos] == ' ') {
                pos++;
            }
            result.add(new String(s, start, end - start));
        }
        if (result.isEmpty()) {
            result.add("");
        }
        return result;
    }
 
    @NotNull
    public String getServerDefault() {
        return serverDefault;
    }
 
    @NotNull
    public String getClientDefault() {
        return clientDefault;
    }
 
    @NotNull
    public String getEditorDefault() {
        return editorDefault;
    }
 
}