X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=blobdiff_plain;ds=sidebyside;f=bundles%2Forg.simantics.document.ui%2Fsrc%2Forg%2Fsimantics%2Fdocument%2Fui%2Fcontribution%2FNameInputValidator.java;fp=bundles%2Forg.simantics.document.ui%2Fsrc%2Forg%2Fsimantics%2Fdocument%2Fui%2Fcontribution%2FNameInputValidator.java;h=9bbcbbec42c2d9e22e72ed73d20f176643b69d3c;hb=969bd23cab98a79ca9101af33334000879fb60c5;hp=0000000000000000000000000000000000000000;hpb=866dba5cd5a3929bbeae85991796acb212338a08;p=simantics%2Fplatform.git

diff --git a/bundles/org.simantics.document.ui/src/org/simantics/document/ui/contribution/NameInputValidator.java b/bundles/org.simantics.document.ui/src/org/simantics/document/ui/contribution/NameInputValidator.java
new file mode 100644
index 000000000..9bbcbbec4
--- /dev/null
+++ b/bundles/org.simantics.document.ui/src/org/simantics/document/ui/contribution/NameInputValidator.java
@@ -0,0 +1,57 @@
+package org.simantics.document.ui.contribution;
+
+import java.util.Collection;
+
+import org.eclipse.jface.dialogs.IInputValidator;
+import org.simantics.Simantics;
+import org.simantics.browsing.ui.swt.widgets.impl.Widget;
+import org.simantics.db.ReadGraph;
+import org.simantics.db.Resource;
+import org.simantics.db.exception.DatabaseException;
+import org.simantics.db.management.ISessionContext;
+import org.simantics.db.request.Read;
+import org.simantics.layer0.Layer0;
+import org.simantics.utils.ui.AdaptionUtils;
+
+public class NameInputValidator implements IInputValidator, Widget {
+	
+	private Resource selection;
+	
+	@Override
+	public String isValid(final String newText) {
+		if (newText == null || newText.length() == 0)
+			return "Empty name is not allowed";
+		if (selection != null) {
+			try {
+				return Simantics.getSession().syncRequest(new Read<String>() {
+					@Override
+					public String perform(ReadGraph graph) throws DatabaseException {
+						Layer0 l0 = Layer0.getInstance(graph);
+						Resource lib = graph.getPossibleObject(selection, l0.PartOf);
+						if (lib == null)
+							return null;
+						Collection<Resource> resources = graph.getObjects(lib, l0.ConsistsOf);
+						for (Resource resource : resources) {
+							if (resource.equals(selection))
+								continue;
+							String n = graph.getPossibleRelatedValue(resource, l0.HasName);
+							if (newText.equals(n))
+								return "Cannot have duplicate name " + newText;
+						}
+						return null;
+					}
+				});
+			} catch (DatabaseException e) {
+				return e.getMessage();
+			}
+		}
+		return null;
+	}
+	
+	@Override
+	public void setInput(ISessionContext context, Object input) {
+		selection = AdaptionUtils.adaptToSingle(input, Resource.class);
+		
+	}
+
+}