Java IntegerFieldEditor.setValidRange方法代碼示例

import org.eclipse.jface.preference.IntegerFieldEditor; //導入方法依賴的package包/類
/**
    * Creates the page components.
 */
protected void createFieldEditors() {
       TexlipsePreferencePage.addSpacer(getFieldEditorParent());
       addField(new BooleanFieldEditor(TexlipseProperties.INDENTATION, TexlipsePlugin.getResourceString("preferenceIndentEnabledLabel"), getFieldEditorParent()));

       String message = TexlipsePlugin.getResourceString("preferenceIndentLevelLabel").replaceFirst("%1", "" + MIN_INDENTATION).replaceFirst("%2", "" + MAX_INDENTATION);
       final IntegerFieldEditor indentationWidth = new IntegerFieldEditor(TexlipseProperties.INDENTATION_LEVEL, message, getFieldEditorParent());
       indentationWidth.setValidateStrategy(IntegerFieldEditor.VALIDATE_ON_KEY_STROKE);
       indentationWidth.setValidRange(MIN_INDENTATION, MAX_INDENTATION);
       if (TexlipsePlugin.getDefault().getPreferenceStore().getBoolean(TexlipseProperties.INDENTATION_TABS)) {
           indentationWidth.setEnabled(false, getFieldEditorParent());
       }
       addField(indentationWidth);
	
       BooleanFieldEditor indentationTabs = new BooleanFieldEditor(TexlipseProperties.INDENTATION_TABS, TexlipsePlugin.getResourceString("preferenceIndentTabsLabel"), getFieldEditorParent()){
	  @Override
	    protected void valueChanged(boolean oldValue, boolean newValue) {
	        super.valueChanged(oldValue, newValue);
	        if (newValue == true) indentationWidth.setEnabled(false, getFieldEditorParent());
	        else indentationWidth.setEnabled(true, getFieldEditorParent());
	    }  
	};
       addField(indentationTabs);
       TexlipsePreferencePage.addSpacer(getFieldEditorParent());
       addField(new StringListFieldEditor(TexlipseProperties.INDENTATION_ENVS, TexlipsePlugin.getResourceString("preferenceIndentEnvsLabel"), getFieldEditorParent()));
}
 

import org.eclipse.jface.preference.IntegerFieldEditor; //導入方法依賴的package包/類
private void createPollChangesIntervalGroup(Composite composite) {
	Composite groupComposite = new Composite(composite, SWT.LEFT);
	GridLayout layout = new GridLayout();
	layout.numColumns = 2;
	groupComposite.setLayout(layout);
	GridData gd = new GridData();
	gd.horizontalAlignment = GridData.FILL;
	gd.grabExcessHorizontalSpace = true;
	groupComposite.setLayoutData(gd);

	pollChangesInterval = new IntegerFieldEditor(POLL_CHANGES_INTERVAL_PREF, "Poll changes interval (seconds)",
			groupComposite);

	pollChangesInterval.setTextLimit(Integer.toString(MAX_POLL_CHANGES_INTERVAL).length());
	pollChangesInterval.setErrorMessage("The workspace save interval should be between 30 and 9999.");
	pollChangesInterval.setValidateStrategy(StringFieldEditor.VALIDATE_ON_KEY_STROKE);
	pollChangesInterval.setValidRange(MIN_POLL_CHANGES_INTERVAL, MAX_POLL_CHANGES_INTERVAL);
	pollChangesInterval.setPropertyChangeListener(event -> {
		if (event.getProperty().equals(FieldEditor.IS_VALID)) {
			setValid(pollChangesInterval.isValid());
		}
	});
	addField(pollChangesInterval);
}
 

import org.eclipse.jface.preference.IntegerFieldEditor; //導入方法依賴的package包/類
/**
 * Creates the field editors. Field editors are abstractions of
 * the common GUI blocks needed to manipulate various types
 * of preferences. Each field editor knows how to save and
 * restore itself.
 */
