1 files changed, 84 insertions, 0 deletions
diff --git a/propertysheet/src/org/eclipse/wb/internal/core/model/property/editor/IntegerPropertyEditor.java b/propertysheet/src/org/eclipse/wb/internal/core/model/property/editor/IntegerPropertyEditor.java
new file mode 100644
index 0000000..5be13da
--- /dev/null
+++ b/propertysheet/src/org/eclipse/wb/internal/core/model/property/editor/IntegerPropertyEditor.java
@@ -0,0 +1,84 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Google, Inc.
+ * 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:
+ *    Google, Inc. - initial API and implementation
+ *******************************************************************************/
+package org.eclipse.wb.internal.core.model.property.editor;
+
+import org.eclipse.wb.internal.core.DesignerPlugin;
+import org.eclipse.wb.internal.core.model.ModelMessages;
+import org.eclipse.wb.internal.core.model.property.Property;
+import org.eclipse.wb.internal.core.utils.ui.UiUtils;
+
+import java.text.MessageFormat;
+
+/**
+ * The {@link PropertyEditor} for <code>int</code>.
+ * 
+ * @author scheglov_ke
+ * @coverage core.model.property.editor
+ */
+public final class IntegerPropertyEditor extends AbstractTextPropertyEditor {
+  ////////////////////////////////////////////////////////////////////////////
+  //
+  // Instance
+  //
+  ////////////////////////////////////////////////////////////////////////////
+  public static final IntegerPropertyEditor INSTANCE = new IntegerPropertyEditor();
+
+  private IntegerPropertyEditor() {
+  }
+
+  ////////////////////////////////////////////////////////////////////////////
+  //
+  // Presentation
+  //
+  ////////////////////////////////////////////////////////////////////////////
+  @Override
+  public String getText(Property property) throws Exception {
+    Object value = property.getValue();
+    if (value instanceof Integer) {
+      return value.toString();
+    }
+    return null;
+  }
+
+  ////////////////////////////////////////////////////////////////////////////
+  //
+  // Editing
+  //
+  ////////////////////////////////////////////////////////////////////////////
+  @Override
+  protected String getEditorText(Property property) throws Exception {
+    return getText(property);
+  }
+
+  @Override
+  protected boolean setEditorText(Property property, String text) throws Exception {
+    text = text.trim();
+    // check for delete
+    if (text.length() == 0) {
+      property.setValue(Property.UNKNOWN_VALUE);
+      return true;
+    }
+    // prepare value
+    Integer value;
+    try {
+      value = Integer.valueOf(text);
+    } catch (Throwable e) {
+      UiUtils.openWarning(
+          DesignerPlugin.getShell(),
+          property.getTitle(),
+          MessageFormat.format(ModelMessages.IntegerPropertyEditor_notValidInt, text));
+      return false;
+    }
+    // modify property
+    property.setValue(value);
+    return true;
+  }
+}