clean up

Author: mkovaxx

crates/anodized-core/src/instrument.rs

@@ -1,6 +1,6 @@
 use proc_macro2::TokenStream;
-use quote::{ToTokens, quote};
-use syn::{Attribute, ItemConst, ItemFn, ItemImpl, ItemTrait, Meta, Result, parse_quote};
+use quote::ToTokens;
+use syn::{Attribute, ItemConst, ItemFn, ItemImpl, ItemTrait, Result, parse_quote};
 
 use crate::{DataSpec, Spec};
 
@@ -150,37 +150,3 @@ fn find_spec_attr(attrs: Vec<Attribute>) -> syn::Result<(Option<Attribute>, Vec<
 
     Ok((spec_attr, other_attrs))
 }
-
-fn build_assert(
-    cfg: Option<&Meta>,
-    expr: &TokenStream,
-    message: &str,
-    repr: &TokenStream,
-) -> TokenStream {
-    let repr_str = repr.to_string();
-    let check = quote! { assert!(#expr, #message, #repr_str); };
-    guard_check(cfg, check)
-}
-
-fn build_eprint(
-    cfg: Option<&Meta>,
-    expr: &TokenStream,
-    message: &str,
-    repr: &TokenStream,
-) -> TokenStream {
-    let repr_str = repr.to_string();
-    let check = quote! {
-        if !(#expr) {
-            eprintln!(#message, #repr_str);
-        }
-    };
-    guard_check(cfg, check)
-}
-
-fn guard_check(cfg: Option<&Meta>, check: TokenStream) -> TokenStream {
-    if let Some(cfg) = cfg {
-        quote! { if cfg!(#cfg) { #check } }
-    } else {
-        check
-    }
-}

crates/anodized-core/src/instrument/fns.rs

@@ -2,19 +2,16 @@
 #[path = "fns_tests.rs"]
 mod fns_tests;
 
-use proc_macro2::{Span, TokenStream};
+use proc_macro2::Span;
 use quote::{ToTokens, quote};
 use syn::{
-    Attribute, Block, Expr, Ident, LitStr, Meta, Pat, PatIdent, Path, ReturnType, Signature, Stmt,
-    Type,
+    Attribute, Block, Expr, Ident, LitStr, Pat, PatIdent, Path, ReturnType, Signature, Stmt, Type,
     parse::{Parse, Result},
     parse_quote,
 };
 
 use crate::{
-    Capture, PostCondition, PreCondition, Spec,
-    instrument::{Config, build_assert, build_eprint},
-    qualifiers::FnQualifiers,
+    Capture, PostCondition, PreCondition, Spec, instrument::Config, qualifiers::FnQualifiers,
 };
 
 impl Config {
@@ -180,7 +177,7 @@ impl Config {
             subpat: None,
         });
 
-        // --- Generate Precondition Checks ---
+        // --- Generate Precondition Clauses ---
         let mut precondition_clauses: Vec<Expr> = vec![];
         for condition in spec.requires.iter().chain(&spec.maintains) {
             let closure = &condition.closure;
@@ -232,7 +229,7 @@ impl Config {
             let (#(#aliases),*): (#(#types),*) = (#(#exprs),*);
         };
 
-        // --- Generate Postcondition Checks ---
+        // --- Generate Postcondition Clauses ---
         let mut postcondition_clauses: Vec<Expr> = vec![];
         for condition in &spec.maintains {
             let closure = condition.closure.to_token_stream();