public void createFieldEditors()
{
    /*
    addField(new DirectoryFieldEditor(PreferenceConstants.P_PATH, "&Directory preference:", getFieldEditorParent()));
    addField(new BooleanFieldEditor(PreferenceConstants.P_BOOLEAN, "&An example of a boolean preference",
            getFieldEditorParent()));

    addField(new RadioGroupFieldEditor(PreferenceConstants.P_CHOICE, "An example of a multiple-choice preference",
            1, new String[][] { { "&Choice 1", "choice1" }, { "C&hoice 2", "choice2" } }, getFieldEditorParent()));
    addField(new StringFieldEditor(PreferenceConstants.P_STRING, "A &text preference:", getFieldEditorParent()));
    */
    addField(new BooleanFieldEditor(IPreferenceConstants.I_RESTORE_LAST_SPEC,
            "&Continue Previous Session on Restart", getFieldEditorParent()));
    
    IntegerFieldEditor minStorageSizeEditor = 
         new IntegerFieldEditor(IPreferenceConstants.I_MIN_DISPLAYED_SIZE, 
            "&Minimum spec storage displayed (in kilobytes)", getFieldEditorParent());
    addField(minStorageSizeEditor);
    minStorageSizeEditor.setValidRange(0, 2000000);
}
 

import org.eclipse.jface.preference.IntegerFieldEditor; //導入方法依賴的package包/類
protected IntegerFieldEditor createIntegerFieldEditor(final String name, final String label, final Composite parent, final FieldEditorDetails details) {
	final IntegerFieldEditor fieldEditor = new IntegerFieldEditor(name, label, parent);
	if (details != null) {
		if (details.getEmptyStringAllowed() != null) {
			fieldEditor.setEmptyStringAllowed(details.getEmptyStringAllowed());
		}
		if (details.getNumberMinimum() != null && details.getNumberMaximum() != null) {
			fieldEditor.setValidRange(details.getNumberMinimum().intValue(), details.getNumberMaximum().intValue());
			fieldEditor.setTextLimit(Math.max(Integer.toString(details.getNumberMaximum().intValue()).length(), Integer.toString(details.getNumberMinimum().intValue()).length()));
		}
		if (details.getTextLimit() != null) {
			fieldEditor.setTextLimit(details.getTextLimit());
		}
	}
	return fieldEditor;
}
 

import org.eclipse.jface.preference.IntegerFieldEditor; //導入方法依賴的package包/類
private void createUI(final Composite parent) {

		final Group group = new Group(parent, SWT.NONE);
		GridDataFactory.fillDefaults().grab(true, false).applyTo(group);

		// text: description height
		final IntegerFieldEditor fieldEditor = new IntegerFieldEditor(ITourbookPreferences.TOUR_EDITOR_DESCRIPTION_HEIGHT,
				Messages.pref_tour_editor_description_height,
				group);
		fieldEditor.setValidRange(2, 100);
		fieldEditor.getLabelControl(group).setToolTipText(Messages.pref_tour_editor_description_height_tooltip);
		UI.setFieldWidth(group, fieldEditor, UI.DEFAULT_FIELD_WIDTH);
		addField(fieldEditor);

		// set margins after the field editors are added
		final GridLayout groupLayout = (GridLayout) group.getLayout();
		groupLayout.marginWidth = 5;
		groupLayout.marginHeight = 5;
	}
 

import org.eclipse.jface.preference.IntegerFieldEditor; //導入方法依賴的package包/類
@Override
protected void createFieldEditors() {
	IntegerFieldEditor highThreshold = new IntegerFieldEditor(
			CoveragePlugin.HIGH_THRESHOLD_PREFERENCE,
			"&High coverage threshold:",
	 		getFieldEditorParent());
	highThreshold.setValidRange(0, 100);
	addField(highThreshold);	
	
	IntegerFieldEditor lowThreshold = new IntegerFieldEditor(
			CoveragePlugin.LOW_THRESHOLD_PREFERENCE,
			"&Low coverage threshold:",
	 		getFieldEditorParent());
	lowThreshold.setValidRange(0, 100);
	addField(lowThreshold);	
}
 

import org.eclipse.jface.preference.IntegerFieldEditor; //導入方法依賴的package包/類
/**
 * Creates the field editors. Field editors are abstractions of
 * the common GUI blocks needed to manipulate various types
 * of preferences. Each field editor knows how to save and
 * restore itself.
 */
