diff options
Diffstat (limited to 'plugins/infra/properties/org.eclipse.papyrus.infra.properties.ui/src/org/eclipse/papyrus/infra/properties/ui/widgets/IntegerSpinner.java')
-rw-r--r-- | plugins/infra/properties/org.eclipse.papyrus.infra.properties.ui/src/org/eclipse/papyrus/infra/properties/ui/widgets/IntegerSpinner.java | 105 |
1 files changed, 105 insertions, 0 deletions
diff --git a/plugins/infra/properties/org.eclipse.papyrus.infra.properties.ui/src/org/eclipse/papyrus/infra/properties/ui/widgets/IntegerSpinner.java b/plugins/infra/properties/org.eclipse.papyrus.infra.properties.ui/src/org/eclipse/papyrus/infra/properties/ui/widgets/IntegerSpinner.java new file mode 100644 index 00000000000..ab08ffed887 --- /dev/null +++ b/plugins/infra/properties/org.eclipse.papyrus.infra.properties.ui/src/org/eclipse/papyrus/infra/properties/ui/widgets/IntegerSpinner.java @@ -0,0 +1,105 @@ +/***************************************************************************** + * Copyright (c) 2011 CEA LIST. + * + * All rights reserved. This program and the accompanying materials + * are made available under the terms of the Eclipse Public License v1.0 + * which accompanies this distribution, and is available at + * http://www.eclipse.org/legal/epl-v10.html + * + * Contributors: + * Camille Letavernier (CEA LIST) camille.letavernier@cea.fr - Initial API and implementation + *****************************************************************************/ +package org.eclipse.papyrus.infra.properties.ui.widgets; + +import org.eclipse.swt.widgets.Composite; + +/** + * A widget for editing Integer values with a SWT Spinner + * + * @author Camille Letavernier + * + * @see org.eclipse.papyrus.infra.widgets.editors.IntegerSpinner + * @see org.eclipse.swt.widgets.Spinner + */ +public class IntegerSpinner extends AbstractPropertyEditor { + + private org.eclipse.papyrus.infra.widgets.editors.IntegerSpinner spinner; + + private int minimum = 0, maximum = 100, increment = 1; + + /** + * + * Constructor. + * + * @param parent + * @param style + */ + public IntegerSpinner(Composite parent, int style) { + spinner = createIntegerSpinner(parent, style); + spinner.setMinimum(minimum); + spinner.setMaximum(maximum); + spinner.setIncrement(increment); + setEditor(spinner); + } + + /** + * Creates the integer spinner. + * + * @param parent + * The composite in which the widget will be displayed + * @param style + * The style for the widget + * @return the integer spinner. + */ + protected org.eclipse.papyrus.infra.widgets.editors.IntegerSpinner createIntegerSpinner(Composite parent, int style) { + return new org.eclipse.papyrus.infra.widgets.editors.IntegerSpinner(parent, style); + } + + /** + * @return the minimum value for the spinner + */ + public int getMinimum() { + return minimum; + } + + /** + * @param minimum + * the minimum value for the spinner + */ + public void setMinimum(int minimum) { + this.minimum = minimum; + spinner.setMinimum(minimum); + } + + /** + * @return the maximum value for the spinner + */ + public int getMaximum() { + return maximum; + } + + /** + * @param maximum + * the maximum value for the spinner + */ + public void setMaximum(int maximum) { + this.maximum = maximum; + spinner.setMaximum(maximum); + } + + /** + * @return the increment value for the spinner + */ + public int getIncrement() { + return increment; + } + + /** + * @param increment + * the increment value for the spinner + */ + public void setIncrement(int increment) { + this.increment = increment; + spinner.setIncrement(increment); + } +} |