aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/uk/ac/ox/cs/acqua/Main.scala
diff options
context:
space:
mode:
authorFederico Igne <federico.igne@cs.ox.ac.uk>2022-05-19 17:05:46 +0100
committerFederico Igne <federico.igne@cs.ox.ac.uk>2022-05-19 17:05:46 +0100
commit05205b0954b4b7ee3667f7c17bbb7d37b4040404 (patch)
treec147c5f03bfa8adc89807ceeb55257f5658d3ac4 /src/main/scala/uk/ac/ox/cs/acqua/Main.scala
parent3513f271816618fc453738581889e677861473de (diff)
downloadACQuA-05205b0954b4b7ee3667f7c17bbb7d37b4040404.tar.gz
ACQuA-05205b0954b4b7ee3667f7c17bbb7d37b4040404.zip
fix(cli): pass data path to PAGOdA's properties
This is not the ideal way to deal with this an a more general integration solution should be used. Regardless, it works for now.
Diffstat (limited to 'src/main/scala/uk/ac/ox/cs/acqua/Main.scala')
-rw-r--r--src/main/scala/uk/ac/ox/cs/acqua/Main.scala7
1 files changed, 7 insertions, 0 deletions
diff --git a/src/main/scala/uk/ac/ox/cs/acqua/Main.scala b/src/main/scala/uk/ac/ox/cs/acqua/Main.scala
index e4bdc87..b16f03a 100644
--- a/src/main/scala/uk/ac/ox/cs/acqua/Main.scala
+++ b/src/main/scala/uk/ac/ox/cs/acqua/Main.scala
@@ -40,6 +40,13 @@ object Acqua extends App {
40 val ontology = Ontology(ontopath, datapath).normalize(new Normalizer) 40 val ontology = Ontology(ontopath, datapath).normalize(new Normalizer)
41 41
42 val properties = new PagodaProperties() 42 val properties = new PagodaProperties()
43 /* TODO: find a better way to integrate CLI options from different
44 * tools. A good idea would be to have [[util.AcquaConfig]] handle the
45 * CLI and have methods to convert it into other "config" classes to
46 * use with tool-specific interfaces.
47 */
48 if (config contains 'pagodata)
49 properties setDataPath config('pagodata).get[String]
43 50
44 val performMultiStages = true 51 val performMultiStages = true
45 val considerEqualities = true 52 val considerEqualities = true