aboutsummaryrefslogtreecommitdiff
path: root/src/main
diff options
context:
space:
mode:
authorFederico Igne <federico.igne@cs.ox.ac.uk>2020-12-06 16:37:19 +0000
committerFederico Igne <federico.igne@cs.ox.ac.uk>2020-12-06 16:37:19 +0000
commit920a42b4b55666c582e1d1420336996f4af324fc (patch)
treecccef2b490dc664d7ce7c520087136142ba1089f /src/main
parent06e95ce0c738cd54bab7726dfe59e05c814d0e5c (diff)
downloadRSAComb-920a42b4b55666c582e1d1420336996f4af324fc.tar.gz
RSAComb-920a42b4b55666c582e1d1420336996f4af324fc.zip
Change answer pritty printer to use CSV-like syntax
Diffstat (limited to 'src/main')
-rw-r--r--src/main/scala/uk/ac/ox/cs/rsacomb/sparql/ConjunctiveQueryAnswers.scala12
1 files changed, 8 insertions, 4 deletions
diff --git a/src/main/scala/uk/ac/ox/cs/rsacomb/sparql/ConjunctiveQueryAnswers.scala b/src/main/scala/uk/ac/ox/cs/rsacomb/sparql/ConjunctiveQueryAnswers.scala
index ded8d6b..0f830eb 100644
--- a/src/main/scala/uk/ac/ox/cs/rsacomb/sparql/ConjunctiveQueryAnswers.scala
+++ b/src/main/scala/uk/ac/ox/cs/rsacomb/sparql/ConjunctiveQueryAnswers.scala
@@ -1,6 +1,6 @@
1package uk.ac.ox.cs.rsacomb.sparql 1package uk.ac.ox.cs.rsacomb.sparql
2 2
3import tech.oxfordsemantic.jrdfox.logic.expression.Resource 3import tech.oxfordsemantic.jrdfox.logic.expression.{Resource, Variable}
4 4
5/** A collections of answers to a query. 5/** A collections of answers to a query.
6 * 6 *
@@ -13,6 +13,7 @@ import tech.oxfordsemantic.jrdfox.logic.expression.Resource
13 */ 13 */
14class ConjunctiveQueryAnswers( 14class ConjunctiveQueryAnswers(
15 bcq: Boolean, 15 bcq: Boolean,
16 val variables: Seq[Variable],
16 val answers: Seq[Seq[Resource]] 17 val answers: Seq[Seq[Resource]]
17) { 18) {
18 19
@@ -21,8 +22,11 @@ class ConjunctiveQueryAnswers(
21 if (answers.isEmpty) "FALSE" else "TRUE" 22 if (answers.isEmpty) "FALSE" else "TRUE"
22 } else { 23 } else {
23 if (answers.isEmpty) 24 if (answers.isEmpty)
24 "NO ANSWER" 25 "NO ANSWER."
25 else 26 else {
26 answers.map(_.mkString("(", ", ", ")")).mkString("\n") 27 val header = variables map (_.getName) mkString "\t"
28 val body = answers.map(_.mkString("\t")).mkString("\n")
29 s"$header\n$body"
30 }
27 } 31 }
28} 32}