[INFO] cloning repository https://github.com/hatellezp/rustoner [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/hatellezp/rustoner" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhatellezp%2Frustoner", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhatellezp%2Frustoner'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] bc9880d4a48eb5a3c780b124971e6de1070d9411 [INFO] checking hatellezp/rustoner against master#3e826bb11228508fbe749e594038d6727208aa94 for pr-82322 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhatellezp%2Frustoner" "/workspace/builds/worker-1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-1/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/hatellezp/rustoner on toolchain 3e826bb11228508fbe749e594038d6727208aa94 [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+3e826bb11228508fbe749e594038d6727208aa94" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/hatellezp/rustoner [INFO] finished tweaking git repo https://github.com/hatellezp/rustoner [INFO] tweaked toml for git repo https://github.com/hatellezp/rustoner written to /workspace/builds/worker-1/source/Cargo.toml [INFO] crate git repo https://github.com/hatellezp/rustoner already has a lockfile, it will not be regenerated [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+3e826bb11228508fbe749e594038d6727208aa94" "fetch" "--locked" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "rustops/crates-build-env@sha256:21f1ed92105a0ef9b0d27ad8bdeb7f36f9f01ac17fffe3a3f3dc5241fc25d8f4" "/opt/rustwide/cargo-home/bin/cargo" "+3e826bb11228508fbe749e594038d6727208aa94" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] cdbd6341ca2810e8ddd40bc791764c5b19ac349560c924be1771432f57864b1d [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] running `Command { std: "docker" "start" "-a" "cdbd6341ca2810e8ddd40bc791764c5b19ac349560c924be1771432f57864b1d", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "cdbd6341ca2810e8ddd40bc791764c5b19ac349560c924be1771432f57864b1d", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "cdbd6341ca2810e8ddd40bc791764c5b19ac349560c924be1771432f57864b1d", kill_on_drop: false }` [INFO] [stdout] cdbd6341ca2810e8ddd40bc791764c5b19ac349560c924be1771432f57864b1d [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "rustops/crates-build-env@sha256:21f1ed92105a0ef9b0d27ad8bdeb7f36f9f01ac17fffe3a3f3dc5241fc25d8f4" "/opt/rustwide/cargo-home/bin/cargo" "+3e826bb11228508fbe749e594038d6727208aa94" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] c65fa5e8de74af8f933de5617e685a9a7e97a26c0c8d3448f8f8eff00e688bbf [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] running `Command { std: "docker" "start" "-a" "c65fa5e8de74af8f933de5617e685a9a7e97a26c0c8d3448f8f8eff00e688bbf", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.24 [INFO] [stderr] Compiling syn v1.0.60 [INFO] [stderr] Compiling bitflags v1.2.1 [INFO] [stderr] Compiling libc v0.2.87 [INFO] [stderr] Checking unicode-width v0.1.8 [INFO] [stderr] Compiling unicode-segmentation v1.7.1 [INFO] [stderr] Checking ansi_term v0.11.0 [INFO] [stderr] Checking paw-raw v1.0.0 [INFO] [stderr] Checking fallible-streaming-iterator v0.1.9 [INFO] [stderr] Checking fallible-iterator v0.2.0 [INFO] [stderr] Checking question v0.2.2 [INFO] [stderr] Compiling libsqlite3-sys v0.20.1 [INFO] [stderr] Checking hashbrown v0.9.1 [INFO] [stderr] Checking textwrap v0.11.0 [INFO] [stderr] Compiling heck v0.3.2 [INFO] [stderr] Checking hashlink v0.6.0 [INFO] [stderr] Checking rusqlite v0.24.2 [INFO] [stderr] Compiling quote v1.0.9 [INFO] [stderr] Checking atty v0.2.14 [INFO] [stderr] Checking clap v2.33.3 [INFO] [stderr] Compiling proc-macro-error-attr v1.0.4 [INFO] [stderr] Compiling proc-macro-error v1.0.4 [INFO] [stderr] Compiling serde_derive v1.0.123 [INFO] [stderr] Compiling paw-attributes v1.0.2 [INFO] [stderr] Compiling structopt-derive v0.4.14 [INFO] [stderr] Checking paw v1.0.0 [INFO] [stderr] Checking structopt v0.3.21 [INFO] [stderr] Checking serde v1.0.123 [INFO] [stderr] Checking serde_json v1.0.64 [INFO] [stderr] Checking rustoner v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused import: `pretty_vector_tbi_to_string` [INFO] [stdout] --> src/rustoner.rs:16:83 [INFO] [stdout] | [INFO] [stdout] 16 | use crate::dl_lite::string_formatter::{pretty_print_abiq_conflict, tbi_to_string, pretty_vector_tbi_to_string, create_string_for_gencontb}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `pretty_vector_tbi_to_string` [INFO] [stdout] --> src/rustoner.rs:16:83 [INFO] [stdout] | [INFO] [stdout] 16 | use crate::dl_lite::string_formatter::{pretty_print_abiq_conflict, tbi_to_string, pretty_vector_tbi_to_string, create_string_for_gencontb}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `is_already_treated` is never read [INFO] [stdout] --> src/dl_lite/abox.rs:418:17 [INFO] [stdout] | [INFO] [stdout] 418 | is_already_treated = false; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_assignments)]` on by default [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `lside_result1` is never read [INFO] [stdout] --> src/dl_lite/string_formatter.rs:130:17 [INFO] [stdout] | [INFO] [stdout] 130 | let mut lside_result1 = invalid_data_result("not done yet"); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `rside_result1` is never read [INFO] [stdout] --> src/dl_lite/string_formatter.rs:131:17 [INFO] [stdout] | [INFO] [stdout] 131 | let mut rside_result1 = invalid_data_result("not done yet"); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `lside_result2` is never read [INFO] [stdout] --> src/dl_lite/string_formatter.rs:132:17 [INFO] [stdout] | [INFO] [stdout] 132 | let mut lside_result2 = invalid_data_result("not done yet"); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `rside_result2` is never read [INFO] [stdout] --> src/dl_lite/string_formatter.rs:133:17 [INFO] [stdout] | [INFO] [stdout] 133 | let mut rside_result2 = invalid_data_result("not done yet"); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `levels` [INFO] [stdout] --> src/dl_lite/string_formatter.rs:800:9 [INFO] [stdout] | [INFO] [stdout] 800 | let levels = new_tb.levels(); [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_levels` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `verbose` [INFO] [stdout] --> src/dl_lite/string_formatter.rs:793:88 [INFO] [stdout] | [INFO] [stdout] 793 | pub fn create_string_for_gencontb(tb: &TB, symbols: &HashMap, verbose: bool) -> String { [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_verbose` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `is_already_treated` is never read [INFO] [stdout] --> src/dl_lite/tbox.rs:375:17 [INFO] [stdout] | [INFO] [stdout] 375 | is_already_treated = false; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `is_already_treated` is never read [INFO] [stdout] --> src/dl_lite/abox.rs:418:17 [INFO] [stdout] | [INFO] [stdout] 418 | is_already_treated = false; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_assignments)]` on by default [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `lside_result1` is never read [INFO] [stdout] --> src/dl_lite/string_formatter.rs:130:17 [INFO] [stdout] | [INFO] [stdout] 130 | let mut lside_result1 = invalid_data_result("not done yet"); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `rside_result1` is never read [INFO] [stdout] --> src/dl_lite/string_formatter.rs:131:17 [INFO] [stdout] | [INFO] [stdout] 131 | let mut rside_result1 = invalid_data_result("not done yet"); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `lside_result2` is never read [INFO] [stdout] --> src/dl_lite/string_formatter.rs:132:17 [INFO] [stdout] | [INFO] [stdout] 132 | let mut lside_result2 = invalid_data_result("not done yet"); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `rside_result2` is never read [INFO] [stdout] --> src/dl_lite/string_formatter.rs:133:17 [INFO] [stdout] | [INFO] [stdout] 133 | let mut rside_result2 = invalid_data_result("not done yet"); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `levels` [INFO] [stdout] --> src/dl_lite/string_formatter.rs:800:9 [INFO] [stdout] | [INFO] [stdout] 800 | let levels = new_tb.levels(); [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_levels` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `verbose` [INFO] [stdout] --> src/dl_lite/string_formatter.rs:793:88 [INFO] [stdout] | [INFO] [stdout] 793 | pub fn create_string_for_gencontb(tb: &TB, symbols: &HashMap, verbose: bool) -> String { [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_verbose` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `is_already_treated` is never read [INFO] [stdout] --> src/dl_lite/tbox.rs:375:17 [INFO] [stdout] | [INFO] [stdout] 375 | is_already_treated = false; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `is_already_treated` is never read [INFO] [stdout] --> src/dl_lite/abox.rs:418:17 [INFO] [stdout] | [INFO] [stdout] 418 | is_already_treated = false; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_assignments)]` on by default [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `lside_result1` is never read [INFO] [stdout] --> src/dl_lite/string_formatter.rs:130:17 [INFO] [stdout] | [INFO] [stdout] 130 | let mut lside_result1 = invalid_data_result("not done yet"); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `rside_result1` is never read [INFO] [stdout] --> src/dl_lite/string_formatter.rs:131:17 [INFO] [stdout] | [INFO] [stdout] 131 | let mut rside_result1 = invalid_data_result("not done yet"); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `lside_result2` is never read [INFO] [stdout] --> src/dl_lite/string_formatter.rs:132:17 [INFO] [stdout] | [INFO] [stdout] 132 | let mut lside_result2 = invalid_data_result("not done yet"); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `rside_result2` is never read [INFO] [stdout] --> src/dl_lite/string_formatter.rs:133:17 [INFO] [stdout] | [INFO] [stdout] 133 | let mut rside_result2 = invalid_data_result("not done yet"); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `levels` [INFO] [stdout] --> src/dl_lite/string_formatter.rs:800:9 [INFO] [stdout] | [INFO] [stdout] 800 | let levels = new_tb.levels(); [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_levels` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `verbose` [INFO] [stdout] --> src/dl_lite/string_formatter.rs:793:88 [INFO] [stdout] | [INFO] [stdout] 793 | pub fn create_string_for_gencontb(tb: &TB, symbols: &HashMap, verbose: bool) -> String { [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_verbose` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `is_already_treated` is never read [INFO] [stdout] --> src/dl_lite/tbox.rs:375:17 [INFO] [stdout] | [INFO] [stdout] 375 | is_already_treated = false; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `is_already_treated` is never read [INFO] [stdout] --> src/dl_lite/abox.rs:418:17 [INFO] [stdout] | [INFO] [stdout] 418 | is_already_treated = false; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_assignments)]` on by default [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `lside_result1` is never read [INFO] [stdout] --> src/dl_lite/string_formatter.rs:130:17 [INFO] [stdout] | [INFO] [stdout] 130 | let mut lside_result1 = invalid_data_result("not done yet"); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `rside_result1` is never read [INFO] [stdout] --> src/dl_lite/string_formatter.rs:131:17 [INFO] [stdout] | [INFO] [stdout] 131 | let mut rside_result1 = invalid_data_result("not done yet"); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `lside_result2` is never read [INFO] [stdout] --> src/dl_lite/string_formatter.rs:132:17 [INFO] [stdout] | [INFO] [stdout] 132 | let mut lside_result2 = invalid_data_result("not done yet"); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `rside_result2` is never read [INFO] [stdout] --> src/dl_lite/string_formatter.rs:133:17 [INFO] [stdout] | [INFO] [stdout] 133 | let mut rside_result2 = invalid_data_result("not done yet"); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `levels` [INFO] [stdout] --> src/dl_lite/string_formatter.rs:800:9 [INFO] [stdout] | [INFO] [stdout] 800 | let levels = new_tb.levels(); [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_levels` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `verbose` [INFO] [stdout] --> src/dl_lite/string_formatter.rs:793:88 [INFO] [stdout] | [INFO] [stdout] 793 | pub fn create_string_for_gencontb(tb: &TB, symbols: &HashMap, verbose: bool) -> String { [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_verbose` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `is_already_treated` is never read [INFO] [stdout] --> src/dl_lite/tbox.rs:375:17 [INFO] [stdout] | [INFO] [stdout] 375 | is_already_treated = false; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `is_already_treated` is never read [INFO] [stdout] --> src/dl_lite/abox.rs:418:17 [INFO] [stdout] | [INFO] [stdout] 418 | is_already_treated = false; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_assignments)]` on by default [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `lside_result1` is never read [INFO] [stdout] --> src/dl_lite/string_formatter.rs:130:17 [INFO] [stdout] | [INFO] [stdout] 130 | let mut lside_result1 = invalid_data_result("not done yet"); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `rside_result1` is never read [INFO] [stdout] --> src/dl_lite/string_formatter.rs:131:17 [INFO] [stdout] | [INFO] [stdout] 131 | let mut rside_result1 = invalid_data_result("not done yet"); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `lside_result2` is never read [INFO] [stdout] --> src/dl_lite/string_formatter.rs:132:17 [INFO] [stdout] | [INFO] [stdout] 132 | let mut lside_result2 = invalid_data_result("not done yet"); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `rside_result2` is never read [INFO] [stdout] --> src/dl_lite/string_formatter.rs:133:17 [INFO] [stdout] | [INFO] [stdout] 133 | let mut rside_result2 = invalid_data_result("not done yet"); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `levels` [INFO] [stdout] --> src/dl_lite/string_formatter.rs:800:9 [INFO] [stdout] | [INFO] [stdout] 800 | let levels = new_tb.levels(); [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_levels` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `verbose` [INFO] [stdout] --> src/dl_lite/string_formatter.rs:793:88 [INFO] [stdout] | [INFO] [stdout] 793 | pub fn create_string_for_gencontb(tb: &TB, symbols: &HashMap, verbose: bool) -> String { [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_verbose` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `is_already_treated` is never read [INFO] [stdout] --> src/dl_lite/tbox.rs:375:17 [INFO] [stdout] | [INFO] [stdout] 375 | is_already_treated = false; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `is_already_treated` is never read [INFO] [stdout] --> src/dl_lite/abox.rs:418:17 [INFO] [stdout] | [INFO] [stdout] 418 | is_already_treated = false; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_assignments)]` on by default [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `lside_result1` is never read [INFO] [stdout] --> src/dl_lite/string_formatter.rs:130:17 [INFO] [stdout] | [INFO] [stdout] 130 | let mut lside_result1 = invalid_data_result("not done yet"); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `rside_result1` is never read [INFO] [stdout] --> src/dl_lite/string_formatter.rs:131:17 [INFO] [stdout] | [INFO] [stdout] 131 | let mut rside_result1 = invalid_data_result("not done yet"); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `lside_result2` is never read [INFO] [stdout] --> src/dl_lite/string_formatter.rs:132:17 [INFO] [stdout] | [INFO] [stdout] 132 | let mut lside_result2 = invalid_data_result("not done yet"); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `rside_result2` is never read [INFO] [stdout] --> src/dl_lite/string_formatter.rs:133:17 [INFO] [stdout] | [INFO] [stdout] 133 | let mut rside_result2 = invalid_data_result("not done yet"); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `levels` [INFO] [stdout] --> src/dl_lite/string_formatter.rs:800:9 [INFO] [stdout] | [INFO] [stdout] 800 | let levels = new_tb.levels(); [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_levels` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `verbose` [INFO] [stdout] --> src/dl_lite/string_formatter.rs:793:88 [INFO] [stdout] | [INFO] [stdout] 793 | pub fn create_string_for_gencontb(tb: &TB, symbols: &HashMap, verbose: bool) -> String { [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_verbose` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `is_already_treated` is never read [INFO] [stdout] --> src/dl_lite/tbox.rs:375:17 [INFO] [stdout] | [INFO] [stdout] 375 | is_already_treated = false; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `from_vec` [INFO] [stdout] --> src/dl_lite/abox.rs:58:12 [INFO] [stdout] | [INFO] [stdout] 58 | pub fn from_vec(name: &str, mut v: Vec) -> ABQ { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `len` [INFO] [stdout] --> src/dl_lite/abox.rs:74:12 [INFO] [stdout] | [INFO] [stdout] 74 | pub fn len(&self) -> usize { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_completed` [INFO] [stdout] --> src/dl_lite/abox.rs:78:12 [INFO] [stdout] | [INFO] [stdout] 78 | pub fn is_completed(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `get` [INFO] [stdout] --> src/dl_lite/abox.rs:96:12 [INFO] [stdout] | [INFO] [stdout] 96 | pub fn get(&self, index: usize) -> Option<&ABIQ> { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `sort` [INFO] [stdout] --> src/dl_lite/abox.rs:104:12 [INFO] [stdout] | [INFO] [stdout] 104 | pub fn sort(&mut self) { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `sub_abox` [INFO] [stdout] --> src/dl_lite/abox.rs:109:12 [INFO] [stdout] | [INFO] [stdout] 109 | pub fn sub_abox(&self, index: Vec, name: Option<&str>) -> Option { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_inconsistent` [INFO] [stdout] --> src/dl_lite/abox.rs:226:12 [INFO] [stdout] | [INFO] [stdout] 226 | pub fn is_inconsistent(&self, tb: &TB, verbose: bool) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `None` [INFO] [stdout] --> src/dl_lite/abox_item.rs:12:5 [INFO] [stdout] | [INFO] [stdout] 12 | None, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Left` [INFO] [stdout] --> src/dl_lite/abox_item.rs:13:5 [INFO] [stdout] | [INFO] [stdout] 13 | Left, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Right` [INFO] [stdout] --> src/dl_lite/abox_item.rs:14:5 [INFO] [stdout] | [INFO] [stdout] 14 | Right, [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `negate` [INFO] [stdout] --> src/dl_lite/abox_item.rs:97:12 [INFO] [stdout] | [INFO] [stdout] 97 | pub fn negate(&self) -> ABI { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `t` [INFO] [stdout] --> src/dl_lite/abox_item.rs:119:12 [INFO] [stdout] | [INFO] [stdout] 119 | pub fn t(&self) -> DLType { [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `nominal` [INFO] [stdout] --> src/dl_lite/abox_item.rs:145:12 [INFO] [stdout] | [INFO] [stdout] 145 | pub fn nominal(&self, position: usize) -> Option<&Node> { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `decompact` [INFO] [stdout] --> src/dl_lite/abox_item.rs:172:12 [INFO] [stdout] | [INFO] [stdout] 172 | pub fn decompact(self) -> (Node, Node, Option) { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `decompact_with_clone` [INFO] [stdout] --> src/dl_lite/abox_item.rs:179:12 [INFO] [stdout] | [INFO] [stdout] 179 | pub fn decompact_with_clone(&self) -> (Node, Node, Option) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_match` [INFO] [stdout] --> src/dl_lite/abox_item.rs:184:12 [INFO] [stdout] | [INFO] [stdout] 184 | pub fn is_match(&self, tbi: &TBI) -> Vec { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `apply_rule` [INFO] [stdout] --> src/dl_lite/abox_item.rs:211:12 [INFO] [stdout] | [INFO] [stdout] 211 | pub fn apply_rule(abis: Vec<&ABI>, tbis: Vec<&TBI>, rule: &AbRule) -> Option> { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `negate` [INFO] [stdout] --> src/dl_lite/abox_item_quantum.rs:69:12 [INFO] [stdout] | [INFO] [stdout] 69 | pub fn negate(&self) -> ABIQ { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_trivial` [INFO] [stdout] --> src/dl_lite/abox_item_quantum.rs:87:12 [INFO] [stdout] | [INFO] [stdout] 87 | pub fn is_trivial(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `t` [INFO] [stdout] --> src/dl_lite/abox_item_quantum.rs:91:12 [INFO] [stdout] | [INFO] [stdout] 91 | pub fn t(&self) -> DLType { [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `symbol` [INFO] [stdout] --> src/dl_lite/abox_item_quantum.rs:96:12 [INFO] [stdout] | [INFO] [stdout] 96 | pub fn symbol(&self) -> &Node { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `nominal` [INFO] [stdout] --> src/dl_lite/abox_item_quantum.rs:103:12 [INFO] [stdout] | [INFO] [stdout] 103 | pub fn nominal(&self, position: usize) -> Option<&Node> { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_match` [INFO] [stdout] --> src/dl_lite/abox_item_quantum.rs:111:12 [INFO] [stdout] | [INFO] [stdout] 111 | pub fn is_match(&self, tbi: &TBI) -> Vec { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `tbox_complete_helper_dump_from_mutex_temporal_to_current2` [INFO] [stdout] --> src/dl_lite/helpers_and_utilities.rs:82:8 [INFO] [stdout] | [INFO] [stdout] 82 | pub fn tbox_complete_helper_dump_from_mutex_temporal_to_current2( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `print_vector_of_tbi` [INFO] [stdout] --> src/dl_lite/helpers_and_utilities.rs:172:4 [INFO] [stdout] | [INFO] [stdout] 172 | fn print_vector_of_tbi(vec: &Vec) -> String { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `print_matrix` [INFO] [stdout] --> src/dl_lite/helpers_and_utilities.rs:196:8 [INFO] [stdout] | [INFO] [stdout] 196 | pub fn print_matrix(v: Vec) { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `parse_value_abi` [INFO] [stdout] --> src/dl_lite/json_filetype_utilities.rs:210:8 [INFO] [stdout] | [INFO] [stdout] 210 | pub fn parse_value_abi(_value: &Value, _symbols: Vec<&Node>) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `node_to_value` [INFO] [stdout] --> src/dl_lite/json_filetype_utilities.rs:389:4 [INFO] [stdout] | [INFO] [stdout] 389 | fn node_to_value(node: &Node, symbols: &HashMap) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `tbi_to_value` [INFO] [stdout] --> src/dl_lite/json_filetype_utilities.rs:398:4 [INFO] [stdout] | [INFO] [stdout] 398 | fn tbi_to_value(tbi: &TBI, symbols: &HashMap) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `tbox_to_value` [INFO] [stdout] --> src/dl_lite/json_filetype_utilities.rs:408:8 [INFO] [stdout] | [INFO] [stdout] 408 | pub fn tbox_to_value( [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `abox_to_native_string_quantum` [INFO] [stdout] --> src/dl_lite/native_filetype_utilities.rs:507:8 [INFO] [stdout] | [INFO] [stdout] 507 | pub fn abox_to_native_string_quantum( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `retrieve_base` [INFO] [stdout] --> src/dl_lite/node.rs:188:12 [INFO] [stdout] | [INFO] [stdout] 188 | pub fn retrieve_base(node: &Node) -> &Node { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_inverted` [INFO] [stdout] --> src/dl_lite/node.rs:270:12 [INFO] [stdout] | [INFO] [stdout] 270 | pub fn is_inverted(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_inverse` [INFO] [stdout] --> src/dl_lite/node.rs:274:12 [INFO] [stdout] | [INFO] [stdout] 274 | pub fn is_inverse(&self, other: &Node) -> bool { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `print_iter` [INFO] [stdout] --> src/dl_lite/node.rs:283:12 [INFO] [stdout] | [INFO] [stdout] 283 | pub fn print_iter(it: I) -> String [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `abox_name` [INFO] [stdout] --> src/dl_lite/ontology.rs:113:12 [INFO] [stdout] | [INFO] [stdout] 113 | pub fn abox_name(&self) -> String { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `symbols_as_mut` [INFO] [stdout] --> src/dl_lite/ontology.rs:120:12 [INFO] [stdout] | [INFO] [stdout] 120 | pub fn symbols_as_mut(&mut self) -> &mut HashMap { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `sort` [INFO] [stdout] --> src/dl_lite/ontology.rs:126:12 [INFO] [stdout] | [INFO] [stdout] 126 | pub fn sort(&mut self) { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `new_abox_from_aboxq` [INFO] [stdout] --> src/dl_lite/ontology.rs:176:12 [INFO] [stdout] | [INFO] [stdout] 176 | pub fn new_abox_from_aboxq(&mut self, ab: ABQ) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `add_abis_from_file_quantum` [INFO] [stdout] --> src/dl_lite/ontology.rs:215:12 [INFO] [stdout] | [INFO] [stdout] 215 | pub fn add_abis_from_file_quantum( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `add_abi` [INFO] [stdout] --> src/dl_lite/ontology.rs:256:12 [INFO] [stdout] | [INFO] [stdout] 256 | pub fn add_abi(&mut self, abi: &ABIQ) { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `add_abis_from_abox` [INFO] [stdout] --> src/dl_lite/ontology.rs:264:12 [INFO] [stdout] | [INFO] [stdout] 264 | pub fn add_abis_from_abox(&mut self, ab: &ABQ) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `conflict_matrix` [INFO] [stdout] --> src/dl_lite/ontology.rs:309:12 [INFO] [stdout] | [INFO] [stdout] 309 | pub fn conflict_matrix( [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `contains_contradiction` [INFO] [stdout] --> src/dl_lite/ontology.rs:471:12 [INFO] [stdout] | [INFO] [stdout] 471 | pub fn contains_contradiction(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `find_consequences_from_file` [INFO] [stdout] --> src/dl_lite/ontology.rs:488:12 [INFO] [stdout] | [INFO] [stdout] 488 | pub fn find_consequences_from_file( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `len` [INFO] [stdout] --> src/dl_lite/ontology.rs:509:12 [INFO] [stdout] | [INFO] [stdout] 509 | pub fn len(&self) -> (usize, usize) { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `tbox_to_file` [INFO] [stdout] --> src/dl_lite/ontology.rs:751:12 [INFO] [stdout] | [INFO] [stdout] 751 | pub fn tbox_to_file( [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `abox_to_file` [INFO] [stdout] --> src/dl_lite/ontology.rs:826:12 [INFO] [stdout] | [INFO] [stdout] 826 | pub fn abox_to_file( [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `populate_db` [INFO] [stdout] --> src/dl_lite/ontology.rs:878:12 [INFO] [stdout] | [INFO] [stdout] 878 | pub fn populate_db(&mut self, conn: &Connection, verbose: bool) -> bool { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `initiate_from_db` [INFO] [stdout] --> src/dl_lite/ontology.rs:888:12 [INFO] [stdout] | [INFO] [stdout] 888 | pub fn initiate_from_db(filename: &str, verbose: bool) -> Result { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `connect_to_db` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:16:8 [INFO] [stdout] | [INFO] [stdout] 16 | pub fn connect_to_db(filename: &str, verbose: bool) -> Connection { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `add_basic_tables_to_db` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:39:8 [INFO] [stdout] | [INFO] [stdout] 39 | pub fn add_basic_tables_to_db(conn: &Connection, verbose: bool) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `add_symbol_to_db` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:154:8 [INFO] [stdout] | [INFO] [stdout] 154 | pub fn add_symbol_to_db(symbol: (&String, &(usize, DLType)), conn: &Connection, verbose: bool) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `add_symbols_to_db` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:173:8 [INFO] [stdout] | [INFO] [stdout] 173 | pub fn add_symbols_to_db( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `add_nodes_to_db` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:183:8 [INFO] [stdout] | [INFO] [stdout] 183 | pub fn add_nodes_to_db( [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `add_node_to_db` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:194:8 [INFO] [stdout] | [INFO] [stdout] 194 | pub fn add_node_to_db( [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `get_node_from_db` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:235:8 [INFO] [stdout] | [INFO] [stdout] 235 | pub fn get_node_from_db( [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `add_tbi_to_db` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:279:8 [INFO] [stdout] | [INFO] [stdout] 279 | pub fn add_tbi_to_db( [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `add_tbis_to_db` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:311:8 [INFO] [stdout] | [INFO] [stdout] 311 | pub fn add_tbis_to_db( [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `add_symbols_from_db` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:322:8 [INFO] [stdout] | [INFO] [stdout] 322 | pub fn add_symbols_from_db( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `add_tbis_from_db` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:382:8 [INFO] [stdout] | [INFO] [stdout] 382 | pub fn add_tbis_from_db( [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `update_symbols_to_db` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:454:8 [INFO] [stdout] | [INFO] [stdout] 454 | pub fn update_symbols_to_db( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `get_table_names` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:464:8 [INFO] [stdout] | [INFO] [stdout] 464 | pub fn get_table_names(conn: &Connection, verbose: bool) -> Result> { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `drop_tables_from_database` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:505:8 [INFO] [stdout] | [INFO] [stdout] 505 | pub fn drop_tables_from_database(conn: &Connection, tables_to_drop: Vec<&str>, verbose: bool) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `add_abi_to_db_quantum` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:526:8 [INFO] [stdout] | [INFO] [stdout] 526 | pub fn add_abi_to_db_quantum( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `add_abis_to_db_quantum` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:629:8 [INFO] [stdout] | [INFO] [stdout] 629 | pub fn add_abis_to_db_quantum( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `add_abis_from_db_quantum` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:700:8 [INFO] [stdout] | [INFO] [stdout] 700 | pub fn add_abis_from_db_quantum( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `new_from_iter` [INFO] [stdout] --> src/dl_lite/tbox.rs:75:12 [INFO] [stdout] | [INFO] [stdout] 75 | pub fn new_from_iter(it: I) -> TB [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `len` [INFO] [stdout] --> src/dl_lite/tbox.rs:88:12 [INFO] [stdout] | [INFO] [stdout] 88 | pub fn len(&self) -> usize { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_empty` [INFO] [stdout] --> src/dl_lite/tbox.rs:92:12 [INFO] [stdout] | [INFO] [stdout] 92 | pub fn is_empty(&self) -> bool { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `sort` [INFO] [stdout] --> src/dl_lite/tbox.rs:106:12 [INFO] [stdout] | [INFO] [stdout] 106 | pub fn sort(&mut self) { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `completed` [INFO] [stdout] --> src/dl_lite/tbox.rs:110:12 [INFO] [stdout] | [INFO] [stdout] 110 | pub fn completed(&self) -> &bool { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_completed` [INFO] [stdout] --> src/dl_lite/tbox.rs:118:12 [INFO] [stdout] | [INFO] [stdout] 118 | pub fn is_completed(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `negative_inclusions` [INFO] [stdout] --> src/dl_lite/tbox.rs:139:12 [INFO] [stdout] | [INFO] [stdout] 139 | pub fn negative_inclusions(&self) -> Vec<&TBI> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_satisfiable` [INFO] [stdout] --> src/dl_lite/tbox.rs:562:12 [INFO] [stdout] | [INFO] [stdout] 562 | pub fn is_satisfiable(&self, deduction_tree: bool, verbose: bool) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_negative_inclusion` [INFO] [stdout] --> src/dl_lite/tbox_item.rs:101:12 [INFO] [stdout] | [INFO] [stdout] 101 | pub fn is_negative_inclusion(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_positive_inclusion` [INFO] [stdout] --> src/dl_lite/tbox_item.rs:105:12 [INFO] [stdout] | [INFO] [stdout] 105 | pub fn is_positive_inclusion(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_base_type` [INFO] [stdout] --> src/dl_lite/types.rs:34:12 [INFO] [stdout] | [INFO] [stdout] 34 | pub fn is_base_type(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `types` [INFO] [stdout] --> src/dl_lite/types.rs:105:12 [INFO] [stdout] | [INFO] [stdout] 105 | pub fn types() -> [DLType; 9] { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `to_usize_for_db` [INFO] [stdout] --> src/dl_lite/types.rs:119:12 [INFO] [stdout] | [INFO] [stdout] 119 | pub fn to_usize_for_db(&self) -> usize { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `to_string_for_db` [INFO] [stdout] --> src/dl_lite/types.rs:133:12 [INFO] [stdout] | [INFO] [stdout] 133 | pub fn to_string_for_db(&self) -> String { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `to_type_from_usize_for_db` [INFO] [stdout] --> src/dl_lite/types.rs:168:12 [INFO] [stdout] | [INFO] [stdout] 168 | pub fn to_type_from_usize_for_db(id: usize) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `verify_tbox` [INFO] [stdout] --> src/interface/tasks.rs:10:8 [INFO] [stdout] | [INFO] [stdout] 10 | pub fn verify_tbox(_tb: &TB) -> bool { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `generate_consequence_tree_tbox` [INFO] [stdout] --> src/interface/tasks.rs:14:8 [INFO] [stdout] | [INFO] [stdout] 14 | pub fn generate_consequence_tree_tbox(_tb: &TB) -> Vec<(Vec<&TBI>, &TBI)> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `complete_tbox` [INFO] [stdout] --> src/interface/tasks.rs:20:8 [INFO] [stdout] | [INFO] [stdout] 20 | pub fn complete_tbox(_tb: &TB) -> TB { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `save_to_file_tbox` [INFO] [stdout] --> src/interface/tasks.rs:26:8 [INFO] [stdout] | [INFO] [stdout] 26 | pub fn save_to_file_tbox(_tb: &TB) -> io::Result { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `verify_abox` [INFO] [stdout] --> src/interface/tasks.rs:33:8 [INFO] [stdout] | [INFO] [stdout] 33 | pub fn verify_abox(_ab: &ABQ, _tb: &TB) -> bool { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `generate_consequence_tree_abox` [INFO] [stdout] --> src/interface/tasks.rs:37:8 [INFO] [stdout] | [INFO] [stdout] 37 | pub fn generate_consequence_tree_abox<'a>( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `complete_abox` [INFO] [stdout] --> src/interface/tasks.rs:46:8 [INFO] [stdout] | [INFO] [stdout] 46 | pub fn complete_abox(ab: &ABQ, _tb: &TB) -> ABQ { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `save_to_file_abox` [INFO] [stdout] --> src/interface/tasks.rs:55:8 [INFO] [stdout] | [INFO] [stdout] 55 | pub fn save_to_file_abox(_ab: &ABQ) -> io::Result { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 99 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_completed` [INFO] [stdout] --> src/dl_lite/abox.rs:78:12 [INFO] [stdout] | [INFO] [stdout] 78 | pub fn is_completed(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `sort` [INFO] [stdout] --> src/dl_lite/abox.rs:104:12 [INFO] [stdout] | [INFO] [stdout] 104 | pub fn sort(&mut self) { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_inconsistent_detailed` [INFO] [stdout] --> src/dl_lite/abox.rs:130:12 [INFO] [stdout] | [INFO] [stdout] 130 | pub fn is_inconsistent_detailed(&self, tb: &TB, verbose: bool) -> Vec<(TBI, Vec)> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `None` [INFO] [stdout] --> src/dl_lite/abox_item.rs:12:5 [INFO] [stdout] | [INFO] [stdout] 12 | None, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Left` [INFO] [stdout] --> src/dl_lite/abox_item.rs:13:5 [INFO] [stdout] | [INFO] [stdout] 13 | Left, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Right` [INFO] [stdout] --> src/dl_lite/abox_item.rs:14:5 [INFO] [stdout] | [INFO] [stdout] 14 | Right, [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `t` [INFO] [stdout] --> src/dl_lite/abox_item.rs:119:12 [INFO] [stdout] | [INFO] [stdout] 119 | pub fn t(&self) -> DLType { [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `same_nominal` [INFO] [stdout] --> src/dl_lite/abox_item.rs:137:12 [INFO] [stdout] | [INFO] [stdout] 137 | pub fn same_nominal(&self, other: &Self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `nominal` [INFO] [stdout] --> src/dl_lite/abox_item.rs:145:12 [INFO] [stdout] | [INFO] [stdout] 145 | pub fn nominal(&self, position: usize) -> Option<&Node> { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `decompact` [INFO] [stdout] --> src/dl_lite/abox_item.rs:172:12 [INFO] [stdout] | [INFO] [stdout] 172 | pub fn decompact(self) -> (Node, Node, Option) { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `decompact_with_clone` [INFO] [stdout] --> src/dl_lite/abox_item.rs:179:12 [INFO] [stdout] | [INFO] [stdout] 179 | pub fn decompact_with_clone(&self) -> (Node, Node, Option) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_match` [INFO] [stdout] --> src/dl_lite/abox_item.rs:184:12 [INFO] [stdout] | [INFO] [stdout] 184 | pub fn is_match(&self, tbi: &TBI) -> Vec { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `apply_rule` [INFO] [stdout] --> src/dl_lite/abox_item.rs:211:12 [INFO] [stdout] | [INFO] [stdout] 211 | pub fn apply_rule(abis: Vec<&ABI>, tbis: Vec<&TBI>, rule: &AbRule) -> Option> { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_trivial` [INFO] [stdout] --> src/dl_lite/abox_item_quantum.rs:87:12 [INFO] [stdout] | [INFO] [stdout] 87 | pub fn is_trivial(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `t` [INFO] [stdout] --> src/dl_lite/abox_item_quantum.rs:91:12 [INFO] [stdout] | [INFO] [stdout] 91 | pub fn t(&self) -> DLType { [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `symbol` [INFO] [stdout] --> src/dl_lite/abox_item_quantum.rs:96:12 [INFO] [stdout] | [INFO] [stdout] 96 | pub fn symbol(&self) -> &Node { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `nominal` [INFO] [stdout] --> src/dl_lite/abox_item_quantum.rs:103:12 [INFO] [stdout] | [INFO] [stdout] 103 | pub fn nominal(&self, position: usize) -> Option<&Node> { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `same_nominal` [INFO] [stdout] --> src/dl_lite/abox_item_quantum.rs:107:12 [INFO] [stdout] | [INFO] [stdout] 107 | pub fn same_nominal(&self, other: &Self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_match` [INFO] [stdout] --> src/dl_lite/abox_item_quantum.rs:111:12 [INFO] [stdout] | [INFO] [stdout] 111 | pub fn is_match(&self, tbi: &TBI) -> Vec { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `tbox_complete_helper_dump_from_mutex_temporal_to_current2` [INFO] [stdout] --> src/dl_lite/helpers_and_utilities.rs:82:8 [INFO] [stdout] | [INFO] [stdout] 82 | pub fn tbox_complete_helper_dump_from_mutex_temporal_to_current2( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `print_vector_of_tbi` [INFO] [stdout] --> src/dl_lite/helpers_and_utilities.rs:172:4 [INFO] [stdout] | [INFO] [stdout] 172 | fn print_vector_of_tbi(vec: &Vec) -> String { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `parse_value_abi` [INFO] [stdout] --> src/dl_lite/json_filetype_utilities.rs:210:8 [INFO] [stdout] | [INFO] [stdout] 210 | pub fn parse_value_abi(_value: &Value, _symbols: Vec<&Node>) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `node_to_value` [INFO] [stdout] --> src/dl_lite/json_filetype_utilities.rs:389:4 [INFO] [stdout] | [INFO] [stdout] 389 | fn node_to_value(node: &Node, symbols: &HashMap) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `tbi_to_value` [INFO] [stdout] --> src/dl_lite/json_filetype_utilities.rs:398:4 [INFO] [stdout] | [INFO] [stdout] 398 | fn tbi_to_value(tbi: &TBI, symbols: &HashMap) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `tbox_to_value` [INFO] [stdout] --> src/dl_lite/json_filetype_utilities.rs:408:8 [INFO] [stdout] | [INFO] [stdout] 408 | pub fn tbox_to_value( [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `tbox_to_native_string` [INFO] [stdout] --> src/dl_lite/native_filetype_utilities.rs:315:8 [INFO] [stdout] | [INFO] [stdout] 315 | pub fn tbox_to_native_string( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `abox_to_native_string_quantum` [INFO] [stdout] --> src/dl_lite/native_filetype_utilities.rs:507:8 [INFO] [stdout] | [INFO] [stdout] 507 | pub fn abox_to_native_string_quantum( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `retrieve_base` [INFO] [stdout] --> src/dl_lite/node.rs:188:12 [INFO] [stdout] | [INFO] [stdout] 188 | pub fn retrieve_base(node: &Node) -> &Node { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `child_r` [INFO] [stdout] --> src/dl_lite/node.rs:210:12 [INFO] [stdout] | [INFO] [stdout] 210 | pub fn child_r(node: Option<&Node>, depth: usize) -> Option<&Self> { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_negation` [INFO] [stdout] --> src/dl_lite/node.rs:248:12 [INFO] [stdout] | [INFO] [stdout] 248 | pub fn is_negation(&self, other: &Node) -> bool { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_inverted` [INFO] [stdout] --> src/dl_lite/node.rs:270:12 [INFO] [stdout] | [INFO] [stdout] 270 | pub fn is_inverted(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_inverse` [INFO] [stdout] --> src/dl_lite/node.rs:274:12 [INFO] [stdout] | [INFO] [stdout] 274 | pub fn is_inverse(&self, other: &Node) -> bool { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `print_iter` [INFO] [stdout] --> src/dl_lite/node.rs:283:12 [INFO] [stdout] | [INFO] [stdout] 283 | pub fn print_iter(it: I) -> String [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `abox_name` [INFO] [stdout] --> src/dl_lite/ontology.rs:113:12 [INFO] [stdout] | [INFO] [stdout] 113 | pub fn abox_name(&self) -> String { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `symbols_as_mut` [INFO] [stdout] --> src/dl_lite/ontology.rs:120:12 [INFO] [stdout] | [INFO] [stdout] 120 | pub fn symbols_as_mut(&mut self) -> &mut HashMap { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `sort` [INFO] [stdout] --> src/dl_lite/ontology.rs:126:12 [INFO] [stdout] | [INFO] [stdout] 126 | pub fn sort(&mut self) { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `new_abox_from_aboxq` [INFO] [stdout] --> src/dl_lite/ontology.rs:176:12 [INFO] [stdout] | [INFO] [stdout] 176 | pub fn new_abox_from_aboxq(&mut self, ab: ABQ) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `add_abis_from_file_quantum` [INFO] [stdout] --> src/dl_lite/ontology.rs:215:12 [INFO] [stdout] | [INFO] [stdout] 215 | pub fn add_abis_from_file_quantum( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `add_tbis_from_tbox` [INFO] [stdout] --> src/dl_lite/ontology.rs:270:12 [INFO] [stdout] | [INFO] [stdout] 270 | pub fn add_tbis_from_tbox(&mut self, tb: &TB) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `complete_tbox` [INFO] [stdout] --> src/dl_lite/ontology.rs:282:12 [INFO] [stdout] | [INFO] [stdout] 282 | pub fn complete_tbox(&self, deduction_tree: bool, verbose: bool) -> TB { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `auto_complete` [INFO] [stdout] --> src/dl_lite/ontology.rs:288:12 [INFO] [stdout] | [INFO] [stdout] 288 | pub fn auto_complete(&mut self, deduction_tree: bool, verbose: bool) { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `complete_abox` [INFO] [stdout] --> src/dl_lite/ontology.rs:301:12 [INFO] [stdout] | [INFO] [stdout] 301 | pub fn complete_abox(&self, verbose: bool) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `contains_contradiction` [INFO] [stdout] --> src/dl_lite/ontology.rs:471:12 [INFO] [stdout] | [INFO] [stdout] 471 | pub fn contains_contradiction(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `find_consequences_from_file` [INFO] [stdout] --> src/dl_lite/ontology.rs:488:12 [INFO] [stdout] | [INFO] [stdout] 488 | pub fn find_consequences_from_file( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `len` [INFO] [stdout] --> src/dl_lite/ontology.rs:509:12 [INFO] [stdout] | [INFO] [stdout] 509 | pub fn len(&self) -> (usize, usize) { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `tbox_to_file` [INFO] [stdout] --> src/dl_lite/ontology.rs:751:12 [INFO] [stdout] | [INFO] [stdout] 751 | pub fn tbox_to_file( [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `abox_to_file` [INFO] [stdout] --> src/dl_lite/ontology.rs:826:12 [INFO] [stdout] | [INFO] [stdout] 826 | pub fn abox_to_file( [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `populate_db` [INFO] [stdout] --> src/dl_lite/ontology.rs:878:12 [INFO] [stdout] | [INFO] [stdout] 878 | pub fn populate_db(&mut self, conn: &Connection, verbose: bool) -> bool { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `initiate_from_db` [INFO] [stdout] --> src/dl_lite/ontology.rs:888:12 [INFO] [stdout] | [INFO] [stdout] 888 | pub fn initiate_from_db(filename: &str, verbose: bool) -> Result { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias is never used: `TbRule` [INFO] [stdout] --> src/dl_lite/rule.rs:15:1 [INFO] [stdout] | [INFO] [stdout] 15 | pub type TbRule = fn(Vec<&TBI>, bool) -> Option>; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `dl_lite_rule_zero` [INFO] [stdout] --> src/dl_lite/rule.rs:24:8 [INFO] [stdout] | [INFO] [stdout] 24 | pub fn dl_lite_rule_zero(vec: Vec<&TBI>, deduction_tree: bool) -> Option> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `dl_lite_rule_one` [INFO] [stdout] --> src/dl_lite/rule.rs:84:8 [INFO] [stdout] | [INFO] [stdout] 84 | pub fn dl_lite_rule_one(vec: Vec<&TBI>, deduction_tree: bool) -> Option> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `dl_lite_rule_two` [INFO] [stdout] --> src/dl_lite/rule.rs:112:8 [INFO] [stdout] | [INFO] [stdout] 112 | pub fn dl_lite_rule_two(vec: Vec<&TBI>, deduction_tree: bool) -> Option> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `dl_lite_rule_three` [INFO] [stdout] --> src/dl_lite/rule.rs:163:8 [INFO] [stdout] | [INFO] [stdout] 163 | pub fn dl_lite_rule_three(vec: Vec<&TBI>, deduction_tree: bool) -> Option> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `dl_lite_rule_four` [INFO] [stdout] --> src/dl_lite/rule.rs:222:8 [INFO] [stdout] | [INFO] [stdout] 222 | pub fn dl_lite_rule_four(vec: Vec<&TBI>, deduction_tree: bool) -> Option> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `dl_lite_rule_five` [INFO] [stdout] --> src/dl_lite/rule.rs:276:8 [INFO] [stdout] | [INFO] [stdout] 276 | pub fn dl_lite_rule_five(vec: Vec<&TBI>, deduction_tree: bool) -> Option> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `dl_lite_rule_six` [INFO] [stdout] --> src/dl_lite/rule.rs:315:8 [INFO] [stdout] | [INFO] [stdout] 315 | pub fn dl_lite_rule_six(_vec: Vec<&TBI>, _deduction_tree: bool) -> Option> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `dl_lite_rule_seven` [INFO] [stdout] --> src/dl_lite/rule.rs:320:8 [INFO] [stdout] | [INFO] [stdout] 320 | pub fn dl_lite_rule_seven(vec: Vec<&TBI>, deduction_tree: bool) -> Option> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `dl_lite_rule_eight` [INFO] [stdout] --> src/dl_lite/rule.rs:365:8 [INFO] [stdout] | [INFO] [stdout] 365 | pub fn dl_lite_rule_eight(vec: Vec<&TBI>, deduction_tree: bool) -> Option> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `connect_to_db` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:16:8 [INFO] [stdout] | [INFO] [stdout] 16 | pub fn connect_to_db(filename: &str, verbose: bool) -> Connection { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `add_basic_tables_to_db` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:39:8 [INFO] [stdout] | [INFO] [stdout] 39 | pub fn add_basic_tables_to_db(conn: &Connection, verbose: bool) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `add_symbol_to_db` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:154:8 [INFO] [stdout] | [INFO] [stdout] 154 | pub fn add_symbol_to_db(symbol: (&String, &(usize, DLType)), conn: &Connection, verbose: bool) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `add_symbols_to_db` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:173:8 [INFO] [stdout] | [INFO] [stdout] 173 | pub fn add_symbols_to_db( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `add_nodes_to_db` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:183:8 [INFO] [stdout] | [INFO] [stdout] 183 | pub fn add_nodes_to_db( [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `add_node_to_db` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:194:8 [INFO] [stdout] | [INFO] [stdout] 194 | pub fn add_node_to_db( [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `get_node_from_db` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:235:8 [INFO] [stdout] | [INFO] [stdout] 235 | pub fn get_node_from_db( [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `add_tbi_to_db` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:279:8 [INFO] [stdout] | [INFO] [stdout] 279 | pub fn add_tbi_to_db( [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `add_tbis_to_db` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:311:8 [INFO] [stdout] | [INFO] [stdout] 311 | pub fn add_tbis_to_db( [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `add_symbols_from_db` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:322:8 [INFO] [stdout] | [INFO] [stdout] 322 | pub fn add_symbols_from_db( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `add_tbis_from_db` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:382:8 [INFO] [stdout] | [INFO] [stdout] 382 | pub fn add_tbis_from_db( [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `update_symbols_to_db` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:454:8 [INFO] [stdout] | [INFO] [stdout] 454 | pub fn update_symbols_to_db( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `get_table_names` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:464:8 [INFO] [stdout] | [INFO] [stdout] 464 | pub fn get_table_names(conn: &Connection, verbose: bool) -> Result> { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `drop_tables_from_database` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:505:8 [INFO] [stdout] | [INFO] [stdout] 505 | pub fn drop_tables_from_database(conn: &Connection, tables_to_drop: Vec<&str>, verbose: bool) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `add_abi_to_db_quantum` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:526:8 [INFO] [stdout] | [INFO] [stdout] 526 | pub fn add_abi_to_db_quantum( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `add_abis_to_db_quantum` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:629:8 [INFO] [stdout] | [INFO] [stdout] 629 | pub fn add_abis_to_db_quantum( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `add_abis_from_db_quantum` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:700:8 [INFO] [stdout] | [INFO] [stdout] 700 | pub fn add_abis_from_db_quantum( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `node_to_string` [INFO] [stdout] --> src/dl_lite/string_formatter.rs:60:8 [INFO] [stdout] | [INFO] [stdout] 60 | pub fn node_to_string( [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `tbi_to_string` [INFO] [stdout] --> src/dl_lite/string_formatter.rs:239:8 [INFO] [stdout] | [INFO] [stdout] 239 | pub fn tbi_to_string(tbi: &TBI, symbols: &HashMap) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `abi_to_string` [INFO] [stdout] --> src/dl_lite/string_formatter.rs:378:8 [INFO] [stdout] | [INFO] [stdout] 378 | pub fn abi_to_string(abi: &ABI, symbols: &HashMap) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `find_keys_for_value` [INFO] [stdout] --> src/dl_lite/string_formatter.rs:556:4 [INFO] [stdout] | [INFO] [stdout] 556 | fn find_keys_for_value(symbols: &HashMap, value: usize) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `abiq_to_string` [INFO] [stdout] --> src/dl_lite/string_formatter.rs:708:8 [INFO] [stdout] | [INFO] [stdout] 708 | pub fn abiq_to_string(abiq: &ABIQ, symbols: &HashMap) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `pretty_print_abiq_conflict` [INFO] [stdout] --> src/dl_lite/string_formatter.rs:727:8 [INFO] [stdout] | [INFO] [stdout] 727 | pub fn pretty_print_abiq_conflict( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `pretty_vector_tbi_to_string` [INFO] [stdout] --> src/dl_lite/string_formatter.rs:771:8 [INFO] [stdout] | [INFO] [stdout] 771 | pub fn pretty_vector_tbi_to_string(vec: &Vec, symbols: &HashMap) -> String { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `create_string_for_gencontb` [INFO] [stdout] --> src/dl_lite/string_formatter.rs:793:8 [INFO] [stdout] | [INFO] [stdout] 793 | pub fn create_string_for_gencontb(tb: &TB, symbols: &HashMap, verbose: bool) -> String { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `new_from_iter` [INFO] [stdout] --> src/dl_lite/tbox.rs:75:12 [INFO] [stdout] | [INFO] [stdout] 75 | pub fn new_from_iter(it: I) -> TB [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `len` [INFO] [stdout] --> src/dl_lite/tbox.rs:88:12 [INFO] [stdout] | [INFO] [stdout] 88 | pub fn len(&self) -> usize { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_empty` [INFO] [stdout] --> src/dl_lite/tbox.rs:92:12 [INFO] [stdout] | [INFO] [stdout] 92 | pub fn is_empty(&self) -> bool { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `levels` [INFO] [stdout] --> src/dl_lite/tbox.rs:100:12 [INFO] [stdout] | [INFO] [stdout] 100 | pub fn levels(&self) -> Vec { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `sort` [INFO] [stdout] --> src/dl_lite/tbox.rs:106:12 [INFO] [stdout] | [INFO] [stdout] 106 | pub fn sort(&mut self) { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `completed` [INFO] [stdout] --> src/dl_lite/tbox.rs:110:12 [INFO] [stdout] | [INFO] [stdout] 110 | pub fn completed(&self) -> &bool { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_completed` [INFO] [stdout] --> src/dl_lite/tbox.rs:118:12 [INFO] [stdout] | [INFO] [stdout] 118 | pub fn is_completed(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `remove_trivial` [INFO] [stdout] --> src/dl_lite/tbox.rs:122:12 [INFO] [stdout] | [INFO] [stdout] 122 | pub fn remove_trivial(&mut self) { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `negative_inclusions` [INFO] [stdout] --> src/dl_lite/tbox.rs:139:12 [INFO] [stdout] | [INFO] [stdout] 139 | pub fn negative_inclusions(&self) -> Vec<&TBI> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `complete` [INFO] [stdout] --> src/dl_lite/tbox.rs:151:12 [INFO] [stdout] | [INFO] [stdout] 151 | pub fn complete(&self, deduction_tree: bool, verbose: bool) -> TB { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_satisfiable` [INFO] [stdout] --> src/dl_lite/tbox.rs:562:12 [INFO] [stdout] | [INFO] [stdout] 562 | pub fn is_satisfiable(&self, deduction_tree: bool, verbose: bool) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `get_max_level` [INFO] [stdout] --> src/dl_lite/tbox.rs:574:12 [INFO] [stdout] | [INFO] [stdout] 574 | pub fn get_max_level(&self) -> usize { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `implied_by` [INFO] [stdout] --> src/dl_lite/tbox_item.rs:77:12 [INFO] [stdout] | [INFO] [stdout] 77 | pub fn implied_by(&self) -> &Vec> { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `level` [INFO] [stdout] --> src/dl_lite/tbox_item.rs:81:12 [INFO] [stdout] | [INFO] [stdout] 81 | pub fn level(&self) -> usize { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `add_to_implied_by` [INFO] [stdout] --> src/dl_lite/tbox_item.rs:85:12 [INFO] [stdout] | [INFO] [stdout] 85 | pub fn add_to_implied_by(&mut self, impliers: Vec) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_contradiction` [INFO] [stdout] --> src/dl_lite/tbox_item.rs:89:12 [INFO] [stdout] | [INFO] [stdout] 89 | pub fn is_contradiction(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_redundant` [INFO] [stdout] --> src/dl_lite/tbox_item.rs:93:12 [INFO] [stdout] | [INFO] [stdout] 93 | pub fn is_redundant(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_positive_inclusion` [INFO] [stdout] --> src/dl_lite/tbox_item.rs:105:12 [INFO] [stdout] | [INFO] [stdout] 105 | pub fn is_positive_inclusion(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `reverse_negation` [INFO] [stdout] --> src/dl_lite/tbox_item.rs:109:12 [INFO] [stdout] | [INFO] [stdout] 109 | pub fn reverse_negation(&self, add_level: bool) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `apply_rule` [INFO] [stdout] --> src/dl_lite/tbox_item.rs:129:12 [INFO] [stdout] | [INFO] [stdout] 129 | pub fn apply_rule(tbis: Vec<&TBI>, rule: &TbRule, deduction_tree: bool) -> Option> { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `get_extrema_level` [INFO] [stdout] --> src/dl_lite/tbox_item.rs:158:12 [INFO] [stdout] | [INFO] [stdout] 158 | pub fn get_extrema_level(v: Vec<&TBI>, max_index: usize, get_max: bool) -> usize { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_base_type` [INFO] [stdout] --> src/dl_lite/types.rs:34:12 [INFO] [stdout] | [INFO] [stdout] 34 | pub fn is_base_type(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `types` [INFO] [stdout] --> src/dl_lite/types.rs:105:12 [INFO] [stdout] | [INFO] [stdout] 105 | pub fn types() -> [DLType; 9] { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `to_usize_for_db` [INFO] [stdout] --> src/dl_lite/types.rs:119:12 [INFO] [stdout] | [INFO] [stdout] 119 | pub fn to_usize_for_db(&self) -> usize { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `to_string_for_db` [INFO] [stdout] --> src/dl_lite/types.rs:133:12 [INFO] [stdout] | [INFO] [stdout] 133 | pub fn to_string_for_db(&self) -> String { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `to_type_from_usize_for_db` [INFO] [stdout] --> src/dl_lite/types.rs:168:12 [INFO] [stdout] | [INFO] [stdout] 168 | pub fn to_type_from_usize_for_db(id: usize) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Zero` [INFO] [stdout] --> src/dl_lite/types.rs:187:5 [INFO] [stdout] | [INFO] [stdout] 187 | Zero, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Fourth` [INFO] [stdout] --> src/dl_lite/types.rs:191:5 [INFO] [stdout] | [INFO] [stdout] 191 | Fourth, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Fifth` [INFO] [stdout] --> src/dl_lite/types.rs:192:5 [INFO] [stdout] | [INFO] [stdout] 192 | Fifth, [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Sixth` [INFO] [stdout] --> src/dl_lite/types.rs:193:5 [INFO] [stdout] | [INFO] [stdout] 193 | Sixth, [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Seventh` [INFO] [stdout] --> src/dl_lite/types.rs:194:5 [INFO] [stdout] | [INFO] [stdout] 194 | Seventh, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Eight` [INFO] [stdout] --> src/dl_lite/types.rs:195:5 [INFO] [stdout] | [INFO] [stdout] 195 | Eight, [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `verify_tbox` [INFO] [stdout] --> src/interface/tasks.rs:10:8 [INFO] [stdout] | [INFO] [stdout] 10 | pub fn verify_tbox(_tb: &TB) -> bool { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `generate_consequence_tree_tbox` [INFO] [stdout] --> src/interface/tasks.rs:14:8 [INFO] [stdout] | [INFO] [stdout] 14 | pub fn generate_consequence_tree_tbox(_tb: &TB) -> Vec<(Vec<&TBI>, &TBI)> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `complete_tbox` [INFO] [stdout] --> src/interface/tasks.rs:20:8 [INFO] [stdout] | [INFO] [stdout] 20 | pub fn complete_tbox(_tb: &TB) -> TB { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `save_to_file_tbox` [INFO] [stdout] --> src/interface/tasks.rs:26:8 [INFO] [stdout] | [INFO] [stdout] 26 | pub fn save_to_file_tbox(_tb: &TB) -> io::Result { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `verify_abox` [INFO] [stdout] --> src/interface/tasks.rs:33:8 [INFO] [stdout] | [INFO] [stdout] 33 | pub fn verify_abox(_ab: &ABQ, _tb: &TB) -> bool { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `generate_consequence_tree_abox` [INFO] [stdout] --> src/interface/tasks.rs:37:8 [INFO] [stdout] | [INFO] [stdout] 37 | pub fn generate_consequence_tree_abox<'a>( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `complete_abox` [INFO] [stdout] --> src/interface/tasks.rs:46:8 [INFO] [stdout] | [INFO] [stdout] 46 | pub fn complete_abox(ab: &ABQ, _tb: &TB) -> ABQ { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `save_to_file_abox` [INFO] [stdout] --> src/interface/tasks.rs:55:8 [INFO] [stdout] | [INFO] [stdout] 55 | pub fn save_to_file_abox(_ab: &ABQ) -> io::Result { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `is_json_file` [INFO] [stdout] --> src/interface/utilities.rs:5:8 [INFO] [stdout] | [INFO] [stdout] 5 | pub fn is_json_file(filename: &str) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `get_filetype` [INFO] [stdout] --> src/interface/utilities.rs:9:8 [INFO] [stdout] | [INFO] [stdout] 9 | pub fn get_filetype(filename: &str) -> FileType { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `write_str_to_file` [INFO] [stdout] --> src/interface/utilities.rs:28:8 [INFO] [stdout] | [INFO] [stdout] 28 | pub fn write_str_to_file(s: &str, filename: &str) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `JSON` [INFO] [stdout] --> src/kb/types.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | JSON, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_completed` [INFO] [stdout] --> src/dl_lite/abox.rs:78:12 [INFO] [stdout] | [INFO] [stdout] 78 | pub fn is_completed(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `sort` [INFO] [stdout] --> src/dl_lite/abox.rs:104:12 [INFO] [stdout] | [INFO] [stdout] 104 | pub fn sort(&mut self) { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_inconsistent_detailed` [INFO] [stdout] --> src/dl_lite/abox.rs:130:12 [INFO] [stdout] | [INFO] [stdout] 130 | pub fn is_inconsistent_detailed(&self, tb: &TB, verbose: bool) -> Vec<(TBI, Vec)> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `None` [INFO] [stdout] --> src/dl_lite/abox_item.rs:12:5 [INFO] [stdout] | [INFO] [stdout] 12 | None, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Left` [INFO] [stdout] --> src/dl_lite/abox_item.rs:13:5 [INFO] [stdout] | [INFO] [stdout] 13 | Left, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Right` [INFO] [stdout] --> src/dl_lite/abox_item.rs:14:5 [INFO] [stdout] | [INFO] [stdout] 14 | Right, [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `t` [INFO] [stdout] --> src/dl_lite/abox_item.rs:119:12 [INFO] [stdout] | [INFO] [stdout] 119 | pub fn t(&self) -> DLType { [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `same_nominal` [INFO] [stdout] --> src/dl_lite/abox_item.rs:137:12 [INFO] [stdout] | [INFO] [stdout] 137 | pub fn same_nominal(&self, other: &Self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `nominal` [INFO] [stdout] --> src/dl_lite/abox_item.rs:145:12 [INFO] [stdout] | [INFO] [stdout] 145 | pub fn nominal(&self, position: usize) -> Option<&Node> { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `decompact` [INFO] [stdout] --> src/dl_lite/abox_item.rs:172:12 [INFO] [stdout] | [INFO] [stdout] 172 | pub fn decompact(self) -> (Node, Node, Option) { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `decompact_with_clone` [INFO] [stdout] --> src/dl_lite/abox_item.rs:179:12 [INFO] [stdout] | [INFO] [stdout] 179 | pub fn decompact_with_clone(&self) -> (Node, Node, Option) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_match` [INFO] [stdout] --> src/dl_lite/abox_item.rs:184:12 [INFO] [stdout] | [INFO] [stdout] 184 | pub fn is_match(&self, tbi: &TBI) -> Vec { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `apply_rule` [INFO] [stdout] --> src/dl_lite/abox_item.rs:211:12 [INFO] [stdout] | [INFO] [stdout] 211 | pub fn apply_rule(abis: Vec<&ABI>, tbis: Vec<&TBI>, rule: &AbRule) -> Option> { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_trivial` [INFO] [stdout] --> src/dl_lite/abox_item_quantum.rs:87:12 [INFO] [stdout] | [INFO] [stdout] 87 | pub fn is_trivial(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `t` [INFO] [stdout] --> src/dl_lite/abox_item_quantum.rs:91:12 [INFO] [stdout] | [INFO] [stdout] 91 | pub fn t(&self) -> DLType { [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `symbol` [INFO] [stdout] --> src/dl_lite/abox_item_quantum.rs:96:12 [INFO] [stdout] | [INFO] [stdout] 96 | pub fn symbol(&self) -> &Node { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `nominal` [INFO] [stdout] --> src/dl_lite/abox_item_quantum.rs:103:12 [INFO] [stdout] | [INFO] [stdout] 103 | pub fn nominal(&self, position: usize) -> Option<&Node> { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `same_nominal` [INFO] [stdout] --> src/dl_lite/abox_item_quantum.rs:107:12 [INFO] [stdout] | [INFO] [stdout] 107 | pub fn same_nominal(&self, other: &Self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_match` [INFO] [stdout] --> src/dl_lite/abox_item_quantum.rs:111:12 [INFO] [stdout] | [INFO] [stdout] 111 | pub fn is_match(&self, tbi: &TBI) -> Vec { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `tbox_complete_helper_dump_from_mutex_temporal_to_current2` [INFO] [stdout] --> src/dl_lite/helpers_and_utilities.rs:82:8 [INFO] [stdout] | [INFO] [stdout] 82 | pub fn tbox_complete_helper_dump_from_mutex_temporal_to_current2( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `print_vector_of_tbi` [INFO] [stdout] --> src/dl_lite/helpers_and_utilities.rs:172:4 [INFO] [stdout] | [INFO] [stdout] 172 | fn print_vector_of_tbi(vec: &Vec) -> String { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `parse_value_abi` [INFO] [stdout] --> src/dl_lite/json_filetype_utilities.rs:210:8 [INFO] [stdout] | [INFO] [stdout] 210 | pub fn parse_value_abi(_value: &Value, _symbols: Vec<&Node>) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `node_to_value` [INFO] [stdout] --> src/dl_lite/json_filetype_utilities.rs:389:4 [INFO] [stdout] | [INFO] [stdout] 389 | fn node_to_value(node: &Node, symbols: &HashMap) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `tbi_to_value` [INFO] [stdout] --> src/dl_lite/json_filetype_utilities.rs:398:4 [INFO] [stdout] | [INFO] [stdout] 398 | fn tbi_to_value(tbi: &TBI, symbols: &HashMap) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `tbox_to_value` [INFO] [stdout] --> src/dl_lite/json_filetype_utilities.rs:408:8 [INFO] [stdout] | [INFO] [stdout] 408 | pub fn tbox_to_value( [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `tbox_to_native_string` [INFO] [stdout] --> src/dl_lite/native_filetype_utilities.rs:315:8 [INFO] [stdout] | [INFO] [stdout] 315 | pub fn tbox_to_native_string( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `abox_to_native_string_quantum` [INFO] [stdout] --> src/dl_lite/native_filetype_utilities.rs:507:8 [INFO] [stdout] | [INFO] [stdout] 507 | pub fn abox_to_native_string_quantum( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `retrieve_base` [INFO] [stdout] --> src/dl_lite/node.rs:188:12 [INFO] [stdout] | [INFO] [stdout] 188 | pub fn retrieve_base(node: &Node) -> &Node { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `child_r` [INFO] [stdout] --> src/dl_lite/node.rs:210:12 [INFO] [stdout] | [INFO] [stdout] 210 | pub fn child_r(node: Option<&Node>, depth: usize) -> Option<&Self> { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_negation` [INFO] [stdout] --> src/dl_lite/node.rs:248:12 [INFO] [stdout] | [INFO] [stdout] 248 | pub fn is_negation(&self, other: &Node) -> bool { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_inverted` [INFO] [stdout] --> src/dl_lite/node.rs:270:12 [INFO] [stdout] | [INFO] [stdout] 270 | pub fn is_inverted(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_inverse` [INFO] [stdout] --> src/dl_lite/node.rs:274:12 [INFO] [stdout] | [INFO] [stdout] 274 | pub fn is_inverse(&self, other: &Node) -> bool { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `print_iter` [INFO] [stdout] --> src/dl_lite/node.rs:283:12 [INFO] [stdout] | [INFO] [stdout] 283 | pub fn print_iter(it: I) -> String [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `abox_name` [INFO] [stdout] --> src/dl_lite/ontology.rs:113:12 [INFO] [stdout] | [INFO] [stdout] 113 | pub fn abox_name(&self) -> String { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `symbols_as_mut` [INFO] [stdout] --> src/dl_lite/ontology.rs:120:12 [INFO] [stdout] | [INFO] [stdout] 120 | pub fn symbols_as_mut(&mut self) -> &mut HashMap { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `sort` [INFO] [stdout] --> src/dl_lite/ontology.rs:126:12 [INFO] [stdout] | [INFO] [stdout] 126 | pub fn sort(&mut self) { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `new_abox_from_aboxq` [INFO] [stdout] --> src/dl_lite/ontology.rs:176:12 [INFO] [stdout] | [INFO] [stdout] 176 | pub fn new_abox_from_aboxq(&mut self, ab: ABQ) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `add_abis_from_file_quantum` [INFO] [stdout] --> src/dl_lite/ontology.rs:215:12 [INFO] [stdout] | [INFO] [stdout] 215 | pub fn add_abis_from_file_quantum( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `add_tbis_from_tbox` [INFO] [stdout] --> src/dl_lite/ontology.rs:270:12 [INFO] [stdout] | [INFO] [stdout] 270 | pub fn add_tbis_from_tbox(&mut self, tb: &TB) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `complete_tbox` [INFO] [stdout] --> src/dl_lite/ontology.rs:282:12 [INFO] [stdout] | [INFO] [stdout] 282 | pub fn complete_tbox(&self, deduction_tree: bool, verbose: bool) -> TB { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `auto_complete` [INFO] [stdout] --> src/dl_lite/ontology.rs:288:12 [INFO] [stdout] | [INFO] [stdout] 288 | pub fn auto_complete(&mut self, deduction_tree: bool, verbose: bool) { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `complete_abox` [INFO] [stdout] --> src/dl_lite/ontology.rs:301:12 [INFO] [stdout] | [INFO] [stdout] 301 | pub fn complete_abox(&self, verbose: bool) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `contains_contradiction` [INFO] [stdout] --> src/dl_lite/ontology.rs:471:12 [INFO] [stdout] | [INFO] [stdout] 471 | pub fn contains_contradiction(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `find_consequences_from_file` [INFO] [stdout] --> src/dl_lite/ontology.rs:488:12 [INFO] [stdout] | [INFO] [stdout] 488 | pub fn find_consequences_from_file( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `len` [INFO] [stdout] --> src/dl_lite/ontology.rs:509:12 [INFO] [stdout] | [INFO] [stdout] 509 | pub fn len(&self) -> (usize, usize) { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `tbox_to_file` [INFO] [stdout] --> src/dl_lite/ontology.rs:751:12 [INFO] [stdout] | [INFO] [stdout] 751 | pub fn tbox_to_file( [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `abox_to_file` [INFO] [stdout] --> src/dl_lite/ontology.rs:826:12 [INFO] [stdout] | [INFO] [stdout] 826 | pub fn abox_to_file( [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `populate_db` [INFO] [stdout] --> src/dl_lite/ontology.rs:878:12 [INFO] [stdout] | [INFO] [stdout] 878 | pub fn populate_db(&mut self, conn: &Connection, verbose: bool) -> bool { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `initiate_from_db` [INFO] [stdout] --> src/dl_lite/ontology.rs:888:12 [INFO] [stdout] | [INFO] [stdout] 888 | pub fn initiate_from_db(filename: &str, verbose: bool) -> Result { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias is never used: `TbRule` [INFO] [stdout] --> src/dl_lite/rule.rs:15:1 [INFO] [stdout] | [INFO] [stdout] 15 | pub type TbRule = fn(Vec<&TBI>, bool) -> Option>; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `dl_lite_rule_zero` [INFO] [stdout] --> src/dl_lite/rule.rs:24:8 [INFO] [stdout] | [INFO] [stdout] 24 | pub fn dl_lite_rule_zero(vec: Vec<&TBI>, deduction_tree: bool) -> Option> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `dl_lite_rule_one` [INFO] [stdout] --> src/dl_lite/rule.rs:84:8 [INFO] [stdout] | [INFO] [stdout] 84 | pub fn dl_lite_rule_one(vec: Vec<&TBI>, deduction_tree: bool) -> Option> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `dl_lite_rule_two` [INFO] [stdout] --> src/dl_lite/rule.rs:112:8 [INFO] [stdout] | [INFO] [stdout] 112 | pub fn dl_lite_rule_two(vec: Vec<&TBI>, deduction_tree: bool) -> Option> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `dl_lite_rule_three` [INFO] [stdout] --> src/dl_lite/rule.rs:163:8 [INFO] [stdout] | [INFO] [stdout] 163 | pub fn dl_lite_rule_three(vec: Vec<&TBI>, deduction_tree: bool) -> Option> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `dl_lite_rule_four` [INFO] [stdout] --> src/dl_lite/rule.rs:222:8 [INFO] [stdout] | [INFO] [stdout] 222 | pub fn dl_lite_rule_four(vec: Vec<&TBI>, deduction_tree: bool) -> Option> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `dl_lite_rule_five` [INFO] [stdout] --> src/dl_lite/rule.rs:276:8 [INFO] [stdout] | [INFO] [stdout] 276 | pub fn dl_lite_rule_five(vec: Vec<&TBI>, deduction_tree: bool) -> Option> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `dl_lite_rule_six` [INFO] [stdout] --> src/dl_lite/rule.rs:315:8 [INFO] [stdout] | [INFO] [stdout] 315 | pub fn dl_lite_rule_six(_vec: Vec<&TBI>, _deduction_tree: bool) -> Option> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `dl_lite_rule_seven` [INFO] [stdout] --> src/dl_lite/rule.rs:320:8 [INFO] [stdout] | [INFO] [stdout] 320 | pub fn dl_lite_rule_seven(vec: Vec<&TBI>, deduction_tree: bool) -> Option> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `dl_lite_rule_eight` [INFO] [stdout] --> src/dl_lite/rule.rs:365:8 [INFO] [stdout] | [INFO] [stdout] 365 | pub fn dl_lite_rule_eight(vec: Vec<&TBI>, deduction_tree: bool) -> Option> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `connect_to_db` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:16:8 [INFO] [stdout] | [INFO] [stdout] 16 | pub fn connect_to_db(filename: &str, verbose: bool) -> Connection { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `add_basic_tables_to_db` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:39:8 [INFO] [stdout] | [INFO] [stdout] 39 | pub fn add_basic_tables_to_db(conn: &Connection, verbose: bool) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `add_symbol_to_db` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:154:8 [INFO] [stdout] | [INFO] [stdout] 154 | pub fn add_symbol_to_db(symbol: (&String, &(usize, DLType)), conn: &Connection, verbose: bool) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `add_symbols_to_db` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:173:8 [INFO] [stdout] | [INFO] [stdout] 173 | pub fn add_symbols_to_db( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `add_nodes_to_db` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:183:8 [INFO] [stdout] | [INFO] [stdout] 183 | pub fn add_nodes_to_db( [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `add_node_to_db` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:194:8 [INFO] [stdout] | [INFO] [stdout] 194 | pub fn add_node_to_db( [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `get_node_from_db` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:235:8 [INFO] [stdout] | [INFO] [stdout] 235 | pub fn get_node_from_db( [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `add_tbi_to_db` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:279:8 [INFO] [stdout] | [INFO] [stdout] 279 | pub fn add_tbi_to_db( [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `add_tbis_to_db` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:311:8 [INFO] [stdout] | [INFO] [stdout] 311 | pub fn add_tbis_to_db( [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `add_symbols_from_db` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:322:8 [INFO] [stdout] | [INFO] [stdout] 322 | pub fn add_symbols_from_db( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `add_tbis_from_db` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:382:8 [INFO] [stdout] | [INFO] [stdout] 382 | pub fn add_tbis_from_db( [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `update_symbols_to_db` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:454:8 [INFO] [stdout] | [INFO] [stdout] 454 | pub fn update_symbols_to_db( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `get_table_names` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:464:8 [INFO] [stdout] | [INFO] [stdout] 464 | pub fn get_table_names(conn: &Connection, verbose: bool) -> Result> { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `drop_tables_from_database` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:505:8 [INFO] [stdout] | [INFO] [stdout] 505 | pub fn drop_tables_from_database(conn: &Connection, tables_to_drop: Vec<&str>, verbose: bool) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `add_abi_to_db_quantum` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:526:8 [INFO] [stdout] | [INFO] [stdout] 526 | pub fn add_abi_to_db_quantum( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `add_abis_to_db_quantum` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:629:8 [INFO] [stdout] | [INFO] [stdout] 629 | pub fn add_abis_to_db_quantum( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `add_abis_from_db_quantum` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:700:8 [INFO] [stdout] | [INFO] [stdout] 700 | pub fn add_abis_from_db_quantum( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `node_to_string` [INFO] [stdout] --> src/dl_lite/string_formatter.rs:60:8 [INFO] [stdout] | [INFO] [stdout] 60 | pub fn node_to_string( [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `tbi_to_string` [INFO] [stdout] --> src/dl_lite/string_formatter.rs:239:8 [INFO] [stdout] | [INFO] [stdout] 239 | pub fn tbi_to_string(tbi: &TBI, symbols: &HashMap) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `abi_to_string` [INFO] [stdout] --> src/dl_lite/string_formatter.rs:378:8 [INFO] [stdout] | [INFO] [stdout] 378 | pub fn abi_to_string(abi: &ABI, symbols: &HashMap) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `find_keys_for_value` [INFO] [stdout] --> src/dl_lite/string_formatter.rs:556:4 [INFO] [stdout] | [INFO] [stdout] 556 | fn find_keys_for_value(symbols: &HashMap, value: usize) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `abiq_to_string` [INFO] [stdout] --> src/dl_lite/string_formatter.rs:708:8 [INFO] [stdout] | [INFO] [stdout] 708 | pub fn abiq_to_string(abiq: &ABIQ, symbols: &HashMap) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `pretty_print_abiq_conflict` [INFO] [stdout] --> src/dl_lite/string_formatter.rs:727:8 [INFO] [stdout] | [INFO] [stdout] 727 | pub fn pretty_print_abiq_conflict( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `pretty_vector_tbi_to_string` [INFO] [stdout] --> src/dl_lite/string_formatter.rs:771:8 [INFO] [stdout] | [INFO] [stdout] 771 | pub fn pretty_vector_tbi_to_string(vec: &Vec, symbols: &HashMap) -> String { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `create_string_for_gencontb` [INFO] [stdout] --> src/dl_lite/string_formatter.rs:793:8 [INFO] [stdout] | [INFO] [stdout] 793 | pub fn create_string_for_gencontb(tb: &TB, symbols: &HashMap, verbose: bool) -> String { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `new_from_iter` [INFO] [stdout] --> src/dl_lite/tbox.rs:75:12 [INFO] [stdout] | [INFO] [stdout] 75 | pub fn new_from_iter(it: I) -> TB [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `len` [INFO] [stdout] --> src/dl_lite/tbox.rs:88:12 [INFO] [stdout] | [INFO] [stdout] 88 | pub fn len(&self) -> usize { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_empty` [INFO] [stdout] --> src/dl_lite/tbox.rs:92:12 [INFO] [stdout] | [INFO] [stdout] 92 | pub fn is_empty(&self) -> bool { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `levels` [INFO] [stdout] --> src/dl_lite/tbox.rs:100:12 [INFO] [stdout] | [INFO] [stdout] 100 | pub fn levels(&self) -> Vec { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `sort` [INFO] [stdout] --> src/dl_lite/tbox.rs:106:12 [INFO] [stdout] | [INFO] [stdout] 106 | pub fn sort(&mut self) { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `completed` [INFO] [stdout] --> src/dl_lite/tbox.rs:110:12 [INFO] [stdout] | [INFO] [stdout] 110 | pub fn completed(&self) -> &bool { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_completed` [INFO] [stdout] --> src/dl_lite/tbox.rs:118:12 [INFO] [stdout] | [INFO] [stdout] 118 | pub fn is_completed(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `remove_trivial` [INFO] [stdout] --> src/dl_lite/tbox.rs:122:12 [INFO] [stdout] | [INFO] [stdout] 122 | pub fn remove_trivial(&mut self) { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `negative_inclusions` [INFO] [stdout] --> src/dl_lite/tbox.rs:139:12 [INFO] [stdout] | [INFO] [stdout] 139 | pub fn negative_inclusions(&self) -> Vec<&TBI> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `complete` [INFO] [stdout] --> src/dl_lite/tbox.rs:151:12 [INFO] [stdout] | [INFO] [stdout] 151 | pub fn complete(&self, deduction_tree: bool, verbose: bool) -> TB { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_satisfiable` [INFO] [stdout] --> src/dl_lite/tbox.rs:562:12 [INFO] [stdout] | [INFO] [stdout] 562 | pub fn is_satisfiable(&self, deduction_tree: bool, verbose: bool) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `get_max_level` [INFO] [stdout] --> src/dl_lite/tbox.rs:574:12 [INFO] [stdout] | [INFO] [stdout] 574 | pub fn get_max_level(&self) -> usize { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `implied_by` [INFO] [stdout] --> src/dl_lite/tbox_item.rs:77:12 [INFO] [stdout] | [INFO] [stdout] 77 | pub fn implied_by(&self) -> &Vec> { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `level` [INFO] [stdout] --> src/dl_lite/tbox_item.rs:81:12 [INFO] [stdout] | [INFO] [stdout] 81 | pub fn level(&self) -> usize { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `add_to_implied_by` [INFO] [stdout] --> src/dl_lite/tbox_item.rs:85:12 [INFO] [stdout] | [INFO] [stdout] 85 | pub fn add_to_implied_by(&mut self, impliers: Vec) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_contradiction` [INFO] [stdout] --> src/dl_lite/tbox_item.rs:89:12 [INFO] [stdout] | [INFO] [stdout] 89 | pub fn is_contradiction(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_redundant` [INFO] [stdout] --> src/dl_lite/tbox_item.rs:93:12 [INFO] [stdout] | [INFO] [stdout] 93 | pub fn is_redundant(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_positive_inclusion` [INFO] [stdout] --> src/dl_lite/tbox_item.rs:105:12 [INFO] [stdout] | [INFO] [stdout] 105 | pub fn is_positive_inclusion(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `reverse_negation` [INFO] [stdout] --> src/dl_lite/tbox_item.rs:109:12 [INFO] [stdout] | [INFO] [stdout] 109 | pub fn reverse_negation(&self, add_level: bool) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `apply_rule` [INFO] [stdout] --> src/dl_lite/tbox_item.rs:129:12 [INFO] [stdout] | [INFO] [stdout] 129 | pub fn apply_rule(tbis: Vec<&TBI>, rule: &TbRule, deduction_tree: bool) -> Option> { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `get_extrema_level` [INFO] [stdout] --> src/dl_lite/tbox_item.rs:158:12 [INFO] [stdout] | [INFO] [stdout] 158 | pub fn get_extrema_level(v: Vec<&TBI>, max_index: usize, get_max: bool) -> usize { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_base_type` [INFO] [stdout] --> src/dl_lite/types.rs:34:12 [INFO] [stdout] | [INFO] [stdout] 34 | pub fn is_base_type(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `types` [INFO] [stdout] --> src/dl_lite/types.rs:105:12 [INFO] [stdout] | [INFO] [stdout] 105 | pub fn types() -> [DLType; 9] { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `to_usize_for_db` [INFO] [stdout] --> src/dl_lite/types.rs:119:12 [INFO] [stdout] | [INFO] [stdout] 119 | pub fn to_usize_for_db(&self) -> usize { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `to_string_for_db` [INFO] [stdout] --> src/dl_lite/types.rs:133:12 [INFO] [stdout] | [INFO] [stdout] 133 | pub fn to_string_for_db(&self) -> String { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `to_type_from_usize_for_db` [INFO] [stdout] --> src/dl_lite/types.rs:168:12 [INFO] [stdout] | [INFO] [stdout] 168 | pub fn to_type_from_usize_for_db(id: usize) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Zero` [INFO] [stdout] --> src/dl_lite/types.rs:187:5 [INFO] [stdout] | [INFO] [stdout] 187 | Zero, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Fourth` [INFO] [stdout] --> src/dl_lite/types.rs:191:5 [INFO] [stdout] | [INFO] [stdout] 191 | Fourth, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Fifth` [INFO] [stdout] --> src/dl_lite/types.rs:192:5 [INFO] [stdout] | [INFO] [stdout] 192 | Fifth, [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Sixth` [INFO] [stdout] --> src/dl_lite/types.rs:193:5 [INFO] [stdout] | [INFO] [stdout] 193 | Sixth, [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Seventh` [INFO] [stdout] --> src/dl_lite/types.rs:194:5 [INFO] [stdout] | [INFO] [stdout] 194 | Seventh, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Eight` [INFO] [stdout] --> src/dl_lite/types.rs:195:5 [INFO] [stdout] | [INFO] [stdout] 195 | Eight, [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `verify_tbox` [INFO] [stdout] --> src/interface/tasks.rs:10:8 [INFO] [stdout] | [INFO] [stdout] 10 | pub fn verify_tbox(_tb: &TB) -> bool { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `generate_consequence_tree_tbox` [INFO] [stdout] --> src/interface/tasks.rs:14:8 [INFO] [stdout] | [INFO] [stdout] 14 | pub fn generate_consequence_tree_tbox(_tb: &TB) -> Vec<(Vec<&TBI>, &TBI)> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `complete_tbox` [INFO] [stdout] --> src/interface/tasks.rs:20:8 [INFO] [stdout] | [INFO] [stdout] 20 | pub fn complete_tbox(_tb: &TB) -> TB { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `save_to_file_tbox` [INFO] [stdout] --> src/interface/tasks.rs:26:8 [INFO] [stdout] | [INFO] [stdout] 26 | pub fn save_to_file_tbox(_tb: &TB) -> io::Result { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `verify_abox` [INFO] [stdout] --> src/interface/tasks.rs:33:8 [INFO] [stdout] | [INFO] [stdout] 33 | pub fn verify_abox(_ab: &ABQ, _tb: &TB) -> bool { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `generate_consequence_tree_abox` [INFO] [stdout] --> src/interface/tasks.rs:37:8 [INFO] [stdout] | [INFO] [stdout] 37 | pub fn generate_consequence_tree_abox<'a>( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `complete_abox` [INFO] [stdout] --> src/interface/tasks.rs:46:8 [INFO] [stdout] | [INFO] [stdout] 46 | pub fn complete_abox(ab: &ABQ, _tb: &TB) -> ABQ { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `save_to_file_abox` [INFO] [stdout] --> src/interface/tasks.rs:55:8 [INFO] [stdout] | [INFO] [stdout] 55 | pub fn save_to_file_abox(_ab: &ABQ) -> io::Result { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `is_json_file` [INFO] [stdout] --> src/interface/utilities.rs:5:8 [INFO] [stdout] | [INFO] [stdout] 5 | pub fn is_json_file(filename: &str) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `get_filetype` [INFO] [stdout] --> src/interface/utilities.rs:9:8 [INFO] [stdout] | [INFO] [stdout] 9 | pub fn get_filetype(filename: &str) -> FileType { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `write_str_to_file` [INFO] [stdout] --> src/interface/utilities.rs:28:8 [INFO] [stdout] | [INFO] [stdout] 28 | pub fn write_str_to_file(s: &str, filename: &str) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `JSON` [INFO] [stdout] --> src/kb/types.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | JSON, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 136 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 136 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `from_vec` [INFO] [stdout] --> src/dl_lite/abox.rs:58:12 [INFO] [stdout] | [INFO] [stdout] 58 | pub fn from_vec(name: &str, mut v: Vec) -> ABQ { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `len` [INFO] [stdout] --> src/dl_lite/abox.rs:74:12 [INFO] [stdout] | [INFO] [stdout] 74 | pub fn len(&self) -> usize { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_completed` [INFO] [stdout] --> src/dl_lite/abox.rs:78:12 [INFO] [stdout] | [INFO] [stdout] 78 | pub fn is_completed(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `get` [INFO] [stdout] --> src/dl_lite/abox.rs:96:12 [INFO] [stdout] | [INFO] [stdout] 96 | pub fn get(&self, index: usize) -> Option<&ABIQ> { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `sort` [INFO] [stdout] --> src/dl_lite/abox.rs:104:12 [INFO] [stdout] | [INFO] [stdout] 104 | pub fn sort(&mut self) { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `sub_abox` [INFO] [stdout] --> src/dl_lite/abox.rs:109:12 [INFO] [stdout] | [INFO] [stdout] 109 | pub fn sub_abox(&self, index: Vec, name: Option<&str>) -> Option { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_inconsistent_detailed` [INFO] [stdout] --> src/dl_lite/abox.rs:130:12 [INFO] [stdout] | [INFO] [stdout] 130 | pub fn is_inconsistent_detailed(&self, tb: &TB, verbose: bool) -> Vec<(TBI, Vec)> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_inconsistent` [INFO] [stdout] --> src/dl_lite/abox.rs:226:12 [INFO] [stdout] | [INFO] [stdout] 226 | pub fn is_inconsistent(&self, tb: &TB, verbose: bool) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `None` [INFO] [stdout] --> src/dl_lite/abox_item.rs:12:5 [INFO] [stdout] | [INFO] [stdout] 12 | None, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Left` [INFO] [stdout] --> src/dl_lite/abox_item.rs:13:5 [INFO] [stdout] | [INFO] [stdout] 13 | Left, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Right` [INFO] [stdout] --> src/dl_lite/abox_item.rs:14:5 [INFO] [stdout] | [INFO] [stdout] 14 | Right, [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `negate` [INFO] [stdout] --> src/dl_lite/abox_item.rs:97:12 [INFO] [stdout] | [INFO] [stdout] 97 | pub fn negate(&self) -> ABI { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `t` [INFO] [stdout] --> src/dl_lite/abox_item.rs:119:12 [INFO] [stdout] | [INFO] [stdout] 119 | pub fn t(&self) -> DLType { [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `symbol` [INFO] [stdout] --> src/dl_lite/abox_item.rs:127:12 [INFO] [stdout] | [INFO] [stdout] 127 | pub fn symbol(&self) -> &Node { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `same_nominal` [INFO] [stdout] --> src/dl_lite/abox_item.rs:137:12 [INFO] [stdout] | [INFO] [stdout] 137 | pub fn same_nominal(&self, other: &Self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `nominal` [INFO] [stdout] --> src/dl_lite/abox_item.rs:145:12 [INFO] [stdout] | [INFO] [stdout] 145 | pub fn nominal(&self, position: usize) -> Option<&Node> { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `decompact` [INFO] [stdout] --> src/dl_lite/abox_item.rs:172:12 [INFO] [stdout] | [INFO] [stdout] 172 | pub fn decompact(self) -> (Node, Node, Option) { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `decompact_with_clone` [INFO] [stdout] --> src/dl_lite/abox_item.rs:179:12 [INFO] [stdout] | [INFO] [stdout] 179 | pub fn decompact_with_clone(&self) -> (Node, Node, Option) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_match` [INFO] [stdout] --> src/dl_lite/abox_item.rs:184:12 [INFO] [stdout] | [INFO] [stdout] 184 | pub fn is_match(&self, tbi: &TBI) -> Vec { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `apply_rule` [INFO] [stdout] --> src/dl_lite/abox_item.rs:211:12 [INFO] [stdout] | [INFO] [stdout] 211 | pub fn apply_rule(abis: Vec<&ABI>, tbis: Vec<&TBI>, rule: &AbRule) -> Option> { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `negate` [INFO] [stdout] --> src/dl_lite/abox_item_quantum.rs:69:12 [INFO] [stdout] | [INFO] [stdout] 69 | pub fn negate(&self) -> ABIQ { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `t` [INFO] [stdout] --> src/dl_lite/abox_item_quantum.rs:91:12 [INFO] [stdout] | [INFO] [stdout] 91 | pub fn t(&self) -> DLType { [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `symbol` [INFO] [stdout] --> src/dl_lite/abox_item_quantum.rs:96:12 [INFO] [stdout] | [INFO] [stdout] 96 | pub fn symbol(&self) -> &Node { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `nominal` [INFO] [stdout] --> src/dl_lite/abox_item_quantum.rs:103:12 [INFO] [stdout] | [INFO] [stdout] 103 | pub fn nominal(&self, position: usize) -> Option<&Node> { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `same_nominal` [INFO] [stdout] --> src/dl_lite/abox_item_quantum.rs:107:12 [INFO] [stdout] | [INFO] [stdout] 107 | pub fn same_nominal(&self, other: &Self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_match` [INFO] [stdout] --> src/dl_lite/abox_item_quantum.rs:111:12 [INFO] [stdout] | [INFO] [stdout] 111 | pub fn is_match(&self, tbi: &TBI) -> Vec { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `tbox_complete_helper_dump_from_mutex_temporal_to_current2` [INFO] [stdout] --> src/dl_lite/helpers_and_utilities.rs:82:8 [INFO] [stdout] | [INFO] [stdout] 82 | pub fn tbox_complete_helper_dump_from_mutex_temporal_to_current2( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `print_vector_of_tbi` [INFO] [stdout] --> src/dl_lite/helpers_and_utilities.rs:172:4 [INFO] [stdout] | [INFO] [stdout] 172 | fn print_vector_of_tbi(vec: &Vec) -> String { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `print_matrix` [INFO] [stdout] --> src/dl_lite/helpers_and_utilities.rs:196:8 [INFO] [stdout] | [INFO] [stdout] 196 | pub fn print_matrix(v: Vec) { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `parse_value_abi` [INFO] [stdout] --> src/dl_lite/json_filetype_utilities.rs:210:8 [INFO] [stdout] | [INFO] [stdout] 210 | pub fn parse_value_abi(_value: &Value, _symbols: Vec<&Node>) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `retrieve_base` [INFO] [stdout] --> src/dl_lite/node.rs:188:12 [INFO] [stdout] | [INFO] [stdout] 188 | pub fn retrieve_base(node: &Node) -> &Node { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_negation` [INFO] [stdout] --> src/dl_lite/node.rs:248:12 [INFO] [stdout] | [INFO] [stdout] 248 | pub fn is_negation(&self, other: &Node) -> bool { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_inverted` [INFO] [stdout] --> src/dl_lite/node.rs:270:12 [INFO] [stdout] | [INFO] [stdout] 270 | pub fn is_inverted(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_inverse` [INFO] [stdout] --> src/dl_lite/node.rs:274:12 [INFO] [stdout] | [INFO] [stdout] 274 | pub fn is_inverse(&self, other: &Node) -> bool { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `print_iter` [INFO] [stdout] --> src/dl_lite/node.rs:283:12 [INFO] [stdout] | [INFO] [stdout] 283 | pub fn print_iter(it: I) -> String [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `symbols_as_mut` [INFO] [stdout] --> src/dl_lite/ontology.rs:120:12 [INFO] [stdout] | [INFO] [stdout] 120 | pub fn symbols_as_mut(&mut self) -> &mut HashMap { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `add_abis_from_file_quantum` [INFO] [stdout] --> src/dl_lite/ontology.rs:215:12 [INFO] [stdout] | [INFO] [stdout] 215 | pub fn add_abis_from_file_quantum( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `add_abi` [INFO] [stdout] --> src/dl_lite/ontology.rs:256:12 [INFO] [stdout] | [INFO] [stdout] 256 | pub fn add_abi(&mut self, abi: &ABIQ) { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `add_abis_from_abox` [INFO] [stdout] --> src/dl_lite/ontology.rs:264:12 [INFO] [stdout] | [INFO] [stdout] 264 | pub fn add_abis_from_abox(&mut self, ab: &ABQ) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `conflict_matrix` [INFO] [stdout] --> src/dl_lite/ontology.rs:309:12 [INFO] [stdout] | [INFO] [stdout] 309 | pub fn conflict_matrix( [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `contains_contradiction` [INFO] [stdout] --> src/dl_lite/ontology.rs:471:12 [INFO] [stdout] | [INFO] [stdout] 471 | pub fn contains_contradiction(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `find_consequences_from_file` [INFO] [stdout] --> src/dl_lite/ontology.rs:488:12 [INFO] [stdout] | [INFO] [stdout] 488 | pub fn find_consequences_from_file( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `len` [INFO] [stdout] --> src/dl_lite/ontology.rs:509:12 [INFO] [stdout] | [INFO] [stdout] 509 | pub fn len(&self) -> (usize, usize) { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `add_abis_from_db_quantum` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:700:8 [INFO] [stdout] | [INFO] [stdout] 700 | pub fn add_abis_from_db_quantum( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `pretty_print_abiq_conflict` [INFO] [stdout] --> src/dl_lite/string_formatter.rs:727:8 [INFO] [stdout] | [INFO] [stdout] 727 | pub fn pretty_print_abiq_conflict( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `pretty_vector_tbi_to_string` [INFO] [stdout] --> src/dl_lite/string_formatter.rs:771:8 [INFO] [stdout] | [INFO] [stdout] 771 | pub fn pretty_vector_tbi_to_string(vec: &Vec, symbols: &HashMap) -> String { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `create_string_for_gencontb` [INFO] [stdout] --> src/dl_lite/string_formatter.rs:793:8 [INFO] [stdout] | [INFO] [stdout] 793 | pub fn create_string_for_gencontb(tb: &TB, symbols: &HashMap, verbose: bool) -> String { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `new_from_iter` [INFO] [stdout] --> src/dl_lite/tbox.rs:75:12 [INFO] [stdout] | [INFO] [stdout] 75 | pub fn new_from_iter(it: I) -> TB [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `len` [INFO] [stdout] --> src/dl_lite/tbox.rs:88:12 [INFO] [stdout] | [INFO] [stdout] 88 | pub fn len(&self) -> usize { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_empty` [INFO] [stdout] --> src/dl_lite/tbox.rs:92:12 [INFO] [stdout] | [INFO] [stdout] 92 | pub fn is_empty(&self) -> bool { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `levels` [INFO] [stdout] --> src/dl_lite/tbox.rs:100:12 [INFO] [stdout] | [INFO] [stdout] 100 | pub fn levels(&self) -> Vec { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `completed` [INFO] [stdout] --> src/dl_lite/tbox.rs:110:12 [INFO] [stdout] | [INFO] [stdout] 110 | pub fn completed(&self) -> &bool { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_completed` [INFO] [stdout] --> src/dl_lite/tbox.rs:118:12 [INFO] [stdout] | [INFO] [stdout] 118 | pub fn is_completed(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `negative_inclusions` [INFO] [stdout] --> src/dl_lite/tbox.rs:139:12 [INFO] [stdout] | [INFO] [stdout] 139 | pub fn negative_inclusions(&self) -> Vec<&TBI> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_satisfiable` [INFO] [stdout] --> src/dl_lite/tbox.rs:562:12 [INFO] [stdout] | [INFO] [stdout] 562 | pub fn is_satisfiable(&self, deduction_tree: bool, verbose: bool) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `get_max_level` [INFO] [stdout] --> src/dl_lite/tbox.rs:574:12 [INFO] [stdout] | [INFO] [stdout] 574 | pub fn get_max_level(&self) -> usize { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `implied_by` [INFO] [stdout] --> src/dl_lite/tbox_item.rs:77:12 [INFO] [stdout] | [INFO] [stdout] 77 | pub fn implied_by(&self) -> &Vec> { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_contradiction` [INFO] [stdout] --> src/dl_lite/tbox_item.rs:89:12 [INFO] [stdout] | [INFO] [stdout] 89 | pub fn is_contradiction(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_negative_inclusion` [INFO] [stdout] --> src/dl_lite/tbox_item.rs:101:12 [INFO] [stdout] | [INFO] [stdout] 101 | pub fn is_negative_inclusion(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_positive_inclusion` [INFO] [stdout] --> src/dl_lite/tbox_item.rs:105:12 [INFO] [stdout] | [INFO] [stdout] 105 | pub fn is_positive_inclusion(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `verify_tbox` [INFO] [stdout] --> src/interface/tasks.rs:10:8 [INFO] [stdout] | [INFO] [stdout] 10 | pub fn verify_tbox(_tb: &TB) -> bool { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `generate_consequence_tree_tbox` [INFO] [stdout] --> src/interface/tasks.rs:14:8 [INFO] [stdout] | [INFO] [stdout] 14 | pub fn generate_consequence_tree_tbox(_tb: &TB) -> Vec<(Vec<&TBI>, &TBI)> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `complete_tbox` [INFO] [stdout] --> src/interface/tasks.rs:20:8 [INFO] [stdout] | [INFO] [stdout] 20 | pub fn complete_tbox(_tb: &TB) -> TB { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `save_to_file_tbox` [INFO] [stdout] --> src/interface/tasks.rs:26:8 [INFO] [stdout] | [INFO] [stdout] 26 | pub fn save_to_file_tbox(_tb: &TB) -> io::Result { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `verify_abox` [INFO] [stdout] --> src/interface/tasks.rs:33:8 [INFO] [stdout] | [INFO] [stdout] 33 | pub fn verify_abox(_ab: &ABQ, _tb: &TB) -> bool { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `generate_consequence_tree_abox` [INFO] [stdout] --> src/interface/tasks.rs:37:8 [INFO] [stdout] | [INFO] [stdout] 37 | pub fn generate_consequence_tree_abox<'a>( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `complete_abox` [INFO] [stdout] --> src/interface/tasks.rs:46:8 [INFO] [stdout] | [INFO] [stdout] 46 | pub fn complete_abox(ab: &ABQ, _tb: &TB) -> ABQ { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `save_to_file_abox` [INFO] [stdout] --> src/interface/tasks.rs:55:8 [INFO] [stdout] | [INFO] [stdout] 55 | pub fn save_to_file_abox(_ab: &ABQ) -> io::Result { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `write_str_to_file` [INFO] [stdout] --> src/interface/utilities.rs:28:8 [INFO] [stdout] | [INFO] [stdout] 28 | pub fn write_str_to_file(s: &str, filename: &str) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 77 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `from_vec` [INFO] [stdout] --> src/dl_lite/abox.rs:58:12 [INFO] [stdout] | [INFO] [stdout] 58 | pub fn from_vec(name: &str, mut v: Vec) -> ABQ { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `len` [INFO] [stdout] --> src/dl_lite/abox.rs:74:12 [INFO] [stdout] | [INFO] [stdout] 74 | pub fn len(&self) -> usize { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_completed` [INFO] [stdout] --> src/dl_lite/abox.rs:78:12 [INFO] [stdout] | [INFO] [stdout] 78 | pub fn is_completed(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `get` [INFO] [stdout] --> src/dl_lite/abox.rs:96:12 [INFO] [stdout] | [INFO] [stdout] 96 | pub fn get(&self, index: usize) -> Option<&ABIQ> { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `sort` [INFO] [stdout] --> src/dl_lite/abox.rs:104:12 [INFO] [stdout] | [INFO] [stdout] 104 | pub fn sort(&mut self) { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `sub_abox` [INFO] [stdout] --> src/dl_lite/abox.rs:109:12 [INFO] [stdout] | [INFO] [stdout] 109 | pub fn sub_abox(&self, index: Vec, name: Option<&str>) -> Option { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_inconsistent_detailed` [INFO] [stdout] --> src/dl_lite/abox.rs:130:12 [INFO] [stdout] | [INFO] [stdout] 130 | pub fn is_inconsistent_detailed(&self, tb: &TB, verbose: bool) -> Vec<(TBI, Vec)> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_inconsistent` [INFO] [stdout] --> src/dl_lite/abox.rs:226:12 [INFO] [stdout] | [INFO] [stdout] 226 | pub fn is_inconsistent(&self, tb: &TB, verbose: bool) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `None` [INFO] [stdout] --> src/dl_lite/abox_item.rs:12:5 [INFO] [stdout] | [INFO] [stdout] 12 | None, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Left` [INFO] [stdout] --> src/dl_lite/abox_item.rs:13:5 [INFO] [stdout] | [INFO] [stdout] 13 | Left, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Right` [INFO] [stdout] --> src/dl_lite/abox_item.rs:14:5 [INFO] [stdout] | [INFO] [stdout] 14 | Right, [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `negate` [INFO] [stdout] --> src/dl_lite/abox_item.rs:97:12 [INFO] [stdout] | [INFO] [stdout] 97 | pub fn negate(&self) -> ABI { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `t` [INFO] [stdout] --> src/dl_lite/abox_item.rs:119:12 [INFO] [stdout] | [INFO] [stdout] 119 | pub fn t(&self) -> DLType { [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `symbol` [INFO] [stdout] --> src/dl_lite/abox_item.rs:127:12 [INFO] [stdout] | [INFO] [stdout] 127 | pub fn symbol(&self) -> &Node { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `same_nominal` [INFO] [stdout] --> src/dl_lite/abox_item.rs:137:12 [INFO] [stdout] | [INFO] [stdout] 137 | pub fn same_nominal(&self, other: &Self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `nominal` [INFO] [stdout] --> src/dl_lite/abox_item.rs:145:12 [INFO] [stdout] | [INFO] [stdout] 145 | pub fn nominal(&self, position: usize) -> Option<&Node> { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `decompact` [INFO] [stdout] --> src/dl_lite/abox_item.rs:172:12 [INFO] [stdout] | [INFO] [stdout] 172 | pub fn decompact(self) -> (Node, Node, Option) { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `decompact_with_clone` [INFO] [stdout] --> src/dl_lite/abox_item.rs:179:12 [INFO] [stdout] | [INFO] [stdout] 179 | pub fn decompact_with_clone(&self) -> (Node, Node, Option) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_match` [INFO] [stdout] --> src/dl_lite/abox_item.rs:184:12 [INFO] [stdout] | [INFO] [stdout] 184 | pub fn is_match(&self, tbi: &TBI) -> Vec { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `apply_rule` [INFO] [stdout] --> src/dl_lite/abox_item.rs:211:12 [INFO] [stdout] | [INFO] [stdout] 211 | pub fn apply_rule(abis: Vec<&ABI>, tbis: Vec<&TBI>, rule: &AbRule) -> Option> { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `negate` [INFO] [stdout] --> src/dl_lite/abox_item_quantum.rs:69:12 [INFO] [stdout] | [INFO] [stdout] 69 | pub fn negate(&self) -> ABIQ { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `t` [INFO] [stdout] --> src/dl_lite/abox_item_quantum.rs:91:12 [INFO] [stdout] | [INFO] [stdout] 91 | pub fn t(&self) -> DLType { [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `symbol` [INFO] [stdout] --> src/dl_lite/abox_item_quantum.rs:96:12 [INFO] [stdout] | [INFO] [stdout] 96 | pub fn symbol(&self) -> &Node { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `nominal` [INFO] [stdout] --> src/dl_lite/abox_item_quantum.rs:103:12 [INFO] [stdout] | [INFO] [stdout] 103 | pub fn nominal(&self, position: usize) -> Option<&Node> { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `same_nominal` [INFO] [stdout] --> src/dl_lite/abox_item_quantum.rs:107:12 [INFO] [stdout] | [INFO] [stdout] 107 | pub fn same_nominal(&self, other: &Self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_match` [INFO] [stdout] --> src/dl_lite/abox_item_quantum.rs:111:12 [INFO] [stdout] | [INFO] [stdout] 111 | pub fn is_match(&self, tbi: &TBI) -> Vec { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `tbox_complete_helper_dump_from_mutex_temporal_to_current2` [INFO] [stdout] --> src/dl_lite/helpers_and_utilities.rs:82:8 [INFO] [stdout] | [INFO] [stdout] 82 | pub fn tbox_complete_helper_dump_from_mutex_temporal_to_current2( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `print_vector_of_tbi` [INFO] [stdout] --> src/dl_lite/helpers_and_utilities.rs:172:4 [INFO] [stdout] | [INFO] [stdout] 172 | fn print_vector_of_tbi(vec: &Vec) -> String { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `print_matrix` [INFO] [stdout] --> src/dl_lite/helpers_and_utilities.rs:196:8 [INFO] [stdout] | [INFO] [stdout] 196 | pub fn print_matrix(v: Vec) { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `parse_value_abi` [INFO] [stdout] --> src/dl_lite/json_filetype_utilities.rs:210:8 [INFO] [stdout] | [INFO] [stdout] 210 | pub fn parse_value_abi(_value: &Value, _symbols: Vec<&Node>) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `retrieve_base` [INFO] [stdout] --> src/dl_lite/node.rs:188:12 [INFO] [stdout] | [INFO] [stdout] 188 | pub fn retrieve_base(node: &Node) -> &Node { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_negation` [INFO] [stdout] --> src/dl_lite/node.rs:248:12 [INFO] [stdout] | [INFO] [stdout] 248 | pub fn is_negation(&self, other: &Node) -> bool { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_inverted` [INFO] [stdout] --> src/dl_lite/node.rs:270:12 [INFO] [stdout] | [INFO] [stdout] 270 | pub fn is_inverted(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_inverse` [INFO] [stdout] --> src/dl_lite/node.rs:274:12 [INFO] [stdout] | [INFO] [stdout] 274 | pub fn is_inverse(&self, other: &Node) -> bool { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `print_iter` [INFO] [stdout] --> src/dl_lite/node.rs:283:12 [INFO] [stdout] | [INFO] [stdout] 283 | pub fn print_iter(it: I) -> String [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `symbols_as_mut` [INFO] [stdout] --> src/dl_lite/ontology.rs:120:12 [INFO] [stdout] | [INFO] [stdout] 120 | pub fn symbols_as_mut(&mut self) -> &mut HashMap { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `add_abis_from_file_quantum` [INFO] [stdout] --> src/dl_lite/ontology.rs:215:12 [INFO] [stdout] | [INFO] [stdout] 215 | pub fn add_abis_from_file_quantum( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `add_abi` [INFO] [stdout] --> src/dl_lite/ontology.rs:256:12 [INFO] [stdout] | [INFO] [stdout] 256 | pub fn add_abi(&mut self, abi: &ABIQ) { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `add_abis_from_abox` [INFO] [stdout] --> src/dl_lite/ontology.rs:264:12 [INFO] [stdout] | [INFO] [stdout] 264 | pub fn add_abis_from_abox(&mut self, ab: &ABQ) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `conflict_matrix` [INFO] [stdout] --> src/dl_lite/ontology.rs:309:12 [INFO] [stdout] | [INFO] [stdout] 309 | pub fn conflict_matrix( [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `contains_contradiction` [INFO] [stdout] --> src/dl_lite/ontology.rs:471:12 [INFO] [stdout] | [INFO] [stdout] 471 | pub fn contains_contradiction(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `find_consequences_from_file` [INFO] [stdout] --> src/dl_lite/ontology.rs:488:12 [INFO] [stdout] | [INFO] [stdout] 488 | pub fn find_consequences_from_file( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `len` [INFO] [stdout] --> src/dl_lite/ontology.rs:509:12 [INFO] [stdout] | [INFO] [stdout] 509 | pub fn len(&self) -> (usize, usize) { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `add_abis_from_db_quantum` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:700:8 [INFO] [stdout] | [INFO] [stdout] 700 | pub fn add_abis_from_db_quantum( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `pretty_print_abiq_conflict` [INFO] [stdout] --> src/dl_lite/string_formatter.rs:727:8 [INFO] [stdout] | [INFO] [stdout] 727 | pub fn pretty_print_abiq_conflict( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `pretty_vector_tbi_to_string` [INFO] [stdout] --> src/dl_lite/string_formatter.rs:771:8 [INFO] [stdout] | [INFO] [stdout] 771 | pub fn pretty_vector_tbi_to_string(vec: &Vec, symbols: &HashMap) -> String { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `create_string_for_gencontb` [INFO] [stdout] --> src/dl_lite/string_formatter.rs:793:8 [INFO] [stdout] | [INFO] [stdout] 793 | pub fn create_string_for_gencontb(tb: &TB, symbols: &HashMap, verbose: bool) -> String { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `new_from_iter` [INFO] [stdout] --> src/dl_lite/tbox.rs:75:12 [INFO] [stdout] | [INFO] [stdout] 75 | pub fn new_from_iter(it: I) -> TB [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `len` [INFO] [stdout] --> src/dl_lite/tbox.rs:88:12 [INFO] [stdout] | [INFO] [stdout] 88 | pub fn len(&self) -> usize { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_empty` [INFO] [stdout] --> src/dl_lite/tbox.rs:92:12 [INFO] [stdout] | [INFO] [stdout] 92 | pub fn is_empty(&self) -> bool { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `levels` [INFO] [stdout] --> src/dl_lite/tbox.rs:100:12 [INFO] [stdout] | [INFO] [stdout] 100 | pub fn levels(&self) -> Vec { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `completed` [INFO] [stdout] --> src/dl_lite/tbox.rs:110:12 [INFO] [stdout] | [INFO] [stdout] 110 | pub fn completed(&self) -> &bool { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_completed` [INFO] [stdout] --> src/dl_lite/tbox.rs:118:12 [INFO] [stdout] | [INFO] [stdout] 118 | pub fn is_completed(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `negative_inclusions` [INFO] [stdout] --> src/dl_lite/tbox.rs:139:12 [INFO] [stdout] | [INFO] [stdout] 139 | pub fn negative_inclusions(&self) -> Vec<&TBI> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_satisfiable` [INFO] [stdout] --> src/dl_lite/tbox.rs:562:12 [INFO] [stdout] | [INFO] [stdout] 562 | pub fn is_satisfiable(&self, deduction_tree: bool, verbose: bool) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `get_max_level` [INFO] [stdout] --> src/dl_lite/tbox.rs:574:12 [INFO] [stdout] | [INFO] [stdout] 574 | pub fn get_max_level(&self) -> usize { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `implied_by` [INFO] [stdout] --> src/dl_lite/tbox_item.rs:77:12 [INFO] [stdout] | [INFO] [stdout] 77 | pub fn implied_by(&self) -> &Vec> { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_contradiction` [INFO] [stdout] --> src/dl_lite/tbox_item.rs:89:12 [INFO] [stdout] | [INFO] [stdout] 89 | pub fn is_contradiction(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_negative_inclusion` [INFO] [stdout] --> src/dl_lite/tbox_item.rs:101:12 [INFO] [stdout] | [INFO] [stdout] 101 | pub fn is_negative_inclusion(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_positive_inclusion` [INFO] [stdout] --> src/dl_lite/tbox_item.rs:105:12 [INFO] [stdout] | [INFO] [stdout] 105 | pub fn is_positive_inclusion(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `verify_tbox` [INFO] [stdout] --> src/interface/tasks.rs:10:8 [INFO] [stdout] | [INFO] [stdout] 10 | pub fn verify_tbox(_tb: &TB) -> bool { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `generate_consequence_tree_tbox` [INFO] [stdout] --> src/interface/tasks.rs:14:8 [INFO] [stdout] | [INFO] [stdout] 14 | pub fn generate_consequence_tree_tbox(_tb: &TB) -> Vec<(Vec<&TBI>, &TBI)> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `complete_tbox` [INFO] [stdout] --> src/interface/tasks.rs:20:8 [INFO] [stdout] | [INFO] [stdout] 20 | pub fn complete_tbox(_tb: &TB) -> TB { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `save_to_file_tbox` [INFO] [stdout] --> src/interface/tasks.rs:26:8 [INFO] [stdout] | [INFO] [stdout] 26 | pub fn save_to_file_tbox(_tb: &TB) -> io::Result { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `verify_abox` [INFO] [stdout] --> src/interface/tasks.rs:33:8 [INFO] [stdout] | [INFO] [stdout] 33 | pub fn verify_abox(_ab: &ABQ, _tb: &TB) -> bool { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `generate_consequence_tree_abox` [INFO] [stdout] --> src/interface/tasks.rs:37:8 [INFO] [stdout] | [INFO] [stdout] 37 | pub fn generate_consequence_tree_abox<'a>( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `complete_abox` [INFO] [stdout] --> src/interface/tasks.rs:46:8 [INFO] [stdout] | [INFO] [stdout] 46 | pub fn complete_abox(ab: &ABQ, _tb: &TB) -> ABQ { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `save_to_file_abox` [INFO] [stdout] --> src/interface/tasks.rs:55:8 [INFO] [stdout] | [INFO] [stdout] 55 | pub fn save_to_file_abox(_ab: &ABQ) -> io::Result { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `write_str_to_file` [INFO] [stdout] --> src/interface/utilities.rs:28:8 [INFO] [stdout] | [INFO] [stdout] 28 | pub fn write_str_to_file(s: &str, filename: &str) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `from_vec` [INFO] [stdout] --> src/dl_lite/abox.rs:58:12 [INFO] [stdout] | [INFO] [stdout] 58 | pub fn from_vec(name: &str, mut v: Vec) -> ABQ { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `len` [INFO] [stdout] --> src/dl_lite/abox.rs:74:12 [INFO] [stdout] | [INFO] [stdout] 74 | pub fn len(&self) -> usize { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_completed` [INFO] [stdout] --> src/dl_lite/abox.rs:78:12 [INFO] [stdout] | [INFO] [stdout] 78 | pub fn is_completed(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `get` [INFO] [stdout] --> src/dl_lite/abox.rs:96:12 [INFO] [stdout] | [INFO] [stdout] 96 | pub fn get(&self, index: usize) -> Option<&ABIQ> { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `sort` [INFO] [stdout] --> src/dl_lite/abox.rs:104:12 [INFO] [stdout] | [INFO] [stdout] 104 | pub fn sort(&mut self) { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `sub_abox` [INFO] [stdout] --> src/dl_lite/abox.rs:109:12 [INFO] [stdout] | [INFO] [stdout] 109 | pub fn sub_abox(&self, index: Vec, name: Option<&str>) -> Option { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_inconsistent` [INFO] [stdout] --> src/dl_lite/abox.rs:226:12 [INFO] [stdout] | [INFO] [stdout] 226 | pub fn is_inconsistent(&self, tb: &TB, verbose: bool) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `None` [INFO] [stdout] --> src/dl_lite/abox_item.rs:12:5 [INFO] [stdout] | [INFO] [stdout] 12 | None, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Left` [INFO] [stdout] --> src/dl_lite/abox_item.rs:13:5 [INFO] [stdout] | [INFO] [stdout] 13 | Left, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Right` [INFO] [stdout] --> src/dl_lite/abox_item.rs:14:5 [INFO] [stdout] | [INFO] [stdout] 14 | Right, [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `negate` [INFO] [stdout] --> src/dl_lite/abox_item.rs:97:12 [INFO] [stdout] | [INFO] [stdout] 97 | pub fn negate(&self) -> ABI { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `t` [INFO] [stdout] --> src/dl_lite/abox_item.rs:119:12 [INFO] [stdout] | [INFO] [stdout] 119 | pub fn t(&self) -> DLType { [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `nominal` [INFO] [stdout] --> src/dl_lite/abox_item.rs:145:12 [INFO] [stdout] | [INFO] [stdout] 145 | pub fn nominal(&self, position: usize) -> Option<&Node> { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `decompact` [INFO] [stdout] --> src/dl_lite/abox_item.rs:172:12 [INFO] [stdout] | [INFO] [stdout] 172 | pub fn decompact(self) -> (Node, Node, Option) { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `decompact_with_clone` [INFO] [stdout] --> src/dl_lite/abox_item.rs:179:12 [INFO] [stdout] | [INFO] [stdout] 179 | pub fn decompact_with_clone(&self) -> (Node, Node, Option) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_match` [INFO] [stdout] --> src/dl_lite/abox_item.rs:184:12 [INFO] [stdout] | [INFO] [stdout] 184 | pub fn is_match(&self, tbi: &TBI) -> Vec { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `apply_rule` [INFO] [stdout] --> src/dl_lite/abox_item.rs:211:12 [INFO] [stdout] | [INFO] [stdout] 211 | pub fn apply_rule(abis: Vec<&ABI>, tbis: Vec<&TBI>, rule: &AbRule) -> Option> { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `negate` [INFO] [stdout] --> src/dl_lite/abox_item_quantum.rs:69:12 [INFO] [stdout] | [INFO] [stdout] 69 | pub fn negate(&self) -> ABIQ { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_trivial` [INFO] [stdout] --> src/dl_lite/abox_item_quantum.rs:87:12 [INFO] [stdout] | [INFO] [stdout] 87 | pub fn is_trivial(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `t` [INFO] [stdout] --> src/dl_lite/abox_item_quantum.rs:91:12 [INFO] [stdout] | [INFO] [stdout] 91 | pub fn t(&self) -> DLType { [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `symbol` [INFO] [stdout] --> src/dl_lite/abox_item_quantum.rs:96:12 [INFO] [stdout] | [INFO] [stdout] 96 | pub fn symbol(&self) -> &Node { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `nominal` [INFO] [stdout] --> src/dl_lite/abox_item_quantum.rs:103:12 [INFO] [stdout] | [INFO] [stdout] 103 | pub fn nominal(&self, position: usize) -> Option<&Node> { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_match` [INFO] [stdout] --> src/dl_lite/abox_item_quantum.rs:111:12 [INFO] [stdout] | [INFO] [stdout] 111 | pub fn is_match(&self, tbi: &TBI) -> Vec { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `tbox_complete_helper_dump_from_mutex_temporal_to_current2` [INFO] [stdout] --> src/dl_lite/helpers_and_utilities.rs:82:8 [INFO] [stdout] | [INFO] [stdout] 82 | pub fn tbox_complete_helper_dump_from_mutex_temporal_to_current2( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `print_vector_of_tbi` [INFO] [stdout] --> src/dl_lite/helpers_and_utilities.rs:172:4 [INFO] [stdout] | [INFO] [stdout] 172 | fn print_vector_of_tbi(vec: &Vec) -> String { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `print_matrix` [INFO] [stdout] --> src/dl_lite/helpers_and_utilities.rs:196:8 [INFO] [stdout] | [INFO] [stdout] 196 | pub fn print_matrix(v: Vec) { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `parse_value_abi` [INFO] [stdout] --> src/dl_lite/json_filetype_utilities.rs:210:8 [INFO] [stdout] | [INFO] [stdout] 210 | pub fn parse_value_abi(_value: &Value, _symbols: Vec<&Node>) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `node_to_value` [INFO] [stdout] --> src/dl_lite/json_filetype_utilities.rs:389:4 [INFO] [stdout] | [INFO] [stdout] 389 | fn node_to_value(node: &Node, symbols: &HashMap) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `tbi_to_value` [INFO] [stdout] --> src/dl_lite/json_filetype_utilities.rs:398:4 [INFO] [stdout] | [INFO] [stdout] 398 | fn tbi_to_value(tbi: &TBI, symbols: &HashMap) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `tbox_to_value` [INFO] [stdout] --> src/dl_lite/json_filetype_utilities.rs:408:8 [INFO] [stdout] | [INFO] [stdout] 408 | pub fn tbox_to_value( [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `abox_to_native_string_quantum` [INFO] [stdout] --> src/dl_lite/native_filetype_utilities.rs:507:8 [INFO] [stdout] | [INFO] [stdout] 507 | pub fn abox_to_native_string_quantum( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `retrieve_base` [INFO] [stdout] --> src/dl_lite/node.rs:188:12 [INFO] [stdout] | [INFO] [stdout] 188 | pub fn retrieve_base(node: &Node) -> &Node { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_inverted` [INFO] [stdout] --> src/dl_lite/node.rs:270:12 [INFO] [stdout] | [INFO] [stdout] 270 | pub fn is_inverted(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_inverse` [INFO] [stdout] --> src/dl_lite/node.rs:274:12 [INFO] [stdout] | [INFO] [stdout] 274 | pub fn is_inverse(&self, other: &Node) -> bool { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `print_iter` [INFO] [stdout] --> src/dl_lite/node.rs:283:12 [INFO] [stdout] | [INFO] [stdout] 283 | pub fn print_iter(it: I) -> String [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `abox_name` [INFO] [stdout] --> src/dl_lite/ontology.rs:113:12 [INFO] [stdout] | [INFO] [stdout] 113 | pub fn abox_name(&self) -> String { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `symbols_as_mut` [INFO] [stdout] --> src/dl_lite/ontology.rs:120:12 [INFO] [stdout] | [INFO] [stdout] 120 | pub fn symbols_as_mut(&mut self) -> &mut HashMap { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `sort` [INFO] [stdout] --> src/dl_lite/ontology.rs:126:12 [INFO] [stdout] | [INFO] [stdout] 126 | pub fn sort(&mut self) { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `new_abox_from_aboxq` [INFO] [stdout] --> src/dl_lite/ontology.rs:176:12 [INFO] [stdout] | [INFO] [stdout] 176 | pub fn new_abox_from_aboxq(&mut self, ab: ABQ) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `add_abis_from_file_quantum` [INFO] [stdout] --> src/dl_lite/ontology.rs:215:12 [INFO] [stdout] | [INFO] [stdout] 215 | pub fn add_abis_from_file_quantum( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `add_abi` [INFO] [stdout] --> src/dl_lite/ontology.rs:256:12 [INFO] [stdout] | [INFO] [stdout] 256 | pub fn add_abi(&mut self, abi: &ABIQ) { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `add_abis_from_abox` [INFO] [stdout] --> src/dl_lite/ontology.rs:264:12 [INFO] [stdout] | [INFO] [stdout] 264 | pub fn add_abis_from_abox(&mut self, ab: &ABQ) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `conflict_matrix` [INFO] [stdout] --> src/dl_lite/ontology.rs:309:12 [INFO] [stdout] | [INFO] [stdout] 309 | pub fn conflict_matrix( [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `contains_contradiction` [INFO] [stdout] --> src/dl_lite/ontology.rs:471:12 [INFO] [stdout] | [INFO] [stdout] 471 | pub fn contains_contradiction(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `find_consequences_from_file` [INFO] [stdout] --> src/dl_lite/ontology.rs:488:12 [INFO] [stdout] | [INFO] [stdout] 488 | pub fn find_consequences_from_file( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `len` [INFO] [stdout] --> src/dl_lite/ontology.rs:509:12 [INFO] [stdout] | [INFO] [stdout] 509 | pub fn len(&self) -> (usize, usize) { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `tbox_to_file` [INFO] [stdout] --> src/dl_lite/ontology.rs:751:12 [INFO] [stdout] | [INFO] [stdout] 751 | pub fn tbox_to_file( [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `abox_to_file` [INFO] [stdout] --> src/dl_lite/ontology.rs:826:12 [INFO] [stdout] | [INFO] [stdout] 826 | pub fn abox_to_file( [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `populate_db` [INFO] [stdout] --> src/dl_lite/ontology.rs:878:12 [INFO] [stdout] | [INFO] [stdout] 878 | pub fn populate_db(&mut self, conn: &Connection, verbose: bool) -> bool { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `initiate_from_db` [INFO] [stdout] --> src/dl_lite/ontology.rs:888:12 [INFO] [stdout] | [INFO] [stdout] 888 | pub fn initiate_from_db(filename: &str, verbose: bool) -> Result { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `connect_to_db` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:16:8 [INFO] [stdout] | [INFO] [stdout] 16 | pub fn connect_to_db(filename: &str, verbose: bool) -> Connection { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `add_basic_tables_to_db` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:39:8 [INFO] [stdout] | [INFO] [stdout] 39 | pub fn add_basic_tables_to_db(conn: &Connection, verbose: bool) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `add_symbol_to_db` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:154:8 [INFO] [stdout] | [INFO] [stdout] 154 | pub fn add_symbol_to_db(symbol: (&String, &(usize, DLType)), conn: &Connection, verbose: bool) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `add_symbols_to_db` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:173:8 [INFO] [stdout] | [INFO] [stdout] 173 | pub fn add_symbols_to_db( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `add_nodes_to_db` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:183:8 [INFO] [stdout] | [INFO] [stdout] 183 | pub fn add_nodes_to_db( [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `add_node_to_db` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:194:8 [INFO] [stdout] | [INFO] [stdout] 194 | pub fn add_node_to_db( [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `get_node_from_db` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:235:8 [INFO] [stdout] | [INFO] [stdout] 235 | pub fn get_node_from_db( [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `add_tbi_to_db` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:279:8 [INFO] [stdout] | [INFO] [stdout] 279 | pub fn add_tbi_to_db( [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `add_tbis_to_db` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:311:8 [INFO] [stdout] | [INFO] [stdout] 311 | pub fn add_tbis_to_db( [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `add_symbols_from_db` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:322:8 [INFO] [stdout] | [INFO] [stdout] 322 | pub fn add_symbols_from_db( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `add_tbis_from_db` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:382:8 [INFO] [stdout] | [INFO] [stdout] 382 | pub fn add_tbis_from_db( [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `update_symbols_to_db` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:454:8 [INFO] [stdout] | [INFO] [stdout] 454 | pub fn update_symbols_to_db( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `get_table_names` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:464:8 [INFO] [stdout] | [INFO] [stdout] 464 | pub fn get_table_names(conn: &Connection, verbose: bool) -> Result> { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `drop_tables_from_database` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:505:8 [INFO] [stdout] | [INFO] [stdout] 505 | pub fn drop_tables_from_database(conn: &Connection, tables_to_drop: Vec<&str>, verbose: bool) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `add_abi_to_db_quantum` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:526:8 [INFO] [stdout] | [INFO] [stdout] 526 | pub fn add_abi_to_db_quantum( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `add_abis_to_db_quantum` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:629:8 [INFO] [stdout] | [INFO] [stdout] 629 | pub fn add_abis_to_db_quantum( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `add_abis_from_db_quantum` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:700:8 [INFO] [stdout] | [INFO] [stdout] 700 | pub fn add_abis_from_db_quantum( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `new_from_iter` [INFO] [stdout] --> src/dl_lite/tbox.rs:75:12 [INFO] [stdout] | [INFO] [stdout] 75 | pub fn new_from_iter(it: I) -> TB [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `len` [INFO] [stdout] --> src/dl_lite/tbox.rs:88:12 [INFO] [stdout] | [INFO] [stdout] 88 | pub fn len(&self) -> usize { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_empty` [INFO] [stdout] --> src/dl_lite/tbox.rs:92:12 [INFO] [stdout] | [INFO] [stdout] 92 | pub fn is_empty(&self) -> bool { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `sort` [INFO] [stdout] --> src/dl_lite/tbox.rs:106:12 [INFO] [stdout] | [INFO] [stdout] 106 | pub fn sort(&mut self) { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `completed` [INFO] [stdout] --> src/dl_lite/tbox.rs:110:12 [INFO] [stdout] | [INFO] [stdout] 110 | pub fn completed(&self) -> &bool { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_completed` [INFO] [stdout] --> src/dl_lite/tbox.rs:118:12 [INFO] [stdout] | [INFO] [stdout] 118 | pub fn is_completed(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `negative_inclusions` [INFO] [stdout] --> src/dl_lite/tbox.rs:139:12 [INFO] [stdout] | [INFO] [stdout] 139 | pub fn negative_inclusions(&self) -> Vec<&TBI> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_satisfiable` [INFO] [stdout] --> src/dl_lite/tbox.rs:562:12 [INFO] [stdout] | [INFO] [stdout] 562 | pub fn is_satisfiable(&self, deduction_tree: bool, verbose: bool) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_negative_inclusion` [INFO] [stdout] --> src/dl_lite/tbox_item.rs:101:12 [INFO] [stdout] | [INFO] [stdout] 101 | pub fn is_negative_inclusion(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_positive_inclusion` [INFO] [stdout] --> src/dl_lite/tbox_item.rs:105:12 [INFO] [stdout] | [INFO] [stdout] 105 | pub fn is_positive_inclusion(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_base_type` [INFO] [stdout] --> src/dl_lite/types.rs:34:12 [INFO] [stdout] | [INFO] [stdout] 34 | pub fn is_base_type(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `types` [INFO] [stdout] --> src/dl_lite/types.rs:105:12 [INFO] [stdout] | [INFO] [stdout] 105 | pub fn types() -> [DLType; 9] { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `to_usize_for_db` [INFO] [stdout] --> src/dl_lite/types.rs:119:12 [INFO] [stdout] | [INFO] [stdout] 119 | pub fn to_usize_for_db(&self) -> usize { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `to_string_for_db` [INFO] [stdout] --> src/dl_lite/types.rs:133:12 [INFO] [stdout] | [INFO] [stdout] 133 | pub fn to_string_for_db(&self) -> String { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `to_type_from_usize_for_db` [INFO] [stdout] --> src/dl_lite/types.rs:168:12 [INFO] [stdout] | [INFO] [stdout] 168 | pub fn to_type_from_usize_for_db(id: usize) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `verify_tbox` [INFO] [stdout] --> src/interface/tasks.rs:10:8 [INFO] [stdout] | [INFO] [stdout] 10 | pub fn verify_tbox(_tb: &TB) -> bool { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `generate_consequence_tree_tbox` [INFO] [stdout] --> src/interface/tasks.rs:14:8 [INFO] [stdout] | [INFO] [stdout] 14 | pub fn generate_consequence_tree_tbox(_tb: &TB) -> Vec<(Vec<&TBI>, &TBI)> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `complete_tbox` [INFO] [stdout] --> src/interface/tasks.rs:20:8 [INFO] [stdout] | [INFO] [stdout] 20 | pub fn complete_tbox(_tb: &TB) -> TB { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `save_to_file_tbox` [INFO] [stdout] --> src/interface/tasks.rs:26:8 [INFO] [stdout] | [INFO] [stdout] 26 | pub fn save_to_file_tbox(_tb: &TB) -> io::Result { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `verify_abox` [INFO] [stdout] --> src/interface/tasks.rs:33:8 [INFO] [stdout] | [INFO] [stdout] 33 | pub fn verify_abox(_ab: &ABQ, _tb: &TB) -> bool { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `generate_consequence_tree_abox` [INFO] [stdout] --> src/interface/tasks.rs:37:8 [INFO] [stdout] | [INFO] [stdout] 37 | pub fn generate_consequence_tree_abox<'a>( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `complete_abox` [INFO] [stdout] --> src/interface/tasks.rs:46:8 [INFO] [stdout] | [INFO] [stdout] 46 | pub fn complete_abox(ab: &ABQ, _tb: &TB) -> ABQ { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `save_to_file_abox` [INFO] [stdout] --> src/interface/tasks.rs:55:8 [INFO] [stdout] | [INFO] [stdout] 55 | pub fn save_to_file_abox(_ab: &ABQ) -> io::Result { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 99 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 77 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 1m 01s [INFO] running `Command { std: "docker" "inspect" "c65fa5e8de74af8f933de5617e685a9a7e97a26c0c8d3448f8f8eff00e688bbf", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "c65fa5e8de74af8f933de5617e685a9a7e97a26c0c8d3448f8f8eff00e688bbf", kill_on_drop: false }` [INFO] [stdout] c65fa5e8de74af8f933de5617e685a9a7e97a26c0c8d3448f8f8eff00e688bbf