From 96de63cb108ed0d7536e6c03d8eeefefe61ca0d3 Mon Sep 17 00:00:00 2001 From: Edward Shen Date: Fri, 30 Aug 2024 22:50:03 -0700 Subject: [PATCH] Initial commit --- .gitignore | 8 + Cargo.lock | 290 ++++++++++++++++++ Cargo.toml | 3 + LICENSE-APACHE | 176 +++++++++++ LICENSE-MIT | 23 ++ teto/Cargo.toml | 8 + teto/LICENSE-APACHE | 1 + teto/LICENSE-MIT | 1 + teto/src/lib.rs | 34 ++ teto_macros/Cargo.toml | 16 + teto_macros/LICENSE-APACHE | 1 + teto_macros/LICENSE-MIT | 1 + teto_macros/src/lib.rs | 64 ++++ teto_macros/tests/basic.rs | 15 + teto_macros/tests/renamed.rs | 4 + teto_macros/tests/ui.rs | 6 + teto_macros/tests/ui/compile_fail/not_fn.rs | 13 + .../tests/ui/compile_fail/not_fn.stderr | 23 ++ .../test_macro_not_given_test_token_arg.rs | 4 + ...test_macro_not_given_test_token_arg.stderr | 5 + teto_macros/tests/ui/pass/empty_pass.rs | 1 + teto_macros/tests/with_path.rs | 10 + 22 files changed, 707 insertions(+) create mode 100644 .gitignore create mode 100644 Cargo.lock create mode 100644 Cargo.toml create mode 100644 LICENSE-APACHE create mode 100644 LICENSE-MIT create mode 100644 teto/Cargo.toml create mode 120000 teto/LICENSE-APACHE create mode 120000 teto/LICENSE-MIT create mode 100644 teto/src/lib.rs create mode 100644 teto_macros/Cargo.toml create mode 120000 teto_macros/LICENSE-APACHE create mode 120000 teto_macros/LICENSE-MIT create mode 100644 teto_macros/src/lib.rs create mode 100644 teto_macros/tests/basic.rs create mode 100644 teto_macros/tests/renamed.rs create mode 100644 teto_macros/tests/ui.rs create mode 100644 teto_macros/tests/ui/compile_fail/not_fn.rs create mode 100644 teto_macros/tests/ui/compile_fail/not_fn.stderr create mode 100644 teto_macros/tests/ui/compile_fail/test_macro_not_given_test_token_arg.rs create mode 100644 teto_macros/tests/ui/compile_fail/test_macro_not_given_test_token_arg.stderr create mode 100644 teto_macros/tests/ui/pass/empty_pass.rs create mode 100644 teto_macros/tests/with_path.rs diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..a5ff07f --- /dev/null +++ b/.gitignore @@ -0,0 +1,8 @@ +/target + + +# Added by cargo +# +# already existing elements were commented out + +#/target diff --git a/Cargo.lock b/Cargo.lock new file mode 100644 index 0000000..1b0283b --- /dev/null +++ b/Cargo.lock @@ -0,0 +1,290 @@ +# This file is automatically @generated by Cargo. +# It is not intended for manual editing. +version = 3 + +[[package]] +name = "equivalent" +version = "1.0.1" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "5443807d6dff69373d433ab9ef5378ad8df50ca6298caf15de6e52e24aaf54d5" + +[[package]] +name = "glob" +version = "0.3.1" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "d2fabcfbdc87f4758337ca535fb41a6d701b65693ce38287d856d1674551ec9b" + +[[package]] +name = "hashbrown" +version = "0.14.5" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "e5274423e17b7c9fc20b6e7e208532f9b19825d82dfd615708b70edd83df41f1" + +[[package]] +name = "indexmap" +version = "2.5.0" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "68b900aa2f7301e21c36462b170ee99994de34dff39a4a6a528e80e7376d07e5" +dependencies = [ + "equivalent", + "hashbrown", +] + +[[package]] +name = "itoa" +version = "1.0.11" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "49f1f14873335454500d59611f1cf4a4b0f786f9ac11f4312a78e4cf2566695b" + +[[package]] +name = "memchr" +version = "2.7.4" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "78ca9ab1a0babb1e7d5695e3530886289c18cf2f87ec19a575a0abdce112e3a3" + +[[package]] +name = "proc-macro2" +version = "1.0.86" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "5e719e8df665df0d1c8fbfd238015744736151d4445ec0836b8e628aae103b77" +dependencies = [ + "unicode-ident", +] + +[[package]] +name = "quote" +version = "1.0.37" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "b5b9d34b8991d19d98081b46eacdd8eb58c6f2b201139f7c5f643cc155a633af" +dependencies = [ + "proc-macro2", +] + +[[package]] +name = "ryu" +version = "1.0.18" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "f3cb5ba0dc43242ce17de99c180e96db90b235b8a9fdc9543c96d2209116bd9f" + +[[package]] +name = "serde" +version = "1.0.209" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "99fce0ffe7310761ca6bf9faf5115afbc19688edd00171d81b1bb1b116c63e09" +dependencies = [ + "serde_derive", +] + +[[package]] +name = "serde_derive" +version = "1.0.209" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "a5831b979fd7b5439637af1752d535ff49f4860c0f341d1baeb6faf0f4242170" +dependencies = [ + "proc-macro2", + "quote", + "syn", +] + +[[package]] +name = "serde_json" +version = "1.0.127" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "8043c06d9f82bd7271361ed64f415fe5e12a77fdb52e573e7f06a516dea329ad" +dependencies = [ + "itoa", + "memchr", + "ryu", + "serde", +] + +[[package]] +name = "serde_spanned" +version = "0.6.7" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "eb5b1b31579f3811bf615c144393417496f152e12ac8b7663bf664f4a815306d" +dependencies = [ + "serde", +] + +[[package]] +name = "syn" +version = "2.0.77" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "9f35bcdf61fd8e7be6caf75f429fdca8beb3ed76584befb503b1569faee373ed" +dependencies = [ + "proc-macro2", + "quote", + "unicode-ident", +] + +[[package]] +name = "termcolor" +version = "1.4.1" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "06794f8f6c5c898b3275aebefa6b8a1cb24cd2c6c79397ab15774837a0bc5755" +dependencies = [ + "winapi-util", +] + +[[package]] +name = "teto" +version = "0.1.0" +dependencies = [ + "teto_macros", +] + +[[package]] +name = "teto_macros" +version = "0.1.0" +dependencies = [ + "quote", + "syn", + "teto", + "trybuild", +] + +[[package]] +name = "toml" +version = "0.8.19" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "a1ed1f98e3fdc28d6d910e6737ae6ab1a93bf1985935a1193e68f93eeb68d24e" +dependencies = [ + "serde", + "serde_spanned", + "toml_datetime", + "toml_edit", +] + +[[package]] +name = "toml_datetime" +version = "0.6.8" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "0dd7358ecb8fc2f8d014bf86f6f638ce72ba252a2c3a2572f2a795f1d23efb41" +dependencies = [ + "serde", +] + +[[package]] +name = "toml_edit" +version = "0.22.20" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "583c44c02ad26b0c3f3066fe629275e50627026c51ac2e595cca4c230ce1ce1d" +dependencies = [ + "indexmap", + "serde", + "serde_spanned", + "toml_datetime", + "winnow", +] + +[[package]] +name = "trybuild" +version = "1.0.99" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "207aa50d36c4be8d8c6ea829478be44a372c6a77669937bb39c698e52f1491e8" +dependencies = [ + "glob", + "serde", + "serde_derive", + "serde_json", + "termcolor", + "toml", +] + +[[package]] +name = "unicode-ident" +version = "1.0.12" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "3354b9ac3fae1ff6755cb6db53683adb661634f67557942dea4facebec0fee4b" + +[[package]] +name = "winapi-util" +version = "0.1.9" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "cf221c93e13a30d793f7645a0e7762c55d169dbb0a49671918a2319d289b10bb" +dependencies = [ + "windows-sys", +] + +[[package]] +name = "windows-sys" +version = "0.59.0" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "1e38bc4d79ed67fd075bcc251a1c39b32a1776bbe92e5bef1f0bf1f8c531853b" +dependencies = [ + "windows-targets", +] + +[[package]] +name = "windows-targets" +version = "0.52.6" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "9b724f72796e036ab90c1021d4780d4d3d648aca59e491e6b98e725b84e99973" +dependencies = [ + "windows_aarch64_gnullvm", + "windows_aarch64_msvc", + "windows_i686_gnu", + "windows_i686_gnullvm", + "windows_i686_msvc", + "windows_x86_64_gnu", + "windows_x86_64_gnullvm", + "windows_x86_64_msvc", +] + +[[package]] +name = "windows_aarch64_gnullvm" +version = "0.52.6" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "32a4622180e7a0ec044bb555404c800bc9fd9ec262ec147edd5989ccd0c02cd3" + +[[package]] +name = "windows_aarch64_msvc" +version = "0.52.6" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "09ec2a7bb152e2252b53fa7803150007879548bc709c039df7627cabbd05d469" + +[[package]] +name = "windows_i686_gnu" +version = "0.52.6" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "8e9b5ad5ab802e97eb8e295ac6720e509ee4c243f69d781394014ebfe8bbfa0b" + +[[package]] +name = "windows_i686_gnullvm" +version = "0.52.6" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "0eee52d38c090b3caa76c563b86c3a4bd71ef1a819287c19d586d7334ae8ed66" + +[[package]] +name = "windows_i686_msvc" +version = "0.52.6" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "240948bc05c5e7c6dabba28bf89d89ffce3e303022809e73deaefe4f6ec56c66" + +[[package]] +name = "windows_x86_64_gnu" +version = "0.52.6" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "147a5c80aabfbf0c7d901cb5895d1de30ef2907eb21fbbab29ca94c5b08b1a78" + +[[package]] +name = "windows_x86_64_gnullvm" +version = "0.52.6" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "24d5b23dc417412679681396f2b49f3de8c1473deb516bd34410872eff51ed0d" + +[[package]] +name = "windows_x86_64_msvc" +version = "0.52.6" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "589f6da84c646204747d1270a2a5661ea66ed1cced2631d546fdfb155959f9ec" + +[[package]] +name = "winnow" +version = "0.6.18" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "68a9bda4691f099d435ad181000724da8e5899daa10713c2d432552b9ccd3a6f" +dependencies = [ + "memchr", +] diff --git a/Cargo.toml b/Cargo.toml new file mode 100644 index 0000000..8a6297f --- /dev/null +++ b/Cargo.toml @@ -0,0 +1,3 @@ +[workspace] +members = ["teto", "teto_macros"] +resolver = "2" diff --git a/LICENSE-APACHE b/LICENSE-APACHE new file mode 100644 index 0000000..1b5ec8b --- /dev/null +++ b/LICENSE-APACHE @@ -0,0 +1,176 @@ + Apache License + Version 2.0, January 2004 + http://www.apache.org/licenses/ + +TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION + +1. Definitions. + + "License" shall mean the terms and conditions for use, reproduction, + and distribution as defined by Sections 1 through 9 of this document. + + "Licensor" shall mean the copyright owner or entity authorized by + the copyright owner that is granting the License. + + "Legal Entity" shall mean the union of the acting entity and all + other entities that control, are controlled by, or are under common + control with that entity. For the purposes of this definition, + "control" means (i) the power, direct or indirect, to cause the + direction or management of such entity, whether by contract or + otherwise, or (ii) ownership of fifty percent (50%) or more of the + outstanding shares, or (iii) beneficial ownership of such entity. + + "You" (or "Your") shall mean an individual or Legal Entity + exercising permissions granted by this License. + + "Source" form shall mean the preferred form for making modifications, + including but not limited to software source code, documentation + source, and configuration files. + + "Object" form shall mean any form resulting from mechanical + transformation or translation of a Source form, including but + not limited to compiled object code, generated documentation, + and conversions to other media types. + + "Work" shall mean the work of authorship, whether in Source or + Object form, made available under the License, as indicated by a + copyright notice that is included in or attached to the work + (an example is provided in the Appendix below). + + "Derivative Works" shall mean any work, whether in Source or Object + form, that is based on (or derived from) the Work and for which the + editorial revisions, annotations, elaborations, or other modifications + represent, as a whole, an original work of authorship. For the purposes + of this License, Derivative Works shall not include works that remain + separable from, or merely link (or bind by name) to the interfaces of, + the Work and Derivative Works thereof. + + "Contribution" shall mean any work of authorship, including + the original version of the Work and any modifications or additions + to that Work or Derivative Works thereof, that is intentionally + submitted to Licensor for inclusion in the Work by the copyright owner + or by an individual or Legal Entity authorized to submit on behalf of + the copyright owner. For the purposes of this definition, "submitted" + means any form of electronic, verbal, or written communication sent + to the Licensor or its representatives, including but not limited to + communication on electronic mailing lists, source code control systems, + and issue tracking systems that are managed by, or on behalf of, the + Licensor for the purpose of discussing and improving the Work, but + excluding communication that is conspicuously marked or otherwise + designated in writing by the copyright owner as "Not a Contribution." + + "Contributor" shall mean Licensor and any individual or Legal Entity + on behalf of whom a Contribution has been received by Licensor and + subsequently incorporated within the Work. + +2. Grant of Copyright License. Subject to the terms and conditions of + this License, each Contributor hereby grants to You a perpetual, + worldwide, non-exclusive, no-charge, royalty-free, irrevocable + copyright license to reproduce, prepare Derivative Works of, + publicly display, publicly perform, sublicense, and distribute the + Work and such Derivative Works in Source or Object form. + +3. Grant of Patent License. Subject to the terms and conditions of + this License, each Contributor hereby grants to You a perpetual, + worldwide, non-exclusive, no-charge, royalty-free, irrevocable + (except as stated in this section) patent license to make, have made, + use, offer to sell, sell, import, and otherwise transfer the Work, + where such license applies only to those patent claims licensable + by such Contributor that are necessarily infringed by their + Contribution(s) alone or by combination of their Contribution(s) + with the Work to which such Contribution(s) was submitted. If You + institute patent litigation against any entity (including a + cross-claim or counterclaim in a lawsuit) alleging that the Work + or a Contribution incorporated within the Work constitutes direct + or contributory patent infringement, then any patent licenses + granted to You under this License for that Work shall terminate + as of the date such litigation is filed. + +4. Redistribution. You may reproduce and distribute copies of the + Work or Derivative Works thereof in any medium, with or without + modifications, and in Source or Object form, provided that You + meet the following conditions: + + (a) You must give any other recipients of the Work or + Derivative Works a copy of this License; and + + (b) You must cause any modified files to carry prominent notices + stating that You changed the files; and + + (c) You must retain, in the Source form of any Derivative Works + that You distribute, all copyright, patent, trademark, and + attribution notices from the Source form of the Work, + excluding those notices that do not pertain to any part of + the Derivative Works; and + + (d) If the Work includes a "NOTICE" text file as part of its + distribution, then any Derivative Works that You distribute must + include a readable copy of the attribution notices contained + within such NOTICE file, excluding those notices that do not + pertain to any part of the Derivative Works, in at least one + of the following places: within a NOTICE text file distributed + as part of the Derivative Works; within the Source form or + documentation, if provided along with the Derivative Works; or, + within a display generated by the Derivative Works, if and + wherever such third-party notices normally appear. The contents + of the NOTICE file are for informational purposes only and + do not modify the License. You may add Your own attribution + notices within Derivative Works that You distribute, alongside + or as an addendum to the NOTICE text from the Work, provided + that such additional attribution notices cannot be construed + as modifying the License. + + You may add Your own copyright statement to Your modifications and + may provide additional or different license terms and conditions + for use, reproduction, or distribution of Your modifications, or + for any such Derivative Works as a whole, provided Your use, + reproduction, and distribution of the Work otherwise complies with + the conditions stated in this License. + +5. Submission of Contributions. Unless You explicitly state otherwise, + any Contribution intentionally submitted for inclusion in the Work + by You to the Licensor shall be under the terms and conditions of + this License, without any additional terms or conditions. + Notwithstanding the above, nothing herein shall supersede or modify + the terms of any separate license agreement you may have executed + with Licensor regarding such Contributions. + +6. Trademarks. This License does not grant permission to use the trade + names, trademarks, service marks, or product names of the Licensor, + except as required for reasonable and customary use in describing the + origin of the Work and reproducing the content of the NOTICE file. + +7. Disclaimer of Warranty. Unless required by applicable law or + agreed to in writing, Licensor provides the Work (and each + Contributor provides its Contributions) on an "AS IS" BASIS, + WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or + implied, including, without limitation, any warranties or conditions + of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A + PARTICULAR PURPOSE. You are solely responsible for determining the + appropriateness of using or redistributing the Work and assume any + risks associated with Your exercise of permissions under this License. + +8. Limitation of Liability. In no event and under no legal theory, + whether in tort (including negligence), contract, or otherwise, + unless required by applicable law (such as deliberate and grossly + negligent acts) or agreed to in writing, shall any Contributor be + liable to You for damages, including any direct, indirect, special, + incidental, or consequential damages of any character arising as a + result of this License or out of the use or inability to use the + Work (including but not limited to damages for loss of goodwill, + work stoppage, computer failure or malfunction, or any and all + other commercial damages or losses), even if such Contributor + has been advised of the possibility of such damages. + +9. Accepting Warranty or Additional Liability. While redistributing + the Work or Derivative Works thereof, You may choose to offer, + and charge a fee for, acceptance of support, warranty, indemnity, + or other liability obligations and/or rights consistent with this + License. However, in accepting such obligations, You may act only + on Your own behalf and on Your sole responsibility, not on behalf + of any other Contributor, and only if You agree to indemnify, + defend, and hold each Contributor harmless for any liability + incurred by, or claims asserted against, such Contributor by reason + of your accepting any such warranty or additional liability. + +END OF TERMS AND CONDITIONS diff --git a/LICENSE-MIT b/LICENSE-MIT new file mode 100644 index 0000000..31aa793 --- /dev/null +++ b/LICENSE-MIT @@ -0,0 +1,23 @@ +Permission is hereby granted, free of charge, to any +person obtaining a copy of this software and associated +documentation files (the "Software"), to deal in the +Software without restriction, including without +limitation the rights to use, copy, modify, merge, +publish, distribute, sublicense, and/or sell copies of +the Software, and to permit persons to whom the Software +is furnished to do so, subject to the following +conditions: + +The above copyright notice and this permission notice +shall be included in all copies or substantial portions +of the Software. + +THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF +ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED +TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A +PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT +SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY +CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION +OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR +IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER +DEALINGS IN THE SOFTWARE. diff --git a/teto/Cargo.toml b/teto/Cargo.toml new file mode 100644 index 0000000..cc3595f --- /dev/null +++ b/teto/Cargo.toml @@ -0,0 +1,8 @@ +[package] +name = "teto" +version = "0.1.0" +edition = "2021" +license = "MIT OR Apache-2.0" + +[dependencies] +macros = { package = "teto_macros", version = "*", path = "../teto_macros", optional = true } diff --git a/teto/LICENSE-APACHE b/teto/LICENSE-APACHE new file mode 120000 index 0000000..965b606 --- /dev/null +++ b/teto/LICENSE-APACHE @@ -0,0 +1 @@ +../LICENSE-APACHE \ No newline at end of file diff --git a/teto/LICENSE-MIT b/teto/LICENSE-MIT new file mode 120000 index 0000000..76219eb --- /dev/null +++ b/teto/LICENSE-MIT @@ -0,0 +1 @@ +../LICENSE-MIT \ No newline at end of file diff --git a/teto/src/lib.rs b/teto/src/lib.rs new file mode 100644 index 0000000..0b0adeb --- /dev/null +++ b/teto/src/lib.rs @@ -0,0 +1,34 @@ +#![deny(unsafe_code)] +#![warn(clippy::pedantic, clippy::cargo)] +#![no_std] + +#[cfg(feature = "macros")] +pub use macros::test; + +use core::fmt::{Debug, Display}; + +#[derive(Clone, Copy, PartialEq, Eq, PartialOrd, Ord, Hash)] +pub struct TestToken { + _priv: (), +} + +impl Debug for TestToken { + fn fmt(&self, f: &mut core::fmt::Formatter<'_>) -> core::fmt::Result { + f.debug_struct("TestToken").finish() + } +} + +impl Display for TestToken { + fn fmt(&self, f: &mut core::fmt::Formatter<'_>) -> core::fmt::Result { + write!(f, "{}", core::any::type_name::()) + } +} + +impl TestToken { + #[must_use] + #[doc(hidden)] + #[allow(non_snake_case)] + pub const fn __private_teto_macros_only__create_teto_test_token() -> Self { + Self { _priv: () } + } +} diff --git a/teto_macros/Cargo.toml b/teto_macros/Cargo.toml new file mode 100644 index 0000000..d608cc8 --- /dev/null +++ b/teto_macros/Cargo.toml @@ -0,0 +1,16 @@ +[package] +name = "teto_macros" +version = "0.1.0" +edition = "2021" +license = "MIT OR Apache-2.0" + +[lib] +proc-macro = true + +[dependencies] +syn = { version = "2.0.77", features = ["full", "extra-traits"] } +quote = "1.0.37" + +[dev-dependencies] +teto = { version = "*", path = "../teto", features = ["macros"] } +trybuild = "1.0.99" diff --git a/teto_macros/LICENSE-APACHE b/teto_macros/LICENSE-APACHE new file mode 120000 index 0000000..965b606 --- /dev/null +++ b/teto_macros/LICENSE-APACHE @@ -0,0 +1 @@ +../LICENSE-APACHE \ No newline at end of file diff --git a/teto_macros/LICENSE-MIT b/teto_macros/LICENSE-MIT new file mode 120000 index 0000000..76219eb --- /dev/null +++ b/teto_macros/LICENSE-MIT @@ -0,0 +1 @@ +../LICENSE-MIT \ No newline at end of file diff --git a/teto_macros/src/lib.rs b/teto_macros/src/lib.rs new file mode 100644 index 0000000..3300ad3 --- /dev/null +++ b/teto_macros/src/lib.rs @@ -0,0 +1,64 @@ +#![deny(unsafe_code)] +#![warn(clippy::pedantic, clippy::cargo)] + +use proc_macro::TokenStream; +use quote::quote; +use syn::{FnArg, ItemFn}; + +#[proc_macro_attribute] +pub fn test(_args: TokenStream, tokens: TokenStream) -> TokenStream { + let ItemFn { + attrs, + vis, + mut sig, + block, + } = match syn::parse(tokens) { + Ok(inner) => inner, + Err(e) => { + return TokenStream::from( + syn::Error::new(e.span(), "teto::test can only be called on functions") + .to_compile_error(), + ) + } + }; + + let inputs = std::mem::take(&mut sig.inputs); + // Since this macro replaces #[test], we can assume that the only arg (if + // any) is the token arg. + let test_token_name = inputs.first().and_then(|fn_arg| match fn_arg { + FnArg::Receiver(_) => None, + FnArg::Typed(typed) => Some(&typed.ty), + }); + let inner_fn_invocation = if let Some(test_token_name) = test_token_name { + quote! { + let token = const { #test_token_name::__private_teto_macros_only__create_teto_test_token }; + inner(token()) + } + } else { + quote! { + inner() + } + }; + + // Maybe I need to do this for asyncness and unsafety? + let maybe_const = &sig.constness; + + let wrapped = quote! { + #(#attrs)* + #[test] + #vis #sig { + #maybe_const fn inner(#inputs) + #block + + #inner_fn_invocation + } + + }; + + TokenStream::from(wrapped) +} + +// #[proc_macro_attribute] +// pub fn wrapped(_args: TokenStream, tokens: TokenStream) -> TokenStream { +// todo!() +// } diff --git a/teto_macros/tests/basic.rs b/teto_macros/tests/basic.rs new file mode 100644 index 0000000..9c1edd6 --- /dev/null +++ b/teto_macros/tests/basic.rs @@ -0,0 +1,15 @@ +use teto::TestToken; + +#[teto::test] +fn basic_test(_token: TestToken) {} + +#[teto::test] +pub(self) fn test_with_visibility(t: TestToken) { + assert_eq!(t, t); +} + +#[teto::test] +const fn const_test(_: TestToken) {} + +#[teto::test] +const fn no_token_arg() {} diff --git a/teto_macros/tests/renamed.rs b/teto_macros/tests/renamed.rs new file mode 100644 index 0000000..b690ca1 --- /dev/null +++ b/teto_macros/tests/renamed.rs @@ -0,0 +1,4 @@ +use teto::TestToken as T; + +#[teto::test] +fn basic_test(_token: T) {} diff --git a/teto_macros/tests/ui.rs b/teto_macros/tests/ui.rs new file mode 100644 index 0000000..578b927 --- /dev/null +++ b/teto_macros/tests/ui.rs @@ -0,0 +1,6 @@ +#[test] +fn ui() { + let t = trybuild::TestCases::new(); + t.pass("tests/ui/pass/*.rs"); + t.compile_fail("tests/ui/compile_fail/*.rs"); +} diff --git a/teto_macros/tests/ui/compile_fail/not_fn.rs b/teto_macros/tests/ui/compile_fail/not_fn.rs new file mode 100644 index 0000000..5ddf6e1 --- /dev/null +++ b/teto_macros/tests/ui/compile_fail/not_fn.rs @@ -0,0 +1,13 @@ +#[teto::test] +struct S {} + +#[teto::test] +enum E {} + +#[teto::test] +const C: usize = 10; + +#[teto::test] +static S: usize = 10; + +fn main() {} diff --git a/teto_macros/tests/ui/compile_fail/not_fn.stderr b/teto_macros/tests/ui/compile_fail/not_fn.stderr new file mode 100644 index 0000000..49862ce --- /dev/null +++ b/teto_macros/tests/ui/compile_fail/not_fn.stderr @@ -0,0 +1,23 @@ +error: teto::test can only be called on functions + --> tests/ui/compile_fail/not_fn.rs:2:1 + | +2 | struct S {} + | ^^^^^^ + +error: teto::test can only be called on functions + --> tests/ui/compile_fail/not_fn.rs:5:1 + | +5 | enum E {} + | ^^^^ + +error: teto::test can only be called on functions + --> tests/ui/compile_fail/not_fn.rs:8:7 + | +8 | const C: usize = 10; + | ^ + +error: teto::test can only be called on functions + --> tests/ui/compile_fail/not_fn.rs:11:1 + | +11 | static S: usize = 10; + | ^^^^^^ diff --git a/teto_macros/tests/ui/compile_fail/test_macro_not_given_test_token_arg.rs b/teto_macros/tests/ui/compile_fail/test_macro_not_given_test_token_arg.rs new file mode 100644 index 0000000..413ec8b --- /dev/null +++ b/teto_macros/tests/ui/compile_fail/test_macro_not_given_test_token_arg.rs @@ -0,0 +1,4 @@ +#[teto::test] +fn foo(not: String) {} + +fn main() {} diff --git a/teto_macros/tests/ui/compile_fail/test_macro_not_given_test_token_arg.stderr b/teto_macros/tests/ui/compile_fail/test_macro_not_given_test_token_arg.stderr new file mode 100644 index 0000000..2c52448 --- /dev/null +++ b/teto_macros/tests/ui/compile_fail/test_macro_not_given_test_token_arg.stderr @@ -0,0 +1,5 @@ +error[E0425]: cannot find function `foo` in this scope + --> tests/ui/compile_fail/test_macro_not_given_test_token_arg.rs:5:5 + | +5 | foo("a".to_owned()) + | ^^^ not found in this scope diff --git a/teto_macros/tests/ui/pass/empty_pass.rs b/teto_macros/tests/ui/pass/empty_pass.rs new file mode 100644 index 0000000..f328e4d --- /dev/null +++ b/teto_macros/tests/ui/pass/empty_pass.rs @@ -0,0 +1 @@ +fn main() {} diff --git a/teto_macros/tests/with_path.rs b/teto_macros/tests/with_path.rs new file mode 100644 index 0000000..0b8e92a --- /dev/null +++ b/teto_macros/tests/with_path.rs @@ -0,0 +1,10 @@ +pub mod a { + pub mod b { + pub mod c { + pub use teto::TestToken; + } + } +} + +#[teto::test] +fn basic_test(_token: a::b::c::TestToken) {}