@Override
public void createFieldEditors() {
	Composite parent = getFieldEditorParent();
	String valueString = EnsembleProperties.getProperty(P_TEMPLATE_PLAN_URI_EDITABLE);
	if (valueString == null || Boolean.FALSE != Boolean.parseBoolean(valueString)) {
		addField(new StringFieldEditor(P_TEMPLATE_PLAN_URI, "Template plan URI", parent));
	}
	addField(new BooleanFieldEditor(P_CHECK_CUSTODIAN, "Check custodian when saving", parent));
	addField(new BooleanFieldEditor(P_CROSS_EDITOR_SELECTIONS, "Share selections across editors", parent));
	Label reorderByTimeLabel=new Label(parent, SWT.None);
	reorderByTimeLabel.setText("Reorder by time usually uses the start time of an activity \nor activity group unless the duration in hours is longer than large plan item duration.");
	GridData reorderByTimeLayout = new GridData();
	reorderByTimeLayout.horizontalSpan=2;
	reorderByTimeLabel.setLayoutData(reorderByTimeLayout);
	IntegerFieldEditor reorderByTimeField=new IntegerFieldEditor(P_WATERFALL_LARGE_ELEMENT_DURATION_IN_HOURS, "", parent);
	reorderByTimeField.setLabelText("Large Plan Item Duration");
	reorderByTimeField.setEmptyStringAllowed(false);
	reorderByTimeField.setValidRange(0, 10000);
	addField(reorderByTimeField);

}
 

import org.eclipse.jface.preference.IntegerFieldEditor; //導入方法依賴的package包/類
/**
 * Create contents of the preference page.
 */
@Override
protected void createFieldEditors() {
    
    serverAddress = new StringListEditor(MONDO_ADDRESSES_PROPERTY, "Server Addresses", getFieldEditorParent());
    extensions = new StringListEditor(MONDO_EXTENSIONS_PROPERTY, "Extensions", getFieldEditorParent());
    tempFolder = new DirectoryFieldEditor(MONDO_TEMP_PROPERTY, "Temp folder", getFieldEditorParent());
    enableLock = new BooleanFieldEditor(MONDO_ENABLE_PROPERTY, "Enable live-lock", getFieldEditorParent());
    lockUpdateDelay = new IntegerFieldEditor(MONDO_DELAY_PROPERTY, "Lock update delay [ms] (0 = manually)",
            getFieldEditorParent());
    lockUpdateDelay.setValidRange(0, 100000);

    
    addField(serverAddress);
    addField(extensions);
    addField(tempFolder);
    addField(enableLock);
    addField(lockUpdateDelay);
}
 

import org.eclipse.jface.preference.IntegerFieldEditor; //導入方法依賴的package包/類
@Override
protected void createFieldEditors() {
    Composite p = getFieldEditorParent();

    showVerticalindentGuideFieldEditor = new BooleanFieldEditor(PydevEditorPrefs.USE_VERTICAL_INDENT_GUIDE,
            "Show vertical indent guide?", p);
    addField(showVerticalindentGuideFieldEditor);

    useEditorForegroundAsColorFieldEditor = new BooleanFieldEditor(
            PydevEditorPrefs.USE_VERTICAL_INDENT_COLOR_EDITOR_FOREGROUND,
            "Use the editor foreground as the color?", p);
    addField(useEditorForegroundAsColorFieldEditor);

    selectionColorFieldEditor = new ColorFieldEditor(PydevEditorPrefs.VERTICAL_INDENT_COLOR,
            "Vertical indent guide color.", p);
    addField(selectionColorFieldEditor);

    transparencyFieldEditor = new IntegerFieldEditor(PydevEditorPrefs.VERTICAL_INDENT_TRANSPARENCY,
            "Vertical indent guide transparency\n(0 = transparent, 255 = opaque).", p);
    transparencyFieldEditor.setValidRange(0, 255);
    addField(transparencyFieldEditor);

    updateInitialState();
}
 

import org.eclipse.jface.preference.IntegerFieldEditor; //導入方法依賴的package包/類
/**
 * Creates the field editors. Field editors are abstractions of the common GUI blocks needed to manipulate various types of preferences. Each field editor knows how to save and restore itself.
 */
@Override
public void createFieldEditors ()
{
    final IntegerFieldEditor fieldEditor = new IntegerFieldEditor ( PreferenceConstants.P_DEFAULT_CHUNK_SIZE, "&Default chunk size:", getFieldEditorParent () );
    fieldEditor.setEmptyStringAllowed ( false );
    fieldEditor.setValidRange ( 1, Integer.MAX_VALUE );
    fieldEditor.setValidateStrategy ( StringFieldEditor.VALIDATE_ON_KEY_STROKE );

    addField ( fieldEditor );
}
 

