diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-11-18 18:07:53 +0000 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-11-18 18:07:53 +0000 |
| commit | 4df351d3b1d11fc045005323c38ba3528de631ea (patch) | |
| tree | 35f809e3def7d55602ed124f7b194db29407ba33 /src/main/scala/rsacomb/implicits | |
| parent | e1a04294ed8737444e40323474f4084cb64c1d55 (diff) | |
| download | RSAComb-4df351d3b1d11fc045005323c38ba3528de631ea.tar.gz RSAComb-4df351d3b1d11fc045005323c38ba3528de631ea.zip | |
Rework RSA as a utility object
Diffstat (limited to 'src/main/scala/rsacomb/implicits')
| -rw-r--r-- | src/main/scala/rsacomb/implicits/JavaCollections.scala | 13 | ||||
| -rw-r--r-- | src/main/scala/rsacomb/implicits/RDFox.scala | 20 |
2 files changed, 33 insertions, 0 deletions
diff --git a/src/main/scala/rsacomb/implicits/JavaCollections.scala b/src/main/scala/rsacomb/implicits/JavaCollections.scala new file mode 100644 index 0000000..69e825b --- /dev/null +++ b/src/main/scala/rsacomb/implicits/JavaCollections.scala | |||
| @@ -0,0 +1,13 @@ | |||
| 1 | package rsacomb.implicits | ||
| 2 | |||
| 3 | import scala.collection.JavaConverters._ | ||
| 4 | |||
| 5 | object JavaCollections { | ||
| 6 | |||
| 7 | implicit def javaToScalaList[A](list: java.util.List[A]): List[A] = | ||
| 8 | list.asScala.toList | ||
| 9 | |||
| 10 | implicit def scalaToJavaList[A](list: List[A]): java.util.List[A] = | ||
| 11 | list.asJava | ||
| 12 | |||
| 13 | } | ||
diff --git a/src/main/scala/rsacomb/implicits/RDFox.scala b/src/main/scala/rsacomb/implicits/RDFox.scala new file mode 100644 index 0000000..44b7c01 --- /dev/null +++ b/src/main/scala/rsacomb/implicits/RDFox.scala | |||
| @@ -0,0 +1,20 @@ | |||
| 1 | package rsacomb.implicits | ||
| 2 | |||
| 3 | import tech.oxfordsemantic.jrdfox.logic.expression.{IRI => RDFoxIRI} | ||
| 4 | import org.semanticweb.owlapi.model.{IRI => OWLIRI} | ||
| 5 | |||
| 6 | object RDFox { | ||
| 7 | |||
| 8 | implicit def rdfoxToOwlapiIri(iri: RDFoxIRI): OWLIRI = { | ||
| 9 | OWLIRI.create(iri.getIRI) | ||
| 10 | } | ||
| 11 | |||
| 12 | implicit def owlapiToRdfoxIri(iri: OWLIRI): RDFoxIRI = { | ||
| 13 | RDFoxIRI.create(iri.getIRIString()) | ||
| 14 | } | ||
| 15 | |||
| 16 | implicit def stringToRdfoxIri(iri: String): RDFoxIRI = { | ||
| 17 | RDFoxIRI.create(iri) | ||
| 18 | } | ||
| 19 | |||
| 20 | } | ||
