import ro.sync.exml.workspace.api.options.WSOptionsStorage; //导入依赖的package包/类
public static String getOption(String key, boolean defaults) {
    String defaultValue;
    switch (key) {
        case KEY_BASEX_CONNECTION_SETTING: defaultValue = DEF_BASEX_CONNECTION_SETTING; break;
        case KEY_BASEX_HOST: defaultValue = DEF_BASEX_HOST; break;
        case KEY_BASEX_HTTP_PORT: defaultValue = DEF_BASEX_HTTP_PORT; break;
        case KEY_BASEX_TCP_PORT: defaultValue = DEF_BASEX_TCP_PORT; break;
        case KEY_BASEX_USERNAME: defaultValue = DEF_BASEX_USERNAME; break;
        case KEY_BASEX_PASSWORD: defaultValue = DEF_BASEX_PASSWORD; break;
        case KEY_BASEX_CONNECTION: defaultValue = DEF_BASEX_CONNECTION; break;
        case KEY_BASEX_VERSIONING: defaultValue = DEF_BASEX_VERSIONING; break;
        case KEY_BASEX_LOGFILE: defaultValue = DEF_BASEX_LOGFILE; break;
        case KEY_BASEX_DB_CREATE_CHOP: defaultValue = DEF_BASEX_DB_CREATE_CHOP; break;
        case KEY_BASEX_DB_CREATE_FTINDEX: defaultValue = DEF_BASEX_DB_CREATE_FTINDEX; break;
        case KEY_BASEX_DB_CREATE_TEXTINDEX: defaultValue = DEF_BASEX_DB_CREATE_TEXTINDEX; break;
        case KEY_BASEX_DB_CREATE_ATTRINDEX: defaultValue = DEF_BASEX_DB_CREATE_ATTRINDEX; break;
        case KEY_BASEX_DB_CREATE_TOKENINDEX: defaultValue = DEF_BASEX_DB_CREATE_TOKENINDEX; break;
        default: defaultValue = "empty option";
    }
    if (defaults) {
        return defaultValue;
    } else {
        PluginWorkspace pluginWorkspace = PluginWorkspaceProvider.getPluginWorkspace();
        if (pluginWorkspace != null) {
            WSOptionsStorage store = pluginWorkspace.getOptionsStorage();
            if (store != null)
                return store.getOption(key, defaultValue);
            else {
                logger.error("Plugin error - no option storage accessible");
                return defaultValue;
            }
        } else {
            logger.error("Plugin error - no plugin workspace accessible");
            return defaultValue;
        }
    }
}
 

import ro.sync.exml.workspace.api.options.WSOptionsStorage; //导入依赖的package包/类
public boolean showDialog() {
	final WSOptionsStorage 	optionsStorage 		= PluginWorkspaceProvider.getPluginWorkspace().getOptionsStorage();
	Dimension size = stringToSize(optionsStorage.getOption(PROPERTIES + SIZE, ""));
	Point position = stringToPosition(optionsStorage.getOption(PROPERTIES + POSITION, ""));
	int[] colwidth = stringToColwidth(optionsStorage.getOption(PROPERTIES + COLWIDTH, ""));
	setProperties(size, position, colwidth);
	setVisible(true);
	saveState();
	return getResult();
}
 

import ro.sync.exml.workspace.api.options.WSOptionsStorage; //导入依赖的package包/类
private void saveState() {
		final WSOptionsStorage optionsStorage = PluginWorkspaceProvider.getPluginWorkspace().getOptionsStorage();

		// Position und Größe des Dialogs
    	final Point 	position	= getLocation();
    	final Dimension size		= getSize();
    	final String	posString 	= String.valueOf(position.x) + "," + String.valueOf(position.y);
    	final String	sizeString	= String.valueOf(size.width) + "," + String.valueOf(size.height);
    	
//    	logger.info("saveState: " + size + ", " + position + ", " + getColWidth());
    	
    	optionsStorage.setOption(PROPERTIES + POSITION, posString);
    	optionsStorage.setOption(PROPERTIES + SIZE, sizeString);
    	optionsStorage.setOption(PROPERTIES + COLWIDTH, getColWidth());
	}
 

import ro.sync.exml.workspace.api.options.WSOptionsStorage; //导入依赖的package包/类
private void saveState(String properties, Dimension size) {
	try {
		//logger.info("saveState");
		final WSOptionsStorage 	optionsStorage 	= PluginWorkspaceProvider.getPluginWorkspace().getOptionsStorage();
    	final String			sizeString 		= String.valueOf(size.width) + "," + String.valueOf(size.height);
    	optionsStorage.setOption(properties, sizeString);
	} catch (Exception e) {
		logger.error(e, e);
	}
}
 

import ro.sync.exml.workspace.api.options.WSOptionsStorage; //导入依赖的package包/类
private Dimension loadState(String properties, Dimension defaultSize) {
	//logger.info("loadState");
	final WSOptionsStorage 	optionsStorage 	= PluginWorkspaceProvider.getPluginWorkspace().getOptionsStorage();
	final String 			sizeProperties 	= optionsStorage.getOption(properties, "");
	//logger.info("sizeProperties: " + sizeProperties);
	if (sizeProperties != null) {
		final String[] size = sizeProperties.split(",");
		if (size.length == 2) {
			return new Dimension(Integer.parseInt(size[0]), Integer.parseInt(size[1]));
		}
	}
	return defaultSize;
}
 

import ro.sync.exml.workspace.api.options.WSOptionsStorage; //导入依赖的package包/类
private LanguageToolClient getLanguageToolClient() {
  WSOptionsStorage storage = pluginWorkspaceAccess.getOptionsStorage();
  String server;
  if (getBooleanOption(USE_INTERNET_SERVER_KEY, false, storage)) {
    server = INTERNET_SERVER_URL;
  } else {
    server = storage.getOption(SERVER_URL_KEY, DEFAULT_URL);
  }
  SpellingRules spellingRules = getBooleanOption(IGNORE_SPELLING_ERRORS_KEY, true, storage) ?
          SpellingRules.Ignore : SpellingRules.Consider;
  WhitespaceRules whitespaceRules = getBooleanOption(IGNORE_WHITESPACE_ERRORS_KEY, true, storage) ?
          WhitespaceRules.Ignore : WhitespaceRules.Consider;
  return new LanguageToolClient(server, spellingRules, whitespaceRules);
}
 

import ro.sync.exml.workspace.api.options.WSOptionsStorage; //导入依赖的package包/类
public static Config readConfig(StandalonePluginWorkspace spw){
	WSOptionsStorage storage = spw.getOptionsStorage();
	return readConfig(storage.getOption(STORAGE_OPTION_KEY, readConfig().toString()));
}
 

import ro.sync.exml.workspace.api.options.WSOptionsStorage; //导入依赖的package包/类
private boolean getBooleanOption(String key, boolean defaultValue, WSOptionsStorage storage) {
  return storage.getOption(key, String.valueOf(defaultValue)).equals("true");
}