safety-tool-lib: reexport safety-tool-macro and safety-tool-parser

Author: zjp-CN

demo/rustc_driver/Cargo.toml

@@ -10,7 +10,7 @@ path = "src/bin/cargo-safe-tool.rs"
 [dependencies]
 
 [workspace]
-members = [ "safety-tool-lib","safety-tool-macro", "safety-tool-parser"]
+members = ["safety-tool-lib","safety-tool-macro", "safety-tool-parser"]
 exclude = ["tests/basic"]
 
 [package.metadata.rust-analyzer]

demo/rustc_driver/safety-tool-lib/Cargo.toml

@@ -5,3 +5,4 @@ edition = "2024"
 
 [dependencies]
 safety-tool-macro = { path = "../safety-tool-macro" }
+safety-tool-parser = { path = "../safety-tool-parser" }

demo/rustc_driver/safety-tool-lib/src/lib.rs

@@ -1 +1,5 @@
-pub use safety_tool_macro::safety;
+pub use safety_tool_parser;
+
+pub mod safety {
+    pub use safety_tool_macro::{hazard, option, precond};
+}

demo/rustc_driver/tests/basic/Cargo.toml

@@ -4,4 +4,4 @@ version = "0.1.0"
 edition = "2024"
 
 [dependencies]
-safety-tool-macro = { path = "../../safety-tool-macro/" }
+safety-tool-lib = { path = "../../safety-tool-lib" }

demo/rustc_driver/tests/basic/src/lib.rs

@@ -3,7 +3,7 @@
 #![allow(clippy::missing_safety_doc, clippy::mut_from_ref, internal_features)]
 #![feature(core_intrinsics)]
 
-use safety_tool_macro as safety;
+use safety_tool_lib::safety;
 
 #[safety::precond(
     UnReachable,