org.eclipse.core.runtime.Preferences#contains ( )源码实例Demo

private int getMaxRowPreference( )
{
	int maxRow;
	Preferences preferences = ReportPlugin.getDefault( )
			.getPluginPreferences( );
	if ( preferences.contains( DateSetPreferencePage.USER_MAXROW ) )
	{
		maxRow = preferences.getInt( DateSetPreferencePage.USER_MAXROW );
	}
	else
	{
		maxRow = DateSetPreferencePage.DEFAULT_MAX_ROW;
		preferences.setValue( DateSetPreferencePage.USER_MAXROW, maxRow );
	}
	return maxRow;
}
 

private void setDefaultPereferencesIfNeed( )
{
	Preferences preferences = JdbcPlugin.getDefault( )
			.getPluginPreferences( );
	if ( !preferences.contains( DateSetPreferencePage.SCHEMAS_PREFETCH_CONFIG ) )
	{
		preferences.setValue( DateSetPreferencePage.SCHEMAS_PREFETCH_CONFIG,
				DateSetPreferencePage.ENABLED );
	}
	if ( !preferences.contains( DateSetPreferencePage.ENABLE_CODE_ASSIST ) )
	{
		preferences.setValue( DateSetPreferencePage.ENABLE_CODE_ASSIST,
				DateSetPreferencePage.ENABLED );
	}
	if ( !preferences.contains( DateSetPreferencePage.USER_MAX_NUM_OF_SCHEMA ) )
	{
		preferences.setValue( DateSetPreferencePage.USER_MAX_NUM_OF_SCHEMA,
				String.valueOf( DateSetPreferencePage.DEFAULT_MAX_NUM_OF_SCHEMA ) );
	}
	if ( !preferences.contains( DateSetPreferencePage.USER_MAX_NUM_OF_TABLE_EACH_SCHEMA ) )
	{
		preferences.setValue( DateSetPreferencePage.USER_MAX_NUM_OF_TABLE_EACH_SCHEMA,
				String.valueOf( DateSetPreferencePage.DEFAULT_MAX_NUM_OF_TABLE_EACH_SCHEMA ) );
	}
	if ( !preferences.contains( DateSetPreferencePage.USER_TIMEOUT_LIMIT ) )
	{
		preferences.setValue( DateSetPreferencePage.USER_TIMEOUT_LIMIT,
				String.valueOf( DateSetPreferencePage.DEFAULT_TIMEOUT_LIMIT ) );
	}
}
 

public boolean getBoolean( String name )
{
	if ( this.preferenceType == SPECIAL_TYPE && project != null )
	{
		Preferences preference = prefs.getReportPreference( project );
		if ( preference != null && preference.contains( name ) )
			return preference.getBoolean( name );
	}
	return prefsStore.getBoolean( name );
}
 

public double getDouble( String name )
{
	if ( this.preferenceType == SPECIAL_TYPE && project != null )
	{
		Preferences preference = prefs.getReportPreference( project );
		if ( preference != null && preference.contains( name ) )
			return preference.getDouble( name );
	}
	return prefsStore.getDouble( name );
}
 

public float getFloat( String name )
{
	if ( this.preferenceType == SPECIAL_TYPE && project != null )
	{
		Preferences preference = prefs.getReportPreference( project );
		if ( preference != null && preference.contains( name ) )
			return preference.getFloat( name );
	}
	return prefsStore.getFloat( name );
}
 

public int getInt( String name )
{
	if ( this.preferenceType == SPECIAL_TYPE && project != null )
	{
		Preferences preference = prefs.getReportPreference( project );
		if ( preference != null && preference.contains( name ) )
			return preference.getInt( name );
	}
	return prefsStore.getInt( name );
}
 

public long getLong( String name )
{
	if ( this.preferenceType == SPECIAL_TYPE && project != null )
	{
		Preferences preference = prefs.getReportPreference( project );
		if ( preference != null && preference.contains( name ) )
			return preference.getLong( name );
	}
	return prefsStore.getLong( name );
}
 

public String getString( String name )
{
	if ( this.preferenceType == SPECIAL_TYPE && project != null )
	{
		Preferences preference = prefs.getReportPreference( project );
		if ( preference != null && preference.contains( name ) )
			return preference.getString( name );
	}
	return prefsStore.getString( name );
}
 

public static boolean contains(String key) {
  Preferences prefs = getPreferences();
  return prefs.contains(key);
}