[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] 5ea15f734b16de068ea5802917b0b3a80260b6aa [INFO] checking hatellezp/rustoner against master#9503ea19edbf01b9435e80e17d60ce1b88390116 for pr-81782 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhatellezp%2Frustoner" "/workspace/builds/worker-14/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-14/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/hatellezp/rustoner on toolchain 9503ea19edbf01b9435e80e17d60ce1b88390116 [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+9503ea19edbf01b9435e80e17d60ce1b88390116" "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-14/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" "+9503ea19edbf01b9435e80e17d60ce1b88390116" "fetch" "--locked" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-14/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-14/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" "+9503ea19edbf01b9435e80e17d60ce1b88390116" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] [stdout] 8542151ba978c5380459bba464fe4c858f94e410ffa1f58a48c0bb24b2705d16 [INFO] running `Command { std: "docker" "start" "-a" "8542151ba978c5380459bba464fe4c858f94e410ffa1f58a48c0bb24b2705d16", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "8542151ba978c5380459bba464fe4c858f94e410ffa1f58a48c0bb24b2705d16", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "8542151ba978c5380459bba464fe4c858f94e410ffa1f58a48c0bb24b2705d16", kill_on_drop: false }` [INFO] [stdout] 8542151ba978c5380459bba464fe4c858f94e410ffa1f58a48c0bb24b2705d16 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-14/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-14/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" "+9503ea19edbf01b9435e80e17d60ce1b88390116" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] d8424298a71dc55809fd1a9f0225ae8ea89973d1d1be375a0d744f516cb60c20 [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" "d8424298a71dc55809fd1a9f0225ae8ea89973d1d1be375a0d744f516cb60c20", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.24 [INFO] [stderr] Compiling syn v1.0.58 [INFO] [stderr] Compiling pkg-config v0.3.19 [INFO] [stderr] Compiling serde_json v1.0.61 [INFO] [stderr] Checking fallible-streaming-iterator v0.1.9 [INFO] [stderr] Checking question v0.2.2 [INFO] [stderr] Checking hashbrown v0.9.1 [INFO] [stderr] Checking clap v2.33.3 [INFO] [stderr] Compiling libsqlite3-sys v0.20.1 [INFO] [stderr] Checking hashlink v0.6.0 [INFO] [stderr] Compiling quote v1.0.8 [INFO] [stderr] Checking rusqlite v0.24.2 [INFO] [stderr] Compiling proc-macro-error-attr v1.0.4 [INFO] [stderr] Compiling proc-macro-error v1.0.4 [INFO] [stderr] Compiling paw-attributes v1.0.2 [INFO] [stderr] Compiling serde_derive v1.0.118 [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.118 [INFO] [stderr] Checking rustoner v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unnecessary parentheses around method argument [INFO] [stdout] --> src/dl_lite/abox_item.rs:62:58 [INFO] [stdout] | [INFO] [stdout] 62 | ... _ => Some(a1.cmp((a2))) [INFO] [stdout] | ^^^^ help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_parens)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around method argument [INFO] [stdout] --> src/dl_lite/abox_item.rs:62:58 [INFO] [stdout] | [INFO] [stdout] 62 | ... _ => Some(a1.cmp((a2))) [INFO] [stdout] | ^^^^ help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_parens)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::dl_lite::abox_item::ABI` [INFO] [stdout] --> src/dl_lite/abox_quantum.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use crate::dl_lite::abox_item::ABI; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::dl_lite::abox_item::ABI` [INFO] [stdout] --> src/dl_lite/string_formatter_quantum.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use crate::dl_lite::abox_item::ABI; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `invalid_data_result`, `result_from_error` [INFO] [stdout] --> src/dl_lite/string_formatter_quantum.rs:3:47 [INFO] [stdout] | [INFO] [stdout] 3 | use crate::dl_lite::json_filetype_utilities::{invalid_data_result, result_from_error}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Mod`, `Node` [INFO] [stdout] --> src/dl_lite/string_formatter_quantum.rs:4:28 [INFO] [stdout] | [INFO] [stdout] 4 | use crate::dl_lite::node::{Mod, Node}; [INFO] [stdout] | ^^^ ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::dl_lite::tbox_item::TBI` [INFO] [stdout] --> src/dl_lite/string_formatter_quantum.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use crate::dl_lite::tbox_item::TBI; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::cmp::Ordering` [INFO] [stdout] --> src/dl_lite/string_formatter_quantum.rs:7:5 [INFO] [stdout] | [INFO] [stdout] 7 | use std::cmp::Ordering; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::hash::Hash` [INFO] [stdout] --> src/dl_lite/string_formatter_quantum.rs:9:5 [INFO] [stdout] | [INFO] [stdout] 9 | use std::hash::Hash; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `ErrorKind`, `Error` [INFO] [stdout] --> src/dl_lite/string_formatter_quantum.rs:11:15 [INFO] [stdout] | [INFO] [stdout] 11 | use std::io::{Error, ErrorKind}; [INFO] [stdout] | ^^^^^ ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `node_to_string` [INFO] [stdout] --> src/dl_lite/string_formatter_quantum.rs:13:55 [INFO] [stdout] | [INFO] [stdout] 13 | use crate::dl_lite::string_formatter::{string_to_abi, node_to_string, abi_to_string}; [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `abox_to_native_string`, `parse_abox_native` [INFO] [stdout] --> src/dl_lite/ontology_quantum.rs:17:5 [INFO] [stdout] | [INFO] [stdout] 17 | abox_to_native_string, parse_abox_native, parse_symbols_native, parse_tbox_native, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::dl_lite::string_formatter::abi_to_string` [INFO] [stdout] --> src/dl_lite/ontology_quantum.rs:31:5 [INFO] [stdout] | [INFO] [stdout] 31 | use crate::dl_lite::string_formatter::abi_to_string; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::dl_lite::abox::AB` [INFO] [stdout] --> src/dl_lite/native_filetype_utilities_quantum.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | use crate::dl_lite::abox::AB; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `PS`, `abi_to_string`, `string_to_abi`, `string_to_symbol`, `string_to_tbi`, `tbi_to_string` [INFO] [stdout] --> src/dl_lite/native_filetype_utilities_quantum.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | abi_to_string, string_to_abi, string_to_symbol, string_to_tbi, tbi_to_string, PS, [INFO] [stdout] | ^^^^^^^^^^^^^ ^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^ ^^^^^^^^^^^^^ ^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::dl_lite::tbox::TB` [INFO] [stdout] --> src/dl_lite/native_filetype_utilities_quantum.rs:8:5 [INFO] [stdout] | [INFO] [stdout] 8 | use crate::dl_lite::tbox::TB; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::dl_lite::abox::AB` [INFO] [stdout] --> src/dl_lite/sqlite_interface_quantum.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use crate::dl_lite::abox::AB; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `AboxItemCDb`, `AboxItemRDb` [INFO] [stdout] --> src/dl_lite/sqlite_interface_quantum.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | AboxItemCDb, AboxItemRDb, NodeDb, SymbolDb, TableDb, TboxItemDb, [INFO] [stdout] | ^^^^^^^^^^^ ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `string_to_abi` [INFO] [stdout] --> src/dl_lite/sqlite_interface_quantum.rs:8:56 [INFO] [stdout] | [INFO] [stdout] 8 | use crate::dl_lite::string_formatter::{node_to_string, string_to_abi, string_to_tbi}; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::dl_lite::abox_item::ABI` [INFO] [stdout] --> src/dl_lite/abox_quantum.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use crate::dl_lite::abox_item::ABI; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::dl_lite::abox_item::ABI` [INFO] [stdout] --> src/dl_lite/string_formatter_quantum.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use crate::dl_lite::abox_item::ABI; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `invalid_data_result`, `result_from_error` [INFO] [stdout] --> src/dl_lite/string_formatter_quantum.rs:3:47 [INFO] [stdout] | [INFO] [stdout] 3 | use crate::dl_lite::json_filetype_utilities::{invalid_data_result, result_from_error}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Mod`, `Node` [INFO] [stdout] --> src/dl_lite/string_formatter_quantum.rs:4:28 [INFO] [stdout] | [INFO] [stdout] 4 | use crate::dl_lite::node::{Mod, Node}; [INFO] [stdout] | ^^^ ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::dl_lite::tbox_item::TBI` [INFO] [stdout] --> src/dl_lite/string_formatter_quantum.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use crate::dl_lite::tbox_item::TBI; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::cmp::Ordering` [INFO] [stdout] --> src/dl_lite/string_formatter_quantum.rs:7:5 [INFO] [stdout] | [INFO] [stdout] 7 | use std::cmp::Ordering; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::hash::Hash` [INFO] [stdout] --> src/dl_lite/string_formatter_quantum.rs:9:5 [INFO] [stdout] | [INFO] [stdout] 9 | use std::hash::Hash; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `ErrorKind`, `Error` [INFO] [stdout] --> src/dl_lite/string_formatter_quantum.rs:11:15 [INFO] [stdout] | [INFO] [stdout] 11 | use std::io::{Error, ErrorKind}; [INFO] [stdout] | ^^^^^ ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `node_to_string` [INFO] [stdout] --> src/dl_lite/string_formatter_quantum.rs:13:55 [INFO] [stdout] | [INFO] [stdout] 13 | use crate::dl_lite::string_formatter::{string_to_abi, node_to_string, abi_to_string}; [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `abox_to_native_string`, `parse_abox_native` [INFO] [stdout] --> src/dl_lite/ontology_quantum.rs:17:5 [INFO] [stdout] | [INFO] [stdout] 17 | abox_to_native_string, parse_abox_native, parse_symbols_native, parse_tbox_native, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::dl_lite::string_formatter::abi_to_string` [INFO] [stdout] --> src/dl_lite/ontology_quantum.rs:31:5 [INFO] [stdout] | [INFO] [stdout] 31 | use crate::dl_lite::string_formatter::abi_to_string; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::dl_lite::abox::AB` [INFO] [stdout] --> src/dl_lite/native_filetype_utilities_quantum.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | use crate::dl_lite::abox::AB; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `PS`, `abi_to_string`, `string_to_abi`, `string_to_symbol`, `string_to_tbi`, `tbi_to_string` [INFO] [stdout] --> src/dl_lite/native_filetype_utilities_quantum.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | abi_to_string, string_to_abi, string_to_symbol, string_to_tbi, tbi_to_string, PS, [INFO] [stdout] | ^^^^^^^^^^^^^ ^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^ ^^^^^^^^^^^^^ ^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::dl_lite::tbox::TB` [INFO] [stdout] --> src/dl_lite/native_filetype_utilities_quantum.rs:8:5 [INFO] [stdout] | [INFO] [stdout] 8 | use crate::dl_lite::tbox::TB; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::dl_lite::abox::AB` [INFO] [stdout] --> src/dl_lite/sqlite_interface_quantum.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use crate::dl_lite::abox::AB; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `AboxItemCDb`, `AboxItemRDb` [INFO] [stdout] --> src/dl_lite/sqlite_interface_quantum.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | AboxItemCDb, AboxItemRDb, NodeDb, SymbolDb, TableDb, TboxItemDb, [INFO] [stdout] | ^^^^^^^^^^^ ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `string_to_abi` [INFO] [stdout] --> src/dl_lite/sqlite_interface_quantum.rs:8:56 [INFO] [stdout] | [INFO] [stdout] 8 | use crate::dl_lite::string_formatter::{node_to_string, string_to_abi, string_to_tbi}; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `add_abis_to_db` [INFO] [stdout] --> src/main.rs:17:5 [INFO] [stdout] | [INFO] [stdout] 17 | add_abis_to_db, connect_to_db, drop_tables_from_database, get_table_names, update_symbols_to_db, [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around method argument [INFO] [stdout] --> src/dl_lite/abox_item.rs:62:58 [INFO] [stdout] | [INFO] [stdout] 62 | ... _ => Some(a1.cmp((a2))) [INFO] [stdout] | ^^^^ help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_parens)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::dl_lite::abox_item::ABI` [INFO] [stdout] --> src/dl_lite/abox_quantum.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use crate::dl_lite::abox_item::ABI; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::dl_lite::abox_item::ABI` [INFO] [stdout] --> src/dl_lite/string_formatter_quantum.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use crate::dl_lite::abox_item::ABI; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `invalid_data_result`, `result_from_error` [INFO] [stdout] --> src/dl_lite/string_formatter_quantum.rs:3:47 [INFO] [stdout] | [INFO] [stdout] 3 | use crate::dl_lite::json_filetype_utilities::{invalid_data_result, result_from_error}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Mod`, `Node` [INFO] [stdout] --> src/dl_lite/string_formatter_quantum.rs:4:28 [INFO] [stdout] | [INFO] [stdout] 4 | use crate::dl_lite::node::{Mod, Node}; [INFO] [stdout] | ^^^ ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::dl_lite::tbox_item::TBI` [INFO] [stdout] --> src/dl_lite/string_formatter_quantum.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use crate::dl_lite::tbox_item::TBI; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::cmp::Ordering` [INFO] [stdout] --> src/dl_lite/string_formatter_quantum.rs:7:5 [INFO] [stdout] | [INFO] [stdout] 7 | use std::cmp::Ordering; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::hash::Hash` [INFO] [stdout] --> src/dl_lite/string_formatter_quantum.rs:9:5 [INFO] [stdout] | [INFO] [stdout] 9 | use std::hash::Hash; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `ErrorKind`, `Error` [INFO] [stdout] --> src/dl_lite/string_formatter_quantum.rs:11:15 [INFO] [stdout] | [INFO] [stdout] 11 | use std::io::{Error, ErrorKind}; [INFO] [stdout] | ^^^^^ ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `node_to_string` [INFO] [stdout] --> src/dl_lite/string_formatter_quantum.rs:13:55 [INFO] [stdout] | [INFO] [stdout] 13 | use crate::dl_lite::string_formatter::{string_to_abi, node_to_string, abi_to_string}; [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `abox_to_native_string`, `parse_abox_native` [INFO] [stdout] --> src/dl_lite/ontology_quantum.rs:17:5 [INFO] [stdout] | [INFO] [stdout] 17 | abox_to_native_string, parse_abox_native, parse_symbols_native, parse_tbox_native, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::dl_lite::string_formatter::abi_to_string` [INFO] [stdout] --> src/dl_lite/ontology_quantum.rs:31:5 [INFO] [stdout] | [INFO] [stdout] 31 | use crate::dl_lite::string_formatter::abi_to_string; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::dl_lite::abox::AB` [INFO] [stdout] --> src/dl_lite/native_filetype_utilities_quantum.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | use crate::dl_lite::abox::AB; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `PS`, `abi_to_string`, `string_to_abi`, `string_to_symbol`, `string_to_tbi`, `tbi_to_string` [INFO] [stdout] --> src/dl_lite/native_filetype_utilities_quantum.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | abi_to_string, string_to_abi, string_to_symbol, string_to_tbi, tbi_to_string, PS, [INFO] [stdout] | ^^^^^^^^^^^^^ ^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^ ^^^^^^^^^^^^^ ^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::dl_lite::tbox::TB` [INFO] [stdout] --> src/dl_lite/native_filetype_utilities_quantum.rs:8:5 [INFO] [stdout] | [INFO] [stdout] 8 | use crate::dl_lite::tbox::TB; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::dl_lite::abox::AB` [INFO] [stdout] --> src/dl_lite/sqlite_interface_quantum.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use crate::dl_lite::abox::AB; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `AboxItemCDb`, `AboxItemRDb` [INFO] [stdout] --> src/dl_lite/sqlite_interface_quantum.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | AboxItemCDb, AboxItemRDb, NodeDb, SymbolDb, TableDb, TboxItemDb, [INFO] [stdout] | ^^^^^^^^^^^ ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `string_to_abi` [INFO] [stdout] --> src/dl_lite/sqlite_interface_quantum.rs:8:56 [INFO] [stdout] | [INFO] [stdout] 8 | use crate::dl_lite::string_formatter::{node_to_string, string_to_abi, string_to_tbi}; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around method argument [INFO] [stdout] --> src/dl_lite/abox_item.rs:62:58 [INFO] [stdout] | [INFO] [stdout] 62 | ... _ => Some(a1.cmp((a2))) [INFO] [stdout] | ^^^^ help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_parens)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::dl_lite::abox_item::ABI` [INFO] [stdout] --> src/dl_lite/abox_quantum.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use crate::dl_lite::abox_item::ABI; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::dl_lite::abox_item::ABI` [INFO] [stdout] --> src/dl_lite/string_formatter_quantum.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use crate::dl_lite::abox_item::ABI; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `invalid_data_result`, `result_from_error` [INFO] [stdout] --> src/dl_lite/string_formatter_quantum.rs:3:47 [INFO] [stdout] | [INFO] [stdout] 3 | use crate::dl_lite::json_filetype_utilities::{invalid_data_result, result_from_error}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Mod`, `Node` [INFO] [stdout] --> src/dl_lite/string_formatter_quantum.rs:4:28 [INFO] [stdout] | [INFO] [stdout] 4 | use crate::dl_lite::node::{Mod, Node}; [INFO] [stdout] | ^^^ ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::dl_lite::tbox_item::TBI` [INFO] [stdout] --> src/dl_lite/string_formatter_quantum.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use crate::dl_lite::tbox_item::TBI; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::cmp::Ordering` [INFO] [stdout] --> src/dl_lite/string_formatter_quantum.rs:7:5 [INFO] [stdout] | [INFO] [stdout] 7 | use std::cmp::Ordering; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::hash::Hash` [INFO] [stdout] --> src/dl_lite/string_formatter_quantum.rs:9:5 [INFO] [stdout] | [INFO] [stdout] 9 | use std::hash::Hash; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `ErrorKind`, `Error` [INFO] [stdout] --> src/dl_lite/string_formatter_quantum.rs:11:15 [INFO] [stdout] | [INFO] [stdout] 11 | use std::io::{Error, ErrorKind}; [INFO] [stdout] | ^^^^^ ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `node_to_string` [INFO] [stdout] --> src/dl_lite/string_formatter_quantum.rs:13:55 [INFO] [stdout] | [INFO] [stdout] 13 | use crate::dl_lite::string_formatter::{string_to_abi, node_to_string, abi_to_string}; [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `abox_to_native_string`, `parse_abox_native` [INFO] [stdout] --> src/dl_lite/ontology_quantum.rs:17:5 [INFO] [stdout] | [INFO] [stdout] 17 | abox_to_native_string, parse_abox_native, parse_symbols_native, parse_tbox_native, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::dl_lite::string_formatter::abi_to_string` [INFO] [stdout] --> src/dl_lite/ontology_quantum.rs:31:5 [INFO] [stdout] | [INFO] [stdout] 31 | use crate::dl_lite::string_formatter::abi_to_string; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::dl_lite::abox::AB` [INFO] [stdout] --> src/dl_lite/native_filetype_utilities_quantum.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | use crate::dl_lite::abox::AB; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `PS`, `abi_to_string`, `string_to_abi`, `string_to_symbol`, `string_to_tbi`, `tbi_to_string` [INFO] [stdout] --> src/dl_lite/native_filetype_utilities_quantum.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | abi_to_string, string_to_abi, string_to_symbol, string_to_tbi, tbi_to_string, PS, [INFO] [stdout] | ^^^^^^^^^^^^^ ^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^ ^^^^^^^^^^^^^ ^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::dl_lite::tbox::TB` [INFO] [stdout] --> src/dl_lite/native_filetype_utilities_quantum.rs:8:5 [INFO] [stdout] | [INFO] [stdout] 8 | use crate::dl_lite::tbox::TB; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::dl_lite::abox::AB` [INFO] [stdout] --> src/dl_lite/sqlite_interface_quantum.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use crate::dl_lite::abox::AB; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `AboxItemCDb`, `AboxItemRDb` [INFO] [stdout] --> src/dl_lite/sqlite_interface_quantum.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | AboxItemCDb, AboxItemRDb, NodeDb, SymbolDb, TableDb, TboxItemDb, [INFO] [stdout] | ^^^^^^^^^^^ ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `string_to_abi` [INFO] [stdout] --> src/dl_lite/sqlite_interface_quantum.rs:8:56 [INFO] [stdout] | [INFO] [stdout] 8 | use crate::dl_lite::string_formatter::{node_to_string, string_to_abi, string_to_tbi}; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `add_abis_to_db` [INFO] [stdout] --> src/main.rs:17:5 [INFO] [stdout] | [INFO] [stdout] 17 | add_abis_to_db, connect_to_db, drop_tables_from_database, get_table_names, update_symbols_to_db, [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `is_already_treated` is never read [INFO] [stdout] --> src/dl_lite/abox.rs:218:17 [INFO] [stdout] | [INFO] [stdout] 218 | 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:127:17 [INFO] [stdout] | [INFO] [stdout] 127 | 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:128:17 [INFO] [stdout] | [INFO] [stdout] 128 | 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:129:17 [INFO] [stdout] | [INFO] [stdout] 129 | 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:130:17 [INFO] [stdout] | [INFO] [stdout] 130 | 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: value assigned to `is_already_treated` is never read [INFO] [stdout] --> src/dl_lite/tbox.rs:367:17 [INFO] [stdout] | [INFO] [stdout] 367 | 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: unused variable: `tb_length` [INFO] [stdout] --> src/dl_lite/abox_quantum.rs:136:13 [INFO] [stdout] | [INFO] [stdout] 136 | let tb_length = tbis.len(); [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_tb_length` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` 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_quantum.rs:323:17 [INFO] [stdout] | [INFO] [stdout] 323 | 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: unused variable: `virtual_index_i` [INFO] [stdout] --> src/dl_lite/ontology_quantum.rs:376:22 [INFO] [stdout] | [INFO] [stdout] 376 | let (virtual_index_i, real_index_i) = virtual_to_real.get(i).unwrap(); [INFO] [stdout] | ^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_virtual_index_i` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `virtual_index_j` [INFO] [stdout] --> src/dl_lite/ontology_quantum.rs:386:30 [INFO] [stdout] | [INFO] [stdout] 386 | let (virtual_index_j, real_index_j) = virtual_to_real.get(j).unwrap(); [INFO] [stdout] | ^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_virtual_index_j` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/main.rs:143:21 [INFO] [stdout] | [INFO] [stdout] 143 | let mut conn = Connection::open_in_memory(); [INFO] [stdout] | ----^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/main.rs:152:24 [INFO] [stdout] | [INFO] [stdout] 152 | Ok(mut c) => c, [INFO] [stdout] | ----^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/main.rs:182:25 [INFO] [stdout] | [INFO] [stdout] 182 | let mut conn: Connection; [INFO] [stdout] | ----^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `is_already_treated` is never read [INFO] [stdout] --> src/dl_lite/abox.rs:218:17 [INFO] [stdout] | [INFO] [stdout] 218 | 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:127:17 [INFO] [stdout] | [INFO] [stdout] 127 | 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:128:17 [INFO] [stdout] | [INFO] [stdout] 128 | 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:129:17 [INFO] [stdout] | [INFO] [stdout] 129 | 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:130:17 [INFO] [stdout] | [INFO] [stdout] 130 | 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: value assigned to `is_already_treated` is never read [INFO] [stdout] --> src/dl_lite/tbox.rs:367:17 [INFO] [stdout] | [INFO] [stdout] 367 | 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: unused variable: `tb_length` [INFO] [stdout] --> src/dl_lite/abox_quantum.rs:136:13 [INFO] [stdout] | [INFO] [stdout] 136 | let tb_length = tbis.len(); [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_tb_length` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` 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_quantum.rs:323:17 [INFO] [stdout] | [INFO] [stdout] 323 | 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:218:17 [INFO] [stdout] | [INFO] [stdout] 218 | 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: unused variable: `virtual_index_i` [INFO] [stdout] --> src/dl_lite/ontology_quantum.rs:376:22 [INFO] [stdout] | [INFO] [stdout] 376 | let (virtual_index_i, real_index_i) = virtual_to_real.get(i).unwrap(); [INFO] [stdout] | ^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_virtual_index_i` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `virtual_index_j` [INFO] [stdout] --> src/dl_lite/ontology_quantum.rs:386:30 [INFO] [stdout] | [INFO] [stdout] 386 | let (virtual_index_j, real_index_j) = virtual_to_real.get(j).unwrap(); [INFO] [stdout] | ^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_virtual_index_j` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `lside_result1` is never read [INFO] [stdout] --> src/dl_lite/string_formatter.rs:127:17 [INFO] [stdout] | [INFO] [stdout] 127 | 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:128:17 [INFO] [stdout] | [INFO] [stdout] 128 | 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:129:17 [INFO] [stdout] | [INFO] [stdout] 129 | 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:130:17 [INFO] [stdout] | [INFO] [stdout] 130 | 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: value assigned to `is_already_treated` is never read [INFO] [stdout] --> src/dl_lite/tbox.rs:367:17 [INFO] [stdout] | [INFO] [stdout] 367 | 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: unused variable: `tb_length` [INFO] [stdout] --> src/dl_lite/abox_quantum.rs:136:13 [INFO] [stdout] | [INFO] [stdout] 136 | let tb_length = tbis.len(); [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_tb_length` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` 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_quantum.rs:323:17 [INFO] [stdout] | [INFO] [stdout] 323 | 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: unused variable: `virtual_index_i` [INFO] [stdout] --> src/dl_lite/ontology_quantum.rs:376:22 [INFO] [stdout] | [INFO] [stdout] 376 | let (virtual_index_i, real_index_i) = virtual_to_real.get(i).unwrap(); [INFO] [stdout] | ^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_virtual_index_i` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `virtual_index_j` [INFO] [stdout] --> src/dl_lite/ontology_quantum.rs:386:30 [INFO] [stdout] | [INFO] [stdout] 386 | let (virtual_index_j, real_index_j) = virtual_to_real.get(j).unwrap(); [INFO] [stdout] | ^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_virtual_index_j` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `is_already_treated` is never read [INFO] [stdout] --> src/dl_lite/abox.rs:218:17 [INFO] [stdout] | [INFO] [stdout] 218 | 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:127:17 [INFO] [stdout] | [INFO] [stdout] 127 | 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:128:17 [INFO] [stdout] | [INFO] [stdout] 128 | 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:129:17 [INFO] [stdout] | [INFO] [stdout] 129 | 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:130:17 [INFO] [stdout] | [INFO] [stdout] 130 | 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: value assigned to `is_already_treated` is never read [INFO] [stdout] --> src/dl_lite/tbox.rs:367:17 [INFO] [stdout] | [INFO] [stdout] 367 | 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: unused variable: `tb_length` [INFO] [stdout] --> src/dl_lite/abox_quantum.rs:136:13 [INFO] [stdout] | [INFO] [stdout] 136 | let tb_length = tbis.len(); [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_tb_length` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` 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_quantum.rs:323:17 [INFO] [stdout] | [INFO] [stdout] 323 | 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: unused variable: `virtual_index_i` [INFO] [stdout] --> src/dl_lite/ontology_quantum.rs:376:22 [INFO] [stdout] | [INFO] [stdout] 376 | let (virtual_index_i, real_index_i) = virtual_to_real.get(i).unwrap(); [INFO] [stdout] | ^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_virtual_index_i` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `virtual_index_j` [INFO] [stdout] --> src/dl_lite/ontology_quantum.rs:386:30 [INFO] [stdout] | [INFO] [stdout] 386 | let (virtual_index_j, real_index_j) = virtual_to_real.get(j).unwrap(); [INFO] [stdout] | ^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_virtual_index_j` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/main.rs:143:21 [INFO] [stdout] | [INFO] [stdout] 143 | let mut conn = Connection::open_in_memory(); [INFO] [stdout] | ----^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/main.rs:152:24 [INFO] [stdout] | [INFO] [stdout] 152 | Ok(mut c) => c, [INFO] [stdout] | ----^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/main.rs:182:25 [INFO] [stdout] | [INFO] [stdout] 182 | let mut conn: Connection; [INFO] [stdout] | ----^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/dl_lite/string_formatter_quantum.rs:25:5 [INFO] [stdout] | [INFO] [stdout] 25 | mut current_id: usize, [INFO] [stdout] | ----^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/dl_lite/string_formatter_quantum.rs:25:5 [INFO] [stdout] | [INFO] [stdout] 25 | mut current_id: usize, [INFO] [stdout] | ----^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/dl_lite/ontology_quantum.rs:311:13 [INFO] [stdout] | [INFO] [stdout] 311 | let mut matrix: Vec = Vec::new(); [INFO] [stdout] | ----^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/dl_lite/ontology_quantum.rs:311:13 [INFO] [stdout] | [INFO] [stdout] 311 | let mut matrix: Vec = Vec::new(); [INFO] [stdout] | ----^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/dl_lite/string_formatter_quantum.rs:25:5 [INFO] [stdout] | [INFO] [stdout] 25 | mut current_id: usize, [INFO] [stdout] | ----^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/dl_lite/ontology_quantum.rs:311:13 [INFO] [stdout] | [INFO] [stdout] 311 | let mut matrix: Vec = Vec::new(); [INFO] [stdout] | ----^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/dl_lite/string_formatter_quantum.rs:25:5 [INFO] [stdout] | [INFO] [stdout] 25 | mut current_id: usize, [INFO] [stdout] | ----^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `new` [INFO] [stdout] --> src/dl_lite/abox.rs:46:12 [INFO] [stdout] | [INFO] [stdout] 46 | pub fn new(name: &str) -> AB { [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:59:12 [INFO] [stdout] | [INFO] [stdout] 59 | 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:63:12 [INFO] [stdout] | [INFO] [stdout] 63 | pub fn is_completed(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `add` [INFO] [stdout] --> src/dl_lite/abox.rs:67:12 [INFO] [stdout] | [INFO] [stdout] 67 | pub fn add(&mut self, abi: ABI) -> bool { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `sort` [INFO] [stdout] --> src/dl_lite/abox.rs:85:12 [INFO] [stdout] | [INFO] [stdout] 85 | 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:90:12 [INFO] [stdout] | [INFO] [stdout] 90 | 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: `complete` [INFO] [stdout] --> src/dl_lite/abox.rs:111:12 [INFO] [stdout] | [INFO] [stdout] 111 | pub fn complete(&self, tbox: &TB, verbose: bool) -> AB { [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:131:12 [INFO] [stdout] | [INFO] [stdout] 131 | 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:149:12 [INFO] [stdout] | [INFO] [stdout] 149 | 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:176:12 [INFO] [stdout] | [INFO] [stdout] 176 | 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:183:12 [INFO] [stdout] | [INFO] [stdout] 183 | 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:188:12 [INFO] [stdout] | [INFO] [stdout] 188 | 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:215:12 [INFO] [stdout] | [INFO] [stdout] 215 | pub fn apply_rule(abis: Vec<&ABI>, tbis: Vec<&TBI>, rule: &AbRule) -> Option> { [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:64:8 [INFO] [stdout] | [INFO] [stdout] 64 | pub fn tbox_complete_helper_dump_from_mutex_temporal_to_current2( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `complete_helper_add_if_necessary_one` [INFO] [stdout] --> src/dl_lite/helpers_and_utilities.rs:119:8 [INFO] [stdout] | [INFO] [stdout] 119 | pub fn complete_helper_add_if_necessary_one( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `complete_helper_add_if_necessary_two` [INFO] [stdout] --> src/dl_lite/helpers_and_utilities.rs:150:8 [INFO] [stdout] | [INFO] [stdout] 150 | pub fn complete_helper_add_if_necessary_two( [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:217:4 [INFO] [stdout] | [INFO] [stdout] 217 | 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:209:8 [INFO] [stdout] | [INFO] [stdout] 209 | 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:383:4 [INFO] [stdout] | [INFO] [stdout] 383 | 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:392:4 [INFO] [stdout] | [INFO] [stdout] 392 | 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:402:8 [INFO] [stdout] | [INFO] [stdout] 402 | pub fn tbox_to_value( [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `parse_abox_native` [INFO] [stdout] --> src/dl_lite/native_filetype_utilities.rs:167:8 [INFO] [stdout] | [INFO] [stdout] 167 | pub fn parse_abox_native( [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:425:8 [INFO] [stdout] | [INFO] [stdout] 425 | pub fn tbox_to_native_string( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `abox_to_native_string` [INFO] [stdout] --> src/dl_lite/native_filetype_utilities.rs:456:8 [INFO] [stdout] | [INFO] [stdout] 456 | pub fn abox_to_native_string( [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: `new` [INFO] [stdout] --> src/dl_lite/ontology.rs:87:12 [INFO] [stdout] | [INFO] [stdout] 87 | pub fn new(s: String) -> Ontology { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `abox` [INFO] [stdout] --> src/dl_lite/ontology.rs:104:12 [INFO] [stdout] | [INFO] [stdout] 104 | pub fn abox(&self) -> Option<&AB> { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `abox_name` [INFO] [stdout] --> src/dl_lite/ontology.rs:111:12 [INFO] [stdout] | [INFO] [stdout] 111 | 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:118:12 [INFO] [stdout] | [INFO] [stdout] 118 | 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:124:12 [INFO] [stdout] | [INFO] [stdout] 124 | pub fn sort(&mut self) { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `add_symbols_from_file` [INFO] [stdout] --> src/dl_lite/ontology.rs:131:12 [INFO] [stdout] | [INFO] [stdout] 131 | pub fn add_symbols_from_file(&mut self, filename: &str, filetype: FileType, verbose: bool) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `add_tbis_from_file` [INFO] [stdout] --> src/dl_lite/ontology.rs:156:12 [INFO] [stdout] | [INFO] [stdout] 156 | pub fn add_tbis_from_file(&mut self, filename: &str, filetype: FileType, verbose: bool) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `new_abox_from_abox` [INFO] [stdout] --> src/dl_lite/ontology.rs:180:12 [INFO] [stdout] | [INFO] [stdout] 180 | pub fn new_abox_from_abox(&mut self, ab: AB) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `new_abox_from_file` [INFO] [stdout] --> src/dl_lite/ontology.rs:184:12 [INFO] [stdout] | [INFO] [stdout] 184 | pub fn new_abox_from_file(&mut self, filename: &str, filetype: FileType, verbose: bool) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `add_abis_from_file` [INFO] [stdout] --> src/dl_lite/ontology.rs:214:12 [INFO] [stdout] | [INFO] [stdout] 214 | pub fn add_abis_from_file(&mut self, filename: &str, filetype: FileType, verbose: bool) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `add_abi` [INFO] [stdout] --> src/dl_lite/ontology.rs:250:12 [INFO] [stdout] | [INFO] [stdout] 250 | pub fn add_abi(&mut self, abi: &ABI) { [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:258:12 [INFO] [stdout] | [INFO] [stdout] 258 | pub fn add_abis_from_abox(&mut self, ab: &AB) { [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:264:12 [INFO] [stdout] | [INFO] [stdout] 264 | 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:277:12 [INFO] [stdout] | [INFO] [stdout] 277 | pub fn complete_tbox(&self, 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:283:12 [INFO] [stdout] | [INFO] [stdout] 283 | pub fn auto_complete(&mut self, 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:296:12 [INFO] [stdout] | [INFO] [stdout] 296 | 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:303:12 [INFO] [stdout] | [INFO] [stdout] 303 | pub fn contains_contradiction(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `find_consequences` [INFO] [stdout] --> src/dl_lite/ontology.rs:313:12 [INFO] [stdout] | [INFO] [stdout] 313 | pub fn find_consequences(&self, abox: &AB) -> AB { [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:317:12 [INFO] [stdout] | [INFO] [stdout] 317 | pub fn find_consequences_from_file( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `symbols` [INFO] [stdout] --> src/dl_lite/ontology.rs:329:12 [INFO] [stdout] | [INFO] [stdout] 329 | pub fn symbols(&self) -> &HashMap { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `tbox` [INFO] [stdout] --> src/dl_lite/ontology.rs:333:12 [INFO] [stdout] | [INFO] [stdout] 333 | pub fn tbox(&self) -> &TB { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `len` [INFO] [stdout] --> src/dl_lite/ontology.rs:338:12 [INFO] [stdout] | [INFO] [stdout] 338 | pub fn len(&self) -> (usize, usize) { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `add_symbol` [INFO] [stdout] --> src/dl_lite/ontology.rs:345:8 [INFO] [stdout] | [INFO] [stdout] 345 | fn add_symbol( [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `add_tbi` [INFO] [stdout] --> src/dl_lite/ontology.rs:370:8 [INFO] [stdout] | [INFO] [stdout] 370 | fn add_tbi(&mut self, tbi: &TBI) -> bool { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `find_lower_and_highest_value_from_symbols` [INFO] [stdout] --> src/dl_lite/ontology.rs:381:8 [INFO] [stdout] | [INFO] [stdout] 381 | fn find_lower_and_highest_value_from_symbols( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `tbox_to_file` [INFO] [stdout] --> src/dl_lite/ontology.rs:566:12 [INFO] [stdout] | [INFO] [stdout] 566 | 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:641:12 [INFO] [stdout] | [INFO] [stdout] 641 | 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:693:12 [INFO] [stdout] | [INFO] [stdout] 693 | 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:703:12 [INFO] [stdout] | [INFO] [stdout] 703 | 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>) -> 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:21:8 [INFO] [stdout] | [INFO] [stdout] 21 | pub fn dl_lite_rule_zero(vec: Vec<&TBI>) -> 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:67:8 [INFO] [stdout] | [INFO] [stdout] 67 | pub fn dl_lite_rule_one(vec: Vec<&TBI>) -> 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:86:8 [INFO] [stdout] | [INFO] [stdout] 86 | pub fn dl_lite_rule_two(vec: Vec<&TBI>) -> 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:112:8 [INFO] [stdout] | [INFO] [stdout] 112 | pub fn dl_lite_rule_three(vec: Vec<&TBI>) -> 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:158:8 [INFO] [stdout] | [INFO] [stdout] 158 | pub fn dl_lite_rule_four(vec: Vec<&TBI>) -> 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:202:8 [INFO] [stdout] | [INFO] [stdout] 202 | pub fn dl_lite_rule_five(vec: Vec<&TBI>) -> 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:233:8 [INFO] [stdout] | [INFO] [stdout] 233 | pub fn dl_lite_rule_six(_vec: Vec<&TBI>) -> 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:238:8 [INFO] [stdout] | [INFO] [stdout] 238 | pub fn dl_lite_rule_seven(vec: Vec<&TBI>) -> 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:271:8 [INFO] [stdout] | [INFO] [stdout] 271 | pub fn dl_lite_rule_eight(vec: Vec<&TBI>) -> 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_abi_to_db` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:322:8 [INFO] [stdout] | [INFO] [stdout] 322 | pub fn add_abi_to_db( [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `add_abis_to_db` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:387:8 [INFO] [stdout] | [INFO] [stdout] 387 | pub fn add_abis_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:454:8 [INFO] [stdout] | [INFO] [stdout] 454 | 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:514:8 [INFO] [stdout] | [INFO] [stdout] 514 | pub fn add_tbis_from_db( [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `add_abis_from_db` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:585:8 [INFO] [stdout] | [INFO] [stdout] 585 | pub fn add_abis_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:772:8 [INFO] [stdout] | [INFO] [stdout] 772 | 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:782:8 [INFO] [stdout] | [INFO] [stdout] 782 | 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:823:8 [INFO] [stdout] | [INFO] [stdout] 823 | 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: `node_to_string` [INFO] [stdout] --> src/dl_lite/string_formatter.rs:58:8 [INFO] [stdout] | [INFO] [stdout] 58 | 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:234:8 [INFO] [stdout] | [INFO] [stdout] 234 | 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:373:8 [INFO] [stdout] | [INFO] [stdout] 373 | 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:551:4 [INFO] [stdout] | [INFO] [stdout] 551 | fn find_keys_for_value(symbols: &HashMap, value: usize) -> Vec { [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:100:12 [INFO] [stdout] | [INFO] [stdout] 100 | 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:104:12 [INFO] [stdout] | [INFO] [stdout] 104 | 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:112:12 [INFO] [stdout] | [INFO] [stdout] 112 | 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:116:12 [INFO] [stdout] | [INFO] [stdout] 116 | pub fn remove_trivial(&mut self) { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/dl_lite/ontology_quantum.rs:311:13 [INFO] [stdout] | [INFO] [stdout] 311 | let mut matrix: Vec = Vec::new(); [INFO] [stdout] | ----^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `negative_inclusions` [INFO] [stdout] --> src/dl_lite/tbox.rs:133:12 [INFO] [stdout] | [INFO] [stdout] 133 | 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:145:12 [INFO] [stdout] | [INFO] [stdout] 145 | pub fn complete(&self, 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:549:12 [INFO] [stdout] | [INFO] [stdout] 549 | pub fn is_satisfiable(&self, verbose: bool) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_contradiction` [INFO] [stdout] --> src/dl_lite/tbox_item.rs:61:12 [INFO] [stdout] | [INFO] [stdout] 61 | 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:65:12 [INFO] [stdout] | [INFO] [stdout] 65 | pub fn is_redundant(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_trivial` [INFO] [stdout] --> src/dl_lite/tbox_item.rs:69:12 [INFO] [stdout] | [INFO] [stdout] 69 | pub fn is_trivial(&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:77:12 [INFO] [stdout] | [INFO] [stdout] 77 | 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:94:12 [INFO] [stdout] | [INFO] [stdout] 94 | pub fn reverse_negation(&self) -> 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:108:12 [INFO] [stdout] | [INFO] [stdout] 108 | pub fn apply_rule(tbis: Vec<&TBI>, rule: &TbRule) -> Option> { [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: associated function is never used: `new` [INFO] [stdout] --> src/dl_lite/abox.rs:46:12 [INFO] [stdout] | [INFO] [stdout] 46 | pub fn new(name: &str) -> AB { [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [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: associated function is never used: `is_trivial` [INFO] [stdout] --> src/dl_lite/abox_item_quantum.rs:94:12 [INFO] [stdout] | [INFO] [stdout] 94 | 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:98:12 [INFO] [stdout] | [INFO] [stdout] 98 | 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:103:12 [INFO] [stdout] | [INFO] [stdout] 103 | 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:110:12 [INFO] [stdout] | [INFO] [stdout] 110 | 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:142:12 [INFO] [stdout] | [INFO] [stdout] 142 | pub fn is_match(&self, tbi: &TBI) -> Vec { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_completed` [INFO] [stdout] --> src/dl_lite/abox_quantum.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: `sort` [INFO] [stdout] --> src/dl_lite/abox_quantum.rs:104:12 [INFO] [stdout] | [INFO] [stdout] 104 | pub fn sort(&mut self) { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `abiq_to_string` [INFO] [stdout] --> src/dl_lite/string_formatter_quantum.rs:114:8 [INFO] [stdout] | [INFO] [stdout] 114 | pub fn abiq_to_string(abiq: &ABIQ, symbols: &HashMap) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `abox_name` [INFO] [stdout] --> src/dl_lite/ontology_quantum.rs:115:12 [INFO] [stdout] | [INFO] [stdout] 115 | 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_quantum.rs:122:12 [INFO] [stdout] | [INFO] [stdout] 122 | 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_quantum.rs:128:12 [INFO] [stdout] | [INFO] [stdout] 128 | 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_quantum.rs:178:12 [INFO] [stdout] | [INFO] [stdout] 178 | 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_quantum.rs:212:12 [INFO] [stdout] | [INFO] [stdout] 212 | pub fn add_abis_from_file_quantum(&mut self, filename: &str, filetype: FileType, verbose: bool) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `add_tbis_from_tbox` [INFO] [stdout] --> src/dl_lite/ontology_quantum.rs:262:12 [INFO] [stdout] | [INFO] [stdout] 262 | 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_quantum.rs:275:12 [INFO] [stdout] | [INFO] [stdout] 275 | pub fn complete_tbox(&self, 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_quantum.rs:281:12 [INFO] [stdout] | [INFO] [stdout] 281 | pub fn auto_complete(&mut self, verbose: bool) { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `complete_abox` [INFO] [stdout] --> src/dl_lite/ontology_quantum.rs:294:12 [INFO] [stdout] | [INFO] [stdout] 294 | 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_quantum.rs:436:12 [INFO] [stdout] | [INFO] [stdout] 436 | pub fn contains_contradiction(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `find_consequences` [INFO] [stdout] --> src/dl_lite/ontology_quantum.rs:446:12 [INFO] [stdout] | [INFO] [stdout] 446 | pub fn find_consequences(&self, abox: &AB) -> AB { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `find_consequences_from_file` [INFO] [stdout] --> src/dl_lite/ontology_quantum.rs:450:12 [INFO] [stdout] | [INFO] [stdout] 450 | 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_quantum.rs:471:12 [INFO] [stdout] | [INFO] [stdout] 471 | 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_quantum.rs:711:12 [INFO] [stdout] | [INFO] [stdout] 711 | 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_quantum.rs:786:12 [INFO] [stdout] | [INFO] [stdout] 786 | 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_quantum.rs:838:12 [INFO] [stdout] | [INFO] [stdout] 838 | 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_quantum.rs:848:12 [INFO] [stdout] | [INFO] [stdout] 848 | pub fn initiate_from_db(filename: &str, verbose: bool) -> Result { [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_quantum.rs:144:8 [INFO] [stdout] | [INFO] [stdout] 144 | pub fn abox_to_native_string_quantum( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `connect_to_db` [INFO] [stdout] --> src/dl_lite/sqlite_interface_quantum.rs:20:8 [INFO] [stdout] | [INFO] [stdout] 20 | 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_quantum.rs:43:8 [INFO] [stdout] | [INFO] [stdout] 43 | 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_quantum.rs:158:8 [INFO] [stdout] | [INFO] [stdout] 158 | 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_quantum.rs:177:8 [INFO] [stdout] | [INFO] [stdout] 177 | 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_quantum.rs:187:8 [INFO] [stdout] | [INFO] [stdout] 187 | 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_quantum.rs:198:8 [INFO] [stdout] | [INFO] [stdout] 198 | 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_quantum.rs:239:8 [INFO] [stdout] | [INFO] [stdout] 239 | pub fn get_node_from_db( [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `len` [INFO] [stdout] --> src/dl_lite/abox.rs:59:12 [INFO] [stdout] | [INFO] [stdout] 59 | 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:63:12 [INFO] [stdout] | [INFO] [stdout] 63 | pub fn is_completed(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `add` [INFO] [stdout] --> src/dl_lite/abox.rs:67:12 [INFO] [stdout] | [INFO] [stdout] 67 | pub fn add(&mut self, abi: ABI) -> bool { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `sort` [INFO] [stdout] --> src/dl_lite/abox.rs:85:12 [INFO] [stdout] | [INFO] [stdout] 85 | 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:90:12 [INFO] [stdout] | [INFO] [stdout] 90 | 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: `complete` [INFO] [stdout] --> src/dl_lite/abox.rs:111:12 [INFO] [stdout] | [INFO] [stdout] 111 | pub fn complete(&self, tbox: &TB, verbose: bool) -> AB { [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:109:12 [INFO] [stdout] | [INFO] [stdout] 109 | 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:131:12 [INFO] [stdout] | [INFO] [stdout] 131 | 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:139:12 [INFO] [stdout] | [INFO] [stdout] 139 | 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.rs:149:12 [INFO] [stdout] | [INFO] [stdout] 149 | 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:176:12 [INFO] [stdout] | [INFO] [stdout] 176 | 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:183:12 [INFO] [stdout] | [INFO] [stdout] 183 | 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:188:12 [INFO] [stdout] | [INFO] [stdout] 188 | 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:215:12 [INFO] [stdout] | [INFO] [stdout] 215 | pub fn apply_rule(abis: Vec<&ABI>, tbis: Vec<&TBI>, rule: &AbRule) -> Option> { [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:64:8 [INFO] [stdout] | [INFO] [stdout] 64 | pub fn tbox_complete_helper_dump_from_mutex_temporal_to_current2( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `complete_helper_add_if_necessary_one` [INFO] [stdout] --> src/dl_lite/helpers_and_utilities.rs:119:8 [INFO] [stdout] | [INFO] [stdout] 119 | pub fn complete_helper_add_if_necessary_one( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `complete_helper_add_if_necessary_two` [INFO] [stdout] --> src/dl_lite/helpers_and_utilities.rs:150:8 [INFO] [stdout] | [INFO] [stdout] 150 | pub fn complete_helper_add_if_necessary_two( [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:217:4 [INFO] [stdout] | [INFO] [stdout] 217 | 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:241:8 [INFO] [stdout] | [INFO] [stdout] 241 | 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:209:8 [INFO] [stdout] | [INFO] [stdout] 209 | pub fn parse_value_abi(_value: &Value, _symbols: Vec<&Node>) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `parse_abox_native` [INFO] [stdout] --> src/dl_lite/native_filetype_utilities.rs:167:8 [INFO] [stdout] | [INFO] [stdout] 167 | pub fn parse_abox_native( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `abox_to_native_string` [INFO] [stdout] --> src/dl_lite/native_filetype_utilities.rs:456:8 [INFO] [stdout] | [INFO] [stdout] 456 | pub fn abox_to_native_string( [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: `new` [INFO] [stdout] --> src/dl_lite/ontology.rs:87:12 [INFO] [stdout] | [INFO] [stdout] 87 | pub fn new(s: String) -> Ontology { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `abox` [INFO] [stdout] --> src/dl_lite/ontology.rs:104:12 [INFO] [stdout] | [INFO] [stdout] 104 | pub fn abox(&self) -> Option<&AB> { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `abox_name` [INFO] [stdout] --> src/dl_lite/ontology.rs:111:12 [INFO] [stdout] | [INFO] [stdout] 111 | 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:118:12 [INFO] [stdout] | [INFO] [stdout] 118 | 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:124:12 [INFO] [stdout] | [INFO] [stdout] 124 | pub fn sort(&mut self) { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `add_symbols_from_file` [INFO] [stdout] --> src/dl_lite/ontology.rs:131:12 [INFO] [stdout] | [INFO] [stdout] 131 | pub fn add_symbols_from_file(&mut self, filename: &str, filetype: FileType, verbose: bool) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `add_tbis_from_file` [INFO] [stdout] --> src/dl_lite/ontology.rs:156:12 [INFO] [stdout] | [INFO] [stdout] 156 | pub fn add_tbis_from_file(&mut self, filename: &str, filetype: FileType, verbose: bool) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `new_abox_from_abox` [INFO] [stdout] --> src/dl_lite/ontology.rs:180:12 [INFO] [stdout] | [INFO] [stdout] 180 | pub fn new_abox_from_abox(&mut self, ab: AB) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `new_abox_from_file` [INFO] [stdout] --> src/dl_lite/ontology.rs:184:12 [INFO] [stdout] | [INFO] [stdout] 184 | pub fn new_abox_from_file(&mut self, filename: &str, filetype: FileType, verbose: bool) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `add_abis_from_file` [INFO] [stdout] --> src/dl_lite/ontology.rs:214:12 [INFO] [stdout] | [INFO] [stdout] 214 | pub fn add_abis_from_file(&mut self, filename: &str, filetype: FileType, verbose: bool) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `add_abi` [INFO] [stdout] --> src/dl_lite/ontology.rs:250:12 [INFO] [stdout] | [INFO] [stdout] 250 | pub fn add_abi(&mut self, abi: &ABI) { [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:258:12 [INFO] [stdout] | [INFO] [stdout] 258 | pub fn add_abis_from_abox(&mut self, ab: &AB) { [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:264:12 [INFO] [stdout] | [INFO] [stdout] 264 | 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:277:12 [INFO] [stdout] | [INFO] [stdout] 277 | pub fn complete_tbox(&self, 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:283:12 [INFO] [stdout] | [INFO] [stdout] 283 | pub fn auto_complete(&mut self, 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:296:12 [INFO] [stdout] | [INFO] [stdout] 296 | 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:303:12 [INFO] [stdout] | [INFO] [stdout] 303 | pub fn contains_contradiction(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `find_consequences` [INFO] [stdout] --> src/dl_lite/ontology.rs:313:12 [INFO] [stdout] | [INFO] [stdout] 313 | pub fn find_consequences(&self, abox: &AB) -> AB { [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:317:12 [INFO] [stdout] | [INFO] [stdout] 317 | pub fn find_consequences_from_file( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `symbols` [INFO] [stdout] --> src/dl_lite/ontology.rs:329:12 [INFO] [stdout] | [INFO] [stdout] 329 | pub fn symbols(&self) -> &HashMap { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `tbox` [INFO] [stdout] --> src/dl_lite/ontology.rs:333:12 [INFO] [stdout] | [INFO] [stdout] 333 | pub fn tbox(&self) -> &TB { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `len` [INFO] [stdout] --> src/dl_lite/ontology.rs:338:12 [INFO] [stdout] | [INFO] [stdout] 338 | pub fn len(&self) -> (usize, usize) { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `add_symbol` [INFO] [stdout] --> src/dl_lite/ontology.rs:345:8 [INFO] [stdout] | [INFO] [stdout] 345 | fn add_symbol( [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `add_tbi` [INFO] [stdout] --> src/dl_lite/ontology.rs:370:8 [INFO] [stdout] | [INFO] [stdout] 370 | fn add_tbi(&mut self, tbi: &TBI) -> bool { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `find_lower_and_highest_value_from_symbols` [INFO] [stdout] --> src/dl_lite/ontology.rs:381:8 [INFO] [stdout] | [INFO] [stdout] 381 | fn find_lower_and_highest_value_from_symbols( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `tbox_to_file` [INFO] [stdout] --> src/dl_lite/ontology.rs:566:12 [INFO] [stdout] | [INFO] [stdout] 566 | 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:641:12 [INFO] [stdout] | [INFO] [stdout] 641 | 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:693:12 [INFO] [stdout] | [INFO] [stdout] 693 | 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:703:12 [INFO] [stdout] | [INFO] [stdout] 703 | pub fn initiate_from_db(filename: &str, verbose: bool) -> Result { [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_abi_to_db` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:322:8 [INFO] [stdout] | [INFO] [stdout] 322 | pub fn add_abi_to_db( [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `add_abis_to_db` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:387:8 [INFO] [stdout] | [INFO] [stdout] 387 | pub fn add_abis_to_db( [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `add_abis_from_db` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:585:8 [INFO] [stdout] | [INFO] [stdout] 585 | pub fn add_abis_from_db( [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: `completed` [INFO] [stdout] --> src/dl_lite/tbox.rs:104:12 [INFO] [stdout] | [INFO] [stdout] 104 | 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:112:12 [INFO] [stdout] | [INFO] [stdout] 112 | 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:133:12 [INFO] [stdout] | [INFO] [stdout] 133 | 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:549:12 [INFO] [stdout] | [INFO] [stdout] 549 | pub fn is_satisfiable(&self, verbose: bool) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_contradiction` [INFO] [stdout] --> src/dl_lite/tbox_item.rs:61:12 [INFO] [stdout] | [INFO] [stdout] 61 | 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:73:12 [INFO] [stdout] | [INFO] [stdout] 73 | 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:77:12 [INFO] [stdout] | [INFO] [stdout] 77 | pub fn is_positive_inclusion(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `negate` [INFO] [stdout] --> src/dl_lite/abox_item_quantum.rs:76:12 [INFO] [stdout] | [INFO] [stdout] 76 | 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:98:12 [INFO] [stdout] | [INFO] [stdout] 98 | 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:103:12 [INFO] [stdout] | [INFO] [stdout] 103 | 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:110:12 [INFO] [stdout] | [INFO] [stdout] 110 | pub fn nominal(&self, position: usize) -> Option<&Node> { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `add_tbi_to_db` [INFO] [stdout] --> src/dl_lite/sqlite_interface_quantum.rs:283:8 [INFO] [stdout] | [INFO] [stdout] 283 | 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_quantum.rs:315:8 [INFO] [stdout] | [INFO] [stdout] 315 | pub fn add_tbis_to_db( [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:142:12 [INFO] [stdout] | [INFO] [stdout] 142 | pub fn is_match(&self, tbi: &TBI) -> Vec { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `from_vec` [INFO] [stdout] --> src/dl_lite/abox_quantum.rs:58:12 [INFO] [stdout] | [INFO] [stdout] 58 | pub fn from_vec(name: &str, mut v: Vec) -> ABQ { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `len` [INFO] [stdout] --> src/dl_lite/abox_quantum.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_quantum.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_quantum.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_quantum.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_quantum.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_quantum.rs:130:12 [INFO] [stdout] | [INFO] [stdout] 130 | pub fn is_inconsistent(&self, tb: &TB, verbose: bool) -> 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_quantum.rs:326:8 [INFO] [stdout] | [INFO] [stdout] 326 | pub fn add_abi_to_db_quantum( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `symbols_as_mut` [INFO] [stdout] --> src/dl_lite/ontology_quantum.rs:122:12 [INFO] [stdout] | [INFO] [stdout] 122 | 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_quantum.rs:212:12 [INFO] [stdout] | [INFO] [stdout] 212 | pub fn add_abis_from_file_quantum(&mut self, filename: &str, filetype: FileType, verbose: bool) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `add_abi` [INFO] [stdout] --> src/dl_lite/ontology_quantum.rs:248:12 [INFO] [stdout] | [INFO] [stdout] 248 | 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_quantum.rs:256:12 [INFO] [stdout] | [INFO] [stdout] 256 | 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_quantum.rs:302:12 [INFO] [stdout] | [INFO] [stdout] 302 | pub fn conflict_matrix(&self, abq: &ABQ, verbose: bool) -> (Vec, Vec<(usize, Option)>, Vec<(usize, usize)>) { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `contains_contradiction` [INFO] [stdout] --> src/dl_lite/ontology_quantum.rs:436:12 [INFO] [stdout] | [INFO] [stdout] 436 | pub fn contains_contradiction(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `find_consequences` [INFO] [stdout] --> src/dl_lite/ontology_quantum.rs:446:12 [INFO] [stdout] | [INFO] [stdout] 446 | pub fn find_consequences(&self, abox: &AB) -> AB { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `find_consequences_from_file` [INFO] [stdout] --> src/dl_lite/ontology_quantum.rs:450:12 [INFO] [stdout] | [INFO] [stdout] 450 | 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_quantum.rs:471:12 [INFO] [stdout] | [INFO] [stdout] 471 | pub fn len(&self) -> (usize, usize) { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `connect_to_db` [INFO] [stdout] --> src/dl_lite/sqlite_interface_quantum.rs:20:8 [INFO] [stdout] | [INFO] [stdout] 20 | 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_quantum.rs:43:8 [INFO] [stdout] | [INFO] [stdout] 43 | 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_quantum.rs:158:8 [INFO] [stdout] | [INFO] [stdout] 158 | 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_quantum.rs:177:8 [INFO] [stdout] | [INFO] [stdout] 177 | pub fn add_symbols_to_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_quantum.rs:283:8 [INFO] [stdout] | [INFO] [stdout] 283 | 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_quantum.rs:315:8 [INFO] [stdout] | [INFO] [stdout] 315 | 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_quantum.rs:500:8 [INFO] [stdout] | [INFO] [stdout] 500 | 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_quantum.rs:560:8 [INFO] [stdout] | [INFO] [stdout] 560 | pub fn add_tbis_from_db( [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_quantum.rs:631:8 [INFO] [stdout] | [INFO] [stdout] 631 | pub fn add_abis_from_db_quantum( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `update_symbols_to_db` [INFO] [stdout] --> src/dl_lite/sqlite_interface_quantum.rs:822:8 [INFO] [stdout] | [INFO] [stdout] 822 | 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_quantum.rs:832:8 [INFO] [stdout] | [INFO] [stdout] 832 | 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_quantum.rs:873:8 [INFO] [stdout] | [INFO] [stdout] 873 | 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_abis_to_db_quantum` [INFO] [stdout] --> src/dl_lite/sqlite_interface_quantum.rs:429:8 [INFO] [stdout] | [INFO] [stdout] 429 | pub fn add_abis_to_db_quantum( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `add_symbols_from_db` [INFO] [stdout] --> src/dl_lite/sqlite_interface_quantum.rs:500:8 [INFO] [stdout] | [INFO] [stdout] 500 | 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_quantum.rs:560:8 [INFO] [stdout] | [INFO] [stdout] 560 | pub fn add_tbis_from_db( [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_quantum.rs:631:8 [INFO] [stdout] | [INFO] [stdout] 631 | pub fn add_abis_from_db_quantum( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `update_symbols_to_db` [INFO] [stdout] --> src/dl_lite/sqlite_interface_quantum.rs:822:8 [INFO] [stdout] | [INFO] [stdout] 822 | 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_quantum.rs:832:8 [INFO] [stdout] | [INFO] [stdout] 832 | 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_quantum.rs:873:8 [INFO] [stdout] | [INFO] [stdout] 873 | 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: `is_json_file` [INFO] [stdout] --> src/interface/utilities.rs:3:8 [INFO] [stdout] | [INFO] [stdout] 3 | 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:7:8 [INFO] [stdout] | [INFO] [stdout] 7 | pub fn get_filetype(filename: &str) -> FileType { [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: 141 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `new` [INFO] [stdout] --> src/dl_lite/abox.rs:46:12 [INFO] [stdout] | [INFO] [stdout] 46 | pub fn new(name: &str) -> AB { [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:59:12 [INFO] [stdout] | [INFO] [stdout] 59 | 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:63:12 [INFO] [stdout] | [INFO] [stdout] 63 | pub fn is_completed(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `add` [INFO] [stdout] --> src/dl_lite/abox.rs:67:12 [INFO] [stdout] | [INFO] [stdout] 67 | pub fn add(&mut self, abi: ABI) -> bool { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `sort` [INFO] [stdout] --> src/dl_lite/abox.rs:85:12 [INFO] [stdout] | [INFO] [stdout] 85 | 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:90:12 [INFO] [stdout] | [INFO] [stdout] 90 | 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: `complete` [INFO] [stdout] --> src/dl_lite/abox.rs:111:12 [INFO] [stdout] | [INFO] [stdout] 111 | pub fn complete(&self, tbox: &TB, verbose: bool) -> AB { [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:131:12 [INFO] [stdout] | [INFO] [stdout] 131 | 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:149:12 [INFO] [stdout] | [INFO] [stdout] 149 | 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:176:12 [INFO] [stdout] | [INFO] [stdout] 176 | 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:183:12 [INFO] [stdout] | [INFO] [stdout] 183 | 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:188:12 [INFO] [stdout] | [INFO] [stdout] 188 | 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:215:12 [INFO] [stdout] | [INFO] [stdout] 215 | pub fn apply_rule(abis: Vec<&ABI>, tbis: Vec<&TBI>, rule: &AbRule) -> Option> { [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:64:8 [INFO] [stdout] | [INFO] [stdout] 64 | pub fn tbox_complete_helper_dump_from_mutex_temporal_to_current2( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `complete_helper_add_if_necessary_one` [INFO] [stdout] --> src/dl_lite/helpers_and_utilities.rs:119:8 [INFO] [stdout] | [INFO] [stdout] 119 | pub fn complete_helper_add_if_necessary_one( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `complete_helper_add_if_necessary_two` [INFO] [stdout] --> src/dl_lite/helpers_and_utilities.rs:150:8 [INFO] [stdout] | [INFO] [stdout] 150 | pub fn complete_helper_add_if_necessary_two( [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:217:4 [INFO] [stdout] | [INFO] [stdout] 217 | 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:209:8 [INFO] [stdout] | [INFO] [stdout] 209 | 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:383:4 [INFO] [stdout] | [INFO] [stdout] 383 | 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:392:4 [INFO] [stdout] | [INFO] [stdout] 392 | 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:402:8 [INFO] [stdout] | [INFO] [stdout] 402 | pub fn tbox_to_value( [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 196 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `parse_abox_native` [INFO] [stdout] --> src/dl_lite/native_filetype_utilities.rs:167:8 [INFO] [stdout] | [INFO] [stdout] 167 | pub fn parse_abox_native( [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:425:8 [INFO] [stdout] | [INFO] [stdout] 425 | pub fn tbox_to_native_string( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `abox_to_native_string` [INFO] [stdout] --> src/dl_lite/native_filetype_utilities.rs:456:8 [INFO] [stdout] | [INFO] [stdout] 456 | pub fn abox_to_native_string( [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: `new` [INFO] [stdout] --> src/dl_lite/ontology.rs:87:12 [INFO] [stdout] | [INFO] [stdout] 87 | pub fn new(s: String) -> Ontology { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `abox` [INFO] [stdout] --> src/dl_lite/ontology.rs:104:12 [INFO] [stdout] | [INFO] [stdout] 104 | pub fn abox(&self) -> Option<&AB> { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `abox_name` [INFO] [stdout] --> src/dl_lite/ontology.rs:111:12 [INFO] [stdout] | [INFO] [stdout] 111 | 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:118:12 [INFO] [stdout] | [INFO] [stdout] 118 | 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:124:12 [INFO] [stdout] | [INFO] [stdout] 124 | pub fn sort(&mut self) { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `add_symbols_from_file` [INFO] [stdout] --> src/dl_lite/ontology.rs:131:12 [INFO] [stdout] | [INFO] [stdout] 131 | pub fn add_symbols_from_file(&mut self, filename: &str, filetype: FileType, verbose: bool) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `add_tbis_from_file` [INFO] [stdout] --> src/dl_lite/ontology.rs:156:12 [INFO] [stdout] | [INFO] [stdout] 156 | pub fn add_tbis_from_file(&mut self, filename: &str, filetype: FileType, verbose: bool) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `new_abox_from_abox` [INFO] [stdout] --> src/dl_lite/ontology.rs:180:12 [INFO] [stdout] | [INFO] [stdout] 180 | pub fn new_abox_from_abox(&mut self, ab: AB) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `new_abox_from_file` [INFO] [stdout] --> src/dl_lite/ontology.rs:184:12 [INFO] [stdout] | [INFO] [stdout] 184 | pub fn new_abox_from_file(&mut self, filename: &str, filetype: FileType, verbose: bool) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `add_abis_from_file` [INFO] [stdout] --> src/dl_lite/ontology.rs:214:12 [INFO] [stdout] | [INFO] [stdout] 214 | pub fn add_abis_from_file(&mut self, filename: &str, filetype: FileType, verbose: bool) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `add_abi` [INFO] [stdout] --> src/dl_lite/ontology.rs:250:12 [INFO] [stdout] | [INFO] [stdout] 250 | pub fn add_abi(&mut self, abi: &ABI) { [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:258:12 [INFO] [stdout] | [INFO] [stdout] 258 | pub fn add_abis_from_abox(&mut self, ab: &AB) { [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:264:12 [INFO] [stdout] | [INFO] [stdout] 264 | 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:277:12 [INFO] [stdout] | [INFO] [stdout] 277 | pub fn complete_tbox(&self, 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:283:12 [INFO] [stdout] | [INFO] [stdout] 283 | pub fn auto_complete(&mut self, 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:296:12 [INFO] [stdout] | [INFO] [stdout] 296 | 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:303:12 [INFO] [stdout] | [INFO] [stdout] 303 | pub fn contains_contradiction(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `find_consequences` [INFO] [stdout] --> src/dl_lite/ontology.rs:313:12 [INFO] [stdout] | [INFO] [stdout] 313 | pub fn find_consequences(&self, abox: &AB) -> AB { [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:317:12 [INFO] [stdout] | [INFO] [stdout] 317 | pub fn find_consequences_from_file( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `symbols` [INFO] [stdout] --> src/dl_lite/ontology.rs:329:12 [INFO] [stdout] | [INFO] [stdout] 329 | pub fn symbols(&self) -> &HashMap { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `tbox` [INFO] [stdout] --> src/dl_lite/ontology.rs:333:12 [INFO] [stdout] | [INFO] [stdout] 333 | pub fn tbox(&self) -> &TB { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `len` [INFO] [stdout] --> src/dl_lite/ontology.rs:338:12 [INFO] [stdout] | [INFO] [stdout] 338 | pub fn len(&self) -> (usize, usize) { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `add_symbol` [INFO] [stdout] --> src/dl_lite/ontology.rs:345:8 [INFO] [stdout] | [INFO] [stdout] 345 | fn add_symbol( [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `add_tbi` [INFO] [stdout] --> src/dl_lite/ontology.rs:370:8 [INFO] [stdout] | [INFO] [stdout] 370 | fn add_tbi(&mut self, tbi: &TBI) -> bool { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `find_lower_and_highest_value_from_symbols` [INFO] [stdout] --> src/dl_lite/ontology.rs:381:8 [INFO] [stdout] | [INFO] [stdout] 381 | fn find_lower_and_highest_value_from_symbols( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `tbox_to_file` [INFO] [stdout] --> src/dl_lite/ontology.rs:566:12 [INFO] [stdout] | [INFO] [stdout] 566 | 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:641:12 [INFO] [stdout] | [INFO] [stdout] 641 | 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:693:12 [INFO] [stdout] | [INFO] [stdout] 693 | 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:703:12 [INFO] [stdout] | [INFO] [stdout] 703 | 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>) -> 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:21:8 [INFO] [stdout] | [INFO] [stdout] 21 | pub fn dl_lite_rule_zero(vec: Vec<&TBI>) -> 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:67:8 [INFO] [stdout] | [INFO] [stdout] 67 | pub fn dl_lite_rule_one(vec: Vec<&TBI>) -> 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:86:8 [INFO] [stdout] | [INFO] [stdout] 86 | pub fn dl_lite_rule_two(vec: Vec<&TBI>) -> 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:112:8 [INFO] [stdout] | [INFO] [stdout] 112 | pub fn dl_lite_rule_three(vec: Vec<&TBI>) -> 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:158:8 [INFO] [stdout] | [INFO] [stdout] 158 | pub fn dl_lite_rule_four(vec: Vec<&TBI>) -> 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:202:8 [INFO] [stdout] | [INFO] [stdout] 202 | pub fn dl_lite_rule_five(vec: Vec<&TBI>) -> 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:233:8 [INFO] [stdout] | [INFO] [stdout] 233 | pub fn dl_lite_rule_six(_vec: Vec<&TBI>) -> 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:238:8 [INFO] [stdout] | [INFO] [stdout] 238 | pub fn dl_lite_rule_seven(vec: Vec<&TBI>) -> 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:271:8 [INFO] [stdout] | [INFO] [stdout] 271 | pub fn dl_lite_rule_eight(vec: Vec<&TBI>) -> 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_abi_to_db` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:322:8 [INFO] [stdout] | [INFO] [stdout] 322 | pub fn add_abi_to_db( [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `add_abis_to_db` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:387:8 [INFO] [stdout] | [INFO] [stdout] 387 | pub fn add_abis_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:454:8 [INFO] [stdout] | [INFO] [stdout] 454 | 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:514:8 [INFO] [stdout] | [INFO] [stdout] 514 | pub fn add_tbis_from_db( [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `add_abis_from_db` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:585:8 [INFO] [stdout] | [INFO] [stdout] 585 | pub fn add_abis_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:772:8 [INFO] [stdout] | [INFO] [stdout] 772 | 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:782:8 [INFO] [stdout] | [INFO] [stdout] 782 | 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:823:8 [INFO] [stdout] | [INFO] [stdout] 823 | 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: `node_to_string` [INFO] [stdout] --> src/dl_lite/string_formatter.rs:58:8 [INFO] [stdout] | [INFO] [stdout] 58 | 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:234:8 [INFO] [stdout] | [INFO] [stdout] 234 | 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:373:8 [INFO] [stdout] | [INFO] [stdout] 373 | 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:551:4 [INFO] [stdout] | [INFO] [stdout] 551 | fn find_keys_for_value(symbols: &HashMap, value: usize) -> Vec { [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:100:12 [INFO] [stdout] | [INFO] [stdout] 100 | 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:104:12 [INFO] [stdout] | [INFO] [stdout] 104 | 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:112:12 [INFO] [stdout] | [INFO] [stdout] 112 | 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:116:12 [INFO] [stdout] | [INFO] [stdout] 116 | 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:133:12 [INFO] [stdout] | [INFO] [stdout] 133 | 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:145:12 [INFO] [stdout] | [INFO] [stdout] 145 | pub fn complete(&self, 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:549:12 [INFO] [stdout] | [INFO] [stdout] 549 | pub fn is_satisfiable(&self, verbose: bool) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_contradiction` [INFO] [stdout] --> src/dl_lite/tbox_item.rs:61:12 [INFO] [stdout] | [INFO] [stdout] 61 | 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:65:12 [INFO] [stdout] | [INFO] [stdout] 65 | pub fn is_redundant(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_trivial` [INFO] [stdout] --> src/dl_lite/tbox_item.rs:69:12 [INFO] [stdout] | [INFO] [stdout] 69 | pub fn is_trivial(&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:77:12 [INFO] [stdout] | [INFO] [stdout] 77 | 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:94:12 [INFO] [stdout] | [INFO] [stdout] 94 | pub fn reverse_negation(&self) -> 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:108:12 [INFO] [stdout] | [INFO] [stdout] 108 | pub fn apply_rule(tbis: Vec<&TBI>, rule: &TbRule) -> Option> { [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: associated function is never used: `is_trivial` [INFO] [stdout] --> src/dl_lite/abox_item_quantum.rs:94:12 [INFO] [stdout] | [INFO] [stdout] 94 | 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:98:12 [INFO] [stdout] | [INFO] [stdout] 98 | 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:103:12 [INFO] [stdout] | [INFO] [stdout] 103 | 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:110:12 [INFO] [stdout] | [INFO] [stdout] 110 | 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:142:12 [INFO] [stdout] | [INFO] [stdout] 142 | pub fn is_match(&self, tbi: &TBI) -> Vec { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_completed` [INFO] [stdout] --> src/dl_lite/abox_quantum.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: `sort` [INFO] [stdout] --> src/dl_lite/abox_quantum.rs:104:12 [INFO] [stdout] | [INFO] [stdout] 104 | pub fn sort(&mut self) { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `abiq_to_string` [INFO] [stdout] --> src/dl_lite/string_formatter_quantum.rs:114:8 [INFO] [stdout] | [INFO] [stdout] 114 | pub fn abiq_to_string(abiq: &ABIQ, symbols: &HashMap) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `abox_name` [INFO] [stdout] --> src/dl_lite/ontology_quantum.rs:115:12 [INFO] [stdout] | [INFO] [stdout] 115 | 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_quantum.rs:122:12 [INFO] [stdout] | [INFO] [stdout] 122 | 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_quantum.rs:128:12 [INFO] [stdout] | [INFO] [stdout] 128 | 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_quantum.rs:178:12 [INFO] [stdout] | [INFO] [stdout] 178 | 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_quantum.rs:212:12 [INFO] [stdout] | [INFO] [stdout] 212 | pub fn add_abis_from_file_quantum(&mut self, filename: &str, filetype: FileType, verbose: bool) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `add_tbis_from_tbox` [INFO] [stdout] --> src/dl_lite/ontology_quantum.rs:262:12 [INFO] [stdout] | [INFO] [stdout] 262 | 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_quantum.rs:275:12 [INFO] [stdout] | [INFO] [stdout] 275 | pub fn complete_tbox(&self, 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_quantum.rs:281:12 [INFO] [stdout] | [INFO] [stdout] 281 | pub fn auto_complete(&mut self, verbose: bool) { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `complete_abox` [INFO] [stdout] --> src/dl_lite/ontology_quantum.rs:294:12 [INFO] [stdout] | [INFO] [stdout] 294 | 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_quantum.rs:436:12 [INFO] [stdout] | [INFO] [stdout] 436 | pub fn contains_contradiction(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `find_consequences` [INFO] [stdout] --> src/dl_lite/ontology_quantum.rs:446:12 [INFO] [stdout] | [INFO] [stdout] 446 | pub fn find_consequences(&self, abox: &AB) -> AB { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `find_consequences_from_file` [INFO] [stdout] --> src/dl_lite/ontology_quantum.rs:450:12 [INFO] [stdout] | [INFO] [stdout] 450 | 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_quantum.rs:471:12 [INFO] [stdout] | [INFO] [stdout] 471 | 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_quantum.rs:711:12 [INFO] [stdout] | [INFO] [stdout] 711 | 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_quantum.rs:786:12 [INFO] [stdout] | [INFO] [stdout] 786 | 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_quantum.rs:838:12 [INFO] [stdout] | [INFO] [stdout] 838 | 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_quantum.rs:848:12 [INFO] [stdout] | [INFO] [stdout] 848 | pub fn initiate_from_db(filename: &str, verbose: bool) -> Result { [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_quantum.rs:144:8 [INFO] [stdout] | [INFO] [stdout] 144 | pub fn abox_to_native_string_quantum( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `connect_to_db` [INFO] [stdout] --> src/dl_lite/sqlite_interface_quantum.rs:20:8 [INFO] [stdout] | [INFO] [stdout] 20 | 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_quantum.rs:43:8 [INFO] [stdout] | [INFO] [stdout] 43 | 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_quantum.rs:158:8 [INFO] [stdout] | [INFO] [stdout] 158 | 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_quantum.rs:177:8 [INFO] [stdout] | [INFO] [stdout] 177 | 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_quantum.rs:187:8 [INFO] [stdout] | [INFO] [stdout] 187 | 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_quantum.rs:198:8 [INFO] [stdout] | [INFO] [stdout] 198 | 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_quantum.rs:239:8 [INFO] [stdout] | [INFO] [stdout] 239 | 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_quantum.rs:283:8 [INFO] [stdout] | [INFO] [stdout] 283 | 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_quantum.rs:315:8 [INFO] [stdout] | [INFO] [stdout] 315 | pub fn add_tbis_to_db( [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_quantum.rs:326:8 [INFO] [stdout] | [INFO] [stdout] 326 | 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_quantum.rs:429:8 [INFO] [stdout] | [INFO] [stdout] 429 | pub fn add_abis_to_db_quantum( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `add_symbols_from_db` [INFO] [stdout] --> src/dl_lite/sqlite_interface_quantum.rs:500:8 [INFO] [stdout] | [INFO] [stdout] 500 | 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_quantum.rs:560:8 [INFO] [stdout] | [INFO] [stdout] 560 | pub fn add_tbis_from_db( [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_quantum.rs:631:8 [INFO] [stdout] | [INFO] [stdout] 631 | pub fn add_abis_from_db_quantum( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `update_symbols_to_db` [INFO] [stdout] --> src/dl_lite/sqlite_interface_quantum.rs:822:8 [INFO] [stdout] | [INFO] [stdout] 822 | 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_quantum.rs:832:8 [INFO] [stdout] | [INFO] [stdout] 832 | 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_quantum.rs:873:8 [INFO] [stdout] | [INFO] [stdout] 873 | 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: `is_json_file` [INFO] [stdout] --> src/interface/utilities.rs:3:8 [INFO] [stdout] | [INFO] [stdout] 3 | 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:7:8 [INFO] [stdout] | [INFO] [stdout] 7 | pub fn get_filetype(filename: &str) -> FileType { [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: `new` [INFO] [stdout] --> src/dl_lite/abox.rs:46:12 [INFO] [stdout] | [INFO] [stdout] 46 | pub fn new(name: &str) -> AB { [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:59:12 [INFO] [stdout] | [INFO] [stdout] 59 | 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:63:12 [INFO] [stdout] | [INFO] [stdout] 63 | pub fn is_completed(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `add` [INFO] [stdout] --> src/dl_lite/abox.rs:67:12 [INFO] [stdout] | [INFO] [stdout] 67 | pub fn add(&mut self, abi: ABI) -> bool { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `sort` [INFO] [stdout] --> src/dl_lite/abox.rs:85:12 [INFO] [stdout] | [INFO] [stdout] 85 | 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:90:12 [INFO] [stdout] | [INFO] [stdout] 90 | 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: `complete` [INFO] [stdout] --> src/dl_lite/abox.rs:111:12 [INFO] [stdout] | [INFO] [stdout] 111 | pub fn complete(&self, tbox: &TB, verbose: bool) -> AB { [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:109:12 [INFO] [stdout] | [INFO] [stdout] 109 | 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:131:12 [INFO] [stdout] | [INFO] [stdout] 131 | 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:139:12 [INFO] [stdout] | [INFO] [stdout] 139 | 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.rs:149:12 [INFO] [stdout] | [INFO] [stdout] 149 | 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:176:12 [INFO] [stdout] | [INFO] [stdout] 176 | 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:183:12 [INFO] [stdout] | [INFO] [stdout] 183 | 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:188:12 [INFO] [stdout] | [INFO] [stdout] 188 | 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:215:12 [INFO] [stdout] | [INFO] [stdout] 215 | pub fn apply_rule(abis: Vec<&ABI>, tbis: Vec<&TBI>, rule: &AbRule) -> Option> { [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:64:8 [INFO] [stdout] | [INFO] [stdout] 64 | pub fn tbox_complete_helper_dump_from_mutex_temporal_to_current2( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `complete_helper_add_if_necessary_one` [INFO] [stdout] --> src/dl_lite/helpers_and_utilities.rs:119:8 [INFO] [stdout] | [INFO] [stdout] 119 | pub fn complete_helper_add_if_necessary_one( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `complete_helper_add_if_necessary_two` [INFO] [stdout] --> src/dl_lite/helpers_and_utilities.rs:150:8 [INFO] [stdout] | [INFO] [stdout] 150 | pub fn complete_helper_add_if_necessary_two( [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:217:4 [INFO] [stdout] | [INFO] [stdout] 217 | 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:241:8 [INFO] [stdout] | [INFO] [stdout] 241 | 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:209:8 [INFO] [stdout] | [INFO] [stdout] 209 | pub fn parse_value_abi(_value: &Value, _symbols: Vec<&Node>) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `parse_abox_native` [INFO] [stdout] --> src/dl_lite/native_filetype_utilities.rs:167:8 [INFO] [stdout] | [INFO] [stdout] 167 | pub fn parse_abox_native( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `abox_to_native_string` [INFO] [stdout] --> src/dl_lite/native_filetype_utilities.rs:456:8 [INFO] [stdout] | [INFO] [stdout] 456 | pub fn abox_to_native_string( [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: `new` [INFO] [stdout] --> src/dl_lite/ontology.rs:87:12 [INFO] [stdout] | [INFO] [stdout] 87 | pub fn new(s: String) -> Ontology { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `abox` [INFO] [stdout] --> src/dl_lite/ontology.rs:104:12 [INFO] [stdout] | [INFO] [stdout] 104 | pub fn abox(&self) -> Option<&AB> { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `abox_name` [INFO] [stdout] --> src/dl_lite/ontology.rs:111:12 [INFO] [stdout] | [INFO] [stdout] 111 | 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:118:12 [INFO] [stdout] | [INFO] [stdout] 118 | 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:124:12 [INFO] [stdout] | [INFO] [stdout] 124 | pub fn sort(&mut self) { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `add_symbols_from_file` [INFO] [stdout] --> src/dl_lite/ontology.rs:131:12 [INFO] [stdout] | [INFO] [stdout] 131 | pub fn add_symbols_from_file(&mut self, filename: &str, filetype: FileType, verbose: bool) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `add_tbis_from_file` [INFO] [stdout] --> src/dl_lite/ontology.rs:156:12 [INFO] [stdout] | [INFO] [stdout] 156 | pub fn add_tbis_from_file(&mut self, filename: &str, filetype: FileType, verbose: bool) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `new_abox_from_abox` [INFO] [stdout] --> src/dl_lite/ontology.rs:180:12 [INFO] [stdout] | [INFO] [stdout] 180 | pub fn new_abox_from_abox(&mut self, ab: AB) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `new_abox_from_file` [INFO] [stdout] --> src/dl_lite/ontology.rs:184:12 [INFO] [stdout] | [INFO] [stdout] 184 | pub fn new_abox_from_file(&mut self, filename: &str, filetype: FileType, verbose: bool) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `add_abis_from_file` [INFO] [stdout] --> src/dl_lite/ontology.rs:214:12 [INFO] [stdout] | [INFO] [stdout] 214 | pub fn add_abis_from_file(&mut self, filename: &str, filetype: FileType, verbose: bool) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `add_abi` [INFO] [stdout] --> src/dl_lite/ontology.rs:250:12 [INFO] [stdout] | [INFO] [stdout] 250 | pub fn add_abi(&mut self, abi: &ABI) { [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:258:12 [INFO] [stdout] | [INFO] [stdout] 258 | pub fn add_abis_from_abox(&mut self, ab: &AB) { [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:264:12 [INFO] [stdout] | [INFO] [stdout] 264 | 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:277:12 [INFO] [stdout] | [INFO] [stdout] 277 | pub fn complete_tbox(&self, 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:283:12 [INFO] [stdout] | [INFO] [stdout] 283 | pub fn auto_complete(&mut self, 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:296:12 [INFO] [stdout] | [INFO] [stdout] 296 | 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:303:12 [INFO] [stdout] | [INFO] [stdout] 303 | pub fn contains_contradiction(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `find_consequences` [INFO] [stdout] --> src/dl_lite/ontology.rs:313:12 [INFO] [stdout] | [INFO] [stdout] 313 | pub fn find_consequences(&self, abox: &AB) -> AB { [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:317:12 [INFO] [stdout] | [INFO] [stdout] 317 | pub fn find_consequences_from_file( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `symbols` [INFO] [stdout] --> src/dl_lite/ontology.rs:329:12 [INFO] [stdout] | [INFO] [stdout] 329 | pub fn symbols(&self) -> &HashMap { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `tbox` [INFO] [stdout] --> src/dl_lite/ontology.rs:333:12 [INFO] [stdout] | [INFO] [stdout] 333 | pub fn tbox(&self) -> &TB { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `len` [INFO] [stdout] --> src/dl_lite/ontology.rs:338:12 [INFO] [stdout] | [INFO] [stdout] 338 | pub fn len(&self) -> (usize, usize) { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `add_symbol` [INFO] [stdout] --> src/dl_lite/ontology.rs:345:8 [INFO] [stdout] | [INFO] [stdout] 345 | fn add_symbol( [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `add_tbi` [INFO] [stdout] --> src/dl_lite/ontology.rs:370:8 [INFO] [stdout] | [INFO] [stdout] 370 | fn add_tbi(&mut self, tbi: &TBI) -> bool { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `find_lower_and_highest_value_from_symbols` [INFO] [stdout] --> src/dl_lite/ontology.rs:381:8 [INFO] [stdout] | [INFO] [stdout] 381 | fn find_lower_and_highest_value_from_symbols( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `tbox_to_file` [INFO] [stdout] --> src/dl_lite/ontology.rs:566:12 [INFO] [stdout] | [INFO] [stdout] 566 | 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:641:12 [INFO] [stdout] | [INFO] [stdout] 641 | 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:693:12 [INFO] [stdout] | [INFO] [stdout] 693 | 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:703:12 [INFO] [stdout] | [INFO] [stdout] 703 | pub fn initiate_from_db(filename: &str, verbose: bool) -> Result { [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_abi_to_db` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:322:8 [INFO] [stdout] | [INFO] [stdout] 322 | pub fn add_abi_to_db( [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `add_abis_to_db` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:387:8 [INFO] [stdout] | [INFO] [stdout] 387 | pub fn add_abis_to_db( [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `add_abis_from_db` [INFO] [stdout] --> src/dl_lite/sqlite_interface.rs:585:8 [INFO] [stdout] | [INFO] [stdout] 585 | pub fn add_abis_from_db( [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: `completed` [INFO] [stdout] --> src/dl_lite/tbox.rs:104:12 [INFO] [stdout] | [INFO] [stdout] 104 | 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:112:12 [INFO] [stdout] | [INFO] [stdout] 112 | 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:133:12 [INFO] [stdout] | [INFO] [stdout] 133 | 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:549:12 [INFO] [stdout] | [INFO] [stdout] 549 | pub fn is_satisfiable(&self, verbose: bool) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_contradiction` [INFO] [stdout] --> src/dl_lite/tbox_item.rs:61:12 [INFO] [stdout] | [INFO] [stdout] 61 | 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:73:12 [INFO] [stdout] | [INFO] [stdout] 73 | 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:77:12 [INFO] [stdout] | [INFO] [stdout] 77 | pub fn is_positive_inclusion(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `negate` [INFO] [stdout] --> src/dl_lite/abox_item_quantum.rs:76:12 [INFO] [stdout] | [INFO] [stdout] 76 | 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:98:12 [INFO] [stdout] | [INFO] [stdout] 98 | 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:103:12 [INFO] [stdout] | [INFO] [stdout] 103 | 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:110:12 [INFO] [stdout] | [INFO] [stdout] 110 | 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:142:12 [INFO] [stdout] | [INFO] [stdout] 142 | pub fn is_match(&self, tbi: &TBI) -> Vec { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `from_vec` [INFO] [stdout] --> src/dl_lite/abox_quantum.rs:58:12 [INFO] [stdout] | [INFO] [stdout] 58 | pub fn from_vec(name: &str, mut v: Vec) -> ABQ { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `len` [INFO] [stdout] --> src/dl_lite/abox_quantum.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_quantum.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_quantum.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_quantum.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_quantum.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_quantum.rs:130:12 [INFO] [stdout] | [INFO] [stdout] 130 | pub fn is_inconsistent(&self, tb: &TB, verbose: bool) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `symbols_as_mut` [INFO] [stdout] --> src/dl_lite/ontology_quantum.rs:122:12 [INFO] [stdout] | [INFO] [stdout] 122 | 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_quantum.rs:212:12 [INFO] [stdout] | [INFO] [stdout] 212 | pub fn add_abis_from_file_quantum(&mut self, filename: &str, filetype: FileType, verbose: bool) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `add_abi` [INFO] [stdout] --> src/dl_lite/ontology_quantum.rs:248:12 [INFO] [stdout] | [INFO] [stdout] 248 | 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_quantum.rs:256:12 [INFO] [stdout] | [INFO] [stdout] 256 | 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_quantum.rs:302:12 [INFO] [stdout] | [INFO] [stdout] 302 | pub fn conflict_matrix(&self, abq: &ABQ, verbose: bool) -> (Vec, Vec<(usize, Option)>, Vec<(usize, usize)>) { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `contains_contradiction` [INFO] [stdout] --> src/dl_lite/ontology_quantum.rs:436:12 [INFO] [stdout] | [INFO] [stdout] 436 | pub fn contains_contradiction(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `find_consequences` [INFO] [stdout] --> src/dl_lite/ontology_quantum.rs:446:12 [INFO] [stdout] | [INFO] [stdout] 446 | pub fn find_consequences(&self, abox: &AB) -> AB { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `find_consequences_from_file` [INFO] [stdout] --> src/dl_lite/ontology_quantum.rs:450:12 [INFO] [stdout] | [INFO] [stdout] 450 | 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_quantum.rs:471:12 [INFO] [stdout] | [INFO] [stdout] 471 | pub fn len(&self) -> (usize, usize) { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `connect_to_db` [INFO] [stdout] --> src/dl_lite/sqlite_interface_quantum.rs:20:8 [INFO] [stdout] | [INFO] [stdout] 20 | 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_quantum.rs:43:8 [INFO] [stdout] | [INFO] [stdout] 43 | 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_quantum.rs:158:8 [INFO] [stdout] | [INFO] [stdout] 158 | 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_quantum.rs:177:8 [INFO] [stdout] | [INFO] [stdout] 177 | pub fn add_symbols_to_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_quantum.rs:283:8 [INFO] [stdout] | [INFO] [stdout] 283 | 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_quantum.rs:315:8 [INFO] [stdout] | [INFO] [stdout] 315 | 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_quantum.rs:500:8 [INFO] [stdout] | [INFO] [stdout] 500 | 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_quantum.rs:560:8 [INFO] [stdout] | [INFO] [stdout] 560 | pub fn add_tbis_from_db( [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_quantum.rs:631:8 [INFO] [stdout] | [INFO] [stdout] 631 | pub fn add_abis_from_db_quantum( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `update_symbols_to_db` [INFO] [stdout] --> src/dl_lite/sqlite_interface_quantum.rs:822:8 [INFO] [stdout] | [INFO] [stdout] 822 | 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_quantum.rs:832:8 [INFO] [stdout] | [INFO] [stdout] 832 | 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_quantum.rs:873:8 [INFO] [stdout] | [INFO] [stdout] 873 | pub fn drop_tables_from_database(conn: &Connection, tables_to_drop: Vec<&str>, verbose: bool) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 196 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 141 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 1m 02s [INFO] running `Command { std: "docker" "inspect" "d8424298a71dc55809fd1a9f0225ae8ea89973d1d1be375a0d744f516cb60c20", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "d8424298a71dc55809fd1a9f0225ae8ea89973d1d1be375a0d744f516cb60c20", kill_on_drop: false }` [INFO] [stdout] d8424298a71dc55809fd1a9f0225ae8ea89973d1d1be375a0d744f516cb60c20