import org.eclipse.jface.preference.IntegerFieldEditor; //導入方法依賴的package包/類
private IntegerFieldEditor newMinimumRangeFieldEditor(String name, String labelText,
    int minimumValue, String errorMessagePrefix, Composite parent) {

  IntegerFieldEditor editor = new IntegerFieldEditor(name, labelText, parent);
  editor.setValidRange(minimumValue, Integer.MAX_VALUE);
  // Overriding the error message defined by "setValidRange, ".
  editor.setErrorMessage(errorMessagePrefix + " must be no less than " + minimumValue);

  return editor;
}
 

import org.eclipse.jface.preference.IntegerFieldEditor; //導入方法依賴的package包/類
/**
 * Creates the field editors. Field editors are abstractions of
 * the common GUI blocks needed to manipulate various types
 * of preferences. Each field editor knows how to save and
 * restore itself.
 */
public void createFieldEditors() {
    TexlipsePreferencePage.addSpacer(3, getFieldEditorParent());
    addField(new BooleanFieldEditor(TexlipseProperties.BIB_COMPLETION, TexlipsePlugin.getResourceString("preferenceBibCompletion"), getFieldEditorParent()));
    String message = TexlipsePlugin.getResourceString("preferenceBibCompletionDelay").replaceFirst("%1", "" + MIN_DELAY).replaceFirst("%2", "" + MAX_DELAY);
    IntegerFieldEditor delay = new IntegerFieldEditor(TexlipseProperties.BIB_COMPLETION_DELAY, message, getFieldEditorParent());
    delay.setValidateStrategy(IntegerFieldEditor.VALIDATE_ON_KEY_STROKE);
    delay.setValidRange(MIN_DELAY, MAX_DELAY);
    addField(delay);
    
    addField(new BooleanFieldEditor(TexlipseProperties.BIB_CODE_FOLDING, TexlipsePlugin.getResourceString("preferenceBibCodeFolding"), getFieldEditorParent()));
    addField(new BooleanFieldEditor(TexlipseProperties.BIB_FOLD_INITIAL, TexlipsePlugin.getResourceString("preferenceBibFoldInitial"), getFieldEditorParent()));
    //addField(new BooleanFieldEditor(TexlipseProperties.BIB_STRING, TexlipsePlugin.getResourceString("preferenceBibString"), getFieldEditorParent()));        
    //addField(new BooleanFieldEditor(TexlipseProperties.BIB_FREQSORT, TexlipsePlugin.getResourceString("preferenceBibFreqSort"), getFieldEditorParent()));
}
 

import org.eclipse.jface.preference.IntegerFieldEditor; //導入方法依賴的package包/類
/**
    * Creates the page components.
 */
protected void createFieldEditors() {
       
       TexlipsePreferencePage.addSpacer(2, getFieldEditorParent());
       ViewerListFieldEditor vfe = new ViewerListFieldEditor(TexlipsePlugin.getResourceString("preferenceViewerConfigsLabel"), getFieldEditorParent());
       addField(vfe);
       WorkbenchHelp.setHelp(vfe.getListControl(getFieldEditorParent()), TexlipseHelpIds.VIEWER_LIST);

       // Depricated. Eclipse has it's own mechanism for auto rebuild.
       //TexlipsePreferencePage.addSpacer(2, getFieldEditorParent());
       //TexlipsePreferencePage.addSeparator(2, getFieldEditorParent());
       //addField(new BooleanFieldEditor(TexlipseProperties.BUILD_BEFORE_VIEW, TexlipsePlugin.getResourceString("preferenceViewerBuildLabel"), getFieldEditorParent()));
       
       TexlipsePreferencePage.addSpacer(2, getFieldEditorParent());
       TexlipsePreferencePage.addSeparator(2, getFieldEditorParent());
       
       TexlipsePreferencePage.addSpacer(2, getFieldEditorParent());
       TexlipsePreferencePage.addLabelField(2, TexlipsePlugin.getResourceString("preferenceViewerPortLabel"), getFieldEditorParent());
       String message = TexlipsePlugin.getResourceString("preferenceViewerConfigsPort").replaceFirst("%1", "" + MIN_PORT).replaceFirst("%2", "" + MAX_PORT);
       IntegerFieldEditor port = new IntegerFieldEditor(TexlipseProperties.FILE_LOCATION_PORT, message, getFieldEditorParent());
       port.setValidateStrategy(IntegerFieldEditor.VALIDATE_ON_KEY_STROKE);
       port.setValidRange(MIN_PORT, MAX_PORT);
       addField(port);
       
       addField(new BooleanFieldEditor(TexlipseProperties.BUILDER_FORCE_RETURN_FOCUS, TexlipsePlugin.getResourceString("forceReturnFocusOnInverseSearch"), getFieldEditorParent()));
       
       addField(new BooleanFieldEditor(TexlipseProperties.BUILDER_RETURN_FOCUS, TexlipsePlugin.getResourceString("preferenceViewerReturnFocusLabel"), getFieldEditorParent()));
       
       WorkbenchHelp.setHelp(port.getTextControl(getFieldEditorParent()), TexlipseHelpIds.VIEWER_PORT);
   }
 

