# HG changeset patch
# User casties
# Date 1478279407 -3600
# Node ID 42d0169904f3d54d4adf45288f78b2d66f109a88
# Parent 03dcbaf8b8cfa3daab1a16a27eb1c8d61e341bb6
add search for place type.
diff -r 03dcbaf8b8cf -r 42d0169904f3 src/main/java/de/mpiwg/itgroup/ismi/browse/AbstractEntityRepositoryBean.java
--- a/src/main/java/de/mpiwg/itgroup/ismi/browse/AbstractEntityRepositoryBean.java Thu Nov 03 20:10:58 2016 +0100
+++ b/src/main/java/de/mpiwg/itgroup/ismi/browse/AbstractEntityRepositoryBean.java Fri Nov 04 18:10:07 2016 +0100
@@ -52,6 +52,7 @@
private String collectionName;
private String placeName;
+ private String placeType;
private String aliasAlias;
@@ -269,6 +270,9 @@
if (StringUtils.isNotEmpty(this.placeName)) {
filterList.add(new AttributeFilter("name", this.placeName, PLACE));
}
+ if (StringUtils.isNotEmpty(this.placeType)) {
+ filterList.add(new AttributeFilter("type", this.placeType, PLACE));
+ }
} else if (this.objectClass.equals(CODEX)) {
if (StringUtils.isNotEmpty(this.codexIdentifier)) {
filterList.add(new AttributeFilter("identifier", this.codexIdentifier, CODEX));
@@ -466,7 +470,21 @@
this.placeName = placeName;
}
- public String getCollectionName() {
+ /**
+ * @return the placeType
+ */
+ public String getPlaceType() {
+ return placeType;
+ }
+
+ /**
+ * @param placeType the placeType to set
+ */
+ public void setPlaceType(String placeType) {
+ this.placeType = placeType;
+ }
+
+ public String getCollectionName() {
return collectionName;
}
diff -r 03dcbaf8b8cf -r 42d0169904f3 src/main/webapp/browse/entityRepository.xhtml
--- a/src/main/webapp/browse/entityRepository.xhtml Thu Nov 03 20:10:58 2016 +0100
+++ b/src/main/webapp/browse/entityRepository.xhtml Fri Nov 04 18:10:07 2016 +0100
@@ -73,12 +73,14 @@
+
+
@@ -96,6 +98,7 @@
+
@@ -104,7 +107,15 @@
+
+
+
+
+
+
+
+
@@ -114,6 +125,7 @@
+
@@ -123,6 +135,7 @@
+
@@ -132,6 +145,7 @@
+
@@ -141,6 +155,7 @@
+
@@ -153,6 +168,7 @@
+
@@ -162,6 +178,7 @@
+