aboutsummaryrefslogtreecommitdiff
path: root/src/main
diff options
context:
space:
mode:
authorFederico Igne <git@federicoigne.com>2021-10-04 07:34:41 +0100
committerFederico Igne <git@federicoigne.com>2021-10-04 09:53:59 +0100
commit0d311287610bcf14a1b4ff35008359dde8c00fc3 (patch)
treeea71a9ca181018708dbfda84918c2f2f5b4a31a8 /src/main
parent55384aaf879027012d688bfa566e34928a5f57e1 (diff)
downloadRSAComb-0d311287610bcf14a1b4ff35008359dde8c00fc3.tar.gz
RSAComb-0d311287610bcf14a1b4ff35008359dde8c00fc3.zip
Make file logging lazy
Diffstat (limited to 'src/main')
-rw-r--r--src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala2
-rw-r--r--src/main/scala/uk/ac/ox/cs/rsacomb/util/Logger.scala2
2 files changed, 2 insertions, 2 deletions
diff --git a/src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala b/src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala
index 83ebbcb..afda25e 100644
--- a/src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala
+++ b/src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala
@@ -589,7 +589,7 @@ class RSAOntology(axioms: List[OWLLogicalAxiom], datafiles: List[os.Path])
589 589
590 /* Add filtering program */ 590 /* Add filtering program */
591 Logger print s"Filtering program rules: ${filter.rules.length}" 591 Logger print s"Filtering program rules: ${filter.rules.length}"
592 Logger.write(filter.rules.mkString("\n"), "filter.datalog") 592 Logger.write(filter.rules.mkString("\n"), s"filter${query.id}.datalog")
593 RDFoxUtil.addRules(data, filter.rules) 593 RDFoxUtil.addRules(data, filter.rules)
594 // TODO: We remove the rules, should we drop the tuple table as well? 594 // TODO: We remove the rules, should we drop the tuple table as well?
595 data.clearRulesAxiomsExplicateFacts() 595 data.clearRulesAxiomsExplicateFacts()
diff --git a/src/main/scala/uk/ac/ox/cs/rsacomb/util/Logger.scala b/src/main/scala/uk/ac/ox/cs/rsacomb/util/Logger.scala
index 275079c..a55b5a0 100644
--- a/src/main/scala/uk/ac/ox/cs/rsacomb/util/Logger.scala
+++ b/src/main/scala/uk/ac/ox/cs/rsacomb/util/Logger.scala
@@ -50,7 +50,7 @@ object Logger {
50 if (lvl <= level) 50 if (lvl <= level)
51 output println s"[$lvl][${time.getTime}] $str" 51 output println s"[$lvl][${time.getTime}] $str"
52 52
53 def write(content: os.Source, file: String, lvl: Level = VERBOSE): Unit = 53 def write(content: => os.Source, file: String, lvl: Level = VERBOSE): Unit =
54 if (lvl <= level) 54 if (lvl <= level)
55 os.write.append(dir / file, content) 55 os.write.append(dir / file, content)
56 56