import org.eclipse.jface.preference.IntegerFieldEditor; //導入方法依賴的package包/類
@Override
protected void createFieldEditors() {

	Composite composite = getFieldEditorParent();

	// set the maximum number of threads
	IntegerFieldEditor maxThreads = new IntegerFieldEditor(CONFIG_MAX_THREADS.longName(),
			"Maximum number of threads", composite);
	maxThreads.setValidRange(1, 10 * Runtime.getRuntime().availableProcessors());
	addField(maxThreads);

	IntegerFieldEditor maxStreamBufferSize = new IntegerFieldEditor(CONFIG_STREAM_BUFFERS_SIZE.longName(),
			"Input/output stream buffer size", composite);
	maxStreamBufferSize.setValidRange(100, Integer.MAX_VALUE);
	addField(maxStreamBufferSize);

	IntegerFieldEditor maxQueueSize = new IntegerFieldEditor(CONFIG_QUEUES_SIZE.longName(),
			"The queue size used by parallel threads or processes", composite);
	maxQueueSize.setValidRange(100, Integer.MAX_VALUE);
	addField(maxQueueSize);

	addField(new BooleanFieldEditor(CONFIG_MINIMIZE_MEMORY_USAGE.longName(),
			"Minimize the memory usage required by the analysies (some analysies could be slower)", composite));

	addField(new BooleanFieldEditor(CONFIG_REMOVE_TEMP_TRACE_FILES.longName(),
			"Remove all the temporary trace file before loading again the same trace", composite));

	addField(new BooleanFieldEditor(CONFIG_VERBOSE.longName(), "Debug mode", composite));

}
 

import org.eclipse.jface.preference.IntegerFieldEditor; //導入方法依賴的package包/類
protected void createFieldEditors()
{   IntegerFieldEditor rightMarginEditor = 
        new IntegerFieldEditor(EDITOR_RIGHT_MARGIN, "&Module editor right margin", 
               getFieldEditorParent());
    addField(rightMarginEditor);
    rightMarginEditor.setValidRange(20, 200);
    
    addField(new BooleanFieldEditor(CLEAR_DECLARATION_USE_MARKERS_ON_PARSE,
            "&Clear declaration use markers when parsing", getFieldEditorParent()));
    
    // Preferences for renumbering.  Added 25 July 2013 by LL
    Label lbl = new Label(getFieldEditorParent(), SWT.NONE);
    GridData gd = new GridData();
    gd.horizontalSpan = 2;
    lbl.setLayoutData(gd);
    
    lbl = new Label(getFieldEditorParent(), SWT.NONE);
    lbl.setText("Renumber Proof Command preferences") ;
    lbl.setLayoutData(gd);
    
    addField(new RadioGroupFieldEditor(EditorPreferencePage.RENUMBER_KEY, 
    		"Which step names to renumber", 1,
    		new String[][] 
    	      { {"All step names", ALL_NAMES},
    		  {"Names containing  a digit", SOME_DIGIT},
    	      {"Names beginning with a digit", FIRST_DIGIT},
    	      {"Names that are all digits", ALL_DIGITS} },
    		getFieldEditorParent())) ;
    addField(new BooleanFieldEditor(SAVE_MODULE, "&Save module", 
               getFieldEditorParent())) ;
}