diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2022-05-18 15:27:18 +0100 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2022-05-18 15:41:21 +0100 |
| commit | d7f9ea2a84af385ac5cf7d067a015573bfe53517 (patch) | |
| tree | 7625d75683358a24198908484009bd6eba9d21bf | |
| parent | bbb4d3cdab63dec778ffed93825a81f335b9f4b3 (diff) | |
| download | ACQuA-d7f9ea2a84af385ac5cf7d067a015573bfe53517.tar.gz ACQuA-d7f9ea2a84af385ac5cf7d067a015573bfe53517.zip | |
fix(cli): handling of empty argument lists
| -rw-r--r-- | src/main/scala/uk/ac/ox/cs/acqua/util/AcquaConfig.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/main/scala/uk/ac/ox/cs/acqua/util/AcquaConfig.scala b/src/main/scala/uk/ac/ox/cs/acqua/util/AcquaConfig.scala index 990afb2..ec550c2 100644 --- a/src/main/scala/uk/ac/ox/cs/acqua/util/AcquaConfig.scala +++ b/src/main/scala/uk/ac/ox/cs/acqua/util/AcquaConfig.scala | |||
| @@ -192,12 +192,12 @@ object AcquaConfig { | |||
| 192 | case 'data => { | 192 | case 'data => { |
| 193 | val paths = v.get[List[os.Path]] | 193 | val paths = v.get[List[os.Path]] |
| 194 | val ellipsis = if (paths.length > 1) " [...]" else "" | 194 | val ellipsis = if (paths.length > 1) " [...]" else "" |
| 195 | Logger print s"Data files: ${paths.head}$ellipsis" | 195 | Logger print s"Data files: ${paths.headOption.getOrElse("NONE")}$ellipsis" |
| 196 | } | 196 | } |
| 197 | case 'queries => { | 197 | case 'queries => { |
| 198 | val paths = v.get[List[os.Path]] | 198 | val paths = v.get[List[os.Path]] |
| 199 | val ellipsis = if (paths.length > 1) " [...]" else "" | 199 | val ellipsis = if (paths.length > 1) " [...]" else "" |
| 200 | Logger print s"Query files: ${paths.head}$ellipsis" | 200 | Logger print s"Query files: ${paths.headOption.getOrElse("NONE")}$ellipsis" |
| 201 | } | 201 | } |
| 202 | case 'answers => Logger print s"Path to answers: ${v.get[os.Path]}" | 202 | case 'answers => Logger print s"Path to answers: ${v.get[os.Path]}" |
| 203 | case 'transitive => Logger print s"Include property chain axioms: ${v.get[Boolean]}" | 203 | case 'transitive => Logger print s"Include property chain axioms: ${v.get[Boolean]}" |