Support external references

cargo-typify/src/lib.rs

@@ -53,6 +53,9 @@ pub struct CliArgs {
         value_parser = ["generate", "allow", "deny"]
     )]
     unknown_crates: Option<String>,
+
+    #[arg(short = 'D', long, default_value = "false")]
+    distinct_definitions: bool,
 }
 
 impl CliArgs {
@@ -162,6 +165,8 @@ pub fn convert(args: &CliArgs) -> Result<String> {
     }
 
     let mut type_space = TypeSpace::new(&settings);
+    type_space.with_path(&args.input);
+    type_space.distinct_defs(args.distinct_definitions);
     type_space
         .add_root_schema(schema)
         .wrap_err("Schema conversion failed")?;
@@ -193,6 +198,7 @@ mod tests {
             no_builder: false,
             crates: vec![],
             unknown_crates: Default::default(),
+            distinct_definitions: false,
         };
 
         assert_eq!(args.output_path(), None);
@@ -208,6 +214,7 @@ mod tests {
             no_builder: false,
             crates: vec![],
             unknown_crates: Default::default(),
+            distinct_definitions: false,
         };
 
         assert_eq!(args.output_path(), Some(PathBuf::from("some_file.rs")));
@@ -223,6 +230,7 @@ mod tests {
             no_builder: false,
             crates: vec![],
             unknown_crates: Default::default(),
+            distinct_definitions: false,
         };
 
         assert_eq!(args.output_path(), Some(PathBuf::from("input.rs")));
@@ -238,6 +246,7 @@ mod tests {
             no_builder: false,
             crates: vec![],
             unknown_crates: Default::default(),
+            distinct_definitions: false,
         };
 
         assert!(args.use_builder());
@@ -253,6 +262,7 @@ mod tests {
             no_builder: true,
             crates: vec![],
             unknown_crates: Default::default(),
+            distinct_definitions: false,
         };
 
         assert!(!args.use_builder());
@@ -268,6 +278,7 @@ mod tests {
             no_builder: false,
             crates: vec![],
             unknown_crates: Default::default(),
+            distinct_definitions: false,
         };
 
         assert!(args.use_builder());

cargo-typify/tests/outputs/help.txt

@@ -29,6 +29,9 @@ Options:
 
           [possible values: generate, allow, deny]
 
+  -D, --distinct-definitions
+
+
   -h, --help
           Print help (see a summary with '-h')
 

rustfmt.toml

@@ -0,0 +1 @@
+ignore = ["/"]

typify-impl/Cargo.toml

@@ -9,7 +9,9 @@ readme = "../README.md"
 
 [dependencies]
 heck = "0.5.0"
+iref = "3.1.4"
 log = "0.4.22"
+pathdiff = "0.2.1"
 proc-macro2 = "1.0.86"
 quote = "1.0.36"
 regress = "0.10.0"
@@ -21,7 +23,6 @@ syn = { version = "2.0.72", features = ["full"] }
 thiserror = "1.0.63"
 unicode-ident = "1.0.12"
 
-
 [dev-dependencies]
 env_logger = "0.10.2"
 expectorate = "1.1.0"

typify-impl/src/convert.rs

@@ -366,7 +366,7 @@ impl TypeSpace {
                 object: None,
                 reference: Some(reference),
                 extensions: _,
-            } => self.convert_reference(metadata, reference),
+            } => self.convert_reference(metadata, &reference),
 
             // Accept references that... for some reason... include the type.
             // TODO this could be generalized to validate any redundant
@@ -905,6 +905,7 @@ impl TypeSpace {
         // this case and strip out the null in both enum values and instance
         // type. Nevertheless, we do our best to interpret even incorrect
         // JSON schema.
+
         let mut has_null = false;
 
         let validator = StringValidator::new(&type_name, validation)?;
@@ -1051,7 +1052,14 @@ impl TypeSpace {
             // f64 here, but we're already constrained by the schemars
             // representation so ... it's probably the best we can do at
             // the moment.
-            match (default.as_f64(), min, max) {
+            //
+            // I added this because numbers are sometimes specified in double quotes
+            let d = match default {
+                serde_json::Value::Number(a) => a.as_f64(),
+                serde_json::Value::String(a) => a.parse().ok(),
+                _ => None,
+            };
+            match (d, min, max) {
                 (Some(_), None, None) => Some(()),
                 (Some(value), None, Some(fmax)) if value <= fmax => Some(()),
                 (Some(value), Some(fmin), None) if value >= fmin => Some(()),
@@ -1275,9 +1283,6 @@ impl TypeSpace {
         metadata: &'a Option<Box<Metadata>>,
         ref_name: &str,
     ) -> Result<(TypeEntry, &'a Option<Box<Metadata>>)> {
-        if !ref_name.starts_with('#') {
-            panic!("external references are not supported: {}", ref_name);
-        }
         let key = ref_key(ref_name);
         let type_id = self
             .ref_to_id