diff options
-rw-r--r-- | src/main/scala/uk/ac/ox/cs/rsacomb/implicits/JavaCollections.scala | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/main/scala/uk/ac/ox/cs/rsacomb/implicits/JavaCollections.scala b/src/main/scala/uk/ac/ox/cs/rsacomb/implicits/JavaCollections.scala index 9d205b5..4565017 100644 --- a/src/main/scala/uk/ac/ox/cs/rsacomb/implicits/JavaCollections.scala +++ b/src/main/scala/uk/ac/ox/cs/rsacomb/implicits/JavaCollections.scala | |||
@@ -9,4 +9,12 @@ object JavaCollections { | |||
9 | 9 | ||
10 | implicit def scalaToJavaList[A](list: List[A]): java.util.List[A] = | 10 | implicit def scalaToJavaList[A](list: List[A]): java.util.List[A] = |
11 | list.asJava | 11 | list.asJava |
12 | |||
13 | implicit def javaSetToScalaList[A](set: java.util.Set[A]): List[A] = | ||
14 | set.asScala.toList | ||
15 | |||
16 | implicit def javaCollectionToScalaList[A]( | ||
17 | set: java.util.Collection[A] | ||
18 | ): List[A] = | ||
19 | set.asScala.toList | ||
12 | } | 20 | } |