enhancing the Semantic Inspector UI to specify the word size and bmc length

refs 730

org.fortiss.tooling.base.ui/trunk/src/org/fortiss/tooling/base/ui/utils/WidgetsFactory.java

+/*--------------------------------------------------------------------------+
+$Id: codetemplates.xml 1 2011-01-01 00:00:01Z hoelzl $
+|                                                                          |
+| Copyright 2012 ForTISS GmbH                     |
+|                                                                          |
+| Licensed under the Apache License, Version 2.0 (the "License");          |
+| you may not use this file except in compliance with the License.         |
+| You may obtain a copy of the License at                                  |
+|                                                                          |
+|    http://www.apache.org/licenses/LICENSE-2.0                            |
+|                                                                          |
+| Unless required by applicable law or agreed to in writing, software      |
+| distributed under the License is distributed on an "AS IS" BASIS,        |
+| WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
+| See the License for the specific language governing permissions and      |
+| limitations under the License.                                           |
++--------------------------------------------------------------------------*/
+package org.fortiss.tooling.base.ui.utils;
+
+import org.eclipse.swt.SWT;
+import org.eclipse.swt.widgets.Composite;
+import org.eclipse.swt.widgets.Spinner;
+
+/**
+ * Factory class for easier creation of different widgets.
+ * 
+ * @author ratiu
+ * @author $Author: hoelzl $
+ * @version $Rev: 18709 $
+ * @ConQAT.Rating YELLOW Hash: 674ED934FDD30AF561C24A5D2C5990EF
+ */
+public class WidgetsFactory {
+
+	/**
+	 * Creates a new spinner.
+	 * 
+	 * @param parent
+	 *            - the parent component
+	 * @param minimum
+	 *            - minimum of the spinner value
+	 * @param maximum
+	 *            - maximum of the spinner value
+	 * @param selection
+	 *            - initial selection of the spinner
+	 * @return the spinner object
+	 */
+	public static Spinner createSpinner(Composite parent, int minimum, int maximum, int selection) {
+		Spinner spinner = new Spinner(parent, SWT.BORDER);
+		spinner.setMinimum(minimum);
+		spinner.setMaximum(maximum);
+		spinner.setIncrement(1);
+		spinner.setSelection(selection);
+		return spinner;
+	}
+}