Author: reto
Date: Fri Apr 8 14:37:00 2011
New Revision: 1090273
URL: http://svn.apache.org/viewvc?rev=1090273&view=rev
Log:
CLEREZZA-388: ensuring java.util.List
Modified:
incubator/clerezza/issues/CLEREZZA-388/rdf.cris/core/src/main/scala/org/apache/clerezza/rdf/cris/IndexDefinitionManager.scala
Modified:
incubator/clerezza/issues/CLEREZZA-388/rdf.cris/core/src/main/scala/org/apache/clerezza/rdf/cris/IndexDefinitionManager.scala
URL:
http://svn.apache.org/viewvc/incubator/clerezza/issues/CLEREZZA-388/rdf.cris/core/src/main/scala/org/apache/clerezza/rdf/cris/IndexDefinitionManager.scala?rev=1090273&r1=1090272&r2=1090273&view=diff
==============================================================================
---
incubator/clerezza/issues/CLEREZZA-388/rdf.cris/core/src/main/scala/org/apache/clerezza/rdf/cris/IndexDefinitionManager.scala
(original)
+++
incubator/clerezza/issues/CLEREZZA-388/rdf.cris/core/src/main/scala/org/apache/clerezza/rdf/cris/IndexDefinitionManager.scala
Fri Apr 8 14:37:00 2011
@@ -89,7 +89,7 @@ trait IndexDefinitionManager {
* Defines an index for the specified types and properties, removing
* previous index definitions for that type (java friendly version)
*/
- def addDefinition(rdfType: UriRef, properties: List[UriRef]) {
+ def addDefinition(rdfType: UriRef, properties: java.util.List[UriRef]) {
import collection.JavaConversions._
addDefinition(rdfType, properties.head, properties.tail: _*)
}
@@ -98,7 +98,7 @@ trait IndexDefinitionManager {
* Defines an index for the specified types and virtual properties,
removing
* previous index definitions for that type (java friendly version)
*/
- def addDefinitionVirtual(rdfType: UriRef, properties:
List[VirtualProperty]) {
+ def addDefinitionVirtual(rdfType: UriRef, properties:
java.util.List[VirtualProperty]) {
import collection.JavaConversions._
addDefinition(rdfType, properties: _*)
}
