# 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 @@ +