diff options
| author | Federico Igne <git@federicoigne.com> | 2021-10-04 07:34:41 +0100 |
|---|---|---|
| committer | Federico Igne <git@federicoigne.com> | 2021-10-04 09:53:59 +0100 |
| commit | 0d311287610bcf14a1b4ff35008359dde8c00fc3 (patch) | |
| tree | ea71a9ca181018708dbfda84918c2f2f5b4a31a8 /src/main/scala | |
| parent | 55384aaf879027012d688bfa566e34928a5f57e1 (diff) | |
| download | RSAComb-0d311287610bcf14a1b4ff35008359dde8c00fc3.tar.gz RSAComb-0d311287610bcf14a1b4ff35008359dde8c00fc3.zip | |
Make file logging lazy
Diffstat (limited to 'src/main/scala')
| -rw-r--r-- | src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala | 2 | ||||
| -rw-r--r-- | src/main/scala/uk/ac/ox/cs/rsacomb/util/Logger.scala | 2 |
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 | ||
